--- a/src/HOL/Tools/ATP/atp_systems.ML Thu May 24 15:03:06 2012 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML Thu May 24 15:11:53 2012 +0200
@@ -366,7 +366,7 @@
prem_role = Hypothesis,
best_slices =
(* FUDGE *)
- K [(1.0, (true, ((120, satallax_thf0, "mono_native_higher", keep_lamsN, false), "")))],
+ K [(1.0, (true, ((60, satallax_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 *)}