Instances of family Logn solved by QUANTOR
QBFEVAL'04

InstanceResultTime
lognBWLARGEA0UNSAT0.01
lognBWLARGEB0UNSAT0.01
lognBWLARGEA1UNSAT8.72
lognBWLARGEB1UNSAT17.6