Avatar for the dewert99 user
dewert99
plat-smt
BlogDocsChangelog

Don't use path compression

#79Merged
Comparing
no-path-compress
(
0451e8e
) with
main
(
7c7f703
)
CodSpeed Performance Gauge
+66%
Improvements
13
Regressions
0
Untouched
74
New
0
Dropped
0
Ignored
0

Benchmarks

Improved

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_min_max.smt2
CodSpeed Performance Gauge
+66%
2.5 s
1.5 s
benches/starexec/non-incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_br_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/non-incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_br_max.smt2
CodSpeed Performance Gauge
+34%
1.5 s
1.1 s
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0000/00310.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0000/00310.smt2
CodSpeed Performance Gauge
+24%
14.1 ms
11.4 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.3.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.3.prop1_ab_min_max.smt2
CodSpeed Performance Gauge
+21%
468.6 ms
387.3 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00009.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00009.smt2
CodSpeed Performance Gauge
+20%
47.9 ms
40 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_rushhour.2.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_rushhour.2.prop1_ab_min_max.smt2
CodSpeed Performance Gauge
+18%
1.9 s
1.6 s
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0002/00182.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0002/00182.smt2
CodSpeed Performance Gauge
+16%
20.4 ms
17.6 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_pouring.1.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_pouring.1.prop1_ab_min_max.smt2
CodSpeed Performance Gauge
+15%
1.3 s
1.1 s
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00117.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00117.smt2
CodSpeed Performance Gauge
+12%
205.2 ms
183.6 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp.5.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp.5.prop1_ab_core_max.smt2
CodSpeed Performance Gauge
+11%
33.7 ms
30.3 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0002/00126.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0002/00126.smt2
CodSpeed Performance Gauge
+11%
334 ms
301.3 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.1.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.1.prop1_ab_core_max.smt2
CodSpeed Performance Gauge
+10%
41.2 ms
37.3 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop4_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop4_ab_core_max.smt2
CodSpeed Performance Gauge
+10%
38.3 ms
34.8 ms

Passed

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.2.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.2.prop1_ab_core_max.smt2
CodSpeed Performance Gauge
+10%
34.1 ms
31.1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0017/00005.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0017/00005.smt2
CodSpeed Performance Gauge
+9%
7.1 ms
6.5 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.5.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.5.prop1_ab_core_max.smt2
CodSpeed Performance Gauge
+9%
43.4 ms
39.7 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_rether.2.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_rether.2.prop1_ab_core_max.smt2
CodSpeed Performance Gauge
+9%
38.9 ms
35.6 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_adding.1.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_adding.1.prop1_ab_core_max.smt2
CodSpeed Performance Gauge
+9%
17.3 ms
15.8 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.4.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.4.prop1_ab_min_max.smt2
CodSpeed Performance Gauge
+9%
38.7 ms
35.5 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0002/00205.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0002/00205.smt2
CodSpeed Performance Gauge
+9%
12.1 ms
11.1 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.6.prop2_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.6.prop2_ab_min_max.smt2
CodSpeed Performance Gauge
+9%
34.9 ms
32.1 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.2.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.2.prop1_ab_min_max.smt2
CodSpeed Performance Gauge
+9%
40.8 ms
37.5 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_core_max.smt2
CodSpeed Performance Gauge
+9%
1,029.4 ms
948.1 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp2.4.prop2_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp2.4.prop2_ab_min_max.smt2
CodSpeed Performance Gauge
+8%
21.1 ms
19.5 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00116.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00116.smt2
CodSpeed Performance Gauge
+8%
4.8 ms
4.4 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_collision.4.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_collision.4.prop1_ab_min_max.smt2
CodSpeed Performance Gauge
+8%
23.8 ms
22.1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0000/00302.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0000/00302.smt2
CodSpeed Performance Gauge
+8%
6.7 ms
6.2 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_lifts.8.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_lifts.8.prop1_ab_min_max.smt2
CodSpeed Performance Gauge
+8%
60.3 ms
56 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.8.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.8.prop1_ab_min_max.smt2
CodSpeed Performance Gauge
+8%
49.9 ms
46.4 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_lamport.3.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_lamport.3.prop1_ab_min_max.smt2
CodSpeed Performance Gauge
+7%
17 ms
15.9 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.7.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.7.prop1_ab_core_max.smt2
CodSpeed Performance Gauge
+7%
67.4 ms
62.9 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00120.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00120.smt2
CodSpeed Performance Gauge
+7%
1.2 ms
1.1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0003/00006.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0003/00006.smt2
CodSpeed Performance Gauge
+7%
6.1 ms
5.7 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.5.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.5.prop1_ab_min_max.smt2
CodSpeed Performance Gauge
+7%
44.8 ms
41.8 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.2.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.2.prop1_ab_core_max.smt2
CodSpeed Performance Gauge
+7%
52.8 ms
49.3 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00129.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00129.smt2
CodSpeed Performance Gauge
+7%
11.3 ms
10.5 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00405.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00405.smt2
CodSpeed Performance Gauge
+7%
1.4 ms
1.3 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0005/00154.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0005/00154.smt2
CodSpeed Performance Gauge
+7%
973.9 µs
910.8 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00318.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00318.smt2
CodSpeed Performance Gauge
+7%
19.3 ms
18.1 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_elevator.3.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_elevator.3.prop1_ab_core_max.smt2
CodSpeed Performance Gauge
+7%
9.7 ms
9 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp.6.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp.6.prop1_ab_min_max.smt2
CodSpeed Performance Gauge
+7%
22.5 ms
21.1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0001/00103.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0001/00103.smt2
CodSpeed Performance Gauge
+7%
10.6 ms
10 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_plc.4.prop2_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_plc.4.prop2_ab_core_max.smt2
CodSpeed Performance Gauge
+7%
180.6 ms
169.4 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00424.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00424.smt2
CodSpeed Performance Gauge
+7%
835.2 µs
783.6 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00002.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00002.smt2
CodSpeed Performance Gauge
+7%
821.1 µs
770.5 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00268.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00268.smt2
CodSpeed Performance Gauge
+7%
18.9 ms
17.8 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_msmie.4.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_msmie.4.prop1_ab_core_max.smt2
CodSpeed Performance Gauge
+7%
95.5 ms
89.7 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00130.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00130.smt2
CodSpeed Performance Gauge
+6%
642.1 µs
603 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00912.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00912.smt2
CodSpeed Performance Gauge
+6%
732.4 µs
688.1 µs
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.7.prop5_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.7.prop5_ab_min_max.smt2
CodSpeed Performance Gauge
+6%
35.8 ms
33.7 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00959.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00959.smt2
CodSpeed Performance Gauge
+6%
1,055.9 µs
994.1 µs
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_h_b05_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_h_b05_ab_core_max.smt2
CodSpeed Performance Gauge
+6%
136 ms
128.1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00007.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00007.smt2
CodSpeed Performance Gauge
+6%
1.1 ms
1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00749.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00749.smt2
CodSpeed Performance Gauge
+6%
1.3 ms
1.3 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00429.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00429.smt2
CodSpeed Performance Gauge
+6%
958.9 µs
904 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00248.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00248.smt2
CodSpeed Performance Gauge
+6%
2.5 ms
2.3 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00669.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00669.smt2
CodSpeed Performance Gauge
+6%
2.3 ms
2.2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00241.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00241.smt2
CodSpeed Performance Gauge
+6%
559.1 µs
527.8 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00127.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00127.smt2
CodSpeed Performance Gauge
+6%
2.2 ms
2.1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00058.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00058.smt2
CodSpeed Performance Gauge
+6%
497.8 µs
470.4 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00046.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00046.smt2
CodSpeed Performance Gauge
+6%
675.5 µs
638.4 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0003/00060.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0003/00060.smt2
CodSpeed Performance Gauge
+6%
2.4 ms
2.3 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop3_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop3_ab_core_max.smt2
CodSpeed Performance Gauge
+6%
71 ms
67.2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00326.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00326.smt2
CodSpeed Performance Gauge
+6%
2.5 ms
2.4 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00119.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00119.smt2
CodSpeed Performance Gauge
+6%
840.4 µs
795.1 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00232.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00232.smt2
CodSpeed Performance Gauge
+6%
2.8 ms
2.7 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00025.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00025.smt2
CodSpeed Performance Gauge
+6%
1,029.5 µs
974.8 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00115.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00115.smt2
CodSpeed Performance Gauge
+6%
2.3 ms
2.2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0005/00024.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0005/00024.smt2
CodSpeed Performance Gauge
+5%
19.8 ms
18.8 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0012/00134.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0012/00134.smt2
CodSpeed Performance Gauge
+5%
682 µs
647.3 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00945.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00945.smt2
CodSpeed Performance Gauge
+5%
754 µs
716.2 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00853.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00853.smt2
CodSpeed Performance Gauge
+5%
2.7 ms
2.6 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00533.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00533.smt2
CodSpeed Performance Gauge
+5%
547.6 µs
520.6 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00111.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00111.smt2
CodSpeed Performance Gauge
+5%
2.3 ms
2.2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00350.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00350.smt2
CodSpeed Performance Gauge
+5%
973.6 µs
926.3 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00914.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00914.smt2
CodSpeed Performance Gauge
+5%
682.1 µs
649.7 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00371.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00371.smt2
CodSpeed Performance Gauge
+5%
2.1 ms
2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0019/00013.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0019/00013.smt2
CodSpeed Performance Gauge
+5%
3.1 ms
3 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00162.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00162.smt2
CodSpeed Performance Gauge
+5%
1.8 ms
1.7 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00794.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00794.smt2
CodSpeed Performance Gauge
+5%
526.1 µs
502.2 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00088.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00088.smt2
CodSpeed Performance Gauge
+4%
384.5 µs
370.4 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00064.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00064.smt2
CodSpeed Performance Gauge
+4%
1.8 ms
1.7 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00968.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00968.smt2
CodSpeed Performance Gauge
+4%
438.8 µs
423.2 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00092.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00092.smt2
CodSpeed Performance Gauge
+4%
2.1 ms
2.1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00190.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00190.smt2
CodSpeed Performance Gauge
+3%
893.6 µs
864.9 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0000/00290.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0000/00290.smt2
CodSpeed Performance Gauge
+3%
3.2 ms
3.1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0003/00344.smt2
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0003/00344.smt2
CodSpeed Performance Gauge
+1%
1.2 ms
1.2 ms

Commits

Click on a commit to change the comparison range
Base
main
7c7f703
+66%
Don't use path compression
9449c8b
2 months ago
by dewert99
0%
Merge branch 'main' into no-path-compress
714be7b
2 months ago
by dewert99
0%
Use plat-smt main
0451e8e
2 months ago
by dewert99
© 2025 CodSpeed Technology
Home Terms PrivacyDocs