Instances of family k_branch_n solved by sKizzo-0.10-std
QBFEVAL'07

InstanceResultTime
k_branch_n-4SAT4.06