//This file was generated from (Academic) UPPAAL 4.0.13 (rev. 4577), September 2010

/*
Red car is just going out of the board
*/
E<> (car[0].x==6)