QBF Solver Evaluation Portal
qbflib.orgInstances of family Qq2k1k4v40v40m32 solved by Quaffle
QBFEVAL'06
| Instance | Result | Time | |
|---|---|---|---|
| Qq2k1k4v40v40m32s7 | UNSAT | 0.22 | |
| Qq2k1k4v40v40m32s9 | UNSAT | 1.48 | |
| Qq2k1k4v40v40m32s8 | UNSAT | 1.89 | |
| Qq2k1k4v40v40m32s5 | FAIL | 541.48 | |
| Qq2k1k4v40v40m32s2 | FAIL | 543.87 | |
| Qq2k1k4v40v40m32s6 | FAIL | 543.93 | |
| Qq2k1k4v40v40m32s3 | FAIL | 544.77 | |
| Qq2k1k4v40v40m32s1 | FAIL | 545.29 | |
| Qq2k1k4v40v40m32s0 | FAIL | 545.8 | |
| Qq2k1k4v40v40m32s4 | FAIL | 546.56 |