Instances of family k_lin_n solved by WalkQSAT
QBFEVAL'05

InstanceResultTime
k_lin_n-20FAIL900.95
k_lin_n-16FAIL900.98
k_lin_n-21FAIL900.99
k_lin_n-12FAIL901
k_lin_n-8FAIL901
k_lin_n-4FAIL901