QBF Solver Evaluation Portal
qbflib.orgInstances of family Qq2k3k2v40v40m32 solved by Quaffle
QBFEVAL'06
| Instance | Result | Time | |
|---|---|---|---|
| Qq2k3k2v40v40m32s5 | FAIL | 505.31 | |
| Qq2k3k2v40v40m32s2 | FAIL | 505.59 | |
| Qq2k3k2v40v40m32s3 | FAIL | 506.96 | |
| Qq2k3k2v40v40m32s7 | FAIL | 508.19 | |
| Qq2k3k2v40v40m32s8 | FAIL | 508.59 | |
| Qq2k3k2v40v40m32s1 | FAIL | 508.79 | |
| Qq2k3k2v40v40m32s9 | FAIL | 509.67 | |
| Qq2k3k2v40v40m32s4 | FAIL | 512.49 | |
| Qq2k3k2v40v40m32s0 | FAIL | 514.74 | |
| Qq2k3k2v40v40m32s6 | FAIL | 514.99 |