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.
lower fudge factor
authorblanchet
Wed, 08 Dec 2010 22:18:37 +0100
changeset 41093 dfbc8759415f
parent 41092 1b796ffa8347
child 41094 1dc7652ce404
lower fudge factor
src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Wed Dec 08 22:17:53 2010 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Wed Dec 08 22:18:37 2010 +0100
@@ -154,7 +154,7 @@
    max_imperfect = 11.5,
    max_imperfect_exp = 1.0,
    threshold_divisor = 2.0,
-   ridiculous_threshold = 0.1}
+   ridiculous_threshold = 0.01}
 
 (* FUDGE (FIXME) *)
 val smt_relevance_fudge =
isabelle