Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML
changeset 41152 4a7410be4dfc
parent 41151 d58157bb1ae7
child 41159 1e12d6495423 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Wed Dec 15 11:26:29 2010 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Wed Dec 15 11:26:29 2010 +0100
@@ -511,7 +511,7 @@
     | _ => false
   end
 
-val smt_metis_timeout = seconds 0.5
+val smt_metis_timeout = seconds 1.0
 
 fun can_apply_metis debug state i ths =
   can_apply smt_metis_timeout
isabelle