GitHub Actions run
CPU Simulation
1 year ago 898e8c8 dependabot/cargo/all-dependencies-b0b7e08bf2 pull_requestCompare
Base
Search a run
Head
Comparedeps: bump the all-dependencies group across 1 directory with 3 updates
#51
dependabot/cargo/all-dependencies-b0b7e08bf2
1 year ago
CPU Simulation
27 total
backtrack[sat4]
benches/solve.rs::benches::bench_backtrack::backtrack1.7 ms
cdcl[sat3]
benches/solve.rs::benches::bench_cdcl::cdcl972.7 ms
backtrack[unsat1]
benches/solve.rs::benches::bench_backtrack::backtrack68.8 µs
backtrack[unsat3]
benches/solve.rs::benches::bench_backtrack::backtrack221.4 µs
cdcl[sat1]
benches/solve.rs::benches::bench_cdcl::cdcl7.9 ms
backtrack[sat3]
benches/solve.rs::benches::bench_backtrack::backtrack1.7 ms
backtrack[unsat2]
benches/solve.rs::benches::bench_backtrack::backtrack558.4 µs
cdcl[sat2]
benches/solve.rs::benches::bench_cdcl::cdcl784.8 ms
dpll[unsat5]
benches/solve.rs::benches::bench_dpll::dpll9.1 ms
cdcl[unsat2]
benches/solve.rs::benches::bench_cdcl::cdcl24.1 ms
dpll[unsat4]
benches/solve.rs::benches::bench_dpll::dpll4.8 ms
dpll[unsat3]
benches/solve.rs::benches::bench_dpll::dpll3.5 ms
backtrack[sat1]
benches/solve.rs::benches::bench_backtrack::backtrack251.5 µs
cdcl[unsat3]
benches/solve.rs::benches::bench_cdcl::cdcl28.9 ms
cdcl[unsat1]
benches/solve.rs::benches::bench_cdcl::cdcl4.6 ms
dpll[unsat1]
benches/solve.rs::benches::bench_dpll::dpll476.9 µs
backtrack[sat2]
benches/solve.rs::benches::bench_backtrack::backtrack1.6 ms
backtrack[unsat4]
benches/solve.rs::benches::bench_backtrack::backtrack200.8 µs
cdcl[sat4]
benches/solve.rs::benches::bench_cdcl::cdcl2.4 s
dpll[unsat2]
benches/solve.rs::benches::bench_dpll::dpll2.1 ms
dpll[sat2]
benches/solve.rs::benches::bench_dpll::dpll48.1 ms
backtrack[unsat5]
benches/solve.rs::benches::bench_backtrack::backtrack198.3 µs
dpll[sat1]
benches/solve.rs::benches::bench_dpll::dpll1.3 ms
cdcl[unsat5]
benches/solve.rs::benches::bench_cdcl::cdcl47 ms
dpll[sat4]
benches/solve.rs::benches::bench_dpll::dpll141.3 ms