author | blanchet |
Fri, 08 Sep 2017 00:02:48 +0200 | |
changeset 66631 | c275542d6838 |
parent 66630 | 034cabc4fda5 |
child 66632 | 6950d3da13f8 |
--- 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"),