//This file was generated from UPPAAL 3.3.38, Sep 2003

/*

*/
E[] ( not(Task0.Error or Task1.Error or Task2.Error) and (Cost>=M imply Time>=T))