QBF Solver Evaluation Portal
qbflib.orgSota solver results for family k_branch_n
Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_branch_n-11 | iprover_bloqqer_single | SAT | 5.6 |  |
| k_branch_n-12 | iprover_bloqqer_single | SAT | 7.26 | |
| k_branch_n-17 | iprover_bloqqer_schedule | SAT | 10.91 | |
| k_branch_n-20 | depqbf_pre_QxQBH | SAT | 171.93 | |
| k_branch_n-21 | iprover_bloqqer_single | SAT | 22.44 | |