Comparing
double-linked-list
(ff33c5c
) withmain
(7b8591a
)-33%
- Regression
- 18
- New
- 9
Benchmarks
27 total
backtrack[sat3]
benches/solve.rs::benches::bench_backtrack::backtrackN/A
N/A1.7 ms
backtrack[unsat1]
benches/solve.rs::benches::bench_backtrack::backtrackN/A
N/A68.7 µs
backtrack[sat4]
benches/solve.rs::benches::bench_backtrack::backtrackN/A
N/A1.7 ms
backtrack[unsat2]
benches/solve.rs::benches::bench_backtrack::backtrackN/A
N/A558.2 µs
backtrack[sat2]
benches/solve.rs::benches::bench_backtrack::backtrackN/A
N/A1.7 ms
backtrack[unsat4]
benches/solve.rs::benches::bench_backtrack::backtrackN/A
N/A201.1 µs
backtrack[sat1]
benches/solve.rs::benches::bench_backtrack::backtrackN/A
N/A253.4 µs
backtrack[unsat3]
benches/solve.rs::benches::bench_backtrack::backtrackN/A
N/A220.3 µs
backtrack[unsat5]
benches/solve.rs::benches::bench_backtrack::backtrackN/A
N/A198.1 µs
dpll[unsat5]
benches/solve.rs::benches::bench_dpll::dpll-18%
7.5 ms9.1 ms
cdcl[sat1]
benches/solve.rs::benches::bench_cdcl::cdcl-27%
5.8 ms7.9 ms
dpll[unsat4]
benches/solve.rs::benches::bench_dpll::dpll-14%
4.1 ms4.8 ms
cdcl[unsat1]
benches/solve.rs::benches::bench_cdcl::cdcl-14%
4 ms4.6 ms
cdcl[sat4]
benches/solve.rs::benches::bench_cdcl::cdcl-16%
2 s2.4 s
cdcl[unsat5]
benches/solve.rs::benches::bench_cdcl::cdcl-21%
37.2 ms47 ms
dpll[unsat3]
benches/solve.rs::benches::bench_dpll::dpll-15%
2.9 ms3.5 ms
dpll[sat1]
benches/solve.rs::benches::bench_dpll::dpll-24%
957.8 µs1,259.5 µs
cdcl[sat3]
benches/solve.rs::benches::bench_cdcl::cdcl-16%
815.5 ms971.3 ms
dpll[sat3]
benches/solve.rs::benches::bench_dpll::dpll-29%
44.5 ms62.6 ms
dpll[sat4]
benches/solve.rs::benches::bench_dpll::dpll-29%
99.9 ms141.4 ms
dpll[unsat1]
benches/solve.rs::benches::bench_dpll::dpll-21%
374.4 µs476.4 µs
cdcl[unsat4]
benches/solve.rs::benches::bench_cdcl::cdcl-18%
12.5 ms15.2 ms
cdcl[sat2]
benches/solve.rs::benches::bench_cdcl::cdcl-16%
658.3 ms785.1 ms
cdcl[unsat3]
benches/solve.rs::benches::bench_cdcl::cdcl-21%
22.9 ms28.9 ms
dpll[sat2]
benches/solve.rs::benches::bench_dpll::dpll-29%
34.3 ms48.1 ms
Commits
Click on a commit to change the comparison rangeBase
main
7b8591a
-33.19%
Make loop shallow
ff33c5c
1 year ago
by termoshtt