GitHub Actions run on branch move-sort-checking - dewert99/plat-smt

GitHub Actions
run

Instrumentation

1 month ago 30b9d13 move-sort-checking

Compare

Base

Search a run

Head

Moved all sort checking to `outer_solver` to simplify inner implementation

#90

move-sort-checking

1 month ago

Compare

Suggested base runs: •

Benchmarks

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

11.2 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

2.6 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

1.8 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

2.2 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

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

524.4 µ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

600.3 µ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

2 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

966.1 µ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

878.9 µs

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

4.3 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

17.6 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

2.1 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

2.6 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

2.3 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

174 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

629.5 µs

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

9.9 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

17.6 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

17.9 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

364.8 µ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

3.2 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

38.6 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

10.6 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

713.6 µ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

652.6 µ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

788.1 µ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

755.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

10.9 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

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

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

475.3 µ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

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

6.4 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

6.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

909.7 µ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

2.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

971.9 µ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

504.2 µ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

1.7 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

1.3 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

676.8 µ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

765.2 µs

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

2.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

5.6 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

1.2 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

417.6 µ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

51.3 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

2.3 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

119.4 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

502.3 µs

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

897.8 µs

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

43.9 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

17.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

46.9 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

31.3 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

631 µs

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

58.8 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

39.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

21.5 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

903.2 µs

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

1.2 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

1.1 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

14.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

38.6 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

8.5 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

35.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

34.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::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp.6.prop1_ab_min_max.smt2

19.9 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

31.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

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

15.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

962.5 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

37.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

37.2 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

154 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

29.5 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

974.7 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

125.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::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.2.prop1_ab_core_max.smt2

29.4 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

592.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

19.5 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

299 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

81.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

889.1 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

293.7 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

65 ms

Home Terms Privacy Docs