# HG changeset patch
# User blanchet
# Date 1338971705 -7200
# Node ID 7618e1d9322cccc7c8229ad5caf27287c4a2b480
# Parent  60a09522c65eed1476d3d8822fdb325ede6c7c1e
pass more facts to LEO-II, in the light of latest evaluation

diff -r 60a09522c65e -r 7618e1d9322c src/HOL/Tools/ATP/atp_systems.ML
--- 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 *)}