QBF Solver Evaluation Portal
qbflib.orgInstances of family s3330 solved by skizzo_v0.4
QBFEVAL'05
| Instance | Result | Time | |
|---|---|---|---|
| s3330_d8_s | FAIL | 103.85 | |
| s3330_d9_s | FAIL | 117.87 | |
| s3330_d10_u | FAIL | 135.31 | |
| s3330_d4_s | FAIL | 255.13 | |
| s3330_d2_s | FAIL | 797.73 |
| Instance | Result | Time | |
|---|---|---|---|
| s3330_d8_s | FAIL | 103.85 | |
| s3330_d9_s | FAIL | 117.87 | |
| s3330_d10_u | FAIL | 135.31 | |
| s3330_d4_s | FAIL | 255.13 | |
| s3330_d2_s | FAIL | 797.73 |