A Benchmarks Library for Extended Parametric Timed Automata