//This file was generated from (Academic) UPPAAL 4.1.17 (rev. 5316), September 2013

/*

*/
simulate 1 [<=10] {foreach (c : Client) (10*c.id+(c.Starting+2*c.Waiting+3*c.Working+4*c.TimeOut))} : clientID>=10

/*

*/
//NO_QUERY

/*

*/
simulate 1 [<=10] {numOf(Client),clientID}

/*

*/
Pr (<>[5;20] exists { c : Client} (<>[5;25] (c.Working )))
