730.22/300.04 sh: line 1: 16047 Alarm clock ./resources/firstorderprover resources/system.trs 50 > resources/result 730.22/300.05 /export/starexec/sandbox2/solver/bin/starexec_run_default: line 3: 16036 Alarm clock ./wanda.exe $1 730.22/300.06 EOF