Instances of family k_branch_n solved by xb-bid-qsts
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_branch_n-2SAT0.04
k_branch_n-3SAT0.15
k_branch_n-4SAT0.22
k_branch_n-8SAT1.49
k_branch_n-9SAT1.84
k_branch_n-10SAT2.39
k_branch_n-11SAT3.3
k_branch_n-12SAT4.38
k_branch_n-16SAT6.41
k_branch_n-20FAIL411.64