QBF Solver Evaluation Portal
qbflib.orgInstances of family s3271 solved by QUBE-BJ
QBFEVAL'04
| Instance | Result | Time | |
|---|---|---|---|
| s3271_d2_s | UNSAT | 1.02 | |
| s3271_d5_s | UNSAT | 1.27 | |
| s3271_d15_s | FAIL | 2.27 | |
| s3271_d19_u | FAIL | 2.69 | |
| s3271_d20_u | FAIL | 3.02 | |
| s3271_d18_u | FAIL | 4.11 | |
| s3271_d12_s | UNSAT | 4.13 | |
| s3271_d22_u | FAIL | 5.15 |