RTCOUNT=`echo "$REF" | cut -f 3 -d ,`
RTMAT=`echo "$REF" | cut -f 4 -d ,`
RTCOUNT=`echo "$REF" | cut -f 3 -d ,`
RTMAT=`echo "$REF" | cut -f 4 -d ,`
TCOUNT=`cat tmp | grep 'Execution time' | grep -o '[0-9]\+\.[0-9]*' | sort -g | head -1`
CCOUNT=`cat tmp | grep 'Number of results' | grep -o '[0-9]\+'`
TCOUNT=`cat tmp | grep 'Execution time' | grep -o '[0-9]\+\.[0-9]*' | sort -g | head -1`
CCOUNT=`cat tmp | grep 'Number of results' | grep -o '[0-9]\+'`
TMAT=`cat tmp | grep 'Execution time' | grep -o '[0-9]\+\.[0-9]*' | sort -g | head -1`
MCOUNT=`cat tmp | grep 'Number of results' | grep -o '[0-9]\+'`
TMAT=`cat tmp | grep 'Execution time' | grep -o '[0-9]\+\.[0-9]*' | sort -g | head -1`
MCOUNT=`cat tmp | grep 'Number of results' | grep -o '[0-9]\+'`