Instances of family Logn solved by QSAT
QBFEVAL'04

InstanceResultTime
lognBWLARGEA0UNSAT0.01
lognBWLARGEB0UNSAT0.02
lognBWLARGEA1UNSAT0.08
lognBWLARGEB1UNSAT0.23