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

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