src/HOL/Mutabelle/MutabelleExtra.thy
changeset 40341 03156257040f
parent 40133 b61d52de66f0
child 40653 d921c97bdbd8
     1.1 --- a/src/HOL/Mutabelle/MutabelleExtra.thy	Wed Nov 03 20:19:24 2010 +0100
     1.2 +++ b/src/HOL/Mutabelle/MutabelleExtra.thy	Wed Nov 03 22:26:53 2010 +0100
     1.3 @@ -27,7 +27,7 @@
     1.4  
     1.5  quickcheck_params [size = 5, iterations = 1000]
     1.6  (*
     1.7 -nitpick_params [timeout = 5 s, sat_solver = MiniSat, no_overlord, verbose, card = 1-5, iter = 1,2,4,8,12]
     1.8 +nitpick_params [timeout = 5, sat_solver = MiniSat, no_overlord, verbose, card = 1-5, iter = 1,2,4,8,12]
     1.9  refute_params [maxtime = 10, minsize = 1, maxsize = 5, satsolver = jerusat]
    1.10  *)
    1.11  ML {* Auto_Tools.time_limit := 10 *}