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

InstanceResultTime
CHAIN12v.13SAT0.61
CHAIN14v.15SAT0.64
CHAIN17v.18SAT0.66
CHAIN16v.17SAT0.66
CHAIN20v.21SAT0.71
CHAIN21v.22SAT0.71
CHAIN19v.20SAT0.71
CHAIN18v.19SAT0.72
CHAIN22v.23SAT0.77
CHAIN23v.24SAT0.79