Instances of family k_path_p solved by sKizzo-0.9-grn
QBFEVAL'06

InstanceResultTime
k_path_p-8UNSAT0.38
k_path_p-12UNSAT28.56
k_path_p-16UNSAT164.82
k_path_p-20UNSAT1416.85
k_path_p-21UNSAT2115.67