# HG changeset patch
# User blanchet
# Date 1283359351 -7200
# Node ID 8223d0f8f5cc40d2eb531805b197cbac5c64d168
# Parent  f11a861e006114986ff74497f0a0cdcf4893f914
lower number of facts given to SInE

diff -r f11a861e0061 -r 8223d0f8f5cc src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Wed Sep 01 18:41:23 2010 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Wed Sep 01 18:42:31 2010 +0200
@@ -286,7 +286,7 @@
 val remote_vampire = remotify_prover vampire "Vampire" ["9.0", "1.0", "0.6"]
 val remote_sine_e =
   remote_prover "sine_e" "SInE" [] [] [(Unprovable, "says Unknown")]
-                1000 (* FUDGE *) true
+                800 (* FUDGE *) true
 val remote_snark =
   remote_prover "snark" "SNARK---" [] [("refutation.", "end_refutation.")] []
                 350 (* FUDGE *) true