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.
tweaked Nunchaku bounds
authorblanchet
Fri, 08 Sep 2017 00:02:48 +0200
changeset 66631 c275542d6838
parent 66630 034cabc4fda5
child 66632 6950d3da13f8
tweaked Nunchaku bounds
src/HOL/Tools/Nunchaku/nunchaku_commands.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Nunchaku/nunchaku_commands.ML	Fri Sep 08 00:02:33 2017 +0200
+++ b/src/HOL/Tools/Nunchaku/nunchaku_commands.ML	Fri Sep 08 00:02:48 2017 +0200
@@ -22,10 +22,10 @@
 
 val default_default_params =
   [("assms", "true"),
-   ("bound_increment", "2"),
+   ("bound_increment", "4"),
    ("debug", "false"),
    ("falsify", "true"),
-   ("min_bound", "2"),
+   ("min_bound", "4"),
    ("max_bound", "none"),
    ("max_genuine", "1"),
    ("max_potential", "1"),
isabelle