QBF Solver Evaluation Portal
qbflib.orgInstances of family Q_2_3 solved by Heretiq-cube
QBFEVAL'18 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| Q_2-3_v-80-100_r-13.4 | UNSAT | 0.02 | |
| Q_2-3_v-80-100_r-13.7 | UNSAT | 0.02 | |
| Q_2-3_v-80-100_r-13.5 | UNSAT | 0.56 | |
| Q_2-3_v-80-100_r-13.6 | UNSAT | 2.71 | |
| Q_2-3_v-80-100_r-13.1 | UNSAT | 20.93 | |
| Q_2-3_v-80-100_r-13.3 | UNSAT | 25.28 | |
| Q_2-3_v-80-100_r-13.8 | UNSAT | 30.07 | |
| Q_2-3_v-80-100_r-13.2 | UNSAT | 30.08 | |
| Q_2-3_v-80-100_r-13.9 | UNSAT | 30.08 | |
| Q_2-3_v-80-100_r-11.3 | UNSAT | 30.13 | |
| Q_2-3_v-80-100_r-13.0 | UNSAT | 30.15 | |
| Q_2-3_v-80-100_r-11.4 | UNSAT | 38.19 | |
| Q_2-3_v-80-100_r-11.6 | UNSAT | 47.52 | |
| Q_2-3_v-80-100_r-11.7 | UNSAT | 154.04 | |
| Q_2-3_v-80-100_r-11.2 | UNSAT | 162.31 | |
| Q_2-3_v-80-100_r-11.0 | UNSAT | 179.85 | |
| Q_2-3_v-80-100_r-11.1 | FAIL | 832.46 | |
| Q_2-3_v-80-100_r-11.5 | FAIL | 833.83 | |
| Q_2-3_v-80-100_r-11.9 | FAIL | 900.01 | |
| Q_2-3_v-80-100_r-11.8 | FAIL | 900.04 |