QBF Solver Evaluation Portal
qbflib.orgInstances of family s298 solved by QMRes
QBFEVAL'04
| Instance | Result | Time | |
|---|---|---|---|
| s298_d16_s | FAIL | 18.99 | |
| s298_d21_u | FAIL | 19.32 | |
| s298_d19_u | FAIL | 19.76 | |
| s298_d17_s | FAIL | 20.05 | |
| s298_d14_s | FAIL | 29.5 | |
| s298_d8_s | FAIL | 500.17 | |
| s298_d10_s | FAIL | 529.09 | |
| s298_d5_s | FAIL | 688.3 |