src/HOL/Tools/Sledgehammer/sledgehammer_atp_translate.ML

      fact_names |> Vector.fromList)
   end
 
 (* FUDGE *)
 val conj_weight = 0.0
-val hyp_weight = 0.05
-val fact_min_weight = 0.1
+val hyp_weight = 0.1
+val fact_min_weight = 0.2
 val fact_max_weight = 1.0
 
 fun add_term_weights weight (ATerm (s, tms)) =
   (not (is_atp_variable s) andalso s <> "equal") ? Symtab.default (s, weight)
   #> fold (add_term_weights weight) tms