Instances of family Chain solved by sKizzo-0.10-qck
QBFEVAL'07

InstanceResultTime
CHAIN22v.23SAT0.09
CHAIN23v.24SAT0.1