Update benchmark_results.txt