# HG changeset patch
# User blanchet
# Date 1290759349 -3600
# Node ID e7aa34600c361ff4fcc6c9ef4b66b5992d56eab8
# Parent  4b4dfe05b5d794a00dffeed1b7d9ccbc3c3453ce
adjust Sledgehammer/SMT fudge factor

diff -r 4b4dfe05b5d7 -r e7aa34600c36 src/HOL/Tools/Sledgehammer/sledgehammer.ML
--- a/src/HOL/Tools/Sledgehammer/sledgehammer.ML	Thu Nov 25 16:12:23 2010 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer.ML	Fri Nov 26 09:15:49 2010 +0100
@@ -105,7 +105,7 @@
   end
 
 (* FUDGE *)
-val smt_default_max_relevant = 200
+val smt_default_max_relevant = 225
 val auto_max_relevant_divisor = 2
 
 fun default_max_relevant_for_prover thy name =