Instances of family Logn solved by sKizzo-0.9-std
QBFEVAL'06

InstanceResultTime
lognBWLARGEA1UNSAT0.57
lognBWLARGEB1UNSAT1.8