QBF Solver Evaluation Portal
qbflib.orgSota solver results for family k_branch_n
QBFEVAL'05
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_branch_n-4 | semprop | SAT | 0.09 |  |
| k_branch_n-8 | semprop | SAT | 46.2 | |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_branch_n-4 | semprop | SAT | 0.09 | |
| k_branch_n-8 | semprop | SAT | 46.2 | |