# HG changeset patch
# User blanchet
# Date 1504821768 -7200
# Node ID c275542d6838d2fdd204875d6e8f2d8c314e05b2
# Parent  034cabc4fda55177a5c71eb71d571de00800518b
tweaked Nunchaku bounds

diff -r 034cabc4fda5 -r c275542d6838 src/HOL/Tools/Nunchaku/nunchaku_commands.ML
--- 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"),