A collection of Ampersand models (*.ADL), including the Sentinel test set