Instances of family k_branch_p solved by hordeqbf
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
k_branch_p-5UNSAT70.02
k_branch_p-10FAIL600
k_branch_p-11FAIL600
k_branch_p-14FAIL600
k_branch_p-18FAIL600
k_branch_p-16FAIL600
k_branch_p-12FAIL600
k_branch_p-6FAIL600
k_branch_p-21FAIL600
k_branch_p-8FAIL600