revert the condition to call minimize_with_bi_clauses

shnarazk · Jul 14, 2024 · 6f71b6d · 6f71b6d
1 parent ca16366
commit 6f71b6d
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/solver/conflict.rs b/src/solver/conflict.rs
@@ -499,8 +499,7 @@ fn minimize_learnt(
     }
     let l0 = new_learnt[0];
     new_learnt.retain(|l| *l == l0 || !l.is_redundant(asg, cdb, &mut to_clear, &levels));
-    let len = new_learnt.len();
-    if (8..=20).contains(&len) {
+    if (2..=32).contains(&new_learnt.len()) {
         cdb.minimize_with_bi_clauses(asg, new_learnt);
     }
     // find correct backtrack level from remaining literals