Instances of family Logn solved by caqe-picosat-cert
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
lognBWLARGEA0UNSAT0.01
lognBWLARGEB0UNSAT0.02
lognBWLARGEA1FAIL600
lognBWLARGEB1FAIL600