added benchmark.sh, moved get_times.sh