QBF Solver Evaluation Portal
qbflib.orgInstances of family s510 solved by yQuaffle
QBFEVAL'04
| Instance | Result | Time | |
|---|---|---|---|
| s510_d31_s | FAIL | 107.84 | |
| s510_d13_s | FAIL | 108.12 | |
| s510_d49_u | FAIL | 115.06 | |
| s510_d48_u | FAIL | 116.04 | |
| s510_d12_s | FAIL | 117.09 | |
| s510_d51_u | FAIL | 117.25 | |
| s510_d42_s | FAIL | 117.81 | |
| s510_d46_s | FAIL | 117.91 |