Instances of family k_d4_p solved by AQME-1NN
QBFEVAL'07

InstanceResultTime
k_d4_p-8UNSAT0.52
k_d4_p-12UNSAT0.6
k_d4_p-16UNSAT0.66
k_d4_p-20UNSAT0.74
k_d4_p-21UNSAT0.78