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

InstanceResultTime
k_path_n-8SAT0.63
k_path_n-12SAT0.64
k_path_n-20SAT0.67
k_path_n-16SAT0.69
k_path_n-21SAT0.71