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

InstanceResultTime
k_branch_p-16UNSAT0.63
k_branch_p-10UNSAT0.71
k_branch_p-11UNSAT0.94
k_branch_p-12UNSAT1.21
k_branch_p-14UNSAT1.53
k_branch_p-19UNSAT2.35
k_branch_p-18UNSAT11.74
k_branch_p-21UNSAT78.93