5 -> 2 iters
@@ -702,7 +702,7 @@ pub struct SynthParams {
#[clap(long, default_value = "300000")]
pub eqsat_node_limit: usize,
/// iter limit for all the eqsats
- #[clap(long, default_value = "5")]
+ #[clap(long, default_value = "2")]
pub eqsat_iter_limit: usize,
/// time limit (seconds) for all the eqsats
#[clap(long, default_value = "60")]
@@ -755,7 +755,7 @@ pub struct DeriveParams {
in1: String,
in2: String,
out: String,
- #[clap(long, default_value = "5")]
+ #[clap(long, default_value = "2")]
iter_limit: usize,
#[clap(long, default_value = "300000")]
node_limit: usize,
