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

InstanceResultTime
k_d4_n-8SAT2.22
k_d4_n-21SAT18.88
k_d4_n-12SAT19.23
k_d4_n-20SAT19.29
k_d4_n-16SAT196.69