QBF Solver Evaluation Portal
qbflib.orgInstances of family Q_2_3 solved by Hiqqer2019_1
QBFEVAL'19 - Prenex CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| Q_2-3_v-80-100_r-13.2 | UNSAT | 142.46 | |
| Q_2-3_v-80-100_r-13.3 | FAIL | 899.94 | |
| Q_2-3_v-80-100_r-13.8 | FAIL | 899.95 | |
| Q_2-3_v-80-100_r-11.3 | FAIL | 899.96 | |
| Q_2-3_v-80-100_r-11.1 | FAIL | 899.98 | |
| Q_2-3_v-80-100_r-11.9 | FAIL | 899.98 | |
| Q_2-3_v-80-100_r-13.9 | FAIL | 899.98 | |
| Q_2-3_v-80-100_r-13.4 | FAIL | 899.99 | |
| Q_2-3_v-80-100_r-11.8 | FAIL | 900 | |
| Q_2-3_v-80-100_r-13.0 | FAIL | 900.01 | |
| Q_2-3_v-80-100_r-11.4 | FAIL | 900.02 | |
| Q_2-3_v-80-100_r-13.6 | FAIL | 900.02 | |
| Q_2-3_v-80-100_r-11.2 | FAIL | 900.02 | |
| Q_2-3_v-80-100_r-13.1 | FAIL | 900.03 | |
| Q_2-3_v-80-100_r-11.5 | FAIL | 900.04 | |
| Q_2-3_v-80-100_r-11.0 | FAIL | 900.04 | |
| Q_2-3_v-80-100_r-13.5 | FAIL | 900.05 | |
| Q_2-3_v-80-100_r-13.7 | FAIL | 900.05 | |
| Q_2-3_v-80-100_r-11.6 | FAIL | 900.06 | |
| Q_2-3_v-80-100_r-11.7 | FAIL | 900.09 |