# HG changeset patch # User paulson # Date 1137170343 -3600 # Node ID 333a7303402312067708ac7b9071aadfbfb1ce9b # Parent 98d3807578934bc05c262b98eaf3402478d4c209 more practical time limit diff -r 98d380757893 -r 333a73034023 src/HOL/Tools/res_atp.ML --- a/src/HOL/Tools/res_atp.ML Fri Jan 13 14:43:09 2006 +0100 +++ b/src/HOL/Tools/res_atp.ML Fri Jan 13 17:39:03 2006 +0100 @@ -21,7 +21,7 @@ val call_atp = ref false; val hook_count = ref 0; -val time_limit = ref 60; +val time_limit = ref 30; val prover = ref "E"; (* use E as the default prover *) val custom_spass = (*specialized options for SPASS*)