Instances of family k_dum_n solved by aqme-10
QBFEVAL'10 - Competitive Track.

InstanceResultTime
k_dum_n-10SAT1.27
k_dum_n-21SAT1.61