--- a/src/HOL/Tools/ATP/atp_systems.ML Wed Jun 06 10:35:05 2012 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML Wed Jun 06 10:35:05 2012 +0200
@@ -349,7 +349,7 @@
prem_role = Hypothesis,
best_slices =
(* FUDGE *)
- K [(1.0, (true, ((20, leo2_thf0, "mono_native_higher", keep_lamsN, false), "")))],
+ K [(1.0, (true, ((40, leo2_thf0, "mono_native_higher", keep_lamsN, false), "")))],
best_max_mono_iters = default_max_mono_iters - 1 (* FUDGE *),
best_max_new_mono_instances = default_max_new_mono_instances div 2 (* FUDGE *)}