Instances of family k_branch_p solved by ijtihad
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
k_branch_p-16UNSAT0.51
k_branch_p-10UNSAT0.61
k_branch_p-12UNSAT1.2
k_branch_p-14UNSAT1.22
k_branch_p-11UNSAT1.35
k_branch_p-18UNSAT1.84
k_branch_p-19FAIL900.02
k_branch_p-21FAIL900.07