Comparing
faster-cdcl
(8777fe0
) withmain
(fe0a0ad
)+26%
- Improvements
- 4
- Regressions
- 0
- Untouched
- 14
- New
- 0
- Dropped
- 0
- Ignored
- 0
Benchmarks
Improved
cdcl[sat4]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[sat4]+26%
2.6 s
2 s
cdcl[sat3]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[sat3]+24%
1,012.7 ms
815.5 ms
cdcl[sat2]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[sat2]+24%
814.6 ms
659.1 ms
cdcl[unsat1]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat1]+12%
4.4 ms
4 ms
Passed
cdcl[unsat4]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat4]+6%
13.3 ms
12.5 ms
cdcl[unsat2]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat2]+5%
18.2 ms
17.3 ms
cdcl[sat1]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[sat1]+5%
6.1 ms
5.8 ms
dpll[unsat1]
benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat1]+1%
377 µs
374.6 µs
dpll[sat1]
benches/solve.rs::benches::bench_dpll::dpll::dpll[sat1]0%
960.5 µs
958 µs
dpll[unsat2]
benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat2]0%
1.4 ms
1.4 ms
dpll[unsat5]
benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat5]0%
7.5 ms
7.5 ms
dpll[unsat3]
benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat3]0%
2.9 ms
2.9 ms
dpll[unsat4]
benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat4]0%
4.1 ms
4.1 ms
dpll[sat2]
benches/solve.rs::benches::bench_dpll::dpll::dpll[sat2]0%
34.4 ms
34.3 ms
dpll[sat3]
benches/solve.rs::benches::bench_dpll::dpll::dpll[sat3]0%
44.5 ms
44.5 ms
dpll[sat4]
benches/solve.rs::benches::bench_dpll::dpll::dpll[sat4]0%
99.9 ms
99.9 ms
cdcl[unsat5]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat5]0%
37 ms
37.2 ms
cdcl[unsat3]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat3]-3%
22.2 ms
22.9 ms
Commits
Click on a commit to change the comparison rangeBase
main
fe0a0ad
+25%
Do not cleanup after add_clause
6be99a6
3 months ago
by termoshtt+1%
Split CDCL::backjump_destination
b7e5780
3 months ago
by termoshtt0%
Simplify
add60d5
3 months ago
by termoshtt0%
clippy fix
8777fe0
3 months ago
by termoshtt