#!/bin/bash

SPL=bench/runtime-$HOSTNAME
QS1=bench/qs1/runtime-$HOSTNAME
QS2=bench/qs2/runtime-$HOSTNAME

tym() {
  /usr/bin/time -f%e0 "$@" 2>&1 > /dev/null
}

printf "%-16s %10s %10s %10s\n" "" QuickSpec1 Speculate QuickSpec2
cat $QS1 |
while read name qs1
do
	read nm qs2 <<< $(grep "^$name " $QS2)
  case $name in
    plus-abs) read    spl <<< $(tym ./eg/plus-abs --exclude="<=,<" -SC -s7 -d4) ;;
    arith)    read    spl <<< $(tym ./eg/arith                     -SC -s7 -d4) ;;
    *)        read nm spl <<< $(grep "^$name " $SPL) ;;
  esac
	printf "%-16s  %9.3f  %9.3f  %9.3f\n" $name $qs1 $spl $qs2
done