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

InstanceResultTime
k_path_p-8UNSAT1.95
k_path_p-12UNSAT4.19
k_path_p-16UNSAT7.25
k_path_p-20UNSAT10.12
k_path_p-21UNSAT11.36