//This file was generated from (Academic) UPPAAL 4.1.9 (rev. 5027), March 2012

/*
This property requires some luck: if it takes too long (longer than a few seconds) then cancel and try again.
*/
simulate 1 [y<=1] {x, e}

/*
This property requires some luck: if it takes too long (longer than a few seconds) then cancel and try again.
*/
simulate 10 [y<=1] {x}

/*

*/
simulate 1 [<=120000] {x, y}
