Instances of family Chain solved by QUANTOR_2.15
QBFEVAL'07

InstanceResultTime
CHAIN22v.23SAT0.06
CHAIN23v.24SAT0.07