Instances of family k_branch_p solved by depqbf-v2
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_branch_p-5UNSAT0.71
k_branch_p-6UNSAT1.12
k_branch_p-8UNSAT1.81
k_branch_p-10UNSAT3.91
k_branch_p-11UNSAT5.21
k_branch_p-12UNSAT6.21
k_branch_p-14UNSAT7.91
k_branch_p-16UNSAT9.01
k_branch_p-18UNSAT59.31
k_branch_p-21FAIL592.22