# HG changeset patch # User kleing # Date 1235048110 -39600 # Node ID 015c56cc186498649c0020ec08509c64fef1474a # Parent 5155c7c45233890bc71fbd4bf22cee6f26f87be2 half auto_solve default time out; increase manually in PG for large projects (L4v/Verisoft large). diff -r 5155c7c45233 -r 015c56cc1864 src/Tools/auto_solve.ML --- a/src/Tools/auto_solve.ML Wed Feb 18 17:02:38 2009 -0800 +++ b/src/Tools/auto_solve.ML Thu Feb 19 23:55:10 2009 +1100 @@ -23,7 +23,7 @@ structure FT = FindTheorems; val auto = ref false; - val auto_time_limit = ref 5000; + val auto_time_limit = ref 2500; fun seek_solution int state = let val ctxt = Proof.context_of state;