don't pass too many facts on the first iteration of the SMT solver

--- a/src/HOL/Tools/Sledgehammer/sledgehammer.ML	Sun Nov 07 18:02:02 2010 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer.ML	Sun Nov 07 18:03:24 2010 +0100
@@ -104,7 +104,7 @@
     else is_atp_installed thy name
   end
 
-val smt_default_max_relevant = 300 (* FUDGE (FIXME) *)
+val smt_default_max_relevant = 250 (* FUDGE (FIXME) *)
 val auto_max_relevant_divisor = 2 (* FUDGE *)
 
 fun default_max_relevant_for_prover thy name =