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