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

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