Avatar for the termoshtt user
termoshtt
cdcl
BlogDocsChangelog

Do not cleanup when `add_clause`, refactoring CDCL process

#42Merged
Comparing
faster-cdcl
(
8777fe0
) with
main
(
fe0a0ad
)
CodSpeed Performance Gauge
+26%
Improvements
4
Untouched
14

Benchmarks

Improved

cdcl[sat4]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[sat4]
CodSpeed Performance Gauge
+26%
2.6 s2 s
cdcl[sat3]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[sat3]
CodSpeed Performance Gauge
+24%
1,012.7 ms815.5 ms
cdcl[sat2]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[sat2]
CodSpeed Performance Gauge
+24%
814.6 ms659.1 ms
cdcl[unsat1]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat1]
CodSpeed Performance Gauge
+12%
4.4 ms4 ms

Passed

cdcl[unsat4]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat4]
CodSpeed Performance Gauge
+6%
13.3 ms12.5 ms
cdcl[unsat2]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat2]
CodSpeed Performance Gauge
+5%
18.2 ms17.3 ms
cdcl[sat1]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[sat1]
CodSpeed Performance Gauge
+5%
6.1 ms5.8 ms
dpll[unsat1]
benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat1]
CodSpeed Performance Gauge
+1%
377 µs374.6 µs
dpll[sat1]
benches/solve.rs::benches::bench_dpll::dpll::dpll[sat1]
CodSpeed Performance Gauge
0%
960.5 µs958 µs
dpll[unsat2]
benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat2]
CodSpeed Performance Gauge
0%
1.4 ms1.4 ms
dpll[unsat5]
benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat5]
CodSpeed Performance Gauge
0%
7.5 ms7.5 ms
dpll[unsat3]
benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat3]
CodSpeed Performance Gauge
0%
2.9 ms2.9 ms
dpll[unsat4]
benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat4]
CodSpeed Performance Gauge
0%
4.1 ms4.1 ms
dpll[sat2]
benches/solve.rs::benches::bench_dpll::dpll::dpll[sat2]
CodSpeed Performance Gauge
0%
34.4 ms34.3 ms
dpll[sat3]
benches/solve.rs::benches::bench_dpll::dpll::dpll[sat3]
CodSpeed Performance Gauge
0%
44.5 ms44.5 ms
dpll[sat4]
benches/solve.rs::benches::bench_dpll::dpll::dpll[sat4]
CodSpeed Performance Gauge
0%
99.9 ms99.9 ms
cdcl[unsat5]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat5]
CodSpeed Performance Gauge
0%
37 ms37.2 ms
cdcl[unsat3]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat3]
CodSpeed Performance Gauge
-3%
22.2 ms22.9 ms

Commits

Click on a commit to change the comparison range
Base
main
fe0a0ad
+25.03%
Do not cleanup after add_clause
6be99a6
8 months ago
by termoshtt
+1.29%
Split CDCL::backjump_destination
b7e5780
8 months ago
by termoshtt
-0.01%
Simplify
add60d5
8 months ago
by termoshtt
+0.19%
clippy fix
8777fe0
8 months ago
by termoshtt
© 2025 CodSpeed Technology
Home Terms Privacy Docs