Instances of family k_lin_n solved by QUANTOR_2.15
QBFEVAL'07

InstanceResultTime
k_lin_n-20FAIL600
k_lin_n-21FAIL600
k_lin_n-16FAIL600