Instances of family Logn solved by yQuaffle
QBFEVAL'06

InstanceResultTime
lognBWLARGEA1UNSAT0.26
lognBWLARGEB1UNSAT0.74