Instances of family k_lin_n solved by QUANTOR
QBFEVAL'06

InstanceResultTime
k_lin_n-4SAT0.03
k_lin_n-8SAT0.28
k_lin_n-12SAT0.94
k_lin_n-16SAT2.03
k_lin_n-20SAT4
k_lin_n-21SAT4.7