# HG changeset patch # User webertj # Date 1085586232 -7200 # Node ID b42ad431cbae4f55711415ff359e0d7acb371f75 # Parent eff7b9df27e98470848262791ec7d80e3458e865 new default parameters for refute diff -r eff7b9df27e9 -r b42ad431cbae src/HOL/Main.thy --- a/src/HOL/Main.thy Wed May 26 17:42:46 2004 +0200 +++ b/src/HOL/Main.thy Wed May 26 17:43:52 2004 +0200 @@ -100,7 +100,8 @@ refute_params [minsize=1, maxsize=8, - maxvars=100, - satsolver="dpll"] + maxvars=10000, + maxtime=60, + satsolver="auto"] end