levchenko -> reachability set 
=============================

- as computed by iddctl
   -- nodes in the idd data structure
   -- states of the rg

- the figures in ( ..) refer to prism

---

levchenko_N1
  #nodes 52 (5.2e+01) 
  #states 118 (2)
  RS computation time: 0m0.40 sec

levchenko_N4   -> (k=1, prism model, immediate response)
  #nodes 115 (1.2e+02)
  #states 24,065 (4)
  RS computation time: 0m0.81 sec

levchenko_N8   -> (k=2, prism model, a few seconds)
  #nodes 269 (2.7e+02) 
  #states 6,110,643 (6)
  RS computation time: 0m0.210 sec

levchenko_N40  -> (k=10, prism model, prism dies silently after 10') 
  #nodes 3697 (3.7e+03)
  #states 478,293,389,221,095 (14) 
  RS computation time: 0m12.808 sec

levchenko_N80
  #nodes 13472 (1.3e+04) 
  #states 5,634,903,909,420,423,840 (18)
  RS computation time: 4m2.589 sec

levchenko_N120
  #nodes 29347 (2.9e+04) 
  #states 1,714,249,381,410,772,340,816 (21)
  RS computation time: 64m10.407 sec

levchenko_N160
   ???