| Benchmark | Answer | Time | Correct? |
|---|
| sal/fischer3-mutex-10.smt | unsat |
1.2 |
yes |
| sal/fischer3-mutex-11.smt | unsat |
2.5 |
yes |
| sal/fischer3-mutex-12.smt | unsat |
4.3 |
yes |
| sal/fischer3-mutex-15.smt | unsat |
14.6 |
yes |
| sal/fischer3-mutex-20.smt | unsat |
53.4 |
yes |
| sal/fischer3-mutex-3.smt | unsat |
0.0 |
yes |
| sal/fischer3-mutex-5.smt | unsat |
0.1 |
yes |
| sal/fischer3-mutex-8.smt | unsat |
0.2 |
yes |
| sal/fischer6-mutex-10.smt | unsat |
17.7 |
yes |
| sal/fischer6-mutex-11.smt | unsat |
17.8 |
yes |
| sal/fischer6-mutex-12.smt | unsat |
36.6 |
yes |
| sal/fischer6-mutex-15.smt | unsat |
211.4 |
yes |
| sal/fischer6-mutex-20.smt | unknown |
- | - |
| sal/fischer6-mutex-3.smt | unsat |
0.1 |
yes |
| sal/fischer6-mutex-5.smt | unsat |
0.1 |
yes |
| sal/fischer6-mutex-8.smt | unsat |
1.5 |
yes |
| sal/fischer9-mutex-10.smt | unsat |
36.7 |
yes |
| sal/fischer9-mutex-11.smt | unsat |
81.0 |
yes |
| sal/fischer9-mutex-12.smt | unsat |
136.8 |
yes |
| sal/fischer9-mutex-15.smt | unknown |
- | - |
| sal/fischer9-mutex-20.smt | unknown |
- | - |
| sal/fischer9-mutex-3.smt | unsat |
0.1 |
yes |
| sal/fischer9-mutex-5.smt | unsat |
0.2 |
yes |
| sal/fischer9-mutex-8.smt | unsat |
2.2 |
yes |
| scheduling/abz5_1000.smt | unsat |
0.0 |
yes |
| scheduling/abz5_1200.smt | unsat |
26.4 |
yes |
| scheduling/abz5_1234.smt | sat |
104.2 |
yes |
| scheduling/abz6_800.smt | unsat |
0.0 |
yes |
| scheduling/abz6_900.smt | unsat |
0.4 |
yes |
| scheduling/orb01_900.smt | unsat |
1.2 |
yes |
| scheduling/orb02_888.smt | sat |
18.8 |
yes |
| scheduling/orb03_1005.smt | unknown |
- | - |
| scheduling/orb03_950.smt | unsat |
73.1 |
yes |
| scheduling/orb07_250.smt | unsat |
0.0 |
yes |
| scheduling/orb07_330.smt | unsat |
0.0 |
yes |
| scheduling/orb07_397.smt | sat |
12.4 |
yes |
| scheduling/orb09_800.smt | unsat |
0.2 |
yes |
| scheduling/orb09_900.smt | unsat |
14.1 |
yes |
| scheduling/orb09_934.smt | sat |
43.9 |
yes |
| scheduling/orb10_1000.smt | sat |
3.3 |
yes |
| scheduling/orb10_800.smt | unsat |
0.0 |
yes |
| scheduling/yn1_750.smt | unsat |
1.1 |
yes |
| scheduling/yn2_750.smt | unsat |
1.0 |
yes |
| scheduling/yn2_950.smt | unknown |
- | - |
| scheduling/yn3_750.smt | unsat |
1.8 |
yes |
| scheduling/yn3_950.smt | unknown |
- | - |
| skdmxa/skdmxa-3x3-10.smt | unknown |
- | - |
| skdmxa/skdmxa-3x3-15.smt | unknown |
- | - |
| skdmxa/skdmxa-3x3-20.smt | unknown |
- | - |
| skdmxa/skdmxa-3x3-5.smt | unsat |
20.4 |
yes |