extracted benchmark.sh, moved get_times.sh