Update benchmarks.txt