Debagging backtrack solver
#47Comparing
backtrack-debug
(47630cd
) withmain
(5ec0dd5
)-26%
- Improvements
- 0
- Regressions
- 1
- Untouched
- 26
- New
- 0
- Dropped
- 0
- Ignored
- 0
Benchmarks
Failed
backtrack[unsat2]Regression
benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[unsat2]-26%
556 µs
751.7 µs
Passed
dpll[unsat3]
benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat3]0%
3.5 ms
3.5 ms
cdcl[sat3]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[sat3]0%
972.8 ms
971.3 ms
cdcl[unsat1]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat1]0%
4.6 ms
4.6 ms
dpll[sat1]
benches/solve.rs::benches::bench_dpll::dpll::dpll[sat1]0%
1.3 ms
1.3 ms
cdcl[unsat4]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat4]0%
15.2 ms
15.2 ms
cdcl[unsat3]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat3]0%
28.9 ms
28.9 ms
cdcl[sat1]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[sat1]0%
7.9 ms
7.9 ms
dpll[sat2]
benches/solve.rs::benches::bench_dpll::dpll::dpll[sat2]0%
48.1 ms
48.1 ms
dpll[sat3]
benches/solve.rs::benches::bench_dpll::dpll::dpll[sat3]0%
62.6 ms
62.6 ms
dpll[sat4]
benches/solve.rs::benches::bench_dpll::dpll::dpll[sat4]0%
141.4 ms
141.3 ms
dpll[unsat1]
benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat1]0%
477 µs
477 µs
cdcl[unsat2]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat2]0%
24.1 ms
24.1 ms
cdcl[sat2]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[sat2]0%
784.7 ms
784.8 ms
cdcl[unsat5]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat5]0%
46.9 ms
47 ms
dpll[unsat2]
benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat2]0%
2.1 ms
2.1 ms
dpll[unsat5]
benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat5]0%
9.1 ms
9.1 ms
backtrack[sat3]
benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[sat3]0%
1.7 ms
1.7 ms
cdcl[sat4]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[sat4]0%
2.4 s
2.4 s
backtrack[sat4]
benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[sat4]0%
1.7 ms
1.7 ms
backtrack[sat2]
benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[sat2]0%
1.6 ms
1.6 ms
dpll[unsat4]
benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat4]0%
4.8 ms
4.8 ms
backtrack[unsat5]
benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[unsat5]-1%
198.6 µs
199.8 µs
backtrack[unsat4]
benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[unsat4]-2%
201.2 µs
204.4 µs
backtrack[unsat3]
benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[unsat3]-3%
221.7 µs
228.7 µs
backtrack[unsat1]
benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[unsat1]-3%
68.6 µs
70.8 µs
backtrack[sat1]
benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[sat1]-7%
252 µs
271 µs
Commits
Click on a commit to change the comparison rangeBase
main
5ec0dd5
-26%
Add test case where backtrack returns incorrect result
47630cd
3 months ago
by termoshtt