QBF Solver Evaluation Portal
qbflib.orgInstances of family s3271 solved by semprop
QBFEVAL'04
| Instance | Result | Time | |
|---|---|---|---|
| s3271_d2_s | UNSAT | 0.15 | |
| s3271_d5_s | UNSAT | 1.33 | |
| s3271_d15_s | UNSAT | 16.73 | |
| s3271_d19_u | UNSAT | 29.77 | |
| s3271_d12_s | UNSAT | 31.12 | |
| s3271_d20_u | UNSAT | 33.36 | |
| s3271_d18_u | UNSAT | 80.71 | |
| s3271_d22_u | UNSAT | 175.92 |