QBF Solver Evaluation Portal
qbflib.orgInstances of family Qq2k2k3v80v80m16 solved by Quaffle
QBFEVAL'06
| Instance | Result | Time | |
|---|---|---|---|
| Qq2k2k3v80v80m16s8 | FAIL | 498.58 | |
| Qq2k2k3v80v80m16s1 | FAIL | 500.86 | |
| Qq2k2k3v80v80m16s3 | FAIL | 504.64 | |
| Qq2k2k3v80v80m16s7 | FAIL | 508.79 | |
| Qq2k2k3v80v80m16s5 | FAIL | 510.35 | |
| Qq2k2k3v80v80m16s9 | FAIL | 512.28 | |
| Qq2k2k3v80v80m16s2 | FAIL | 513.33 | |
| Qq2k2k3v80v80m16s4 | FAIL | 523.13 | |
| Qq2k2k3v80v80m16s0 | FAIL | 531.5 | |
| Qq2k2k3v80v80m16s6 | FAIL | 533.02 |