Instances of family Chain solved by squolem
QBFEVAL'07

InstanceResultTime
CHAIN23v.24FAIL600
CHAIN22v.23FAIL600