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

InstanceResultTime
k_path_n-8SAT2.22
k_path_n-12SAT4.39
k_path_n-16SAT7.31
k_path_n-20SAT10.39
k_path_n-21SAT10.96