Recent benchmarks?

[DavidC0rtes]

Hi all,
Wondering if you're aware of published material (apart from https://uppaal.org/benchmarks/) where the model checking engine was measured in regards to the time and/or memory used for the verification of TCTL formulas?

EDIT: Found this one :) https://abs.informatik.uni-freiburg.de/morbe/scp/scp.html