Instances of family Logn solved by xb-qsts
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
lognBWLARGEA1UNSAT159.13
lognBWLARGEB1FAIL599.72