Avatar for the dewert99 user
dewert99
plat-smt
BlogDocsChangelog

Prepare for parallel

#107Merged
Comparing
pre-parallel
(
9832556
) with
main
(
048da19
)
CodSpeed Performance Gauge
0%
Untouched
174

Benchmarks

174 total
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00190.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
929.4 µs929.3 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00088.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
391.2 µs391.2 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00914.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
700.6 µs700.6 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0005/00154.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
971.3 µs971.2 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00968.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
445.3 µs445.3 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00002.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
815.2 µs815.2 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00007.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
1.1 ms1.1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00749.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
1.4 ms1.4 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00120.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
1.2 ms1.2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00429.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
971.1 µs971.1 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00912.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
725.8 µs725.8 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00794.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
534 µs534 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00064.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
1.8 ms1.8 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00533.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
543.6 µs543.6 µs
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 ms21.9 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00959.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
1 ms1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00092.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
2.2 ms2.2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00350.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
982.9 µs982.9 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00115.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
2.3 ms2.3 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00232.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
2.8 ms2.8 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00111.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
2.3 ms2.3 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00945.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
760.4 µs760.4 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00162.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
1.9 ms1.9 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00119.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
837.8 µs837.8 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0012/00134.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
673.7 µs673.7 µs

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