termoshtt
cdcl
BlogDocsChangelog

GitHub Actions run

9 months ago 2d86e17 dependabot/cargo/all-dependencies-e469411e86 pull_request

Compare

Base
Search a run
Head
deps: bump serde_json from 1.0.136 to 1.0.137 in the all-dependencies group
#48
dependabot/cargo/all-dependencies-e469411e86
9 months ago
CPU Simulation
Compare
Suggested base runs: •

Benchmarks

backtrack[sat1]
benches/solve.rs::benches::bench_backtrack::backtrack
252.2 µs
backtrack[unsat3]
benches/solve.rs::benches::bench_backtrack::backtrack
219.6 µs
backtrack[sat2]
benches/solve.rs::benches::bench_backtrack::backtrack
1.6 ms
backtrack[sat4]
benches/solve.rs::benches::bench_backtrack::backtrack
1.7 ms
dpll[sat1]
benches/solve.rs::benches::bench_dpll::dpll
1.3 ms
backtrack[sat3]
benches/solve.rs::benches::bench_backtrack::backtrack
1.7 ms
backtrack[unsat4]
benches/solve.rs::benches::bench_backtrack::backtrack
200.6 µs
backtrack[unsat1]
benches/solve.rs::benches::bench_backtrack::backtrack
68.4 µs
backtrack[unsat5]
benches/solve.rs::benches::bench_backtrack::backtrack
198 µs
cdcl[sat1]
benches/solve.rs::benches::bench_cdcl::cdcl
7.9 ms
dpll[sat2]
benches/solve.rs::benches::bench_dpll::dpll
48.1 ms
dpll[unsat1]
benches/solve.rs::benches::bench_dpll::dpll
476.9 µs
dpll[unsat3]
benches/solve.rs::benches::bench_dpll::dpll
3.5 ms
backtrack[unsat2]
benches/solve.rs::benches::bench_backtrack::backtrack
555.9 µs
cdcl[unsat2]
benches/solve.rs::benches::bench_cdcl::cdcl
24.1 ms
cdcl[sat3]
benches/solve.rs::benches::bench_cdcl::cdcl
972.7 ms
dpll[unsat2]
benches/solve.rs::benches::bench_dpll::dpll
2.1 ms
dpll[sat4]
benches/solve.rs::benches::bench_dpll::dpll
141.3 ms
cdcl[unsat1]
benches/solve.rs::benches::bench_cdcl::cdcl
4.6 ms
cdcl[sat2]
benches/solve.rs::benches::bench_cdcl::cdcl
784.8 ms
dpll[unsat5]
benches/solve.rs::benches::bench_dpll::dpll
9.1 ms
dpll[sat3]
benches/solve.rs::benches::bench_dpll::dpll
62.6 ms
cdcl[unsat4]
benches/solve.rs::benches::bench_cdcl::cdcl
15.2 ms
cdcl[unsat3]
benches/solve.rs::benches::bench_cdcl::cdcl
28.9 ms
cdcl[sat4]
benches/solve.rs::benches::bench_cdcl::cdcl
2.4 s
dpll[unsat4]
benches/solve.rs::benches::bench_dpll::dpll
4.8 ms
cdcl[unsat5]
benches/solve.rs::benches::bench_cdcl::cdcl
46.9 ms
© 2025 CodSpeed Technology
Home Terms Privacy Docs