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

InstanceResultTime
s386_d2_sSAT0.78