| Status | Difficulty | Category | Output | Time/ms | Correct? | |
| QF_LIA/check/bignum_lia1.smt | unsat | 0 | check | unsat | 869 | Yes |
| QF_LIA/check/bignum_lia2.smt | sat | 0 | check | sat | 727 | Yes |
| QF_LIA/check/int_incompleteness1.smt | unsat | 0 | check | unsat | 429 | Yes |
| QF_LIA/check/int_incompleteness2.smt | unsat | 0 | check | unsat | 525 | Yes |
| QF_LIA/check/int_incompleteness3.smt | unsat | 0 | check | unsat | 458 | Yes |
| Total: | 5 | |||||
| Correct: | 5 | |||||
| Incorrect: | 0 |