QBF Solver Evaluation Portal
qbflib.orgInstances of family s3271 solved by QSAT
QBFEVAL'04
| Instance | Result | Time | |
|---|---|---|---|
| s3271_d15_s | FAIL | 34.96 | |
| s3271_d12_s | UNSAT | 53.9 | |
| s3271_d18_u | FAIL | 147.19 | |
| s3271_d19_u | FAIL | 171.2 | |
| s3271_d20_u | FAIL | 193.64 | |
| s3271_d22_u | FAIL | 240.25 | |
| s3271_d2_s | UNSAT | 719.21 | |
| s3271_d5_s | FAIL | 901 |