QBF Solver Evaluation Portal
qbflib.orgInstances of family s298 solved by skizzo_v0.5
QBFEVAL'05
| Instance | Result | Time | |
|---|---|---|---|
| s298_d2_s | SAT | 0.26 | |
| s298_d4_s | SAT | 26.32 | |
| s298_d16_s | FAIL | 898.27 | |
| s298_d19_u | FAIL | 898.79 | |
| s298_d18_s | FAIL | 899.81 | |
| s298_d8_s | FAIL | 899.9 |