Instances of family k_branch_p solved by ssolve-A
QBFEVAL'08

InstanceResultTime
k_branch_p-1UNSAT0.01
k_branch_p-2UNSAT0.12
k_branch_p-3UNSAT2.94
k_branch_p-4UNSAT104
k_branch_p-13FAIL600
k_branch_p-5FAIL600
k_branch_p-12FAIL600
k_branch_p-14FAIL600
k_branch_p-21FAIL600
k_branch_p-17FAIL600
k_branch_p-6FAIL600
k_branch_p-20FAIL600
k_branch_p-18FAIL600
k_branch_p-7FAIL600
k_branch_p-8FAIL600
k_branch_p-19FAIL600
k_branch_p-9FAIL600
k_branch_p-10FAIL600
k_branch_p-16FAIL600
k_branch_p-11FAIL600
k_branch_p-15FAIL600