Instances of family k_lin_n solved by semprop
QBFEVAL'06

InstanceResultTime
k_lin_n-4SAT0.04
k_lin_n-8SAT0.44
k_lin_n-12SAT1.98
k_lin_n-16SAT5.76
k_lin_n-20SAT12.34
k_lin_n-21SAT14.52