termoshtt
cdcl
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
GitHub Actions run
CPU Simulation
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
10 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
10 months ago
CPU Simulation
Compare
Suggested base runs:
Pull Request Base
•
Default Branch
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