| ring_2exp8_8vars_3ite_unsat.smt2 |
| ring_2exp14_8vars_2ite_unsat.smt2 |
| ring_2exp4_9vars_5ite_unsat.smt2 |
| ring_2exp12_7vars_3ite_unsat.smt2 |
| ring_2exp16_8vars_4ite_unsat.smt2 |
| ring_2exp4_7vars_6ite_unsat.smt2 |
| ring_2exp6_8vars_2ite_unsat.smt2 |
| ring_2exp6_8vars_7ite_unsat.smt2 |
| ring_2exp14_9vars_8ite_unsat.smt2 |
| ring_2exp14_8vars_5ite_unsat.smt2 |
| ring_2exp8_8vars_6ite_unsat.smt2 |
| ring_2exp6_5vars_0ite_unsat.smt2 |
| ring_2exp10_6vars_5ite_unsat.smt2 |
| ring_2exp16_9vars_8ite_unsat.smt2 |
| ring_2exp12_6vars_4ite_unsat.smt2 |
| ring_2exp14_9vars_7ite_unsat.smt2 |
| ring_2exp4_5vars_0ite_unsat.smt2 |
| ring_2exp4_3vars_1ite_unsat.smt2 |
| ring_2exp12_6vars_2ite_unsat.smt2 |
| ring_2exp6_6vars_2ite_unsat.smt2 |
| ring_2exp16_5vars_0ite_unsat.smt2 |
| ring_2exp4_3vars_2ite_unsat.smt2 |
| ring_2exp6_7vars_6ite_unsat.smt2 |
| ring_2exp8_7vars_4ite_unsat.smt2 |
| ring_2exp8_8vars_4ite_unsat.smt2 |
| ring_2exp14_9vars_1ite_unsat.smt2 |
| ring_2exp16_6vars_5ite_unsat.smt2 |
| ring_2exp6_8vars_3ite_unsat.smt2 |
| ring_2exp6_6vars_3ite_unsat.smt2 |
| ring_2exp8_9vars_7ite_unsat.smt2 |
| ring_2exp8_8vars_1ite_unsat.smt2 |
| ring_2exp6_9vars_0ite_unsat.smt2 |
| ring_2exp6_9vars_4ite_unsat.smt2 |
| ring_2exp6_6vars_5ite_unsat.smt2 |
| ring_2exp10_9vars_2ite_unsat.smt2 |
| ring_2exp14_9vars_5ite_unsat.smt2 |
| ring_2exp4_4vars_2ite_unsat.smt2 |
| ring_2exp4_6vars_0ite_unsat.smt2 |
| ring_2exp14_6vars_5ite_unsat.smt2 |
| ring_2exp14_5vars_0ite_unsat.smt2 |
| ring_2exp4_6vars_4ite_unsat.smt2 |
| ring_2exp12_9vars_7ite_unsat.smt2 |
| ring_2exp4_7vars_1ite_unsat.smt2 |
| ring_2exp14_9vars_4ite_unsat.smt2 |
| ring_2exp10_8vars_7ite_unsat.smt2 |
| ring_2exp4_6vars_1ite_unsat.smt2 |
| ring_2exp12_3vars_0ite_unsat.smt2 |
| ring_2exp6_7vars_3ite_unsat.smt2 |
| ring_2exp6_7vars_5ite_unsat.smt2 |
| ring_2exp16_5vars_4ite_unsat.smt2 |
| ring_2exp16_9vars_0ite_unsat.smt2 |
| ring_2exp12_9vars_5ite_unsat.smt2 |
| ring_2exp6_9vars_7ite_unsat.smt2 |
| ring_2exp6_5vars_1ite_unsat.smt2 |
| ring_2exp10_3vars_0ite_unsat.smt2 |
| ring_2exp10_5vars_4ite_unsat.smt2 |
| ring_2exp12_9vars_1ite_unsat.smt2 |
| ring_2exp10_8vars_5ite_unsat.smt2 |
| ring_2exp14_4vars_1ite_unsat.smt2 |
| ring_2exp16_7vars_5ite_unsat.smt2 |
| ring_2exp8_8vars_5ite_unsat.smt2 |
| ring_2exp10_8vars_1ite_unsat.smt2 |
| ring_2exp12_5vars_1ite_unsat.smt2 |
| ring_2exp14_4vars_0ite_unsat.smt2 |
| ring_2exp8_5vars_2ite_unsat.smt2 |
| ring_2exp8_7vars_2ite_unsat.smt2 |
| ring_2exp8_8vars_7ite_unsat.smt2 |
| ring_2exp6_8vars_6ite_unsat.smt2 |
| ring_2exp12_4vars_1ite_unsat.smt2 |
| ring_2exp10_3vars_2ite_unsat.smt2 |
| ring_2exp14_5vars_3ite_unsat.smt2 |
| ring_2exp12_3vars_1ite_unsat.smt2 |
| ring_2exp10_8vars_6ite_unsat.smt2 |
| ring_2exp10_8vars_2ite_unsat.smt2 |
| ring_2exp6_4vars_0ite_unsat.smt2 |
| ring_2exp12_4vars_0ite_unsat.smt2 |
| ring_2exp6_7vars_1ite_unsat.smt2 |
| ring_2exp10_7vars_6ite_unsat.smt2 |
| ring_2exp8_6vars_2ite_unsat.smt2 |
| ring_2exp14_4vars_3ite_unsat.smt2 |
| ring_2exp16_6vars_1ite_unsat.smt2 |
| ring_2exp12_5vars_0ite_unsat.smt2 |
| ring_2exp14_6vars_3ite_unsat.smt2 |
| ring_2exp16_9vars_2ite_unsat.smt2 |
| ring_2exp14_7vars_3ite_unsat.smt2 |
| ring_2exp4_6vars_2ite_unsat.smt2 |
| ring_2exp4_8vars_2ite_unsat.smt2 |
| ring_2exp8_7vars_1ite_unsat.smt2 |
| ring_2exp16_5vars_1ite_unsat.smt2 |
| ring_2exp6_4vars_3ite_unsat.smt2 |
| ring_2exp10_8vars_4ite_unsat.smt2 |
| ring_2exp8_6vars_1ite_unsat.smt2 |
| ring_2exp8_5vars_4ite_unsat.smt2 |
| ring_2exp16_7vars_6ite_unsat.smt2 |
| ring_2exp6_9vars_5ite_unsat.smt2 |
| ring_2exp12_6vars_1ite_unsat.smt2 |
| ring_2exp16_9vars_5ite_unsat.smt2 |
| ring_2exp12_9vars_0ite_unsat.smt2 |
| ring_2exp8_9vars_4ite_unsat.smt2 |
| ring_2exp4_4vars_1ite_unsat.smt2 |
| ring_2exp16_9vars_6ite_unsat.smt2 |
| ring_2exp8_9vars_6ite_unsat.smt2 |
| ring_2exp4_8vars_1ite_unsat.smt2 |
| ring_2exp16_4vars_0ite_unsat.smt2 |
| ring_2exp16_3vars_1ite_unsat.smt2 |
| ring_2exp8_9vars_0ite_unsat.smt2 |
| ring_2exp16_3vars_0ite_unsat.smt2 |
| ring_2exp10_5vars_2ite_unsat.smt2 |
| ring_2exp12_9vars_6ite_unsat.smt2 |
| ring_2exp14_5vars_1ite_unsat.smt2 |
| ring_2exp14_7vars_4ite_unsat.smt2 |
| ring_2exp10_6vars_0ite_unsat.smt2 |
| ring_2exp16_6vars_2ite_unsat.smt2 |
| ring_2exp14_3vars_1ite_unsat.smt2 |
| ring_2exp14_8vars_4ite_unsat.smt2 |
| ring_2exp10_9vars_4ite_unsat.smt2 |
| ring_2exp10_7vars_1ite_unsat.smt2 |
| ring_2exp6_4vars_1ite_unsat.smt2 |
| ring_2exp8_7vars_3ite_unsat.smt2 |
| ring_2exp16_7vars_1ite_unsat.smt2 |
| ring_2exp8_4vars_0ite_unsat.smt2 |
| ring_2exp4_8vars_3ite_unsat.smt2 |
| ring_2exp8_9vars_8ite_unsat.smt2 |
| ring_2exp14_8vars_6ite_unsat.smt2 |
| ring_2exp14_8vars_3ite_unsat.smt2 |
| ring_2exp14_8vars_0ite_unsat.smt2 |
| ring_2exp12_5vars_2ite_unsat.smt2 |
| ring_2exp4_9vars_8ite_unsat.smt2 |
| ring_2exp14_6vars_1ite_unsat.smt2 |
| ring_2exp10_6vars_4ite_unsat.smt2 |
| ring_2exp6_6vars_4ite_unsat.smt2 |
| ring_2exp10_9vars_5ite_unsat.smt2 |
| ring_2exp8_5vars_1ite_unsat.smt2 |
| ring_2exp12_8vars_2ite_unsat.smt2 |
| ring_2exp10_7vars_2ite_unsat.smt2 |
| ring_2exp4_6vars_3ite_unsat.smt2 |
| ring_2exp8_4vars_1ite_unsat.smt2 |
| ring_2exp6_4vars_2ite_unsat.smt2 |
| ring_2exp4_8vars_5ite_unsat.smt2 |
| ring_2exp12_4vars_2ite_unsat.smt2 |
| ring_2exp8_5vars_3ite_unsat.smt2 |
| ring_2exp4_9vars_1ite_unsat.smt2 |
| ring_2exp6_7vars_0ite_unsat.smt2 |
| ring_2exp12_7vars_4ite_unsat.smt2 |
| ring_2exp12_9vars_8ite_unsat.smt2 |
| ring_2exp10_4vars_3ite_unsat.smt2 |
| ring_2exp8_7vars_6ite_unsat.smt2 |
| ring_2exp16_8vars_3ite_unsat.smt2 |
| ring_2exp8_9vars_2ite_unsat.smt2 |
| ring_2exp10_6vars_2ite_unsat.smt2 |
| ring_2exp6_9vars_6ite_unsat.smt2 |
| ring_2exp16_9vars_3ite_unsat.smt2 |
| ring_2exp10_9vars_6ite_unsat.smt2 |
| ring_2exp8_3vars_1ite_unsat.smt2 |
| ring_2exp4_7vars_5ite_unsat.smt2 |
| ring_2exp10_8vars_3ite_unsat.smt2 |
| ring_2exp14_5vars_4ite_unsat.smt2 |
| ring_2exp8_8vars_0ite_unsat.smt2 |
| ring_2exp12_9vars_2ite_unsat.smt2 |
| ring_2exp8_3vars_2ite_unsat.smt2 |
| ring_2exp16_7vars_3ite_unsat.smt2 |
| ring_2exp6_8vars_0ite_unsat.smt2 |
| ring_2exp10_5vars_1ite_unsat.smt2 |
| ring_2exp14_9vars_3ite_unsat.smt2 |
| ring_2exp10_9vars_0ite_unsat.smt2 |
| ring_2exp12_5vars_4ite_unsat.smt2 |
| ring_2exp10_4vars_2ite_unsat.smt2 |
| ring_2exp4_9vars_3ite_unsat.smt2 |
| ring_2exp14_6vars_4ite_unsat.smt2 |
| ring_2exp4_8vars_6ite_unsat.smt2 |
| ring_2exp14_4vars_2ite_unsat.smt2 |
| ring_2exp8_6vars_3ite_unsat.smt2 |
| ring_2exp4_4vars_0ite_unsat.smt2 |
| ring_2exp4_5vars_2ite_unsat.smt2 |
| ring_2exp6_7vars_2ite_unsat.smt2 |
| ring_2exp10_3vars_1ite_unsat.smt2 |
| ring_2exp10_7vars_0ite_unsat.smt2 |
| ring_2exp10_5vars_3ite_unsat.smt2 |
| ring_2exp6_5vars_4ite_unsat.smt2 |
| ring_2exp12_8vars_7ite_unsat.smt2 |
| ring_2exp12_6vars_0ite_unsat.smt2 |
| ring_2exp12_6vars_5ite_unsat.smt2 |
| ring_2exp8_8vars_2ite_unsat.smt2 |
| ring_2exp16_9vars_7ite_unsat.smt2 |
| ring_2exp4_8vars_4ite_unsat.smt2 |
| ring_2exp12_7vars_2ite_unsat.smt2 |
| ring_2exp10_6vars_1ite_unsat.smt2 |
| ring_2exp14_9vars_2ite_unsat.smt2 |
| ring_2exp6_6vars_1ite_unsat.smt2 |
| ring_2exp10_5vars_0ite_unsat.smt2 |
| ring_2exp8_9vars_1ite_unsat.smt2 |
| ring_2exp16_8vars_5ite_unsat.smt2 |
| ring_2exp4_5vars_3ite_unsat.smt2 |
| ring_2exp16_6vars_0ite_unsat.smt2 |
| ring_2exp16_8vars_0ite_unsat.smt2 |
| ring_2exp4_8vars_0ite_unsat.smt2 |
| ring_2exp8_3vars_0ite_unsat.smt2 |
| ring_2exp4_5vars_4ite_unsat.smt2 |
| ring_2exp16_9vars_4ite_unsat.smt2 |
| ring_2exp6_9vars_8ite_unsat.smt2 |
| ring_2exp12_9vars_3ite_unsat.smt2 |
| ring_2exp10_9vars_7ite_unsat.smt2 |
| ring_2exp10_8vars_0ite_unsat.smt2 |
| ring_2exp16_6vars_3ite_unsat.smt2 |
| ring_2exp10_7vars_3ite_unsat.smt2 |
| ring_2exp14_3vars_2ite_unsat.smt2 |
| ring_2exp8_9vars_3ite_unsat.smt2 |
| ring_2exp12_7vars_5ite_unsat.smt2 |
| ring_2exp4_9vars_0ite_unsat.smt2 |
| ring_2exp16_7vars_4ite_unsat.smt2 |
| ring_2exp12_5vars_3ite_unsat.smt2 |
| ring_2exp8_5vars_0ite_unsat.smt2 |
| ring_2exp10_9vars_1ite_unsat.smt2 |
| ring_2exp16_7vars_0ite_unsat.smt2 |
| ring_2exp4_7vars_3ite_unsat.smt2 |
| ring_2exp12_7vars_1ite_unsat.smt2 |
| ring_2exp6_9vars_3ite_unsat.smt2 |
| ring_2exp10_6vars_3ite_unsat.smt2 |
| ring_2exp16_4vars_2ite_unsat.smt2 |
| ring_2exp10_4vars_0ite_unsat.smt2 |
| ring_2exp8_6vars_5ite_unsat.smt2 |
| ring_2exp6_8vars_4ite_unsat.smt2 |
| ring_2exp14_7vars_1ite_unsat.smt2 |
| ring_2exp10_7vars_4ite_unsat.smt2 |
| ring_2exp6_3vars_1ite_unsat.smt2 |
| ring_2exp4_9vars_6ite_unsat.smt2 |
| ring_2exp4_8vars_7ite_unsat.smt2 |
| ring_2exp12_8vars_3ite_unsat.smt2 |
| ring_2exp10_4vars_1ite_unsat.smt2 |
| ring_2exp8_6vars_0ite_unsat.smt2 |
| ring_2exp6_9vars_2ite_unsat.smt2 |
| ring_2exp6_3vars_2ite_unsat.smt2 |
| ring_2exp12_8vars_6ite_unsat.smt2 |
| ring_2exp6_6vars_0ite_unsat.smt2 |
| ring_2exp12_4vars_3ite_unsat.smt2 |
| ring_2exp4_9vars_2ite_unsat.smt2 |
| ring_2exp14_7vars_5ite_unsat.smt2 |
| ring_2exp16_5vars_3ite_unsat.smt2 |
| ring_2exp8_6vars_4ite_unsat.smt2 |
| ring_2exp12_3vars_2ite_unsat.smt2 |
| ring_2exp4_7vars_2ite_unsat.smt2 |
| ring_2exp6_5vars_3ite_unsat.smt2 |
| ring_2exp6_8vars_1ite_unsat.smt2 |
| ring_2exp16_9vars_1ite_unsat.smt2 |
| ring_2exp14_7vars_0ite_unsat.smt2 |
| ring_2exp8_4vars_3ite_unsat.smt2 |
| ring_2exp14_3vars_0ite_unsat.smt2 |
| ring_2exp6_5vars_2ite_unsat.smt2 |
| ring_2exp8_7vars_5ite_unsat.smt2 |
| ring_2exp16_4vars_1ite_unsat.smt2 |
| ring_2exp16_8vars_2ite_unsat.smt2 |
| ring_2exp16_3vars_2ite_unsat.smt2 |
| ring_2exp12_8vars_0ite_unsat.smt2 |
| ring_2exp16_8vars_7ite_unsat.smt2 |
| ring_2exp4_5vars_1ite_unsat.smt2 |
| ring_2exp4_4vars_3ite_unsat.smt2 |
| ring_2exp16_7vars_2ite_unsat.smt2 |
| ring_2exp12_7vars_6ite_unsat.smt2 |
| ring_2exp4_9vars_4ite_unsat.smt2 |
| ring_2exp12_7vars_0ite_unsat.smt2 |
| ring_2exp6_7vars_4ite_unsat.smt2 |
| ring_2exp16_8vars_1ite_unsat.smt2 |
| ring_2exp6_8vars_5ite_unsat.smt2 |
| ring_2exp12_9vars_4ite_unsat.smt2 |
| ring_2exp14_6vars_0ite_unsat.smt2 |
| ring_2exp10_9vars_8ite_unsat.smt2 |
| ring_2exp16_8vars_6ite_unsat.smt2 |
| ring_2exp8_7vars_0ite_unsat.smt2 |
| ring_2exp12_8vars_4ite_unsat.smt2 |
| ring_2exp14_5vars_2ite_unsat.smt2 |
| ring_2exp10_9vars_3ite_unsat.smt2 |
| ring_2exp4_9vars_7ite_unsat.smt2 |
| ring_2exp8_4vars_2ite_unsat.smt2 |
| ring_2exp16_5vars_2ite_unsat.smt2 |
| ring_2exp6_9vars_1ite_unsat.smt2 |
| ring_2exp8_9vars_5ite_unsat.smt2 |
| ring_2exp10_7vars_5ite_unsat.smt2 |
| ring_2exp6_3vars_0ite_unsat.smt2 |
| ring_2exp16_6vars_4ite_unsat.smt2 |
| ring_2exp12_8vars_5ite_unsat.smt2 |
| ring_2exp14_9vars_6ite_unsat.smt2 |
| ring_2exp4_7vars_0ite_unsat.smt2 |
| ring_2exp14_7vars_6ite_unsat.smt2 |
| ring_2exp12_8vars_1ite_unsat.smt2 |
| ring_2exp14_9vars_0ite_unsat.smt2 |
| ring_2exp14_7vars_2ite_unsat.smt2 |
| ring_2exp4_6vars_5ite_unsat.smt2 |
| ring_2exp12_6vars_3ite_unsat.smt2 |
| ring_2exp4_7vars_4ite_unsat.smt2 |
| ring_2exp4_3vars_0ite_unsat.smt2 |
| ring_2exp16_4vars_3ite_unsat.smt2 |
| ring_2exp14_8vars_7ite_unsat.smt2 |
| ring_2exp14_6vars_2ite_unsat.smt2 |
| ring_2exp14_8vars_1ite_unsat.smt2 |