changeset 40701 | e7aa34600c36 |
parent 40698 | 8a3f7ea91370 |
child 40723 | a82badd0e6ef |
--- 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 =