QBF Solver Evaluation Portal
qbflib.orgInstances of family s1269 solved by QMRes
QBFEVAL'04
| Instance | Result | Time | |
|---|---|---|---|
| s1269_d4_s | FAIL | 16.4 | |
| s1269_d15_u | FAIL | 17.39 | |
| s1269_d9_s | FAIL | 18.17 | |
| s1269_d10_s | FAIL | 19.19 | |
| s1269_d6_s | FAIL | 19.2 | |
| s1269_d5_s | FAIL | 19.85 | |
| s1269_d3_s | FAIL | 556.85 | |
| s1269_d2_s | FAIL | 901.06 |