minor tweak in Vampire setup
authorblanchet
Mon May 21 11:31:52 2012 +0200 (2012-05-21)
changeset 479480524790d2112
parent 47947 7b482cc7473e
child 47949 fafbb2607366
minor tweak in Vampire setup
src/HOL/Tools/ATP/atp_systems.ML
     1.1 --- a/src/HOL/Tools/ATP/atp_systems.ML	Mon May 21 11:31:52 2012 +0200
     1.2 +++ b/src/HOL/Tools/ATP/atp_systems.ML	Mon May 21 11:31:52 2012 +0200
     1.3 @@ -462,8 +462,8 @@
     1.4     best_slices = fn ctxt =>
     1.5       (* FUDGE *)
     1.6       (if is_new_vampire_version () then
     1.7 -        [(0.333, (false, ((150, vampire_tff0, "poly_guards??", combs_or_liftingN, false), sosN))),
     1.8 -         (0.333, (false, ((500, vampire_tff0, "mono_native", combs_or_liftingN, false), sosN))),
     1.9 +        [(0.333, (false, ((500, vampire_tff0, "mono_native", combs_or_liftingN, false), sosN))),
    1.10 +         (0.333, (false, ((150, vampire_tff0, "poly_guards??", combs_or_liftingN, false), sosN))),
    1.11           (0.334, (true, ((50, vampire_tff0, "mono_native", combs_or_liftingN, false), no_sosN)))]
    1.12        else
    1.13          [(0.333, (false, ((150, FOF, "poly_guards??", combs_or_liftingN, false), sosN))),