QBF Solver Evaluation Portal
qbflib.orgInstances of family s1269 solved by yQuaffle
QBFEVAL'04
| Instance | Result | Time | |
|---|---|---|---|
| s1269_d15_u | FAIL | 101.19 | |
| s1269_d6_s | FAIL | 114.74 | |
| s1269_d9_s | FAIL | 115.85 | |
| s1269_d10_s | FAIL | 121.33 | |
| s1269_d5_s | FAIL | 129.98 | |
| s1269_d4_s | FAIL | 155.92 | |
| s1269_d3_s | FAIL | 177.31 | |
| s1269_d2_s | FAIL | 288.01 |