| 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 |
77.0 |
yes |
| sal/fischer3-mutex-11.smt |
unsat |
209.4 |
yes |
| sal/fischer3-mutex-13.smt |
unsat |
264.6 |
yes |
| sal/fischer3-mutex-14.smt |
unknown |
321.3 |
yes |
| sal/fischer3-mutex-15.smt |
unknown |
295.2 |
yes |
| sal/fischer3-mutex-16.smt |
unknown |
307.0 |
yes |
| sal/fischer3-mutex-17.smt |
unknown |
330.1 |
yes |
| sal/fischer3-mutex-18.smt |
unknown |
305.6 |
yes |
| sal/fischer3-mutex-19.smt |
unknown |
305.0 |
yes |
| sal/fischer3-mutex-20.smt |
unknown |
332.8 |
yes |
| sal/fischer3-mutex-3.smt |
unsat |
0.2 |
yes |
| sal/fischer3-mutex-4.smt |
unsat |
1.8 |
yes |
| sal/fischer3-mutex-5.smt |
unsat |
2.4 |
yes |
| sal/fischer3-mutex-6.smt |
unsat |
8.3 |
yes |
| sal/fischer3-mutex-7.smt |
unsat |
8.0 |
yes |
| sal/fischer3-mutex-8.smt |
unsat |
11.7 |
yes |
| sal/fischer3-mutex-9.smt |
unsat |
15.9 |
yes |
| sal/fischer6-mutex-1.smt |
unsat |
0.1 |
yes |
| sal/fischer6-mutex-10.smt |
unknown |
331.0 |
yes |
| sal/fischer6-mutex-11.smt |
unknown |
330.1 |
yes |
| sal/fischer6-mutex-12.smt |
unknown |
322.5 |
yes |
| sal/fischer6-mutex-13.smt |
unknown |
338.5 |
yes |
| sal/fischer6-mutex-14.smt |
unknown |
330.7 |
yes |
| sal/fischer6-mutex-15.smt |
unknown |
324.4 |
yes |
| sal/fischer6-mutex-16.smt |
unknown |
340.0 |
yes |
| sal/fischer6-mutex-17.smt |
unknown |
333.9 |
yes |
| sal/fischer6-mutex-18.smt |
unknown |
332.6 |
yes |
| sal/fischer6-mutex-19.smt |
unknown |
306.6 |
yes |
| sal/fischer6-mutex-2.smt |
unsat |
0.6 |
yes |
| sal/fischer6-mutex-20.smt |
unknown |
313.9 |
yes |
| sal/fischer6-mutex-3.smt |
unsat |
1.5 |
yes |
| sal/fischer6-mutex-4.smt |
unsat |
5.2 |
yes |
| sal/fischer6-mutex-5.smt |
unsat |
2.8 |
yes |
| sal/fischer6-mutex-6.smt |
unsat |
18.9 |
yes |
| sal/fischer6-mutex-7.smt |
unsat |
33.4 |
yes |
| sal/fischer6-mutex-8.smt |
unsat |
68.0 |
yes |
| sal/fischer6-mutex-9.smt |
unknown |
335.5 |
yes |
| sal/fischer9-mutex-1.smt |
unsat |
0.1 |
yes |
| sal/fischer9-mutex-10.smt |
unknown |
324.5 |
yes |
| sal/fischer9-mutex-11.smt |
unknown |
346.4 |
yes |
| sal/fischer9-mutex-12.smt |
unknown |
339.2 |
yes |
| sal/fischer9-mutex-13.smt |
unknown |
334.1 |
yes |
| sal/fischer9-mutex-14.smt |
unknown |
334.8 |
yes |
| sal/fischer9-mutex-15.smt |
unknown |
314.4 |
yes |
| sal/fischer9-mutex-16.smt |
unknown |
333.0 |
yes |
| sal/fischer9-mutex-17.smt |
unknown |
316.6 |
yes |
| sal/fischer9-mutex-18.smt |
unknown |
343.4 |
yes |
| sal/fischer9-mutex-19.smt |
unknown |
336.3 |
yes |
| sal/fischer9-mutex-2.smt |
unsat |
0.8 |
yes |
| sal/fischer9-mutex-20.smt |
unknown |
319.1 |
yes |
| sal/fischer9-mutex-3.smt |
unsat |
2.7 |
yes |
| sal/fischer9-mutex-5.smt |
unsat |
11.8 |
yes |
| sal/fischer9-mutex-6.smt |
unknown |
321.3 |
yes |
| sal/fischer9-mutex-8.smt |
unknown |
326.0 |
yes |
| sal/fischer9-mutex-9.smt |
unknown |
313.2 |
yes |
| scheduling/abz7_500.smt |
unknown |
273.3 |
yes |
| scheduling/abz7_700.smt |
unknown |
277.6 |
yes |
| scheduling/abz7_800.smt |
unknown |
276.6 |
yes |
| scheduling/orb01_1059.smt |
unknown |
283.3 |
yes |
| scheduling/orb02_1000.smt |
unknown |
286.3 |
yes |
| scheduling/orb02_700.smt |
unsat |
1.4 |
yes |
| scheduling/orb02_900.smt |
unknown |
286.7 |
yes |
| scheduling/orb04_1100.smt |
unknown |
289.3 |
yes |
| scheduling/swv14_2905.smt |
unknown |
186.7 |
yes |
| scheduling/yn2_890.smt |
unknown |
277.2 |
yes |
| skdmxa/skdmxa-3x3-10.smt |
unknown |
247.5 |
yes |
| skdmxa/skdmxa-3x3-15.smt |
unknown |
293.9 |
yes |
| skdmxa/skdmxa-3x3-20.smt |
unknown |
232.0 |
yes |
| skdmxa2/skdmxa-3x3-10.base.cvc.smt |
unknown |
173.1 |
yes |
| skdmxa2/skdmxa-3x3-10.induction.cvc.smt |
unknown |
194.4 |
yes |
| skdmxa2/skdmxa-3x3-11.base.cvc.smt |
unknown |
147.5 |
yes |
| skdmxa2/skdmxa-3x3-11.induction.cvc.smt |
unknown |
154.1 |
yes |
| skdmxa2/skdmxa-3x3-12.base.cvc.smt |
unknown |
124.6 |
yes |
| skdmxa2/skdmxa-3x3-12.induction.cvc.smt |
unknown |
143.3 |
yes |
| skdmxa2/skdmxa-3x3-13.base.cvc.smt |
unknown |
116.2 |
yes |
| skdmxa2/skdmxa-3x3-13.induction.cvc.smt |
unknown |
126.3 |
yes |
| skdmxa2/skdmxa-3x3-14.base.cvc.smt |
unknown |
104.0 |
yes |
| skdmxa2/skdmxa-3x3-14.induction.cvc.smt |
unknown |
117.6 |
yes |
| skdmxa2/skdmxa-3x3-15.base.cvc.smt |
unknown |
105.7 |
yes |
| skdmxa2/skdmxa-3x3-15.induction.cvc.smt |
unknown |
109.9 |
yes |
| skdmxa2/skdmxa-3x3-16.base.cvc.smt |
unknown |
110.4 |
yes |
| skdmxa2/skdmxa-3x3-16.induction.cvc.smt |
unknown |
111.3 |
yes |
| skdmxa2/skdmxa-3x3-17.base.cvc.smt |
unknown |
110.2 |
yes |
| skdmxa2/skdmxa-3x3-17.induction.cvc.smt |
unknown |
108.5 |
yes |
| skdmxa2/skdmxa-3x3-18.base.cvc.smt |
unknown |
107.8 |
yes |
| skdmxa2/skdmxa-3x3-18.induction.cvc.smt |
unknown |
108.2 |
yes |
| skdmxa2/skdmxa-3x3-19.base.cvc.smt |
unknown |
110.1 |
yes |
| skdmxa2/skdmxa-3x3-19.induction.cvc.smt |
unknown |
110.7 |
yes |
| skdmxa2/skdmxa-3x3-20.base.cvc.smt |
unknown |
106.1 |
yes |
| skdmxa2/skdmxa-3x3-20.induction.cvc.smt |
unknown |
107.4 |
yes |
| skdmxa2/skdmxa-3x3-5.base.cvc.smt |
unsat |
54.2 |
yes |
| skdmxa2/skdmxa-3x3-5.induction.cvc.smt |
unknown |
281.7 |
yes |
| skdmxa2/skdmxa-3x3-6.base.cvc.smt |
unknown |
236.7 |
yes |
| skdmxa2/skdmxa-3x3-6.induction.cvc.smt |
unknown |
342.6 |
yes |
| skdmxa2/skdmxa-3x3-7.base.cvc.smt |
unknown |
234.8 |
yes |
| skdmxa2/skdmxa-3x3-7.induction.cvc.smt |
unknown |
233.3 |
yes |
| skdmxa2/skdmxa-3x3-8.induction.cvc.smt |
unknown |
234.1 |
yes |
| skdmxa2/skdmxa-3x3-9.base.cvc.smt |
unknown |
190.6 |
yes |
| skdmxa2/skdmxa-3x3-9.induction.cvc.smt |
unknown |
206.2 |
yes |