dewert99
plat-smt
BlogDocsChangelog

Add DefRecorder trait to start preparing for proofs/interpolants

#97Merged
Comparing
def-recorder
(
0bc368a
) with
main
(
08e8840
)
CodSpeed Performance Gauge
0%
Untouched
87

Benchmarks

Passed

benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00117.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+5%
192.3 ms183.8 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0017/00005.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+5%
6.9 ms6.6 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0000/00310.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+4%
11.5 ms11.1 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.3.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+3%
353.4 ms343.2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0002/00126.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+3%
320 ms310.8 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00268.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+3%
21 ms20.4 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0003/00006.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+3%
6 ms5.9 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00009.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+2%
46.4 ms45.2 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_rushhour.2.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+2%
394.4 ms384.9 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+2%
119.6 ms116.9 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00232.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+2%
2.8 ms2.7 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00129.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+2%
11.3 ms11.1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0005/00024.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+2%
22 ms21.6 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00326.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+2%
2.5 ms2.4 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0003/00060.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+1%
2.4 ms2.4 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00669.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+1%
2.4 ms2.3 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00959.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+1%
1 ms1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0000/00302.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
+1%
6.6 ms6.5 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
CodSpeed Performance Gauge
+1%
504.6 ms501.6 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00116.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.7 ms4.7 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0019/00013.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
3.2 ms3.2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0002/00182.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
19.3 ms19.2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00025.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
1 ms1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00002.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
802.3 µs801.1 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00318.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
18.9 ms18.9 ms
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%
900.8 ms901.3 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0002/00205.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
11.8 ms11.8 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0005/00154.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
947.5 µs949.5 µ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/0023/00248.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
2.4 ms2.4 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00350.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
963.2 µs966 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00119.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
819.8 µs822.6 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00405.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
1.3 ms1.4 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00127.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
2.1 ms2.1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00853.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_lifts.8.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
50.7 ms51 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0012/00134.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
656.1 µs660.3 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00120.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
1.1 ms1.1 ms
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
-1%
21.3 ms21.5 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00371.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
2.1 ms2.2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00111.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
2.2 ms2.2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0001/00103.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
10.6 ms10.7 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0000/00290.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
3.3 ms3.3 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00912.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
705 µs710.8 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00162.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
1.9 ms1.9 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00115.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
2.2 ms2.2 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp.6.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
19.4 ms19.5 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.6.prop2_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
33.4 ms33.7 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00241.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
540.6 µs546 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00749.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
1.3 ms1.3 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00424.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
796.5 µs804.5 µs
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop4_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
35 ms35.3 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
-1%
153.7 ms155.3 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
CodSpeed Performance Gauge
-1%
31.3 ms31.6 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
CodSpeed Performance Gauge
-1%
41.1 ms41.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
CodSpeed Performance Gauge
-1%
35.9 ms36.4 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00429.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
931 µs942.2 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00945.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
736.8 µs745.9 µs
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_lamport.3.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
15.5 ms15.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
CodSpeed Performance Gauge
-1%
38.7 ms39.2 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp2.4.prop2_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
19.7 ms19.9 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
-1%
30.4 ms30.8 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_adding.1.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
15.9 ms16.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
CodSpeed Performance Gauge
-1%
37 ms37.5 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
-1%
445.8 ms452 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
CodSpeed Performance Gauge
-1%
40 ms40.6 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00092.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
2.2 ms2.2 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
CodSpeed Performance Gauge
-1%
45.3 ms45.9 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00064.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
1.8 ms1.8 ms
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
-2%
57.2 ms58.1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00046.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-2%
651.4 µs662.2 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00914.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-2%
673.4 µs685 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00130.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-2%
621 µs632 µs
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop3_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-2%
65.3 ms66.5 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_elevator.3.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-2%
8.3 ms8.4 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00533.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-2%
524.8 µs534.7 µs
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.1.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-2%
38.2 ms38.9 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00968.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-2%
429.3 µs438.3 µs
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_rether.2.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-2%
35.9 ms36.7 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00794.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-2%
513.8 µs525.3 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0003/00344.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-2%
1.2 ms1.3 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00058.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-2%
487.6 µs499 µs
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
-2%
76.1 ms77.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
-2%
30.3 ms31.1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00190.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-2%
896 µs917.7 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00088.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-3%
372.4 µs383 µs
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_h_b05_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-5%
115.4 ms121.2 ms

Commits

Click on a commit to change the comparison range
Base
main
08e8840
-0.8%
Add DefRecorder trait to start preparing for proofs/interpolants
b38ca24
7 months ago
by dewert99
+0.41%
Update rust version in benchmarks
0bc368a
5 months ago
by dewert99
© 2026 CodSpeed Technology
Home Terms Privacy Docs