Instances of family k_branch_n solved by qestos
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_branch_n-2SAT0
k_branch_n-3SAT0.02
k_branch_n-4SAT0.03
k_branch_n-8SAT0.22
k_branch_n-16SAT0.66
k_branch_n-9SAT474.78
k_branch_n-20FAIL599.71
k_branch_n-12FAIL599.81
k_branch_n-10FAIL599.81
k_branch_n-11FAIL599.82