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

InstanceResultTime
lognBWLARGEB1UNSAT10.75