more practical time limit
authorpaulson
Fri Jan 13 17:39:03 2006 +0100 (2006-01-13 ago)
changeset 18675333a73034023
parent 18674 98d380757893
child 18676 5bce9fddce2e
more practical time limit
src/HOL/Tools/res_atp.ML
     1.1 --- a/src/HOL/Tools/res_atp.ML	Fri Jan 13 14:43:09 2006 +0100
     1.2 +++ b/src/HOL/Tools/res_atp.ML	Fri Jan 13 17:39:03 2006 +0100
     1.3 @@ -21,7 +21,7 @@
     1.4  
     1.5  val call_atp = ref false;
     1.6  val hook_count = ref 0;
     1.7 -val time_limit = ref 60;
     1.8 +val time_limit = ref 30;
     1.9  
    1.10  val prover = ref "E";   (* use E as the default prover *)
    1.11  val custom_spass =   (*specialized options for SPASS*)