967.02/300.06 sh: line 1: 9332 Alarm clock ./resources/firstorderprover resources/system.trs 50 > resources/result 967.02/300.07 /export/starexec/sandbox2/solver/bin/starexec_run_default: line 3: 9320 Alarm clock ./wanda.exe $1 967.02/300.07 EOF