Instances of family s386 solved by qmaiga
QBFEVAL'10 - Competitive Track.

InstanceResultTime
s386_d12_uUNSAT1090.25