Instance | Result | Time | |
---|---|---|---|
Q_2-3_v-80-100_r-13.4 | UNSAT | 0 | |
Q_2-3_v-80-100_r-13.0 | UNSAT | 3 | |
Q_2-3_v-80-100_r-13.3 | UNSAT | 3.83 | |
Q_2-3_v-80-100_r-13.9 | UNSAT | 3.96 | |
Q_2-3_v-80-100_r-13.1 | UNSAT | 4.53 | |
Q_2-3_v-80-100_r-13.7 | UNSAT | 6.2 | |
Q_2-3_v-80-100_r-13.8 | UNSAT | 7.67 | |
Q_2-3_v-80-100_r-13.2 | UNSAT | 8.17 | |
Q_2-3_v-80-100_r-13.6 | UNSAT | 8.68 | |
Q_2-3_v-80-100_r-13.5 | UNSAT | 9.49 | |
Q_2-3_v-80-100_r-11.0 | UNSAT | 11.11 | |
Q_2-3_v-80-100_r-11.3 | UNSAT | 18.48 | |
Q_2-3_v-80-100_r-11.9 | UNSAT | 83.26 | |
Q_2-3_v-80-100_r-11.8 | UNSAT | 161.43 | |
Q_2-3_v-80-100_r-11.6 | FAIL | 900.01 | |
Q_2-3_v-80-100_r-11.1 | FAIL | 900.03 | |
Q_2-3_v-80-100_r-11.2 | FAIL | 900.03 | |
Q_2-3_v-80-100_r-11.5 | FAIL | 900.03 | |
Q_2-3_v-80-100_r-11.7 | FAIL | 900.07 | |
Q_2-3_v-80-100_r-11.4 | FAIL | 900.07 |