Instances of family Logn solved by QBFL-BS
QBFEVAL'04

InstanceResultTime
lognBWLARGEA0UNSAT0.02
lognBWLARGEB0UNSAT0.02
lognBWLARGEA1FAIL901.02
lognBWLARGEB1FAIL901.03