Instances of family k_branch_n solved by AQME-1NN
QBFEVAL'07

InstanceResultTime
k_branch_n-4SAT5.05