diff --git a/scripts/benchmark.sh b/scripts/benchmark.sh index d9b3e41..e0d0a70 100755 --- a/scripts/benchmark.sh +++ b/scripts/benchmark.sh @@ -3,10 +3,13 @@ n=$1 t=0 all_t="" -TIMEFORMAT=%U +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 > out/gtsp-n${n}-s${i}.log; } 2>&1 ) + t=$( { time bin/hw2.run --gtsp -s $i -n $n 2>&1 > out/gtsp-n${n}-s${i}.log; } 2>&1 ) all_t="$all_t $t" printf "%12d\t%12.3f\n" $i $t done