dewert99
plat-smt
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
Prepare for parallel
#107
Merged
Comparing
pre-parallel
(
9832556
) with
main
(
048da19
)
CodSpeed Performance Gauge
0%
Untouched
174
Benchmarks
Mode
CPU Simulation
Wall Time
Memory
Status
Untouched
174 total
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00190.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
929.4 µs
929.3 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00088.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
391.2 µs
391.2 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00914.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
700.6 µs
700.6 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0005/00154.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
971.3 µs
971.2 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00968.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
445.3 µs
445.3 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00002.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
815.2 µs
815.2 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00007.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
1.1 ms
1.1 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00749.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
1.4 ms
1.4 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00120.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
1.2 ms
1.2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00429.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
971.1 µs
971.1 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00912.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
725.8 µs
725.8 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00794.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
534 µs
534 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00064.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
1.8 ms
1.8 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00533.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
543.6 µs
543.6 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_collision.4.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
21.9 ms
21.9 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00959.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
1 ms
1 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00092.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
2.2 ms
2.2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00350.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
982.9 µs
982.9 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00115.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
2.3 ms
2.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00232.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
2.8 ms
2.8 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00111.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
2.3 ms
2.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00945.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
760.4 µs
760.4 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00162.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
1.9 ms
1.9 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00119.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
837.8 µs
837.8 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0012/00134.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
673.7 µs
673.7 µs
1
2
3
4
5
6
7
Commits
Click on a commit to change the comparison range
Base
main
048da19
0%
Prepare for parallel
0d5f6f0
2 months ago
by dewert99
0%
Merge branch 'main' into pre-parallel
9832556
1 month ago
by dewert99
© 2026 CodSpeed Technology
Home
Terms
Privacy
Docs