5 STARTTS="`date --iso-8601=minutes`"
6 mkdir -p stats/raw/${STARTTS}
8 PARTS="1 2 4 5 10 20 25 50 100"
11 ./generate_random.sh $num
16 let foo=`expr 10**$num`
17 ./sort -t $i | sed "s/took \([0-9]*\.[0-9]*\) seconds\./${i};\1/" | tee -a stats/raw/$STARTTS/$STATFILE.$foo.dat