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

InstanceResultTime
s27_d5_uUNSAT2.34