QBF Solver Evaluation Portal
qbflib.orgInstances of family Qq2k3k2v80v80m2 solved by Quaffle
QBFEVAL'06
| Instance | Result | Time | |
|---|---|---|---|
| Qq2k3k2v80v80m2s4 | FAIL | 505.4 | |
| Qq2k3k2v80v80m2s6 | FAIL | 509.31 | |
| Qq2k3k2v80v80m2s9 | FAIL | 511.84 | |
| Qq2k3k2v80v80m2s0 | FAIL | 511.86 | |
| Qq2k3k2v80v80m2s2 | FAIL | 511.91 | |
| Qq2k3k2v80v80m2s3 | FAIL | 512.92 | |
| Qq2k3k2v80v80m2s5 | FAIL | 516.49 | |
| Qq2k3k2v80v80m2s7 | FAIL | 516.84 | |
| Qq2k3k2v80v80m2s8 | FAIL | 517.25 | |
| Qq2k3k2v80v80m2s1 | FAIL | 518.33 |