QBF Solver Evaluation Portal
qbflib.orgInstances of family s3271 solved by QMRes
QBFEVAL'04
| Instance | Result | Time | |
|---|---|---|---|
| s3271_d15_s | FAIL | 1.17 | |
| s3271_d2_s | FAIL | 12.16 | |
| s3271_d5_s | FAIL | 16.28 | |
| s3271_d19_u | FAIL | 19.19 | |
| s3271_d12_s | FAIL | 19.9 | |
| s3271_d18_u | FAIL | 19.97 | |
| s3271_d20_u | FAIL | 20.97 | |
| s3271_d22_u | FAIL | 26.34 |