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.
fewer facts to SInE-E
authorblanchet
Fri, 17 Dec 2010 12:01:49 +0100
changeset 41238 78e4508d2e54
parent 41237 8b6f3917bc76
child 41239 d6e804ff29c3
fewer facts to SInE-E
src/HOL/Tools/ATP/atp_systems.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/atp_systems.ML	Fri Dec 17 11:12:37 2010 +0100
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Fri Dec 17 12:01:49 2010 +0100
@@ -243,7 +243,7 @@
 val remote_vampire = remotify_atp vampire "Vampire" ["0.6", "9.0", "1.0"]
 val remote_sine_e =
   remote_atp sine_eN "SInE" [] [] [(IncompleteUnprovable, "says Unknown")]
-                800 (* FUDGE *) true
+                600 (* FUDGE *) true
 val remote_snark =
   remote_atp snarkN "SNARK---" [] [("refutation.", "end_refutation.")] []
              250 (* FUDGE *) true
isabelle