| Benchmark | Answer | Time | Correct? |
|---|
| DTP/DTP_k2_n35_c175_s9.smt | sat |
0.3 |
yes |
| DTP/DTP_k2_n35_c210_s10.smt | unsat |
36.8 |
yes |
| DTP/DTP_k2_n35_c210_s16.smt | unsat |
5.0 |
yes |
| DTP/DTP_k2_n35_c210_s2.smt | unsat |
14.9 |
yes |
| DTP/DTP_k2_n35_c210_s4.smt | unsat |
17.4 |
yes |
| DTP/DTP_k2_n35_c210_s9.smt | sat |
0.3 |
yes |
| DTP/DTP_k2_n35_c245_s10.smt | unsat |
8.4 |
yes |
| DTP/DTP_k2_n35_c245_s15.smt | unsat |
72.9 |
yes |
| DTP/DTP_k2_n35_c245_s2.smt | sat |
0.2 |
yes |
| DTP/DTP_k2_n35_c245_s20.smt | unsat |
10.2 |
yes |
| DTP/DTP_k2_n35_c245_s5.smt | unsat |
16.7 |
yes |
| DTP/DTP_k2_n35_c245_s9.smt | unsat |
33.9 |
yes |
| check/int_incompleteness1.smt | unsat |
0.0 |
yes |
| diamonds/diamonds.10.2.i.a.u.smt | unsat |
188.0 |
yes |
| diamonds/diamonds.10.3.i.a.u.smt | unsat |
0.1 |
yes |
| diamonds/diamonds.14.5.i.a.u.smt | unsat |
1.9 |
yes |
| diamonds/diamonds.18.10.i.a.u.smt | unsat |
64.5 |
yes |
| diamonds/diamonds.18.5.i.a.u.smt | unsat |
37.7 |
yes |
| mathsat/FISCHER10-10-ninc.smt | unsat |
361.3 |
yes |
| mathsat/FISCHER10-11-ninc.smt | sat |
76.3 |
yes |
| mathsat/FISCHER10-5-ninc.smt | unsat |
0.2 |
yes |
| mathsat/FISCHER13-10-ninc.smt | unsat |
235.9 |
yes |
| mathsat/FISCHER13-13-ninc.smt | unknown |
- | - |
| mathsat/FISCHER13-14-ninc.smt | unknown |
- | - |
| mathsat/FISCHER13-5-ninc.smt | unsat |
0.2 |
yes |
| mathsat/FISCHER14-10-ninc.smt | unsat |
489.9 |
yes |
| mathsat/FISCHER14-14-ninc.smt | unknown |
- | - |
| mathsat/FISCHER14-15-ninc.smt | unknown |
- | - |
| mathsat/FISCHER5-5-ninc.smt | unsat |
0.1 |
yes |
| mathsat/FISCHER9-10-ninc.smt | sat |
107.7 |
yes |
| mathsat/FISCHER9-9-ninc.smt | unsat |
77.1 |
yes |
| mathsat/PO3-10-PO3.smt | sat |
0.2 |
yes |
| mathsat/PO3-5-PO3.smt | unsat |
0.1 |
yes |
| mathsat/PO3-7-PO3.smt | unsat |
0.1 |
yes |
| mathsat/PO4-10-PO4.smt | unsat |
1.5 |
yes |
| mathsat/PO4-11-PO4.smt | unsat |
1.5 |
yes |
| mathsat/PO4-4-PO4.smt | unsat |
0.2 |
yes |
| mathsat/PO4-6-PO4.smt | unsat |
0.3 |
yes |
| mathsat/PO4-8-PO4.smt | unsat |
0.5 |
yes |
| sal/inf-bakery-invalid-10.smt | sat |
0.0 |
yes |
| sal/inf-bakery-mutex-10.smt | unsat |
0.1 |
yes |
| sal/inf-bakery-mutex-15.smt | unsat |
0.2 |
yes |
| sal/inf-bakery-mutex-20.smt | unsat |
0.6 |
yes |
| sal/lpsat-goal-10.smt | unsat |
1.0 |
yes |
| sal/lpsat-goal-15.smt | unsat |
5.6 |
yes |
| sal/lpsat-goal-19.smt | sat |
6.4 |
yes |
| sal/lpsat-goal-20.smt | sat |
6.8 |
yes |
| sal/lpsat-goal-5.smt | unsat |
0.1 |
yes |
| sep/LD_ST_neg.2step.smt | unsat |
0.0 |
yes |
| sep/LD_ST_neg.3step.smt | unsat |
0.1 |
yes |
| sep/cache_neg.2step.smt | unsat |
0.0 |
yes |