#!/bin/ksh

if [[ $TIMEPRG = "" ]]
then TIMEPRG=/usr/bin/time
fi

PAD1=$1
PAD2=$2
if [[ $PAD1 = "" ]]
then PAD1=0
fi
if [[ $PAD2 = "" ]]
then PAD2=0
fi

dir=$PAD1\_$PAD2

echo --- prgs/$dir ---

for i in 1 2 3
do
 for j in 16 32 64 128 256 512 1024 2048
 do
  echo rb$i\_$j\_1:
  echo 0 | $TIMEPRG prgs/$dir/rb$i\_$j\_1
  echo 0 | $TIMEPRG prgs/$dir/rb$i\_$j\_1
 done
done

for i in 4 5 6 7 8 9
do
 for k in 2 3 4 5
 do
  for j in 16 32 64 128 256 512 1024 2048
  do
   echo rb$i\_$j\_$k:
   echo 0 | $TIMEPRG prgs/$dir/rb$i\_$j\_$k
   echo 0 | $TIMEPRG prgs/$dir/rb$i\_$j\_$k
  done
 done
done

