Instances of family Chain solved by nenofex-qbfeval10
QBFEVAL'10 - Competitive Track.

InstanceResultTime
CHAIN23v.24SAT0.14