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