Instances of family k_lin_n solved by GRL
QBFEVAL'05

InstanceResultTime
k_lin_n-4SAT5.44
k_lin_n-8SAT281.46
k_lin_n-21FAIL900.47
k_lin_n-20FAIL900.52
k_lin_n-16FAIL900.55
k_lin_n-12FAIL900.68