Instances of family k_branch_p solved by prefix-opt-depqbf
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
k_branch_p-10UNSAT0.61
k_branch_p-11UNSAT0.69
k_branch_p-12UNSAT0.91
k_branch_p-14UNSAT2.41
k_branch_p-16UNSAT4.49
k_branch_p-18UNSAT6.51
k_branch_p-19UNSAT9.56
k_branch_p-21UNSAT11.97