Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
higher minimum relevance threshold, to prevent Sledgehammer from taking too long on "lemma False"
authorblanchet
Tue, 08 Oct 2013 22:33:05 +0200
changeset 54082 fcb7bbbe3799
parent 54081 c7e9f1df30bb
child 54083 824db6ab3339
higher minimum relevance threshold, to prevent Sledgehammer from taking too long on "lemma False"
src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Tue Oct 08 21:19:46 2013 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Tue Oct 08 22:33:05 2013 +0200
@@ -311,7 +311,7 @@
    max_imperfect = 11.5,
    max_imperfect_exp = 1.0,
    threshold_divisor = 2.0,
-   ridiculous_threshold = 0.01}
+   ridiculous_threshold = 0.1}
 
 (* FUDGE (FIXME) *)
 val smt_relevance_fudge =
isabelle