QBF Solver Evaluation Portal
qbflib.orgSota solver results for family k_branch_p
QBFEVAL'10 - Competitive Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_branch_p-11 | aqme-10 | UNSAT | 5.1 |  |
| k_branch_p-14 | aqme-10 | UNSAT | 35.09 | |
| k_branch_p-16 | aqme-10 | UNSAT | 53.27 | |
| k_branch_p-17 | qmaiga | UNSAT | 279.92 | |
| k_branch_p-4 | QuBE7-c | UNSAT | 0.43 | |
| k_branch_p-6 | aqme-10 | UNSAT | 2.79 | |
| k_branch_p-8 | aqme-10 | UNSAT | 3.25 | |