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

InstanceResultTime
k_d4_n-8SAT2.17
k_d4_n-21SAT18.8
k_d4_n-12SAT18.87
k_d4_n-20SAT20.01
k_d4_n-16SAT196.97