parent
d726fd34b4
commit
9c3701037f
@ -1,18 +1,18 @@
|
|||||||
#!/bin/bash
|
#!/bin/bash
|
||||||
n=$1
|
n=$1
|
||||||
|
m=$2
|
||||||
t=0
|
t=0
|
||||||
all_t=""
|
all_t=""
|
||||||
|
|
||||||
mkdir -p out/
|
mkdir -p out/
|
||||||
|
|
||||||
printf "%12s\t%12s\n" "seed" "user-time (s)"
|
printf "%12s\t%12s\n" "seed" "user-time (s)"
|
||||||
|
|
||||||
TIMEFORMAT=%U
|
TIMEFORMAT=%U
|
||||||
for i in $(seq 0 9); do
|
for i in $(seq 0 9); do
|
||||||
t=$( { time bin/hw2.run --gtsp -s $i -n $n 2>&1 > out/gtsp-n${n}-s${i}.log; } 2>&1 )
|
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"
|
all_t="$all_t $t"
|
||||||
printf "%12d\t%12.3f\n" $i $t
|
printf "%12d\t%12.3f\n" $i $t
|
||||||
done
|
done
|
||||||
|
|
||||||
echo
|
echo
|
||||||
echo $all_t | scripts/mean.r
|
echo "$all_t" | scripts/mean.r
|
||||||
|
Reference in new issue