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

InstanceResultTime
k_branch_n-2SAT0.11
k_branch_n-3SAT0.19
k_branch_n-8SAT1.44
k_branch_n-10SAT2.26
k_branch_n-12SAT3.94