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

InstanceResultTime
k_lin_n-3SAT0.15
k_lin_n-5SAT0.31
k_lin_n-6SAT0.4
k_lin_n-8SAT0.61
k_lin_n-17SAT3.07