Instances of family Chain solved by aqua-s2v
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
CHAIN12v.13SAT0.01
CHAIN16v.17SAT0.02
CHAIN17v.18SAT0.02
CHAIN14v.15SAT0.02
CHAIN20v.21SAT0.03
CHAIN18v.19SAT0.03
CHAIN19v.20SAT0.03
CHAIN21v.22SAT0.04
CHAIN22v.23SAT0.04
CHAIN23v.24SAT0.05