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

InstanceResultTime
k_lin_n-3SAT0.15
k_lin_n-5SAT0.32
k_lin_n-6SAT0.4
k_lin_n-8SAT0.62
k_lin_n-17SAT3.11