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

InstanceResultTime
k_path_p-1UNSAT0.76
k_path_p-2UNSAT0.81
k_path_p-4UNSAT0.86
k_path_p-5UNSAT0.9
k_path_p-3UNSAT0.91
k_path_p-7UNSAT0.93
k_path_p-8UNSAT0.96
k_path_p-6UNSAT0.97
k_path_p-10UNSAT0.98
k_path_p-9UNSAT0.98
k_path_p-12UNSAT1.04
k_path_p-11UNSAT1.11
k_path_p-14UNSAT1.12
k_path_p-13UNSAT1.12
k_path_p-15UNSAT1.15
k_path_p-17UNSAT1.2
k_path_p-16UNSAT1.22
k_path_p-20UNSAT1.22
k_path_p-18UNSAT1.26
k_path_p-19UNSAT1.34
k_path_p-21UNSAT1.51