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

InstanceResultTime
CHAIN12v.13SAT1.24
CHAIN14v.15SAT1.9
CHAIN16v.17SAT3.06
CHAIN18v.19SAT3.8
CHAIN17v.18SAT8.2
CHAIN22v.23SAT9.07
CHAIN21v.22SAT12.63
CHAIN20v.21SAT20.78
CHAIN19v.20SAT23.08
CHAIN23v.24SAT67.24