The IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric timed automata

We present here the IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric timed automata We present two archives: - one (benchmarks.tar.xz) with the models and the properties - one (full.tar.xz) with all the results: the expected results, generated PDF and graphics, and a whole standalone Web page (more or less equivalent to www.imitator.fr/static/library2/) summarizing all benchmarks See a full description in the TAP 2021 paper ("A Benchmarks Library for Extended Parametric Timed Automata"