QBF Solver Evaluation Portal
qbflib.orgInstances of family s386 solved by QuBE6.1
QBFEVAL'08
| Instance | Result | Time | |
|---|---|---|---|
| s386_d2_s | SAT | 0.24 | |
| s386_d3_s | SAT | 3.18 | |
| s386_d4_s | SAT | 15.02 | |
| s386_d5_s | SAT | 36.44 | |
| s386_d6_s | SAT | 59.8 | |
| s386_d7_s | SAT | 90.12 | |
| s386_d8_u | UNSAT | 127.38 | |
| s386_d12_u | SAT | 220.83 | |
| s386_d9_u | UNSAT | 275.42 | |
| s386_d10_u | UNSAT | 342.41 | |
| s386_d11_u | UNSAT | 443.1 |