**************************************************
 *                  HYMITATOR 1.0                 *
 *                                   2009 - 2012  *
 *   Etienne ANDRE, Ulrich KUEHNE, Romain SOULAT  *
 *     Laboratoire Specification et Verification  *
 *                  ENS de Cachan & CNRS, France  *
 **************************************************
 Plot variables x, y
 Mode: parametric reachability analysis.
 
 Parsing done after 0.004 second.
 Program checked and converted after 0.023 second.
 
 Computing post^1
 Computing post^2
 Computing post^3
 
 Fixpoint reached after 3 iterations in 0.021 second: 3 reachable states with 3 transitions.
 Plotting reachable states projected on variables x, y

 HYMITATOR successfully terminated (after 0.54 second)