Instances of family k_lin_n solved by AQME-RIPPER
QBFEVAL'07

InstanceResultTime
k_lin_n-16SAT3.08
k_lin_n-20SAT5.27
k_lin_n-21SAT6.05