QBF Solver Evaluation Portal
qbflib.orgInstances of family s820 solved by WalkQSAT
QBFEVAL'04
| Instance | Result | Time | |
|---|---|---|---|
| s820_d3_s | FAIL | 0.05 | |
| s820_d4_s | FAIL | 0.08 | |
| s820_d5_s | FAIL | 0.09 | |
| s820_d8_s | FAIL | 0.2 | |
| s820_d9_s | FAIL | 0.21 | |
| s820_d11_u | FAIL | 0.33 | |
| s820_d12_u | FAIL | 0.41 | |
| s820_d14_u | FAIL | 0.45 |