QBF Solver Evaluation Portal
qbflib.orgInstances of family s298 solved by yQuaffle
QBFEVAL'04
| Instance | Result | Time | |
|---|---|---|---|
| s298_d16_s | FAIL | 85.13 | |
| s298_d17_s | FAIL | 86.5 | |
| s298_d21_u | FAIL | 87.07 | |
| s298_d19_u | FAIL | 87.81 | |
| s298_d14_s | FAIL | 104.2 | |
| s298_d10_s | FAIL | 198.31 | |
| s298_d8_s | FAIL | 231.27 | |
| s298_d5_s | FAIL | 529.7 |