Instances of family Chain solved by squeezebf+aqme
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
CHAIN12v.13SAT0.54
CHAIN17v.18SAT0.55
CHAIN14v.15SAT0.56
CHAIN16v.17SAT0.56
CHAIN18v.19SAT361.38
CHAIN22v.23FAIL600
CHAIN20v.21FAIL600
CHAIN21v.22FAIL600
CHAIN23v.24FAIL600
CHAIN19v.20FAIL600