Repeatability Package Dissertation Schupp

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


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.