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