Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
minor tweak in Vampire setup
authorblanchet
Mon, 21 May 2012 11:31:52 +0200
changeset 47948 0524790d2112
parent 47947 7b482cc7473e
child 47949 fafbb2607366
minor tweak in Vampire setup
src/HOL/Tools/ATP/atp_systems.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/atp_systems.ML	Mon May 21 11:31:52 2012 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Mon May 21 11:31:52 2012 +0200
@@ -462,8 +462,8 @@
    best_slices = fn ctxt =>
      (* FUDGE *)
      (if is_new_vampire_version () then
-        [(0.333, (false, ((150, vampire_tff0, "poly_guards??", combs_or_liftingN, false), sosN))),
-         (0.333, (false, ((500, vampire_tff0, "mono_native", combs_or_liftingN, false), sosN))),
+        [(0.333, (false, ((500, vampire_tff0, "mono_native", combs_or_liftingN, false), sosN))),
+         (0.333, (false, ((150, vampire_tff0, "poly_guards??", combs_or_liftingN, false), sosN))),
          (0.334, (true, ((50, vampire_tff0, "mono_native", combs_or_liftingN, false), no_sosN)))]
       else
         [(0.333, (false, ((150, FOF, "poly_guards??", combs_or_liftingN, false), sosN))),
isabelle