diff --git a/scripts/benchmark.sh b/scripts/benchmark.sh deleted file mode 100755 index f6b40b2..0000000 --- a/scripts/benchmark.sh +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/bash -n=$1 -m=$2 -t=0 -all_t="" - -mkdir -p out/ -printf "%12s\t%12s\n" "seed" "user-time (s)" - -TIMEFORMAT=%U -for i in $(seq 0 9); do - t=$( { time bin/hw2.run --gtsp -s "$i" -n "$n" -m "$m" 2>&1 > tmp/gtsp-m${m}-n${n}-s${i}.log; } 2>&1 ) - all_t="$all_t $t" - printf "%12d\t%12.3f\n" $i $t -done - -echo -echo "$all_t" | scripts/mean.r