Instances of family Logn solved by qbfbdd
QBFEVAL'05

InstanceResultTime
lognBWLARGEA1UNSAT4.87
lognBWLARGEB1UNSAT24.43