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

InstanceResultTime
s27_d5_uUNSAT0.02