Benchmarks (#752)