Instances of family Logn solved by orSAT
QBFEVAL'04

InstanceResultTime
lognBWLARGEA0FAIL0.02
lognBWLARGEB0FAIL0.02
lognBWLARGEA1FAIL901
lognBWLARGEB1FAIL901.01