Instances of family k_path_p solved by preQuel_sKizzo-0.10
QBFEVAL'07

InstanceResultTime
k_path_p-8UNSAT0.07
k_path_p-12UNSAT0.15
k_path_p-16UNSAT0.28
k_path_p-20UNSAT0.5
k_path_p-21UNSAT0.64