Instances of family k_path_n solved by ssolve+ut
QBFEVAL'06

InstanceResultTime
k_path_n-8SAT2.62
k_path_n-12SAT4.89
k_path_n-16SAT7.9
k_path_n-20SAT10.91
k_path_n-21SAT11.59