Instances of family Logn solved by semprop
QBFEVAL'05

InstanceResultTime
lognBWLARGEA1UNSAT1.48
lognBWLARGEB1UNSAT3.86