| Status | Difficulty | Category | Output | Time/ms | Correct? | |
| QF_IDL/cellar/CELAR6_SUB0.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/cellar/CELAR6_SUB1.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/cellar/CELAR6_SUB2.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/cellar/CELAR6_SUB3.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/cellar/CELAR6_SUB4.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/cellar/CELAR7_SUB1.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/cellar/CELAR7_SUB2.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/cellar/CELAR7_SUB3.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/cellar/CELAR7_SUB4.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/cellar/scen06.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/cellar/scen07.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/cellar/scen08.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/cellar/scen09.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/cellar/scen10.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| Total: | 14 | |||||
| Correct: | 0 | |||||
| Incorrect: | 0 |