//This file was generated from (Academic) UPPAAL 4.1.15 (rev. 5265), April 2013

/*
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 [<=14] { x, y, x <? y }
