| Status | Difficulty | Category | Output | Time/ms | Correct? | |
| QF_IDL/check/bignum_idl1.smt | unsat | 0 | check | unsat | 513 | Yes |
| QF_IDL/check/bignum_idl2.smt | unsat | 0 | check | unsat | 535 | Yes |
| QF_IDL/check/int_incompleteness1.smt | unsat | 0 | check | unsat | 647 | Yes |
| Total: | 3 | |||||
| Correct: | 3 | |||||
| Incorrect: | 0 |