Instances of family Chain solved by quabs-picosat
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
CHAIN14v.15SAT82.36
CHAIN20v.21FAIL599.71
CHAIN23v.24FAIL599.71
CHAIN22v.23FAIL599.71
CHAIN16v.17FAIL599.71