andre@pomelo{Python} 1003 : python IMITATOR.py csmacdNSY92
 ***********************************************
 *                  IMITATOR                   *
 *                              Etienne ANDRE  *
 *                                2008 - 2009  *
 *  Laboratoire Specification et Verification  *
 *               ENS de Cachan & CNRS, France  *
 ***********************************************
 Thu, 05 Feb 2009 16:42:55
 Step 1
 Step 2
 Step 3
 Step 4
   Adding inequality               sigma < lambda
 Step 5
 Step 6
 Step 7
   Adding inequality               2sigma <= lambda
 Step 8
 Step 9
 Step 10
 Step 11
 Step 12
   Adding inequality               c < lambda
 Step 13
 Step 14
 Step 15
 Step 16
 Step 17
 Step 18
 Step 19
 Step 20
 Step 21
 Step 22

 Post* was reached at step 21 with 294 states (from 46 different locations)

 Intersection of the inequalities of all states in post* (after preprocessing):
      & c < lambda
      & 0 < sigma
      & 2sigma <= c

 IMITATOR ended with success :-)

 IMITATOR ended after 108.38 seconds
   Python execution time : 2.33s
   HyTech execution time : 105.64s (25 calls)
 ***********************************************