Benchmarks (date: git commit hash):