Instances of family k_branch_n solved by qesto
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.65
k_branch_n-9SAT1.54
k_branch_n-10SAT7.63
k_branch_n-20FAIL10.02
k_branch_n-11SAT21.38
k_branch_n-12SAT125.38