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

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