QBF Solver Evaluation Portal
qbflib.orgInstances of family Qq2k2k3v40v40m16 solved by Quaffle
QBFEVAL'06
| Instance | Result | Time | |
|---|---|---|---|
| Qq2k2k3v40v40m16s3 | FAIL | 498.72 | |
| Qq2k2k3v40v40m16s2 | FAIL | 502.11 | |
| Qq2k2k3v40v40m16s9 | FAIL | 502.37 | |
| Qq2k2k3v40v40m16s6 | FAIL | 504.94 | |
| Qq2k2k3v40v40m16s5 | FAIL | 506.2 | |
| Qq2k2k3v40v40m16s8 | FAIL | 509.3 | |
| Qq2k2k3v40v40m16s7 | FAIL | 509.52 | |
| Qq2k2k3v40v40m16s0 | FAIL | 509.64 | |
| Qq2k2k3v40v40m16s1 | FAIL | 513.15 | |
| Qq2k2k3v40v40m16s4 | FAIL | 516.07 |