Comparing
dependabot/cargo/all-dependencies-da4c3141b5
(c847191
) withmain
(a1c8d24
)0%
- Untouched
- 27
Benchmarks
27 total
backtrack[unsat1]
benches/solve.rs::benches::bench_backtrack::backtrack+3%
70.7 µs68.5 µs
backtrack[unsat3]
benches/solve.rs::benches::bench_backtrack::backtrack+1%
222.1 µs220.2 µs
backtrack[unsat2]
benches/solve.rs::benches::bench_backtrack::backtrack+1%
559.5 µs555.6 µs
backtrack[unsat4]
benches/solve.rs::benches::bench_backtrack::backtrack+1%
201.1 µs200.1 µs
dpll[unsat1]
benches/solve.rs::benches::bench_dpll::dpll0%
477.2 µs476.2 µs
backtrack[unsat5]
benches/solve.rs::benches::bench_backtrack::backtrack0%
198.5 µs198.1 µs
dpll[unsat3]
benches/solve.rs::benches::bench_dpll::dpll0%
3.5 ms3.5 ms
cdcl[sat2]
benches/solve.rs::benches::bench_cdcl::cdcl0%
784.8 ms783.7 ms
dpll[unsat4]
benches/solve.rs::benches::bench_dpll::dpll0%
4.8 ms4.8 ms
dpll[sat1]
benches/solve.rs::benches::bench_dpll::dpll0%
1.3 ms1.3 ms
dpll[unsat5]
benches/solve.rs::benches::bench_dpll::dpll0%
9.1 ms9.1 ms
dpll[unsat2]
benches/solve.rs::benches::bench_dpll::dpll0%
2.1 ms2.1 ms
backtrack[sat4]
benches/solve.rs::benches::bench_backtrack::backtrack0%
1.7 ms1.7 ms
cdcl[unsat1]
benches/solve.rs::benches::bench_cdcl::cdcl0%
4.6 ms4.6 ms
cdcl[unsat2]
benches/solve.rs::benches::bench_cdcl::cdcl0%
24.1 ms24.1 ms
cdcl[sat3]
benches/solve.rs::benches::bench_cdcl::cdcl0%
972.7 ms972.5 ms
cdcl[unsat5]
benches/solve.rs::benches::bench_cdcl::cdcl0%
47 ms46.9 ms
cdcl[sat1]
benches/solve.rs::benches::bench_cdcl::cdcl0%
7.9 ms7.9 ms
dpll[sat4]
benches/solve.rs::benches::bench_dpll::dpll0%
141.4 ms141.3 ms
dpll[sat3]
benches/solve.rs::benches::bench_dpll::dpll0%
62.6 ms62.6 ms
cdcl[unsat3]
benches/solve.rs::benches::bench_cdcl::cdcl0%
28.9 ms28.9 ms
dpll[sat2]
benches/solve.rs::benches::bench_dpll::dpll0%
48.1 ms48.1 ms
cdcl[unsat4]
benches/solve.rs::benches::bench_cdcl::cdcl0%
15.2 ms15.2 ms
cdcl[sat4]
benches/solve.rs::benches::bench_cdcl::cdcl0%
2.4 s2.4 s
backtrack[sat3]
benches/solve.rs::benches::bench_backtrack::backtrack0%
1.7 ms1.7 ms
Commits
Click on a commit to change the comparison rangeBase
main
a1c8d24
+0.18%
deps: bump the all-dependencies group across 1 directory with 3 updates
c847191
1 year ago
by dependabot[bot]