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

InstanceResultTime
lognBWLARGEB1UNSAT8.67