/export/starexec/sandbox/solver/bin/starexec_run_default: line 6: 40858 Alarm clock             ./../Ultimate/Ultimate --console ./../AutomizerAndBuchiAutomizerCWithBlockEncoding.xml "$1" --settings ./../termcomp2015.epf > output.txt