Instances of family Logn solved by aqua-s2v
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
lognBWLARGEA0UNSAT0
lognBWLARGEB0UNSAT0
lognBWLARGEA1UNSAT1
lognBWLARGEB1UNSAT3.4