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

InstanceResultTime
s27_d5_uUNSAT0.17