Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/ATP/atp_systems.ML
changeset 41238 78e4508d2e54
parent 41203 1393514094d7
child 41269 abe867c29e55 
--- 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