803.40/300.07 sh: line 1: 62018 Alarm clock ./resources/firstorderprover resources/system.trs 50 > resources/result 803.40/300.09 /export/starexec/sandbox2/solver/bin/starexec_run_default: line 3: 62007 Alarm clock ./wanda.exe $1 803.40/300.09 EOF