| Benchmark | Answer | Time | Correct? |
|---|
| check/bignum_rdl1.smt |
sat |
0.0 |
yes |
| check/bignum_rdl2.smt |
unsat |
0.0 |
yes |
| sal/fischer3-mutex-1.smt |
unsat |
0.0 |
yes |
| sal/fischer3-mutex-10.smt |
unsat |
0.3 |
yes |
| sal/fischer3-mutex-11.smt |
unsat |
0.5 |
yes |
| sal/fischer3-mutex-13.smt |
unsat |
0.7 |
yes |
| sal/fischer3-mutex-14.smt |
unsat |
1.0 |
yes |
| sal/fischer3-mutex-15.smt |
unsat |
1.0 |
yes |
| sal/fischer3-mutex-16.smt |
unsat |
1.7 |
yes |
| sal/fischer3-mutex-17.smt |
unsat |
2.0 |
yes |
| sal/fischer3-mutex-18.smt |
unsat |
3.0 |
yes |
| sal/fischer3-mutex-19.smt |
unsat |
4.2 |
yes |
| sal/fischer3-mutex-20.smt |
unsat |
4.9 |
yes |
| sal/fischer3-mutex-3.smt |
unsat |
0.0 |
yes |
| sal/fischer3-mutex-4.smt |
unsat |
0.0 |
yes |
| sal/fischer3-mutex-5.smt |
unsat |
0.0 |
yes |
| sal/fischer3-mutex-6.smt |
unsat |
0.0 |
yes |
| sal/fischer3-mutex-7.smt |
unsat |
0.0 |
yes |
| sal/fischer3-mutex-8.smt |
unsat |
0.1 |
yes |
| sal/fischer3-mutex-9.smt |
unsat |
0.1 |
yes |
| sal/fischer6-mutex-1.smt |
unsat |
0.0 |
yes |
| sal/fischer6-mutex-10.smt |
unsat |
3.6 |
yes |
| sal/fischer6-mutex-11.smt |
unsat |
6.7 |
yes |
| sal/fischer6-mutex-12.smt |
unsat |
12.1 |
yes |
| sal/fischer6-mutex-13.smt |
unsat |
10.5 |
yes |
| sal/fischer6-mutex-14.smt |
unsat |
15.4 |
yes |
| sal/fischer6-mutex-15.smt |
unsat |
43.4 |
yes |
| sal/fischer6-mutex-16.smt |
unsat |
56.1 |
yes |
| sal/fischer6-mutex-17.smt |
unsat |
47.9 |
yes |
| sal/fischer6-mutex-18.smt |
unsat |
62.0 |
yes |
| sal/fischer6-mutex-19.smt |
unsat |
174.2 |
yes |
| sal/fischer6-mutex-2.smt |
unsat |
0.0 |
yes |
| sal/fischer6-mutex-20.smt |
unsat |
145.5 |
yes |
| sal/fischer6-mutex-3.smt |
unsat |
0.0 |
yes |
| sal/fischer6-mutex-4.smt |
unsat |
0.0 |
yes |
| sal/fischer6-mutex-5.smt |
unsat |
0.1 |
yes |
| sal/fischer6-mutex-6.smt |
unsat |
0.1 |
yes |
| sal/fischer6-mutex-7.smt |
unsat |
0.1 |
yes |
| sal/fischer6-mutex-8.smt |
unsat |
0.3 |
yes |
| sal/fischer6-mutex-9.smt |
unsat |
1.0 |
yes |
| sal/fischer9-mutex-1.smt |
unsat |
0.0 |
yes |
| sal/fischer9-mutex-10.smt |
unsat |
10.4 |
yes |
| sal/fischer9-mutex-11.smt |
unsat |
22.7 |
yes |
| sal/fischer9-mutex-12.smt |
unsat |
47.5 |
yes |
| sal/fischer9-mutex-13.smt |
unsat |
36.9 |
yes |
| sal/fischer9-mutex-14.smt |
unsat |
179.2 |
yes |
| sal/fischer9-mutex-15.smt |
unsat |
276.5 |
yes |
| sal/fischer9-mutex-16.smt |
unsat |
282.6 |
yes |
| sal/fischer9-mutex-17.smt |
unsat |
466.6 |
yes |
| sal/fischer9-mutex-18.smt |
unsat |
615.4 |
yes |
| sal/fischer9-mutex-19.smt |
unsat |
830.0 |
yes |
| sal/fischer9-mutex-2.smt |
unsat |
0.0 |
yes |
| sal/fischer9-mutex-20.smt |
timeout |
1207.8 |
yes |
| sal/fischer9-mutex-3.smt |
unsat |
0.0 |
yes |
| sal/fischer9-mutex-5.smt |
unsat |
0.1 |
yes |
| sal/fischer9-mutex-6.smt |
unsat |
0.2 |
yes |
| sal/fischer9-mutex-8.smt |
unsat |
0.8 |
yes |
| sal/fischer9-mutex-9.smt |
unsat |
4.7 |
yes |
| scheduling/abz7_500.smt |
unsat |
1.4 |
yes |
| scheduling/abz7_700.smt |
sat |
111.0 |
yes |
| scheduling/abz7_800.smt |
sat |
5.1 |
yes |
| scheduling/orb01_1059.smt |
sat |
251.7 |
yes |
| scheduling/orb02_1000.smt |
sat |
0.3 |
yes |
| scheduling/orb02_700.smt |
unsat |
0.0 |
yes |
| scheduling/orb02_900.smt |
sat |
0.3 |
yes |
| scheduling/orb04_1100.smt |
sat |
0.1 |
yes |
| scheduling/swv14_2905.smt |
timeout |
1203.4 |
yes |
| scheduling/yn2_890.smt |
timeout |
1208.1 |
yes |
| skdmxa/skdmxa-3x3-10.smt |
unsat |
3.5 |
yes |
| skdmxa/skdmxa-3x3-15.smt |
unsat |
58.6 |
yes |
| skdmxa/skdmxa-3x3-20.smt |
unsat |
428.9 |
yes |
| skdmxa2/skdmxa-3x3-10.base.cvc.smt |
unsat |
7.9 |
yes |
| skdmxa2/skdmxa-3x3-10.induction.cvc.smt |
sat |
21.0 |
yes |
| skdmxa2/skdmxa-3x3-11.base.cvc.smt |
unsat |
9.8 |
yes |
| skdmxa2/skdmxa-3x3-11.induction.cvc.smt |
sat |
21.6 |
yes |
| skdmxa2/skdmxa-3x3-12.base.cvc.smt |
unsat |
24.1 |
yes |
| skdmxa2/skdmxa-3x3-12.induction.cvc.smt |
sat |
28.1 |
yes |
| skdmxa2/skdmxa-3x3-13.base.cvc.smt |
unsat |
34.3 |
yes |
| skdmxa2/skdmxa-3x3-13.induction.cvc.smt |
sat |
59.1 |
yes |
| skdmxa2/skdmxa-3x3-14.base.cvc.smt |
unsat |
67.7 |
yes |
| skdmxa2/skdmxa-3x3-14.induction.cvc.smt |
sat |
65.8 |
yes |
| skdmxa2/skdmxa-3x3-15.base.cvc.smt |
unsat |
62.5 |
yes |
| skdmxa2/skdmxa-3x3-15.induction.cvc.smt |
sat |
97.7 |
yes |
| skdmxa2/skdmxa-3x3-16.base.cvc.smt |
unsat |
70.1 |
yes |
| skdmxa2/skdmxa-3x3-16.induction.cvc.smt |
sat |
129.3 |
yes |
| skdmxa2/skdmxa-3x3-17.base.cvc.smt |
unsat |
98.5 |
yes |
| skdmxa2/skdmxa-3x3-17.induction.cvc.smt |
sat |
137.1 |
yes |
| skdmxa2/skdmxa-3x3-18.base.cvc.smt |
unsat |
179.4 |
yes |
| skdmxa2/skdmxa-3x3-18.induction.cvc.smt |
sat |
112.6 |
yes |
| skdmxa2/skdmxa-3x3-19.base.cvc.smt |
unsat |
249.7 |
yes |
| skdmxa2/skdmxa-3x3-19.induction.cvc.smt |
sat |
415.4 |
yes |
| skdmxa2/skdmxa-3x3-20.base.cvc.smt |
unsat |
321.4 |
yes |
| skdmxa2/skdmxa-3x3-20.induction.cvc.smt |
sat |
259.5 |
yes |
| skdmxa2/skdmxa-3x3-5.base.cvc.smt |
unsat |
1.0 |
yes |
| skdmxa2/skdmxa-3x3-5.induction.cvc.smt |
sat |
4.4 |
yes |
| skdmxa2/skdmxa-3x3-6.base.cvc.smt |
unsat |
1.5 |
yes |
| skdmxa2/skdmxa-3x3-6.induction.cvc.smt |
sat |
5.4 |
yes |
| skdmxa2/skdmxa-3x3-7.base.cvc.smt |
unsat |
2.2 |
yes |
| skdmxa2/skdmxa-3x3-7.induction.cvc.smt |
sat |
8.7 |
yes |
| skdmxa2/skdmxa-3x3-8.induction.cvc.smt |
sat |
7.9 |
yes |
| skdmxa2/skdmxa-3x3-9.base.cvc.smt |
unsat |
4.2 |
yes |
| skdmxa2/skdmxa-3x3-9.induction.cvc.smt |
sat |
20.9 |
yes |