termoshtt
cdcl
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
deps: bump insta from 1.41.1 to 1.42.0 in the all-dependencies group
#44
Merged
Comparing
dependabot/cargo/all-dependencies-3d6b57f2e1
(
22d06fb
) with
main
(
fe0a0ad
)
CodSpeed Performance Gauge
0%
Untouched
18
Benchmarks
Mode
CPU Simulation
Wall Time
Memory
Status
Untouched
18 total
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
dpll[unsat4]
benches/solve.rs::benches::bench_dpll::dpll
CodSpeed Performance Gauge
0%
4.1 ms
4.1 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
cdcl[sat1]
benches/solve.rs::benches::bench_cdcl::cdcl
CodSpeed Performance Gauge
0%
6.1 ms
6.1 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
cdcl[sat3]
benches/solve.rs::benches::bench_cdcl::cdcl
CodSpeed Performance Gauge
0%
1 s
1 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
cdcl[unsat1]
benches/solve.rs::benches::bench_cdcl::cdcl
CodSpeed Performance Gauge
0%
4.4 ms
4.4 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
cdcl[sat4]
benches/solve.rs::benches::bench_cdcl::cdcl
CodSpeed Performance Gauge
0%
2.6 s
2.6 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
cdcl[sat2]
benches/solve.rs::benches::bench_cdcl::cdcl
CodSpeed Performance Gauge
0%
814.6 ms
814.5 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
cdcl[unsat5]
benches/solve.rs::benches::bench_cdcl::cdcl
CodSpeed Performance Gauge
0%
37 ms
37 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
dpll[sat3]
benches/solve.rs::benches::bench_dpll::dpll
CodSpeed Performance Gauge
0%
44.5 ms
44.5 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
dpll[sat1]
benches/solve.rs::benches::bench_dpll::dpll
CodSpeed Performance Gauge
0%
960.5 µs
960.4 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
dpll[sat2]
benches/solve.rs::benches::bench_dpll::dpll
CodSpeed Performance Gauge
0%
34.4 ms
34.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
cdcl[unsat3]
benches/solve.rs::benches::bench_cdcl::cdcl
CodSpeed Performance Gauge
0%
22.2 ms
22.2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
cdcl[unsat4]
benches/solve.rs::benches::bench_cdcl::cdcl
CodSpeed Performance Gauge
0%
13.3 ms
13.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
dpll[unsat3]
benches/solve.rs::benches::bench_dpll::dpll
CodSpeed Performance Gauge
0%
2.9 ms
2.9 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
dpll[sat4]
benches/solve.rs::benches::bench_dpll::dpll
CodSpeed Performance Gauge
0%
99.9 ms
100 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
cdcl[unsat2]
benches/solve.rs::benches::bench_cdcl::cdcl
CodSpeed Performance Gauge
0%
18.2 ms
18.2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
dpll[unsat1]
benches/solve.rs::benches::bench_dpll::dpll
CodSpeed Performance Gauge
0%
377 µs
377.1 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
dpll[unsat5]
benches/solve.rs::benches::bench_dpll::dpll
CodSpeed Performance Gauge
0%
7.5 ms
7.5 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
dpll[unsat2]
benches/solve.rs::benches::bench_dpll::dpll
CodSpeed Performance Gauge
0%
1.4 ms
1.4 ms
Commits
Click on a commit to change the comparison range
Base
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]
© 2026 CodSpeed Technology
Home
Terms
Privacy
Docs