changeset 42208 | 02513eb26eb7 |
parent 41278 | 8e1cde88aae6 |
child 42413 | 252ed2fc384d |
--- a/src/HOL/Nitpick_Examples/Refute_Nits.thy Sun Apr 03 11:40:32 2011 +0200 +++ b/src/HOL/Nitpick_Examples/Refute_Nits.thy Mon Apr 04 09:32:50 2011 +0200 @@ -12,7 +12,7 @@ begin nitpick_params [verbose, card = 1\<midarrow>6, max_potential = 0, - sat_solver = MiniSat_JNI, max_threads = 1, timeout = 60] + sat_solver = MiniSat_JNI, max_threads = 1, timeout = 240] lemma "P \<and> Q" apply (rule conjI)