Instances of family Logn solved by qube5.0
QBFEVAL'06

InstanceResultTime
lognBWLARGEA1UNSAT4.07
lognBWLARGEB1UNSAT13.69