QBF Solver Evaluation Portal
qbflib.orgSota solver results for family k_branch_n
QBFEVAL'19 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_branch_n-10 | Hiqqer2019_3 | SAT | 1.25 |  |
| k_branch_n-11 | Hiqqer2019_3 | SAT | 1.7 | |
| k_branch_n-12 | Hiqqer2019_3 | SAT | 2.26 | |
| k_branch_n-17 | Caqe-bloqqer-qdo | SAT | 10.73 | |
| k_branch_n-20 | depqbf_pre_QxQBH | SAT | 182.63 | |
| k_branch_n-21 | Caqe-bloqqer-qdo | SAT | 22.68 | |