| Status | Difficulty | Category | Output | Time/ms | Correct? | |
| QF_IDL/sep/hardware/cache.2steps.smt | unsat | 0 | industrial | unsat | 787 | Yes |
| QF_IDL/sep/hardware/cache_neg.1step.smt | unsat | 0 | industrial | unsat | 905 | Yes |
| QF_IDL/sep/hardware/cache_neg.2step.smt | unsat | 0 | industrial | unsat | 1950 | Yes |
| QF_IDL/sep/hardware/LD_ST_neg.1step.smt | unsat | 0 | industrial | unsat | 1333 | Yes |
| QF_IDL/sep/hardware/LD_ST_neg.2step.smt | unsat | 0 | industrial | unsat | 2210 | Yes |
| QF_IDL/sep/hardware/LD_ST_neg.3step.smt | unsat | 0 | industrial | unsat | 3442 | Yes |
| QF_IDL/sep/hardware/OOO_neg.2steps.smt | unsat | 0 | industrial | unsat | 1106 | Yes |
| QF_IDL/sep/hardware/OOO_neg.3steps.smt | unsat | 0 | industrial | unsat | 2431 | Yes |
| QF_IDL/sep/misc/2ba.smt | sat | 0 | industrial | sat | 3265 | Yes |
| QF_IDL/sep/misc/abz5-900.smt | sat | 0 | industrial | sat | 14041 | Yes |
| QF_IDL/sep/misc/ring2-100.smt | sat | 0 | industrial | sat | 13659 | Yes |
| QF_IDL/sep/misc/ring2-10.smt | sat | 0 | industrial | sat | 2136 | Yes |
| QF_IDL/sep/railroad/RailRoad1_neg_2.smt | sat | 0 | industrial | sat | 1158 | Yes |
| QF_IDL/sep/railroad/RailRoad1_neg_3.smt | sat | 0 | industrial | sat | 1819 | Yes |
| QF_IDL/sep/railroad/RailRoad1_neg_4.smt | sat | 0 | industrial | sat | 1660 | Yes |
| QF_IDL/sep/railroad/RailRoad_neg_0.smt | sat | 0 | industrial | sat | 913 | Yes |
| QF_IDL/sep/railroad/RailRoad_neg_2.smt | sat | 0 | industrial | sat | 1776 | Yes |
| Total: | 17 | |||||
| Correct: | 17 | |||||
| Incorrect: | 0 |