Instances of family Logn solved by openQbf
QBFEVAL'04

InstanceResultTime
lognBWLARGEA0UNSAT0.22
lognBWLARGEB0UNSAT0.28
lognBWLARGEA1FAIL901
lognBWLARGEB1FAIL901.01