Instances of family k_path_p solved by AQME-C4.5
QBFEVAL'07

InstanceResultTime
k_path_p-8UNSAT0.58
k_path_p-12UNSAT0.6
k_path_p-16UNSAT0.63
k_path_p-21UNSAT0.64
k_path_p-20UNSAT0.65