Instances of family Logn solved by skizzo_v0.4
QBFEVAL'05

InstanceResultTime
lognBWLARGEA1UNSAT0.57
lognBWLARGEB1UNSAT1.68