#!/bin/bash

echo "\\documentclass{article}"
echo "\\begin{document}"
echo "\\begin{tabular}{|l|cccc|}"
echo "\\hline"
echo " & lookahead & aspic & smt-ai & kind-ai \\\\"; 
echo "\\hline"
for i in runtime/*.kind-ai.time; do 
    name=`basename $i .kind-ai.time`;  
    echo $name;
    for m in "lookahead" "aspic" "smt-ai" "kind-ai"; do
	echo "&"
	cat  runtime/${name}.${m}.time | grep elapsed | sed "s/^.*system //;s/elapsed.*//;s/0://;s/00\.\(..\)/\1ms/;s/\(..\)\.\(..\)/\1.\2s/;s/^0\([1-9]\)/\1/"
	
    done;
    echo "\\\\";    
done;
echo "\\hline \\end{tabular}\\\\"
echo "\\end{document}"
