**************************************************
 *                  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
 Computing post^4
 Computing post^5
 Computing post^6
 
 Fixpoint reached after 6 iterations in 0.669 second: 10 reachable states with 11 transitions.
 Plotting reachable states projected on variables x, y

 HYMITATOR successfully terminated (after 1.142 seconds)