Avatar for the dewert99 user
dewert99
plat-smt
BlogDocsChangelog

Update benchmark rust version

#59
Comparing
rust1.79.0
(
a07acbf
) with
main
(
0e04676
)
CodSpeed Performance Gauge
-1%
Improvements
0
Regressions
0
Untouched
80
New
0
Dropped
0
Ignored
0

Benchmarks

Passed

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
+1%
35.5 ms
35.2 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
0%
538.1 µs
535.5 µ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
0%
2.8 ms
2.8 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
0%
1.4 ms
1.4 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
0%
923 µs
920 µs
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
0%
10.1 ms
10 ms
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%
387.6 µs
386.5 µ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%
844.9 µs
842.4 µ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
0%
518.7 µs
517.4 µs
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
0%
34.6 ms
34.5 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
0%
1.9 ms
1.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
0%
44.7 ms
44.6 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
0%
707 µs
705.8 µs
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
0%
24 ms
24 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
0%
42.5 ms
42.5 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
0%
69.1 ms
69.1 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
0%
582.8 µs
582.5 µ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
0%
14.9 ms
14.9 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
0%
1.4 ms
1.4 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
0%
3.4 ms
3.4 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
0%
50.4 ms
50.4 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
0%
2 ms
2 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
0%
2 ms
2 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
0%
41.6 ms
41.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
0%
23 ms
23 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
0%
17.6 ms
17.7 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
0%
39.2 ms
39.3 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
0%
40 ms
40.1 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
0%
804.2 µs
806.3 µs
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
0%
39.8 ms
39.9 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
0%
1 ms
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
0%
21.6 ms
21.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
0%
1 ms
1 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
0%
1.9 ms
1.9 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
0%
7.1 ms
7.1 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
0%
192 ms
192.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
0%
446.1 µs
448.3 µs
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
0%
17.1 ms
17.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
0%
800.5 µs
804.5 µs
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
-1%
60.4 ms
60.7 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
-1%
34.7 ms
34.9 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
-1%
54.2 ms
54.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
-1%
618.1 µs
622.1 µs
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.1 ms
1.1 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
-1%
36.4 ms
36.6 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%
141.5 ms
142.5 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
-1%
936.3 µs
943.4 µ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%
741.8 µs
747.7 µs
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
-1%
74.5 ms
75.2 ms
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%
768.9 µs
775.5 µs
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.3 ms
1.3 ms
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%
3.1 ms
3.1 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
-1%
736.5 µs
743.3 µ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
-1%
1.9 ms
1.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::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_msmie.4.prop1_ab_core_max.smt2
CodSpeed Performance Gauge
-1%
95.6 ms
96.6 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
-1%
950.2 µs
960.8 µs
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%
1.2 ms
1.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%
1.2 ms
1.2 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.5 ms
2.5 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%
45 ms
45.9 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
-2%
15.7 ms
16 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
-2%
22.4 ms
22.9 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
-2%
14.7 ms
15 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
-2%
1.2 ms
1.3 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
-2%
4.3 ms
4.4 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
-3%
14.1 ms
14.5 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
-3%
3.1 ms
3.2 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
-3%
7.7 ms
7.9 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
-3%
3 ms
3.1 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
-3%
3.3 ms
3.4 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
-3%
1.9 ms
2 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
-3%
3.4 ms
3.6 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
-3%
296.2 ms
306.8 ms
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
-4%
33.5 ms
34.9 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
-5%
3.9 ms
4.1 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
-5%
6.9 ms
7.2 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
-6%
13.3 ms
14.1 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
-6%
119 ms
126.7 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
-6%
46.1 ms
49.1 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
-7%
49.2 ms
52.9 ms

Commits

Click on a commit to change the comparison range
Base
main
0e04676
-1%
Update benchmark rust version to 1.80.0
a07acbf
7 months ago
by dewert99
© 2025 CodSpeed Technology
Home Terms PrivacyDocs