src/tatoo.native -s -d tests/alphabet.xml -o /dev/null -c "$Q" 2> /tmp/log
ST=`grep 'Number of states' /tmp/log | cut -f 2 -d :`
TM=`grep 'evaluating query in' /tmp/log | cut -f 3 -d : | cut -f 1 -d m`
src/tatoo.native -s -d tests/alphabet.xml -o /dev/null -c "$Q" 2> /tmp/log
ST=`grep 'Number of states' /tmp/log | cut -f 2 -d :`
TM=`grep 'evaluating query in' /tmp/log | cut -f 3 -d : | cut -f 1 -d m`