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

InstanceResultTime
k_branch_n-1SAT0.01
k_branch_n-2SAT0.06
k_branch_n-3SAT0.26
k_branch_n-4SAT1.59
k_branch_n-5SAT23.77
k_branch_n-12FAIL600
k_branch_n-11FAIL600
k_branch_n-15FAIL600
k_branch_n-20FAIL600
k_branch_n-13FAIL600
k_branch_n-21FAIL600
k_branch_n-14FAIL600
k_branch_n-17FAIL600
k_branch_n-6FAIL600
k_branch_n-16FAIL600
k_branch_n-18FAIL600
k_branch_n-7FAIL600
k_branch_n-8FAIL600
k_branch_n-19FAIL600
k_branch_n-9FAIL600
k_branch_n-10FAIL600