Instances of family k_path_p solved by AQME-RIPPER
QBFEVAL'07

InstanceResultTime
k_path_p-12UNSAT0.64
k_path_p-8UNSAT0.64
k_path_p-16UNSAT0.66
k_path_p-21UNSAT0.69
k_path_p-20UNSAT0.7