335.23/300.08 /export/starexec/sandbox/solver/bin/starexec_run_default: line 6: 4939 Alarm clock ./../Ultimate/Ultimate -tc ./../AutomizerAndBuchiAutomizerCInlineWithBlockEncoding.xml -s ./../termcomp2017.epf -data "$TMPDIR" -i "$1" &>output.txt 335.23/300.09 EOF