QBF Solver Evaluation Portal
qbflib.orgInstances of family Qq3k2k2k1v40v40v40m32 solved by Quaffle
QBFEVAL'06
| Instance | Result | Time | |
|---|---|---|---|
| Qq3k2k2k1v40v40v40m32s1 | FAIL | 497.81 | |
| Qq3k2k2k1v40v40v40m32s3 | FAIL | 503.94 | |
| Qq3k2k2k1v40v40v40m32s0 | FAIL | 506.92 | |
| Qq3k2k2k1v40v40v40m32s4 | FAIL | 508.21 | |
| Qq3k2k2k1v40v40v40m32s8 | FAIL | 512.03 | |
| Qq3k2k2k1v40v40v40m32s2 | FAIL | 513.62 | |
| Qq3k2k2k1v40v40v40m32s6 | FAIL | 515 | |
| Qq3k2k2k1v40v40v40m32s9 | FAIL | 520 | |
| Qq3k2k2k1v40v40v40m32s5 | FAIL | 528.93 | |
| Qq3k2k2k1v40v40v40m32s7 | FAIL | 532.53 |