| Benchmark | Answer | Time | Correct? |
|---|
| Averest/binary_search/BinarySearch_safe_bgmc001.smt |
sat |
0.0 |
yes |
| Averest/buble_sort/BubbleSort_live_bgmc010.smt |
sat |
1.5 |
yes |
| Averest/buble_sort/BubbleSort_live_bgmc011.smt |
unsat |
0.3 |
yes |
| Averest/buble_sort/BubbleSort_live_blmc003.smt |
sat |
0.7 |
yes |
| Averest/buble_sort/BubbleSort_live_blmc008.smt |
sat |
9.1 |
yes |
| Averest/buble_sort/BubbleSort_safe_bgmc003.smt |
unsat |
0.1 |
yes |
| Averest/buble_sort/BubbleSort_safe_blmc002.smt |
unsat |
0.2 |
yes |
| Averest/buble_sort/BubbleSort_safe_blmc005.smt |
sat |
9.4 |
yes |
| Averest/buble_sort/BubbleSort_safe_blmc007.smt |
sat |
16.8 |
yes |
| Averest/buble_sort/BubbleSort_safe_blmc013.smt |
sat |
63.4 |
yes |
| Averest/buble_sort/BubbleSort_safe_blmc014.smt |
unsat |
91.3 |
yes |
| Averest/buble_sort/BubbleSort_safe_blmc016.smt |
unsat |
192.0 |
yes |
| Averest/fast_max/FastMax_safe_blmc000.smt |
sat |
1.2 |
yes |
| Averest/insertion_sort/InsertionSort_live_bgmc004.smt |
sat |
0.7 |
yes |
| Averest/insertion_sort/InsertionSort_live_bgmc007.smt |
sat |
1.8 |
yes |
| Averest/insertion_sort/InsertionSort_live_bgmc008.smt |
sat |
2.1 |
yes |
| Averest/insertion_sort/InsertionSort_live_bgmc009.smt |
sat |
2.4 |
yes |
| Averest/insertion_sort/InsertionSort_live_blmc006.smt |
sat |
10.9 |
yes |
| Averest/insertion_sort/InsertionSort_safe_blmc001.smt |
sat |
4.0 |
yes |
| Averest/insertion_sort/InsertionSort_safe_blmc006.smt |
sat |
29.7 |
yes |
| Averest/linear_search/LinearSearch_live_bgmc002.smt |
sat |
0.1 |
yes |
| Averest/min_max/MinMax_live_bgmc000.smt |
sat |
0.2 |
yes |
| Averest/min_max/MinMax_live_bgmc003.smt |
unsat |
0.2 |
yes |
| Averest/parallel_search/ParallelSearch_live_blmc000.smt |
unsat |
0.1 |
yes |
| Averest/parallel_search/ParallelSearch_safe_bgmc002.smt |
sat |
0.1 |
yes |
| Averest/partition/Partition_live_bgmc000.smt |
sat |
0.1 |
yes |
| Averest/partition/Partition_live_bgmc004.smt |
sat |
0.2 |
yes |
| Averest/partition/Partition_safe_blmc004.smt |
sat |
204.3 |
yes |
| Averest/selection_sort/SelectionSort_live_bgmc010.smt |
unsat |
0.3 |
yes |
| Averest/selection_sort/SelectionSort_live_blmc000.smt |
sat |
0.2 |
yes |
| Averest/selection_sort/SelectionSort_live_blmc007.smt |
sat |
5.1 |
yes |
| Averest/selection_sort/SelectionSort_safe_bgmc010.smt |
sat |
0.9 |
yes |
| Averest/selection_sort/SelectionSort_safe_blmc004.smt |
unsat |
6.4 |
yes |
| Averest/selection_sort/SelectionSort_safe_blmc006.smt |
unsat |
13.8 |
yes |
| Averest/selection_sort/SelectionSort_safe_blmc008.smt |
unsat |
27.0 |
yes |
| Averest/selection_sort/SelectionSort_safe_blmc009.smt |
sat |
28.0 |
yes |
| Averest/selection_sort/SelectionSort_safe_blmc015.smt |
sat |
109.3 |
yes |
| Averest/sorting_network/SortingNetwork4_live_bgmc003.smt |
sat |
0.4 |
yes |
| Averest/sorting_network/SortingNetwork4_live_bgmc004.smt |
unsat |
0.0 |
yes |
| Averest/sorting_network/SortingNetwork4_live_blmc000.smt |
sat |
0.3 |
yes |
| Averest/sorting_network/SortingNetwork4_safe_blmc001.smt |
sat |
1.1 |
yes |
| Averest/sorting_network/SortingNetwork8_live_blmc003.smt |
unknown |
599.9 |
yes |
| Averest/sorting_network/SortingNetwork8_live_blmc004.smt |
unknown |
600.0 |
yes |
| Averest/sorting_network/SortingNetwork8_safe_blmc001.smt |
sat |
15.8 |
yes |
| DTP/DTP_k2_n35_c175_s13.smt |
sat |
1.0 |
yes |
| DTP/DTP_k2_n35_c175_s14.smt |
sat |
1.5 |
yes |
| DTP/DTP_k2_n35_c210_s10.smt |
unsat |
12.1 |
yes |
| DTP/DTP_k2_n35_c210_s18.smt |
sat |
1.2 |
yes |
| DTP/DTP_k2_n35_c245_s19.smt |
unsat |
4.5 |
yes |
| RTCL/b02_tf_20/ckt_PROP0_tf_20.smt |
unsat |
0.1 |
yes |
| RTCL/b13_tf_10/ckt_PROP1_tf_10.smt |
unsat |
0.1 |
yes |
| RTCL/b13_tf_20/ckt_PROP3_tf_20.smt |
unsat |
0.1 |
yes |
| RTCL/b13_tf_25/ckt_PROP3_tf_25.smt |
unsat |
0.2 |
yes |
| RTCL/b13_tf_9_PROP14/ckt_PROP14_tf_9.smt |
sat |
0.1 |
yes |
| check/bignum_idl1.smt |
unsat |
0.0 |
yes |
| check/bignum_idl2.smt |
unsat |
0.0 |
yes |
| check/int_incompleteness1.smt |
unsat |
0.0 |
yes |
| diamonds/diamonds.11.10.i.a.u.smt |
unsat |
0.7 |
yes |
| job_shop/jobshop22-2-11-11-4-4-12.smt |
timeout |
1208.3 |
yes |
| job_shop/jobshop24-2-12-12-4-4-11.smt |
timeout |
1208.1 |
yes |
| job_shop/jobshop4-2-2-2-2-4-12.smt |
sat |
0.1 |
yes |
| mathsat/fischer/FISCHER11-11-ninc.smt |
timeout |
1206.7 |
yes |
| mathsat/fischer/FISCHER12-11-ninc.smt |
timeout |
1208.1 |
yes |
| mathsat/fischer/FISCHER12-13-ninc.smt |
timeout |
1208.1 |
yes |
| mathsat/fischer/FISCHER13-2-ninc.smt |
unsat |
0.9 |
yes |
| mathsat/fischer/FISCHER14-12-ninc.smt |
timeout |
1208.1 |
yes |
| mathsat/fischer/FISCHER14-5-ninc.smt |
unsat |
7.3 |
yes |
| mathsat/fischer/FISCHER4-4-ninc.smt |
unsat |
0.3 |
yes |
| mathsat/fischer/FISCHER6-5-ninc.smt |
unsat |
1.0 |
yes |
| mathsat/fischer/FISCHER6-7-ninc.smt |
sat |
2.7 |
yes |
| mathsat/fischer/FISCHER7-6-ninc.smt |
unsat |
2.8 |
yes |
| mathsat/fischer/FISCHER7-7-ninc.smt |
unsat |
5.7 |
yes |
| mathsat/fischer/FISCHER7-8-ninc.smt |
sat |
3.3 |
yes |
| mathsat/post_office/PO3-2-PO3.smt |
unsat |
0.2 |
yes |
| mathsat/post_office/PO3-9-PO3.smt |
unsat |
5.4 |
yes |
| planning/plan-17.cvc.smt |
unsat |
3.1 |
yes |
| planning/plan-29.cvc.smt |
unsat |
354.9 |
yes |
| planning/plan-45.cvc.smt |
unsat |
342.7 |
yes |
| qlock/qlock-4-10-12.base.cvc.smt |
unsat |
550.6 |
yes |
| qlock/qlock-4-10-13.base.cvc.smt |
unsat |
454.6 |
yes |
| qlock/qlock-4-10-15.base.cvc.smt |
unsat |
473.0 |
yes |
| qlock/qlock-4-10-18.base.cvc.smt |
unknown |
599.5 |
yes |
| qlock/qlock-4-10-21.base.cvc.smt |
unknown |
600.0 |
yes |
| qlock/qlock-4-10-25.induction.cvc.smt |
unknown |
676.7 |
yes |
| qlock/qlock-4-10-26.base.cvc.smt |
unknown |
599.6 |
yes |
| qlock/qlock-4-10-29.base.cvc.smt |
unknown |
599.4 |
yes |
| qlock/qlock-4-10-30.base.cvc.smt |
unknown |
31.2 |
yes |
| qlock/qlock-4-10-32.base.cvc.smt |
unknown |
599.4 |
yes |
| qlock/qlock-4-10-34.base.cvc.smt |
unknown |
599.7 |
yes |
| qlock/qlock-4-10-35.induction.cvc.smt |
unknown |
600.1 |
yes |
| qlock/qlock-4-10-39.induction.cvc.smt |
unknown |
311.6 |
yes |
| qlock/qlock-4-10-40.induction.cvc.smt |
unknown |
232.1 |
yes |
| queens_bench/n_queen/queen20-1.smt |
sat |
6.4 |
yes |
| queens_bench/n_queen/queen35-1.smt |
timeout |
1208.8 |
yes |
| queens_bench/n_queen/queen60-1.smt |
timeout |
1208.3 |
yes |
| queens_bench/super_queen/super_queen35-1.smt |
timeout |
1208.6 |
yes |
| queens_bench/toroidal_bench/toroidal_queen6-1.smt |
unsat |
3.0 |
yes |
| queens_bench/toroidal_bench/toroidal_queen60-1.smt |
timeout |
1208.6 |
yes |
| sal/bakery/inf-bakery-invalid-2.smt |
unsat |
0.0 |
yes |
| sal/bakery/inf-bakery-invalid-4.smt |
sat |
0.1 |
yes |
| sal/lpsat/lpsat-goal-19.smt |
sat |
8.7 |
yes |
| sep/hardware/OOO_neg.2steps.smt |
unsat |
0.0 |
yes |
| sep/railroad/RailRoad1_neg_3.smt |
sat |
0.0 |
yes |