| Status | Difficulty | Category | Output | Time/ms | Correct? | |
| QF_LIA/rings/ring_2exp10_3vars_0ite_unsat.smt | unsat | 0 | crafted | unsat | 5931 | Yes |
| QF_LIA/rings/ring_2exp10_3vars_1ite_unsat.smt | unsat | 1 | crafted | unsat | 7623 | Yes |
| QF_LIA/rings/ring_2exp10_3vars_2ite_unsat.smt | unsat | 0 | crafted | unsat | 7512 | Yes |
| QF_LIA/rings/ring_2exp10_4vars_0ite_unsat.smt | unsat | 1 | crafted | unsat | 50760 | Yes |
| QF_LIA/rings/ring_2exp10_4vars_1ite_unsat.smt | unsat | 1 | crafted | unsat | 122151 | Yes |
| QF_LIA/rings/ring_2exp10_4vars_2ite_unsat.smt | unsat | 1 | crafted | unsat | 61833 | Yes |
| QF_LIA/rings/ring_2exp10_4vars_3ite_unsat.smt | unsat | 1 | crafted | unsat | 46104 | Yes |
| QF_LIA/rings/ring_2exp10_5vars_0ite_unsat.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp10_5vars_1ite_unsat.smt | unsat | 1 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp10_5vars_2ite_unsat.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp10_5vars_3ite_unsat.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp10_5vars_4ite_unsat.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp10_6vars_0ite_unsat.smt | unsat | 2 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp10_6vars_1ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp10_6vars_2ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp10_6vars_3ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp10_6vars_4ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp10_6vars_5ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp10_7vars_0ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp10_7vars_1ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp10_7vars_2ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp10_7vars_3ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp10_7vars_4ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp10_7vars_5ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp10_7vars_6ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp10_8vars_0ite_unsat.smt | unsat | 2 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp10_8vars_1ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp10_8vars_2ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp10_8vars_3ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp10_8vars_4ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp10_8vars_5ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp10_8vars_6ite_unsat.smt | unsat | 5 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp10_8vars_7ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp10_9vars_0ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp10_9vars_1ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp10_9vars_2ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp10_9vars_3ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp10_9vars_4ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp10_9vars_5ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp10_9vars_6ite_unsat.smt | unsat | 5 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp10_9vars_7ite_unsat.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp10_9vars_8ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp12_3vars_0ite_unsat.smt | unsat | 0 | crafted | unsat | 4620 | Yes |
| QF_LIA/rings/ring_2exp12_3vars_1ite_unsat.smt | unsat | 0 | crafted | unsat | 5786 | Yes |
| QF_LIA/rings/ring_2exp12_3vars_2ite_unsat.smt | unsat | 1 | crafted | unsat | 6001 | Yes |
| QF_LIA/rings/ring_2exp12_4vars_0ite_unsat.smt | unsat | 1 | crafted | unsat | 47384 | Yes |
| QF_LIA/rings/ring_2exp12_4vars_1ite_unsat.smt | unsat | 1 | crafted | unsat | 119251 | Yes |
| QF_LIA/rings/ring_2exp12_4vars_2ite_unsat.smt | unsat | 1 | crafted | unsat | 58529 | Yes |
| QF_LIA/rings/ring_2exp12_4vars_3ite_unsat.smt | unsat | 1 | crafted | unsat | 42765 | Yes |
| QF_LIA/rings/ring_2exp12_5vars_0ite_unsat.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp12_5vars_1ite_unsat.smt | unsat | 1 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp12_5vars_2ite_unsat.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp12_5vars_3ite_unsat.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp12_5vars_4ite_unsat.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp12_6vars_0ite_unsat.smt | unsat | 2 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp12_6vars_1ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp12_6vars_2ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp12_6vars_3ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp12_6vars_4ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp12_6vars_5ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp12_7vars_0ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp12_7vars_1ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp12_7vars_2ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp12_7vars_3ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp12_7vars_4ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp12_7vars_5ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp12_7vars_6ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp12_8vars_0ite_unsat.smt | unsat | 2 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp12_8vars_1ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp12_8vars_2ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp12_8vars_3ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp12_8vars_4ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp12_8vars_5ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp12_8vars_6ite_unsat.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp12_8vars_7ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp12_9vars_0ite_unsat.smt | unsat | 2 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp12_9vars_1ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp12_9vars_2ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp12_9vars_3ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp12_9vars_4ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp12_9vars_5ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp12_9vars_6ite_unsat.smt | unsat | 5 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp12_9vars_7ite_unsat.smt | unsat | 5 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp12_9vars_8ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp14_3vars_0ite_unsat.smt | unsat | 0 | crafted | unsat | 4495 | Yes |
| QF_LIA/rings/ring_2exp14_3vars_1ite_unsat.smt | unsat | 0 | crafted | unsat | 5897 | Yes |
| QF_LIA/rings/ring_2exp14_3vars_2ite_unsat.smt | unsat | 1 | crafted | unsat | 5952 | Yes |
| QF_LIA/rings/ring_2exp14_4vars_0ite_unsat.smt | unsat | 1 | crafted | unsat | 47301 | Yes |
| QF_LIA/rings/ring_2exp14_4vars_1ite_unsat.smt | unsat | 1 | crafted | unsat | 120738 | Yes |
| QF_LIA/rings/ring_2exp14_4vars_2ite_unsat.smt | unsat | 1 | crafted | unsat | 59182 | Yes |
| QF_LIA/rings/ring_2exp14_4vars_3ite_unsat.smt | unsat | 1 | crafted | unsat | 43293 | Yes |
| QF_LIA/rings/ring_2exp14_5vars_0ite_unsat.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp14_5vars_1ite_unsat.smt | unsat | 1 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp14_5vars_2ite_unsat.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp14_5vars_3ite_unsat.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp14_5vars_4ite_unsat.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp14_6vars_0ite_unsat.smt | unsat | 2 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp14_6vars_1ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp14_6vars_2ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp14_6vars_3ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp14_6vars_4ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp14_6vars_5ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp14_7vars_0ite_unsat.smt | unsat | 2 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp14_7vars_1ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp14_7vars_2ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp14_7vars_3ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp14_7vars_4ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp14_7vars_5ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp14_7vars_6ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp14_8vars_0ite_unsat.smt | unsat | 2 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp14_8vars_1ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp14_8vars_2ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp14_8vars_3ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp14_8vars_4ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp14_8vars_5ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp14_8vars_6ite_unsat.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp14_8vars_7ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp14_9vars_0ite_unsat.smt | unsat | 2 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp14_9vars_1ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp14_9vars_2ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp14_9vars_3ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp14_9vars_4ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp14_9vars_5ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp14_9vars_6ite_unsat.smt | unsat | 5 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp14_9vars_7ite_unsat.smt | unsat | 5 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp14_9vars_8ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_3vars_0ite_unsat.smt | unsat | 0 | crafted | unsat | 4598 | Yes |
| QF_LIA/rings/ring_2exp16_3vars_1ite_unsat.smt | unsat | 0 | crafted | unsat | 5701 | Yes |
| QF_LIA/rings/ring_2exp16_3vars_2ite_unsat.smt | unsat | 1 | crafted | unsat | 5937 | Yes |
| QF_LIA/rings/ring_2exp16_4vars_0ite_unsat.smt | unsat | 1 | crafted | unsat | 46755 | Yes |
| QF_LIA/rings/ring_2exp16_4vars_1ite_unsat.smt | unsat | 1 | crafted | unsat | 117438 | Yes |
| QF_LIA/rings/ring_2exp16_4vars_2ite_unsat.smt | unsat | 1 | crafted | unsat | 58304 | Yes |
| QF_LIA/rings/ring_2exp16_4vars_3ite_unsat.smt | unsat | 1 | crafted | unsat | 42837 | Yes |
| QF_LIA/rings/ring_2exp16_5vars_0ite_unsat.smt | unsat | 1 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_5vars_1ite_unsat.smt | unsat | 1 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_5vars_2ite_unsat.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp16_5vars_3ite_unsat.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp16_5vars_4ite_unsat.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp16_6vars_0ite_unsat.smt | unsat | 2 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_6vars_1ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_6vars_2ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp16_6vars_3ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_6vars_4ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp16_6vars_5ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp16_7vars_0ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_7vars_1ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_7vars_2ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp16_7vars_3ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_7vars_4ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp16_7vars_5ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_7vars_6ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp16_8vars_0ite_unsat.smt | unsat | 2 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_8vars_1ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_8vars_2ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp16_8vars_3ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp16_8vars_4ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_8vars_5ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_8vars_6ite_unsat.smt | unsat | 5 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_8vars_7ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_9vars_0ite_unsat.smt | unsat | 2 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_9vars_1ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_9vars_2ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp16_9vars_3ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_9vars_4ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_9vars_5ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_9vars_6ite_unsat.smt | unsat | 5 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_9vars_7ite_unsat.smt | unsat | 5 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp16_9vars_8ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp4_3vars_0ite_unsat.smt | unsat | 0 | crafted | unsat | 4805 | Yes |
| QF_LIA/rings/ring_2exp4_3vars_1ite_unsat.smt | unsat | 0 | crafted | unsat | 5771 | Yes |
| QF_LIA/rings/ring_2exp4_3vars_2ite_unsat.smt | unsat | 0 | crafted | unsat | 6078 | Yes |
| QF_LIA/rings/ring_2exp4_4vars_0ite_unsat.smt | unsat | 1 | crafted | unsat | 31459 | Yes |
| QF_LIA/rings/ring_2exp4_4vars_1ite_unsat.smt | unsat | 1 | crafted | unsat | 75295 | Yes |
| QF_LIA/rings/ring_2exp4_4vars_2ite_unsat.smt | unsat | 0 | crafted | unsat | 35745 | Yes |
| QF_LIA/rings/ring_2exp4_4vars_3ite_unsat.smt | unsat | 0 | crafted | unsat | 27653 | Yes |
| QF_LIA/rings/ring_2exp4_5vars_0ite_unsat.smt | unsat | 1 | crafted | unsat | 129204 | Yes |
| QF_LIA/rings/ring_2exp4_5vars_1ite_unsat.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_5vars_2ite_unsat.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_5vars_3ite_unsat.smt | unsat | 0 | crafted | unsat | 140468 | Yes |
| QF_LIA/rings/ring_2exp4_5vars_4ite_unsat.smt | unsat | 0 | crafted | unsat | 264840 | Yes |
| QF_LIA/rings/ring_2exp4_6vars_0ite_unsat.smt | unsat | 2 | crafted | unsat | 538414 | Yes |
| QF_LIA/rings/ring_2exp4_6vars_1ite_unsat.smt | unsat | 2 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_6vars_2ite_unsat.smt | unsat | 2 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_6vars_3ite_unsat.smt | unsat | 2 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_6vars_4ite_unsat.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_6vars_5ite_unsat.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_7vars_0ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_7vars_1ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_7vars_2ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_7vars_3ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_7vars_4ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_7vars_5ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_7vars_6ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_8vars_0ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_8vars_1ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_8vars_2ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp4_8vars_3ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_8vars_4ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_8vars_5ite_unsat.smt | unsat | 2 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_8vars_6ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_8vars_7ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_9vars_0ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_9vars_1ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_9vars_2ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_9vars_3ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_9vars_4ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_9vars_5ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_9vars_6ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_9vars_7ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp4_9vars_8ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp6_3vars_0ite_unsat.smt | unsat | 0 | crafted | unsat | 4483 | Yes |
| QF_LIA/rings/ring_2exp6_3vars_1ite_unsat.smt | unsat | 1 | crafted | unsat | 5720 | Yes |
| QF_LIA/rings/ring_2exp6_3vars_2ite_unsat.smt | unsat | 0 | crafted | unsat | 6111 | Yes |
| QF_LIA/rings/ring_2exp6_4vars_0ite_unsat.smt | unsat | 1 | crafted | unsat | 49250 | Yes |
| QF_LIA/rings/ring_2exp6_4vars_1ite_unsat.smt | unsat | 1 | crafted | unsat | 115170 | Yes |
| QF_LIA/rings/ring_2exp6_4vars_2ite_unsat.smt | unsat | 1 | crafted | unsat | 58976 | Yes |
| QF_LIA/rings/ring_2exp6_4vars_3ite_unsat.smt | unsat | 1 | crafted | unsat | 43016 | Yes |
| QF_LIA/rings/ring_2exp6_5vars_0ite_unsat.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp6_5vars_1ite_unsat.smt | unsat | 1 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp6_5vars_2ite_unsat.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp6_5vars_3ite_unsat.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp6_5vars_4ite_unsat.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp6_6vars_0ite_unsat.smt | unsat | 1 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp6_6vars_1ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp6_6vars_2ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp6_6vars_3ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp6_6vars_4ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp6_6vars_5ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp6_7vars_0ite_unsat.smt | unsat | 2 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp6_7vars_1ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp6_7vars_2ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp6_7vars_3ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp6_7vars_4ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp6_7vars_5ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp6_7vars_6ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp6_8vars_0ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp6_8vars_1ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp6_8vars_2ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp6_8vars_3ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp6_8vars_4ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp6_8vars_5ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp6_8vars_6ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp6_8vars_7ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp6_9vars_0ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp6_9vars_1ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp6_9vars_2ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp6_9vars_3ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp6_9vars_4ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp6_9vars_5ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp6_9vars_6ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp6_9vars_7ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp6_9vars_8ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp8_3vars_0ite_unsat.smt | unsat | 0 | crafted | unsat | 4448 | Yes |
| QF_LIA/rings/ring_2exp8_3vars_1ite_unsat.smt | unsat | 0 | crafted | unsat | 5712 | Yes |
| QF_LIA/rings/ring_2exp8_3vars_2ite_unsat.smt | unsat | 0 | crafted | unsat | 5960 | Yes |
| QF_LIA/rings/ring_2exp8_4vars_0ite_unsat.smt | unsat | 1 | crafted | unsat | 49315 | Yes |
| QF_LIA/rings/ring_2exp8_4vars_1ite_unsat.smt | unsat | 1 | crafted | unsat | 121753 | Yes |
| QF_LIA/rings/ring_2exp8_4vars_2ite_unsat.smt | unsat | 1 | crafted | unsat | 58686 | Yes |
| QF_LIA/rings/ring_2exp8_4vars_3ite_unsat.smt | unsat | 1 | crafted | unsat | 43196 | Yes |
| QF_LIA/rings/ring_2exp8_5vars_0ite_unsat.smt | unsat | 1 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp8_5vars_1ite_unsat.smt | unsat | 1 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp8_5vars_2ite_unsat.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp8_5vars_3ite_unsat.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp8_5vars_4ite_unsat.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp8_6vars_0ite_unsat.smt | unsat | 2 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp8_6vars_1ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp8_6vars_2ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp8_6vars_3ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp8_6vars_4ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp8_6vars_5ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp8_7vars_0ite_unsat.smt | unsat | 2 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp8_7vars_1ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp8_7vars_2ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp8_7vars_3ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp8_7vars_4ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp8_7vars_5ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp8_7vars_6ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp8_8vars_0ite_unsat.smt | unsat | 2 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp8_8vars_1ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp8_8vars_2ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp8_8vars_3ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp8_8vars_4ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp8_8vars_5ite_unsat.smt | unsat | 3 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp8_8vars_6ite_unsat.smt | unsat | 5 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp8_8vars_7ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp8_9vars_0ite_unsat.smt | unsat | 3 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp8_9vars_1ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp8_9vars_2ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp8_9vars_3ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| QF_LIA/rings/ring_2exp8_9vars_4ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp8_9vars_5ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp8_9vars_6ite_unsat.smt | unsat | 5 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp8_9vars_7ite_unsat.smt | unsat | 4 | crafted | timeout | infty | Unknown |
| QF_LIA/rings/ring_2exp8_9vars_8ite_unsat.smt | unsat | 4 | crafted | error | 0 | Unknown |
| Total: | 294 | |||||
| Correct: | 53 | |||||
| Incorrect: | 0 |