Skip LBD calculation if clauses are good enough

shnarazk · Sep 21, 2024 · 8525b77 · 8525b77
1 parent 50603c1
commit 8525b77
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/cdb/mod.rs b/src/cdb/mod.rs
@@ -575,6 +575,9 @@ impl ClauseDBIF for ClauseDB {
                     ref mut lbd_temp,
                     ..
                 } = self;
+                if clause[ci].rank < threshold as DecisionLevel {
+                    continue;
+                }
                 clause[ci].update_lbd(asg, lbd_temp);
                 if threshold < clause[ci].extended_lbd() {
                     // keep -= 1;