Comparing
dependabot/cargo/all-dependencies-e31e921a8e
(453128a
) withmain
(8a81e85
)0%
- Untouched
- 18
Benchmarks
18 total
dpll[unsat1]
benches/solve.rs::benches::bench_dpll::dpll0%
374.6 µs374 µs
cdcl[sat3]
benches/solve.rs::benches::bench_cdcl::cdcl0%
815.9 ms815.5 ms
cdcl[unsat1]
benches/solve.rs::benches::bench_cdcl::cdcl0%
4 ms4 ms
cdcl[unsat5]
benches/solve.rs::benches::bench_cdcl::cdcl0%
37.2 ms37.2 ms
dpll[sat1]
benches/solve.rs::benches::bench_dpll::dpll0%
958.4 µs958.3 µs
cdcl[sat4]
benches/solve.rs::benches::bench_cdcl::cdcl0%
2 s2 s
dpll[sat3]
benches/solve.rs::benches::bench_dpll::dpll0%
44.5 ms44.5 ms
dpll[sat2]
benches/solve.rs::benches::bench_dpll::dpll0%
34.4 ms34.4 ms
cdcl[unsat2]
benches/solve.rs::benches::bench_cdcl::cdcl0%
17.3 ms17.3 ms
dpll[sat4]
benches/solve.rs::benches::bench_dpll::dpll0%
99.9 ms99.9 ms
dpll[unsat2]
benches/solve.rs::benches::bench_dpll::dpll0%
1.4 ms1.4 ms
cdcl[sat1]
benches/solve.rs::benches::bench_cdcl::cdcl0%
5.8 ms5.8 ms
cdcl[sat2]
benches/solve.rs::benches::bench_cdcl::cdcl0%
659 ms659.1 ms
cdcl[unsat3]
benches/solve.rs::benches::bench_cdcl::cdcl0%
22.9 ms22.9 ms
cdcl[unsat4]
benches/solve.rs::benches::bench_cdcl::cdcl0%
12.5 ms12.5 ms
dpll[unsat3]
benches/solve.rs::benches::bench_dpll::dpll0%
2.9 ms2.9 ms
dpll[unsat5]
benches/solve.rs::benches::bench_dpll::dpll0%
7.5 ms7.5 ms
dpll[unsat4]
benches/solve.rs::benches::bench_dpll::dpll-1%
4.1 ms4.1 ms
Commits
Click on a commit to change the comparison rangeBase
main
8a81e85
-0.04%
deps: bump the all-dependencies group with 3 updates
453128a
1 year ago
by dependabot[bot]