Instances of family k_path_n solved by GRL
QBFEVAL'05

InstanceResultTime
k_path_n-4SAT10.25
k_path_n-20FAIL900.53
k_path_n-21FAIL900.61
k_path_n-16FAIL900.61
k_path_n-12FAIL900.63
k_path_n-8FAIL900.7