QBF Solver Evaluation Portal
qbflib.orgSota solver results for family k_branch_n
QBFEVAL'17 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_branch_n-10 | caqe_2017_v1 | SAT | 0.74 |  |
| k_branch_n-11 | caqe_2017_v1 | SAT | 1.19 | |
| k_branch_n-12 | caqe_2017_v1 | SAT | 2.55 | |
| k_branch_n-17 | xb-qsts_bqsts2.0 | SAT | 8.24 | |
| k_branch_n-20 | qbfrelay-limited-depqbf | SAT | 102.63 | |
| k_branch_n-21 | iProver-qbf-bloqqer-2017-07-27-v3 | SAT | 17.84 | |