807.53/300.03	sh: line 1: 13079 Alarm clock             ./resources/firstorderprover resources/system.trs 50 > resources/result
807.53/300.05	EOF