Comparing
dependabot/cargo/all-dependencies-3d6b57f2e1
(22d06fb
) withmain
(fe0a0ad
)0%
- Untouched
- 18
Benchmarks
18 total
dpll[unsat4]
benches/solve.rs::benches::bench_dpll::dpll0%
4.1 ms4.1 ms
cdcl[sat1]
benches/solve.rs::benches::bench_cdcl::cdcl0%
6.1 ms6.1 ms
cdcl[sat3]
benches/solve.rs::benches::bench_cdcl::cdcl0%
1 s1 s
cdcl[unsat1]
benches/solve.rs::benches::bench_cdcl::cdcl0%
4.4 ms4.4 ms
cdcl[sat4]
benches/solve.rs::benches::bench_cdcl::cdcl0%
2.6 s2.6 s
cdcl[sat2]
benches/solve.rs::benches::bench_cdcl::cdcl0%
814.6 ms814.5 ms
cdcl[unsat5]
benches/solve.rs::benches::bench_cdcl::cdcl0%
37 ms37 ms
dpll[sat3]
benches/solve.rs::benches::bench_dpll::dpll0%
44.5 ms44.5 ms
dpll[sat1]
benches/solve.rs::benches::bench_dpll::dpll0%
960.5 µs960.4 µs
dpll[sat2]
benches/solve.rs::benches::bench_dpll::dpll0%
34.4 ms34.3 ms
cdcl[unsat3]
benches/solve.rs::benches::bench_cdcl::cdcl0%
22.2 ms22.2 ms
cdcl[unsat4]
benches/solve.rs::benches::bench_cdcl::cdcl0%
13.3 ms13.3 ms
dpll[unsat3]
benches/solve.rs::benches::bench_dpll::dpll0%
2.9 ms2.9 ms
dpll[sat4]
benches/solve.rs::benches::bench_dpll::dpll0%
99.9 ms100 ms
cdcl[unsat2]
benches/solve.rs::benches::bench_cdcl::cdcl0%
18.2 ms18.2 ms
dpll[unsat1]
benches/solve.rs::benches::bench_dpll::dpll0%
377 µs377.1 µs
dpll[unsat5]
benches/solve.rs::benches::bench_dpll::dpll0%
7.5 ms7.5 ms
dpll[unsat2]
benches/solve.rs::benches::bench_dpll::dpll0%
1.4 ms1.4 ms
Commits
Click on a commit to change the comparison rangeBase
main
fe0a0ad
0%
deps: bump insta from 1.41.1 to 1.42.0 in the all-dependencies group
22d06fb
1 year ago
by dependabot[bot]