Instances of family k_lin_n solved by preQuel_sKizzo-0.10
QBFEVAL'07

InstanceResultTime
k_lin_n-21SAT85.78
k_lin_n-20SAT89.56
k_lin_n-16SAT132.74