Instances of family Logn solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
lognBWLARGEA1UNSAT9.25
lognBWLARGEB1UNSAT40.03