QBF Solver Evaluation Portal
qbflib.orgInstances of family Q_2_3 solved by aspq3_hit18
QBFEVAL'18 - Hard Instances Track
| Instance | Result | Time | |
|---|---|---|---|
| Q_2-3_v-80-100_r-5.6 | SAT | 4.08 | |
| Q_2-3_v-80-100_r-5.1 | SAT | 4.8 | |
| Q_2-3_v-80-100_r-5.9 | SAT | 9.6 | |
| Q_2-3_v-80-100_r-5.4 | SAT | 27.2 | |
| Q_2-3_v-80-100_r-5.2 | SAT | 40.36 | |
| Q_2-3_v-80-100_r-5.3 | SAT | 51.52 | |
| Q_2-3_v-80-100_r-5.0 | SAT | 68.32 | |
| Q_2-3_v-80-100_r-5.5 | SAT | 87.52 | |
| Q_2-3_v-80-100_r-5.7 | SAT | 258.64 | |
| Q_2-3_v-80-100_r-5.8 | SAT | 754.46 | |
| Q_2-3_v-80-100_r-7.3 | FAIL | 3600 | |
| Q_2-3_v-80-100_r-9.1 | FAIL | 3600 | |
| Q_2-3_v-80-100_r-9.9 | FAIL | 3600 | |
| Q_2-3_v-80-100_r-7.4 | FAIL | 3600 | |
| Q_2-3_v-80-100_r-9.2 | FAIL | 3600 | |
| Q_2-3_v-80-100_r-11.1 | FAIL | 3600 | |
| Q_2-3_v-80-100_r-7.5 | FAIL | 3600 | |
| Q_2-3_v-80-100_r-9.3 | FAIL | 3600 | |
| Q_2-3_v-80-100_r-7.6 | FAIL | 3600 | |
| Q_2-3_v-80-100_r-9.4 | FAIL | 3600 | |
| Q_2-3_v-80-100_r-7.7 | FAIL | 3600 | |
| Q_2-3_v-80-100_r-9.5 | FAIL | 3600 | |
| Q_2-3_v-80-100_r-7.0 | FAIL | 3600 | |
| Q_2-3_v-80-100_r-7.8 | FAIL | 3600 | |
| Q_2-3_v-80-100_r-9.6 | FAIL | 3600 | |
| Q_2-3_v-80-100_r-7.1 | FAIL | 3600 | |
| Q_2-3_v-80-100_r-7.9 | FAIL | 3600 | |
| Q_2-3_v-80-100_r-9.7 | FAIL | 3600 | |
| Q_2-3_v-80-100_r-7.2 | FAIL | 3600 | |
| Q_2-3_v-80-100_r-9.0 | FAIL | 3600 | |
| Q_2-3_v-80-100_r-9.8 | FAIL | 3600 |