Benchmarks
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_adding.1.prop1_ab_core_max.smt2created
11 months ago
, last run1 month ago
0
237
15.6 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp.5.prop1_ab_core_max.smt2created
11 months ago
, last run1 month ago
0
237
29.9 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp.6.prop1_ab_min_max.smt2created
11 months ago
, last acknowledgement11 months ago
1
237
20.2 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp2.4.prop2_ab_min_max.smt2created
11 months ago
, last run1 month ago
0
237
19.7 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.6.prop2_ab_min_max.smt2created
11 months ago
, last run1 month ago
0
237
31.7 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_collision.4.prop1_ab_min_max.smt2created
11 months ago
, last run1 month ago
0
237
21.5 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_elevator.3.prop1_ab_core_max.smt2created
11 months ago
, last run1 month ago
0
237
8.6 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_core_max.smt2created
2 months ago
, last run1 month ago
0
55
903.2 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_min_max.smt2created
2 months ago
, last run1 month ago
0
55
126.7 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop3_ab_core_max.smt2created
11 months ago
, last run1 month ago
0
237
66.1 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop4_ab_core_max.smt2created
11 months ago
, last run1 month ago
0
237
34.6 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_h_b05_ab_core_max.smt2created
11 months ago
, last run1 month ago
0
237
121.4 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_lamport.3.prop1_ab_min_max.smt2created
11 months ago
, last acknowledgement11 months ago
1
237
15.1 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.2.prop1_ab_min_max.smt2created
11 months ago
, last acknowledgement11 months ago
1
237
37.8 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.5.prop1_ab_min_max.smt2created
11 months ago
, last acknowledgement11 months ago
1
237
40.4 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_lifts.8.prop1_ab_min_max.smt2created
11 months ago
, last run1 month ago
0
237
52.3 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_msmie.4.prop1_ab_core_max.smt2created
11 months ago
, last run1 month ago
0
237
82 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.2.prop1_ab_core_max.smt2created
11 months ago
, last run1 month ago
0
237
47.8 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.7.prop5_ab_min_max.smt2created
11 months ago
, last acknowledgement11 months ago
1
237
31.6 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.8.prop1_ab_min_max.smt2created
11 months ago
, last acknowledgement11 months ago
1
237
44.6 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_plc.4.prop2_ab_core_max.smt2created
11 months ago
, last run1 month ago
0
237
157.9 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_pouring.1.prop1_ab_min_max.smt2created
2 months ago
, last run1 month ago
0
55
980 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_rether.2.prop1_ab_core_max.smt2created
11 months ago
, last run1 month ago
0
237
35.8 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_rushhour.2.prop1_ab_min_max.smt2created
2 months ago
, last acknowledgement2 months ago
2
55
301.8 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.3.prop1_ab_min_max.smt2created
2 months ago
, last acknowledgement1 month ago
2
55
978.4 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.2.prop1_ab_core_max.smt2created
11 months ago
, last run1 month ago
0
237
29.8 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.1.prop1_ab_core_max.smt2created
11 months ago
, last run1 month ago
0
237
38.1 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.7.prop1_ab_core_max.smt2created
11 months ago
, last run1 month ago
0
237
59.7 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.4.prop1_ab_min_max.smt2created
11 months ago
, last run1 month ago
0
237
35.8 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.5.prop1_ab_core_max.smt2created
11 months ago
, last run1 month ago
0
237
39.3 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0000/00290.smt2created
11 months ago
, last acknowledgement11 months ago
1
238
3.2 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0000/00302.smt2created
11 months ago
, last acknowledgement11 months ago
1
238
6.4 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0000/00310.smt2created
11 months ago
, last acknowledgement11 months ago
1
238
11 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0001/00103.smt2created
11 months ago
, last run1 month ago
0
237
10.1 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0002/00126.smt2created
2 months ago
, last run1 month ago
0
55
296.6 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0002/00182.smt2created
11 months ago
, last run1 month ago
0
237
17.8 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0002/00205.smt2created
11 months ago
, last run1 month ago
0
237
11.3 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0003/00006.smt2created
11 months ago
, last run1 month ago
0
237
5.7 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0003/00060.smt2created
11 months ago
, last run1 month ago
0
237
2.3 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0003/00344.smt2created
11 months ago
, last run1 month ago
0
237
1.2 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0005/00024.smt2created
11 months ago
, last run1 month ago
0
237
18 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0005/00154.smt2created
11 months ago
, last run1 month ago
0
237
915.8 µs
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00002.smt2created
11 months ago
, last run1 month ago
0
237
759 µs
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00064.smt2created
11 months ago
, last run1 month ago
0
237
1.7 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00092.smt2created
11 months ago
, last run1 month ago
0
237
2.1 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00119.smt2created
11 months ago
, last run1 month ago
0
237
790.4 µs
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00120.smt2created
11 months ago
, last run1 month ago
0
237
1.1 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00130.smt2created
11 months ago
, last run1 month ago
0
237
600.7 µs
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00232.smt2created
11 months ago
, last run1 month ago
0
237
2.6 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0012/00134.smt2created
11 months ago
, last run1 month ago
0
237
633.1 µs
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00025.smt2created
11 months ago
, last run1 month ago
0
237
974.2 µs
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00088.smt2created
11 months ago
, last run1 month ago
0
237
366.9 µs
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00111.smt2created
11 months ago
, last acknowledgement2 months ago
1
237
2.2 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00115.smt2created
11 months ago
, last acknowledgement2 months ago
1
237
2.2 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00116.smt2created
11 months ago
, last run1 month ago
0
237
4.4 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00127.smt2created
11 months ago
, last acknowledgement2 months ago
1
237
2.1 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00162.smt2created
11 months ago
, last acknowledgement11 months ago
1
237
1.8 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00241.smt2created
11 months ago
, last run1 month ago
0
237
525.7 µs
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00326.smt2created
11 months ago
, last run1 month ago
0
237
2.3 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00371.smt2created
11 months ago
, last run1 month ago
0
237
2 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00007.smt2created
11 months ago
, last run1 month ago
0
237
1 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00350.smt2created
11 months ago
, last run1 month ago
0
237
910.7 µs
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00405.smt2created
11 months ago
, last run1 month ago
0
237
1.3 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00424.smt2created
11 months ago
, last run1 month ago
0
237
771.9 µs
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00429.smt2created
11 months ago
, last run1 month ago
0
237
907.2 µs
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00533.smt2created
11 months ago
, last run1 month ago
0
237
506.6 µs
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00669.smt2created
11 months ago
, last run1 month ago
0
237
2.2 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00749.smt2created
11 months ago
, last acknowledgement11 months ago
1
237
1.3 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00794.smt2created
11 months ago
, last run1 month ago
0
237
504.5 µs
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00912.smt2created
11 months ago
, last run1 month ago
0
237
682.3 µs
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00959.smt2created
11 months ago
, last run1 month ago
0
237
980.1 µs
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00968.smt2created
11 months ago
, last run1 month ago
0
237
419.2 µs
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0017/00005.smt2created
11 months ago
, last run1 month ago
0
237
6.5 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0019/00013.smt2created
11 months ago
, last run1 month ago
0
237
3 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00046.smt2created
11 months ago
, last run1 month ago
0
237
634.5 µs
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00058.smt2created
11 months ago
, last run1 month ago
0
237
474.5 µs
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00190.smt2created
11 months ago
, last run1 month ago
0
237
881.5 µs
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00248.smt2created
11 months ago
, last run1 month ago
0
237
2.3 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00268.smt2created
11 months ago
, last run1 month ago
0
237
17.7 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00853.smt2created
11 months ago
, last acknowledgement11 months ago
1
237
2.6 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00914.smt2created
11 months ago
, last run1 month ago
0
237
657.1 µs
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00945.smt2created
11 months ago
, last run1 month ago
0
237
718.4 µs
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00009.smt2created
11 months ago
, last run1 month ago
0
237
39 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00117.smt2created
11 months ago
, last run1 month ago
0
237
175 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00129.smt2created
11 months ago
, last run1 month ago
0
237
10.7 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00318.smt2created
11 months ago
, last run1 month ago
0
237
18.3 ms
benches/bench.rs::benches::criterion_benchmark::benches/starexec/non-incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_br_max.smt2created
2 months ago
, last acknowledgement2 months ago
1
55
592.8 ms