#!/bin/sh

for q in "$@" ; do
f=$(echo "$q" | sed -e 's/\.rw//')
echo -n "$f: "
/usr/bin/time -f "%x %e %P" -o time-res ./trew/trew -t prelude.rw -q $f -p $f.rw > out-res 2>&1
read es elap perc < time-res
mem=$(tail -1 out-res | sed -e 's/memory used: //')
if [ $es != 0 ] ; then
  echo "Error!"
  cat out-res
else
  echo "$elap ($perc) $mem"
fi
done