| Status | Difficulty | Category | Output | Time/ms | Correct? | |
| QF_IDL/sal/bakery/inf-bakery-invalid-10.smt | sat | 0 | industrial | sat | 10201 | Yes |
| QF_IDL/sal/bakery/inf-bakery-invalid-1.smt | unsat | 0 | industrial | unsat | 1652 | Yes |
| QF_IDL/sal/bakery/inf-bakery-invalid-2.smt | unsat | 0 | industrial | unsat | 2908 | Yes |
| QF_IDL/sal/bakery/inf-bakery-invalid-3.smt | sat | 0 | industrial | sat | 3656 | Yes |
| QF_IDL/sal/bakery/inf-bakery-invalid-4.smt | sat | 0 | industrial | sat | 6411 | Yes |
| QF_IDL/sal/bakery/inf-bakery-invalid-5.smt | sat | 0 | industrial | sat | 5932 | Yes |
| QF_IDL/sal/bakery/inf-bakery-invalid-6.smt | sat | 0 | industrial | sat | 6487 | Yes |
| QF_IDL/sal/bakery/inf-bakery-invalid-7.smt | sat | 0 | industrial | sat | 12305 | Yes |
| QF_IDL/sal/bakery/inf-bakery-invalid-8.smt | sat | 0 | industrial | sat | 7338 | Yes |
| QF_IDL/sal/bakery/inf-bakery-invalid-9.smt | sat | 0 | industrial | sat | 9719 | Yes |
| QF_IDL/sal/bakery/inf-bakery-mutex-10.smt | unsat | 0 | industrial | unsat | 285762 | Yes |
| QF_IDL/sal/bakery/inf-bakery-mutex-11.smt | unsat | 0 | industrial | unsat | 678576 | Yes |
| QF_IDL/sal/bakery/inf-bakery-mutex-12.smt | unsat | 0 | industrial | unsat | 649068 | Yes |
| QF_IDL/sal/bakery/inf-bakery-mutex-13.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/sal/bakery/inf-bakery-mutex-14.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/sal/bakery/inf-bakery-mutex-15.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/sal/bakery/inf-bakery-mutex-16.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/sal/bakery/inf-bakery-mutex-17.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/sal/bakery/inf-bakery-mutex-18.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/sal/bakery/inf-bakery-mutex-19.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/sal/bakery/inf-bakery-mutex-1.smt | unsat | 0 | industrial | unsat | 1685 | Yes |
| QF_IDL/sal/bakery/inf-bakery-mutex-20.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/sal/bakery/inf-bakery-mutex-2.smt | unsat | 0 | industrial | unsat | 2913 | Yes |
| QF_IDL/sal/bakery/inf-bakery-mutex-3.smt | unsat | 0 | industrial | unsat | 4130 | Yes |
| QF_IDL/sal/bakery/inf-bakery-mutex-4.smt | unsat | 0 | industrial | unsat | 6735 | Yes |
| QF_IDL/sal/bakery/inf-bakery-mutex-5.smt | unsat | 0 | industrial | unsat | 9725 | Yes |
| QF_IDL/sal/bakery/inf-bakery-mutex-6.smt | unsat | 0 | industrial | unsat | 15279 | Yes |
| QF_IDL/sal/bakery/inf-bakery-mutex-7.smt | unsat | 0 | industrial | unsat | 40315 | Yes |
| QF_IDL/sal/bakery/inf-bakery-mutex-8.smt | unsat | 0 | industrial | unsat | 57995 | Yes |
| QF_IDL/sal/bakery/inf-bakery-mutex-9.smt | unsat | 0 | industrial | unsat | 147923 | Yes |
| QF_IDL/sal/lpsat/lpsat-goal-10.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/sal/lpsat/lpsat-goal-11.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/sal/lpsat/lpsat-goal-12.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/sal/lpsat/lpsat-goal-13.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/sal/lpsat/lpsat-goal-14.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/sal/lpsat/lpsat-goal-15.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/sal/lpsat/lpsat-goal-16.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/sal/lpsat/lpsat-goal-17.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/sal/lpsat/lpsat-goal-18.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/sal/lpsat/lpsat-goal-19.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/sal/lpsat/lpsat-goal-1.smt | unsat | 0 | industrial | unsat | 4313 | Yes |
| QF_IDL/sal/lpsat/lpsat-goal-20.smt | sat | 1 | industrial | timeout | infty | Unknown |
| QF_IDL/sal/lpsat/lpsat-goal-2.smt | unsat | 0 | industrial | unsat | 8495 | Yes |
| QF_IDL/sal/lpsat/lpsat-goal-3.smt | unsat | 0 | industrial | unsat | 34955 | Yes |
| QF_IDL/sal/lpsat/lpsat-goal-4.smt | unsat | 0 | industrial | unsat | 122093 | Yes |
| QF_IDL/sal/lpsat/lpsat-goal-5.smt | unsat | 0 | industrial | unsat | 837689 | Yes |
| QF_IDL/sal/lpsat/lpsat-goal-6.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/sal/lpsat/lpsat-goal-7.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/sal/lpsat/lpsat-goal-8.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/sal/lpsat/lpsat-goal-9.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| Total: | 50 | |||||
| Correct: | 27 | |||||
| Incorrect: | 0 |