Instances of family Logn solved by GRL
QBFEVAL'05

InstanceResultTime
lognBWLARGEA1UNSAT16.77
lognBWLARGEB1UNSAT70.35