//This file was generated from (Academic) UPPAAL 4.1.4 (rev. 4771), April 2011

/*

*/
E<> exists (i : id_t) ((time <= 92) && Process(i).ok)

/*

*/
Pr[time<=5000] (<> forall (i : id_t) Process(i).ok) ?

/*

*/
Pr[time<=data_length*5] (<> exists (i : id_t) Process(i).ok) ?

/*

*/
Pr[<=10000] (<> exists (i : id_t) Process(i).ok) 
