new default parameters for refute
authorwebertj
Wed May 26 17:43:52 2004 +0200 (2004-05-26)
changeset 14806b42ad431cbae
parent 14805 eff7b9df27e9
child 14807 e8ccb13d7774
new default parameters for refute
src/HOL/Main.thy
     1.1 --- a/src/HOL/Main.thy	Wed May 26 17:42:46 2004 +0200
     1.2 +++ b/src/HOL/Main.thy	Wed May 26 17:43:52 2004 +0200
     1.3 @@ -100,7 +100,8 @@
     1.4  
     1.5  refute_params [minsize=1,
     1.6                 maxsize=8,
     1.7 -               maxvars=100,
     1.8 -               satsolver="dpll"]
     1.9 +               maxvars=10000,
    1.10 +               maxtime=60,
    1.11 +               satsolver="auto"]
    1.12  
    1.13  end