#!/bin/sh
#
# Program:  TimeProgram.sh
#
# Synopsis: Get reliable timing results for a program
#
# Syntax:  ./TimeProgram <name> Program args...
#

NAME=$1
shift

echo "Timing $NAME"

# discard first output
time -p $* > /dev/null 2>&1

# Gather three data points
(time -p $* > /dev/null) 2>&1 | grep user | sed 's/user //'
(time -p $* > /dev/null) 2>&1 | grep user | sed 's/user //'
(time -p $* > /dev/null) 2>&1 | grep user | sed 's/user //'