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.