Instances of family k_path_n solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
k_path_n-4SAT9.82
k_path_n-8FAIL877.81
k_path_n-12FAIL884.74
k_path_n-16FAIL888.53
k_path_n-20FAIL890.54
k_path_n-21FAIL890.84