made script to retrieve benchmarks from servers