QBF Solver Evaluation Portal
qbflib.orgSota solver results for family k_branch_n
QBFEVAL'04
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_branch_n-1 | GRL | SAT | 0 |  |
| k_branch_n-6 | semprop | SAT | 1.48 | |
| k_branch_n-7 | semprop | SAT | 12.28 | |
| k_branch_n-9 | semprop | SAT | 255.29 | |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_branch_n-1 | GRL | SAT | 0 | |
| k_branch_n-6 | semprop | SAT | 1.48 | |
| k_branch_n-7 | semprop | SAT | 12.28 | |
| k_branch_n-9 | semprop | SAT | 255.29 | |