Instances of family k_branch_n solved by aqme-10
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
k_branch_n-2SAT0.61
k_branch_n-4SAT5.24
k_branch_n-3SAT5.36
k_branch_n-9FAIL600
k_branch_n-10FAIL600
k_branch_n-11FAIL600
k_branch_n-12FAIL600
k_branch_n-20FAIL600
k_branch_n-16FAIL600
k_branch_n-8FAIL600