| Status | Difficulty | Category | Output | Time/ms | Correct? | |
| QF_LIA/wisa/wisa1.smt | sat | 1 | industrial | sat | 29035 | Yes |
| QF_LIA/wisa/wisa2.smt | unsat | 1 | industrial | unsat | 284115 | Yes |
| QF_LIA/wisa/wisa3.smt | sat | 0 | industrial | sat | 225052 | Yes |
| QF_LIA/wisa/wisa4.smt | sat | 0 | industrial | sat | 361795 | Yes |
| QF_LIA/wisa/wisa5.smt | unsat | 1 | industrial | timeout | infty | Unknown |
| Total: | 5 | |||||
| Correct: | 4 | |||||
| Incorrect: | 0 |