Repeatability package
Models and configurations will be made available soon. For a subset of the used models we temporarily refer to our collection.
Model files
Configurations
Even though all provided benchmark files contain configurations, here we shortly describe which configurations were used, especially for the CEGAR-based approach, where more than one parameter configuration may be used.