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

InstanceResultTime
s386_d12_uFAIL1200