Instances of family k_branch_p solved by QuAbS_2017
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
k_branch_p-10UNSAT1.66
k_branch_p-11UNSAT2.05
k_branch_p-16UNSAT8.01