update Satallax setup based on evaluation
authorblanchet
Thu May 24 15:11:53 2012 +0200 (2012-05-24)
changeset 4798522846a7cf66e
parent 47984 a1a5bf806d8b
child 47986 ca7104aebb74
update Satallax setup based on evaluation
src/HOL/Tools/ATP/atp_systems.ML
     1.1 --- a/src/HOL/Tools/ATP/atp_systems.ML	Thu May 24 15:03:06 2012 +0200
     1.2 +++ b/src/HOL/Tools/ATP/atp_systems.ML	Thu May 24 15:11:53 2012 +0200
     1.3 @@ -366,7 +366,7 @@
     1.4     prem_role = Hypothesis,
     1.5     best_slices =
     1.6       (* FUDGE *)
     1.7 -     K [(1.0, (true, ((120, satallax_thf0, "mono_native_higher", keep_lamsN, false), "")))],
     1.8 +     K [(1.0, (true, ((60, satallax_thf0, "mono_native_higher", keep_lamsN, false), "")))],
     1.9     best_max_mono_iters = default_max_mono_iters - 1 (* FUDGE *),
    1.10     best_max_new_mono_instances = default_max_new_mono_instances div 2 (* FUDGE *)}
    1.11