QBF Solver Evaluation Portal
qbflib.orgInstances of family Q_2_3 solved by PortfolioDepQBFGhostQRaReQSQute___pf
QBFEVAL'18 - Prenex CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| Q_2-3_v-80-100_r-13.4 | UNSAT | 5.26 | |
| Q_2-3_v-80-100_r-13.6 | UNSAT | 6.07 | |
| Q_2-3_v-80-100_r-13.5 | UNSAT | 6.44 | |
| Q_2-3_v-80-100_r-13.2 | UNSAT | 6.82 | |
| Q_2-3_v-80-100_r-13.1 | UNSAT | 6.96 | |
| Q_2-3_v-80-100_r-13.0 | UNSAT | 7.11 | |
| Q_2-3_v-80-100_r-11.3 | UNSAT | 7.92 | |
| Q_2-3_v-80-100_r-13.7 | UNSAT | 8 | |
| Q_2-3_v-80-100_r-13.3 | UNSAT | 8.89 | |
| Q_2-3_v-80-100_r-13.8 | UNSAT | 9.62 | |
| Q_2-3_v-80-100_r-11.2 | UNSAT | 12.54 | |
| Q_2-3_v-80-100_r-11.6 | UNSAT | 15 | |
| Q_2-3_v-80-100_r-13.9 | UNSAT | 33.56 | |
| Q_2-3_v-80-100_r-11.8 | UNSAT | 144.51 | |
| Q_2-3_v-80-100_r-11.7 | UNSAT | 160.3 | |
| Q_2-3_v-80-100_r-11.1 | UNSAT | 179.53 | |
| Q_2-3_v-80-100_r-11.0 | UNSAT | 181.31 | |
| Q_2-3_v-80-100_r-11.4 | UNSAT | 189.93 | |
| Q_2-3_v-80-100_r-11.5 | FAIL | 900.01 | |
| Q_2-3_v-80-100_r-11.9 | FAIL | 900.03 |