resources/natt/starexec_run_Default: line 4: 23060 Done                    sed 's/%/PeRCenT/g' "$1"
     23061                       | sed 's/~/TIlDe/g'
     23062 Alarm clock             | NaTT.exe 2> $DIR/stderr.txt
./resources/firstorderprover: line 28: 23059 Alarm clock             resources/natt/starexec_run_Default $PROBLEM $TIMEOUT