Instances of family k_branch_n solved by sKizzo-0.9-abs
QBFEVAL'06

InstanceResultTime
k_branch_n-4SAT4
k_branch_n-8FAIL459.38