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.
reverted 6c5e7143e1f6; took a better look at evaluation data this time
authorblanchet
Mon, 26 Aug 2013 12:14:40 +0200
changeset 53201 2a2dc18f3e10
parent 53200 09e8c42dbb06
child 53202 2333fae25719
reverted 6c5e7143e1f6; took a better look at evaluation data this time
src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML	Mon Aug 26 11:42:35 2013 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML	Mon Aug 26 12:14:40 2013 +0200
@@ -904,7 +904,7 @@
 
 val chained_feature_factor = 0.5 (* FUDGE *)
 val extra_feature_factor = 0.1 (* FUDGE *)
-val num_extra_feature_facts = 5 (* FUDGE *)
+val num_extra_feature_facts = 10 (* FUDGE *)
 
 (* FUDGE *)
 fun weight_of_proximity_fact rank =
isabelle