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