Instances of family k_path_p solved by squolem
QBFEVAL'07

InstanceResultTime
k_path_p-8UNSAT0.24
k_path_p-12UNSAT0.42
k_path_p-16UNSAT0.55
k_path_p-20UNSAT0.71
k_path_p-21UNSAT0.77