Instances of family k_branch_n solved by aqme-10
QBFEVAL'10 - Competitive Track.

InstanceResultTime
k_branch_n-4SAT8.43
k_branch_n-5SAT51.68
k_branch_n-20FAIL1004.74
k_branch_n-8SAT1078.9