QBF Solver Evaluation Portal
qbflib.orgInstances of family Qq2k3k2v40v40m16 solved by Quaffle
QBFEVAL'06
| Instance | Result | Time | |
|---|---|---|---|
| Qq2k3k2v40v40m16s2 | FAIL | 501.53 | |
| Qq2k3k2v40v40m16s4 | FAIL | 503.69 | |
| Qq2k3k2v40v40m16s3 | FAIL | 504.89 | |
| Qq2k3k2v40v40m16s1 | FAIL | 506.55 | |
| Qq2k3k2v40v40m16s5 | FAIL | 506.98 | |
| Qq2k3k2v40v40m16s9 | FAIL | 507.42 | |
| Qq2k3k2v40v40m16s0 | FAIL | 507.9 | |
| Qq2k3k2v40v40m16s6 | FAIL | 510.88 | |
| Qq2k3k2v40v40m16s8 | FAIL | 511.53 | |
| Qq2k3k2v40v40m16s7 | FAIL | 514.71 |