8 src/tatoo.native -s -d tests/alphabet.xml -o /dev/null -c "$Q" 2> /tmp/log
9 ST=`grep 'Number of states' /tmp/log | cut -f 2 -d :`
10 TM=`grep 'evaluating query in' /tmp/log | cut -f 3 -d : | cut -f 1 -d m`
11 RU=`grep 'number of runs' /tmp/log | cut -f 3 -d :`
12 echo "$i", "$ST", "$TM", "$RU"