Instances of family k_path_n solved by qSS
QBFEVAL'07

InstanceResultTime
k_path_n-8SAT4.9
k_path_n-12SAT9.57
k_path_n-20SAT10.04
k_path_n-16SAT10.39
k_path_n-21SAT11.77