record benchmarks to file