diff -r 344028ecc00e -r af0ebd2fb433 src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Thu Sep 02 00:15:53 2010 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Thu Sep 02 00:17:56 2010 +0200
@@ -289,7 +289,7 @@
                 800 (* FUDGE *) true
 val remote_snark =
   remote_prover "snark" "SNARK---" [] [("refutation.", "end_refutation.")] []
-                350 (* FUDGE *) true
+                250 (* FUDGE *) true
 
 (* Setup *)