Avatar for the dewert99 user
dewert99
plat-smt
BlogDocsChangelog

Make get-model and get-value return consistent results

#106Merged
Comparing
fix-model
(
a325dd2
) with
main
(
b7cc6cd
)
CodSpeed Performance Gauge
0%
Untouched
174

Benchmarks

174 total
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00914.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+1%
701.1 µs693.7 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00945.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
756 µs753.5 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00127.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
2.2 ms2.2 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_plc.4.prop2_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
159.6 ms159.2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00241.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
554 µs552.8 µs
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.2.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
47 ms46.9 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp.5.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
31.5 ms31.4 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00190.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
928.5 µs926.8 µs
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.7.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
59.3 ms59.2 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.2.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
31.5 ms31.5 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0000/00310.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
11.9 ms11.9 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_msmie.4.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
79.6 ms79.5 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/2018-Goel-hwbench/QF_UF_pouring.1.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
458.6 ms458.5 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00232.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.2 MB4.2 MB
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.2.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
8.1 MB8.1 MB
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.5.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
8.5 MB8.5 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00064.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.3 MB4.3 MB
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
49.2 MB49.2 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0012/00134.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.1 MB4.1 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00669.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.2 MB4.2 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0001/00103.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
5.4 MB5.4 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00326.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.1 MB4.1 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00914.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.1 MB4.1 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00959.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.1 MB4.1 MB

Commits

Click on a commit to change the comparison range
Base
main
b7cc6cd
-0.25%
Make get-model and get-value return consistent results
a325dd2
16 days ago
by dewert99
© 2026 CodSpeed Technology
Home Terms Privacy Docs