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

InstanceResultTime
k_branch_p-16UNSAT0.6
k_branch_p-10UNSAT0.75
k_branch_p-14UNSAT1.25
k_branch_p-12UNSAT1.26
k_branch_p-11UNSAT1.26
k_branch_p-18UNSAT57.7
k_branch_p-21FAIL900
k_branch_p-19FAIL900