Instances of family k_path_p solved by AQME-1NN
QBFEVAL'07

InstanceResultTime
k_path_p-8UNSAT0.51
k_path_p-12UNSAT0.52
k_path_p-16UNSAT0.55
k_path_p-21UNSAT0.58
k_path_p-20UNSAT0.58