QBF Solver Evaluation Portal
qbflib.orgSota solver results for family k_branch_p
QBFEVAL'07
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_branch_p-12 | sKizzo-0.10-std | UNSAT | 3.16 |  |
| k_branch_p-8 | preQuel_sKizzo-0.10 | UNSAT | 0.38 | |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_branch_p-12 | sKizzo-0.10-std | UNSAT | 3.16 | |
| k_branch_p-8 | preQuel_sKizzo-0.10 | UNSAT | 0.38 | |