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

InstanceResultTime
k_branch_p-5UNSAT0.59
k_branch_p-6UNSAT0.99
k_branch_p-10UNSAT3.84
k_branch_p-16UNSAT26.87
k_branch_p-11UNSAT55.17