Tooling Support for Benchmarking Timing Analysis