Instances of family s386 solved by sKizzo-0.9-abs
QBFEVAL'06

InstanceResultTime
s386_d2_sSAT2.97