QBF Solver Evaluation Portal
qbflib.orgInstances of family Qq3k3k1k1v40v40v40m32 solved by Quaffle
QBFEVAL'06
| Instance | Result | Time | |
|---|---|---|---|
| Qq3k3k1k1v40v40v40m32s2 | FAIL | 505.19 | |
| Qq3k3k1k1v40v40v40m32s3 | FAIL | 505.69 | |
| Qq3k3k1k1v40v40v40m32s9 | FAIL | 505.87 | |
| Qq3k3k1k1v40v40v40m32s0 | FAIL | 506.74 | |
| Qq3k3k1k1v40v40v40m32s1 | FAIL | 510.09 | |
| Qq3k3k1k1v40v40v40m32s4 | FAIL | 511.39 | |
| Qq3k3k1k1v40v40v40m32s7 | FAIL | 512.14 | |
| Qq3k3k1k1v40v40v40m32s8 | FAIL | 513.41 | |
| Qq3k3k1k1v40v40v40m32s6 | FAIL | 514.64 | |
| Qq3k3k1k1v40v40v40m32s5 | FAIL | 514.8 |