make iters 2 by default, 1 is boring
@@ -550,7 +550,7 @@ pub struct SynthParams {
///////////////////
// search params //
///////////////////
- #[clap(long, default_value = "1")]
+ #[clap(long, default_value = "2")]
pub iters: usize,
/// 0 is unlimited
#[clap(long, default_value = "0")]
