Instances of family k_branch_p solved by qsts
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
k_branch_p-5UNSAT0.04
k_branch_p-6UNSAT0.09
k_branch_p-10UNSAT1.13
k_branch_p-11UNSAT3.1
k_branch_p-16FAIL599.72