QBF Solver Evaluation Portal
qbflib.orgInstances of family Qq2k3k2v80v80m16 solved by Quaffle
QBFEVAL'06
| Instance | Result | Time | |
|---|---|---|---|
| Qq2k3k2v80v80m16s9 | FAIL | 499.78 | |
| Qq2k3k2v80v80m16s6 | FAIL | 500.72 | |
| Qq2k3k2v80v80m16s5 | FAIL | 500.83 | |
| Qq2k3k2v80v80m16s2 | FAIL | 501.08 | |
| Qq2k3k2v80v80m16s4 | FAIL | 502.6 | |
| Qq2k3k2v80v80m16s7 | FAIL | 502.6 | |
| Qq2k3k2v80v80m16s1 | FAIL | 506.58 | |
| Qq2k3k2v80v80m16s0 | FAIL | 514.68 | |
| Qq2k3k2v80v80m16s8 | FAIL | 515.35 | |
| Qq2k3k2v80v80m16s3 | FAIL | 518.32 |