\emph{Rush Hour is a puzzle where on a 6x6 board trucks and cars are placed in
an initial position. The goal is to move the vehicles forward and backward in
such a way that the red car can leave the board at the exit on the right. Here
you see a picture:. and here you find more information, including the
possibility to play online: \url{http://thinkfun.com/products/rush-hour/}}

\emph{Model the game in UPPAAL model and show how to find solutions. Make sure
you can solve at least the following positions:}


