crank up default timeout for MaSh ATP learning
authorblanchet
Wed Dec 19 22:43:07 2012 +0100 (2012-12-19)
changeset 506044f840e2e362e
parent 50603 3e3c2af5e8a5
child 50606 69b22c4398fe
crank up default timeout for MaSh ATP learning
src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML
     1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Wed Dec 19 22:26:26 2012 +0100
     1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Wed Dec 19 22:43:07 2012 +0100
     1.3 @@ -364,7 +364,7 @@
     1.4      (if i = 1 then "" else " " ^ string_of_int i)
     1.5    end
     1.6  
     1.7 -val default_learn_prover_timeout = 0.5
     1.8 +val default_learn_prover_timeout = 2.0
     1.9  
    1.10  fun hammer_away override_params subcommand opt_i fact_override state =
    1.11    let