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

InstanceResultTime
k_branch_p-5UNSAT246.8
k_branch_p-10FAIL599.71
k_branch_p-11FAIL599.71
k_branch_p-12FAIL599.71
k_branch_p-6FAIL599.71
k_branch_p-14FAIL599.81
k_branch_p-18FAIL599.81
k_branch_p-16FAIL599.81
k_branch_p-21FAIL599.81
k_branch_p-8FAIL599.81