Avatar for the dewert99 user
dewert99
plat-smt
BlogDocsChangelog

Optimize more special cases of distinct

#92Merged
Comparing
approx-distinct
(
3f9fac7
) with
main
(
6611011
)
CodSpeed Performance Gauge
-1%
Improvements
0
Regressions
0
Untouched
87
New
0
Dropped
0
Ignored
0

Benchmarks

Passed

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
0%
417.7 µs
419.3 µ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
0%
365.5 µs
366.9 µ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
0%
755.5 µs
759 µs
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
-1%
877 µs
881.6 µs
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
-1%
501.7 µs
504.5 µs
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
-1%
471.8 µs
474.6 µs
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
-1%
503.5 µs
506.6 µs
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
-1%
596.9 µs
600.7 µs
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
-1%
522.3 µs
525.7 µs
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
-1%
628.9 µs
633.1 µs
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
-1%
1.3 ms
1.3 ms
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
-1%
652.5 µs
657.1 µs
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
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
-1%
677.4 µs
682.2 µs
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
-1%
1.8 ms
1.8 ms
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
-1%
713.2 µs
718.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
-1%
629.8 µs
634.5 µs
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
-1%
970.9 ms
978.4 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
-1%
903.6 µs
910.7 µs
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
-1%
784.2 µs
790.4 µs
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
-1%
908.6 µs
915.9 µs
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
-1%
11.2 ms
11.3 ms
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
-1%
1.7 ms
1.7 ms
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
-1%
588 ms
592.8 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
-1%
10.7 ms
10.7 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
-1%
899.9 µs
907.2 µs
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
-1%
765.6 µs
771.9 µs
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
-1%
3 ms
3 ms
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
-1%
2 ms
2 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
-1%
971.8 µs
980.1 µ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
-1%
17.6 ms
17.8 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
-1%
1.1 ms
1.1 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
-1%
965.9 µs
974.2 µ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
-1%
2.6 ms
2.6 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
-1%
1.2 ms
1.3 ms
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
-1%
10.9 ms
11 ms
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
-1%
2.3 ms
2.3 ms
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
-1%
2.1 ms
2.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
-1%
6.3 ms
6.4 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
-1%
6.5 ms
6.5 ms
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
-1%
2.2 ms
2.2 ms
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
-1%
2.6 ms
2.6 ms
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
-1%
2.2 ms
2.2 ms
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
-1%
3.1 ms
3.2 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
-1%
2.1 ms
2.2 ms
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
-1%
18.1 ms
18.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
-1%
38.6 ms
39 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
-1%
1 ms
1 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
-1%
2.3 ms
2.3 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
-1%
298.9 ms
301.8 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
-1%
10 ms
10.1 ms
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
-1%
17.5 ms
17.7 ms
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
-1%
2.2 ms
2.3 ms
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
-1%
2.1 ms
2.1 ms
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
-1%
125.4 ms
126.7 ms
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
-1%
173.2 ms
175 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
-1%
4.3 ms
4.4 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
-1%
5.6 ms
5.7 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
-1%
293.1 ms
296.6 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
-1%
892 ms
903.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
-1%
17.8 ms
18 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
-1%
155.9 ms
157.9 ms
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
-1%
119.8 ms
121.4 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
-2%
65.1 ms
66.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
-2%
31.2 ms
31.7 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
-2%
43.9 ms
44.6 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
-2%
51.5 ms
52.3 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
-2%
58.8 ms
59.7 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
-2%
19.4 ms
19.7 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
-2%
21.2 ms
21.5 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
-2%
80.7 ms
82 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
-2%
47.1 ms
47.8 ms
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
-2%
31 ms
31.6 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
-2%
19.9 ms
20.2 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
-2%
39.8 ms
40.4 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
-2%
37.1 ms
37.8 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
-2%
34 ms
34.6 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
-2%
35.2 ms
35.8 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
-2%
8.4 ms
8.6 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
-2%
14.8 ms
15.1 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
-2%
37.4 ms
38.1 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
-2%
35.2 ms
35.8 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
-2%
29.3 ms
29.9 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
-2%
38.7 ms
39.3 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
-2%
962.7 ms
980 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
-2%
15.3 ms
15.6 ms
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
-2%
29.2 ms
29.8 ms

Commits

Click on a commit to change the comparison range
Base
main
6611011
-1%
Optimize more special cases of distinct
3f9fac7
1 month ago
by dewert99
© 2025 CodSpeed Technology
Home Terms PrivacyDocs