************************************************************
    *  IMITATOR 2.9.2-working "Butter Incaberry"               *
    *                                                          *
    *                     Etienne Andre, Ulrich Kuehne et al.  *
    *                                             2009 - 2017  *
    *                       LSV, ENS de Cachan & CNRS, France  *
    *                       LIPN, Universite Paris 13, France  *
    *                                         www.imitator.fr  *
    *                                                          *
    *                   Build: 2363 (2017-06-08 17:40:33 UTC)  *
    *                                       explorder/5c40e39  *
    ************************************************************
    Analysis time: Mon Jun 19, 2017 00:42:46
    
    Model: /media/gia/Data/Example-Models/critical-region/critical-region.imi
    Mode: EF-synthesis.
    Exploration order: layer-based BFS.
    Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality).
    Merging technique of [AFS13] enabled.
    The cartography will be drawn.
    The result will be written to a file.
    The trace set(s) will be generated in a graphical mode.
    Description of states will be output.
    
    Abstract model built after 0.006 second.
    Memory for abstract model: 888.753 KiB (i.e., 227521 words)
    
    Starting running algorithm AGsafe…
    
    Computing post^1 from 1 state.
    Computing post^2 from 3 states.
      1 state merged within 9 states.
    Computing post^3 from 8 states.
      2 states merged within 15 states.
    Computing post^4 from 13 states.
      4 states merged within 26 states.
    Computing post^5 from 23 states.
      [AGsafe] Found a new state violating the property.
      10 states merged within 34 states.
    Computing post^6 from 29 states.
      7 states merged within 15 states.
    Computing post^7 from 14 states.
      11 states merged within 17 states.
    Computing post^8 from 15 states.
      14 states merged within 20 states.
    Computing post^9 from 18 states.
      15 states merged within 21 states.
    Computing post^10 from 19 states.
      17 states merged within 23 states.
    Computing post^11 from 20 states.
      16 states merged within 22 states.
    Computing post^12 from 21 states.
      20 states merged within 26 states.
    Computing post^13 from 24 states.
      21 states merged within 27 states.
    Computing post^14 from 25 states.
      23 states merged within 29 states.
    Computing post^15 from 26 states.
      23 states merged within 29 states.
    Computing post^16 from 27 states.
      26 states merged within 32 states.
    Computing post^17 from 30 states.
      27 states merged within 33 states.
    Computing post^18 from 31 states.
      28 states merged within 34 states.
    Computing post^19 from 32 states.
      32 states merged within 38 states.
    Computing post^20 from 33 states.
      31 states merged within 37 states.
    Computing post^21 from 36 states.
      33 states merged within 39 states.
    Computing post^22 from 37 states.
      34 states merged within 40 states.
    Computing post^23 from 38 states.
      35 states merged within 41 states.
    Computing post^24 from 39 states.
      39 states merged within 45 states.
    Computing post^25 from 42 states.
      39 states merged within 45 states.
    Computing post^26 from 43 states.
      41 states merged within 47 states.
    Computing post^27 from 44 states.
      43 states merged within 49 states.
    Computing post^28 from 45 states.
      45 states merged within 51 states.
    Computing post^29 from 48 states.
      45 states merged within 51 states.
    Computing post^30 from 49 states.
      49 states merged within 55 states.
    Computing post^31 from 50 states.
      47 states merged within 53 states.
    Computing post^32 from 51 states.
      50 states merged within 56 states.
    Computing post^33 from 54 states.
      51 states merged within 57 states.
    Computing post^34 from 55 states.
      53 states merged within 59 states.
    Computing post^35 from 56 states.
      53 states merged within 59 states.
    Computing post^36 from 57 states.
      57 states merged within 63 states.
    Computing post^37 from 60 states.
      57 states merged within 63 states.
    Computing post^38 from 61 states.
      58 states merged within 64 states.
    Computing post^39 from 62 states.
      60 states merged within 66 states.
    Computing post^40 from 63 states.
      62 states merged within 68 states.
    Computing post^41 from 66 states.
      63 states merged within 69 states.
    Computing post^42 from 67 states.
      67 states merged within 73 states.
    Computing post^43 from 68 states.
      65 states merged within 71 states.
    Computing post^44 from 69 states.
      68 states merged within 74 states.
    Computing post^45 from 72 states.
      69 states merged within 75 states.
    Computing post^46 from 73 states.
      70 states merged within 76 states.
    Computing post^47 from 74 states.
      72 states merged within 78 states.
    Computing post^48 from 75 states.
      74 states merged within 80 states.
    Computing post^49 from 78 states.
      75 states merged within 81 states.
    Computing post^50 from 79 states.
      76 states merged within 82 states.
    Computing post^51 from 80 states.
      76 states merged within 82 states.
    Computing post^52 from 81 states.
      80 states merged within 86 states.
    Computing post^53 from 84 states.
      81 states merged within 87 states.
    Computing post^54 from 85 states.
      85 states merged within 91 states.
    Computing post^55 from 86 states.
      81 states merged within 87 states.
    Computing post^56 from 87 states.
      85 states merged within 91 states.
    Computing post^57 from 90 states.
      87 states merged within 93 states.
    Computing post^58 from 91 states.
      88 states merged within 94 states.
    Computing post^59 from 92 states.
      90 states merged within 96 states.
    Computing post^60 from 93 states.
      93 states merged within 99 states.
    Computing post^61 from 96 states.
      93 states merged within 99 states.
    Computing post^62 from 97 states.
      95 states merged within 101 states.
    Computing post^63 from 98 states.
      95 states merged within 101 states.
    Computing post^64 from 99 states.
      98 states merged within 104 states.
    Computing post^65 from 102 states.
      99 states merged within 105 states.
    Computing post^66 from 103 states.
      100 states merged within 106 states.
    Computing post^67 from 104 states.
      103 states merged within 109 states.
    Computing post^68 from 105 states.
      105 states merged within 111 states.
    Computing post^69 from 108 states.
      105 states merged within 111 states.
    Computing post^70 from 109 states.
      107 states merged within 113 states.
    Computing post^71 from 110 states.
      107 states merged within 113 states.
    Computing post^72 from 111 states.
      111 states merged within 117 states.
    Computing post^73 from 114 states.
      111 states merged within 117 states.
    Computing post^74 from 115 states.
      112 states merged within 118 states.
    Computing post^75 from 116 states.
      113 states merged within 119 states.
    Computing post^76 from 117 states.
      117 states merged within 123 states.
    Computing post^77 from 120 states.
      117 states merged within 123 states.
    Computing post^78 from 121 states.
      117 states merged within 123 states.
    Computing post^79 from 122 states.
      120 states merged within 126 states.
    Computing post^80 from 123 states.
      122 states merged within 128 states.
    Computing post^81 from 126 states.
      123 states merged within 129 states.
    Computing post^82 from 127 states.
      124 states merged within 130 states.
    Computing post^83 from 128 states.
      128 states merged within 134 states.
    Computing post^84 from 129 states.
      127 states merged within 133 states.
    Computing post^85 from 132 states.
      129 states merged within 135 states.
    Computing post^86 from 133 states.
      133 states merged within 139 states.
    Computing post^87 from 134 states.
      131 states merged within 137 states.
    Computing post^88 from 135 states.
      133 states merged within 139 states.
    Computing post^89 from 138 states.
      135 states merged within 141 states.
    Computing post^90 from 139 states.
      135 states merged within 141 states.
    Computing post^91 from 140 states.
      139 states merged within 145 states.
    Computing post^92 from 141 states.
      141 states merged within 147 states.
    Computing post^93 from 144 states.
      141 states merged within 147 states.
    Computing post^94 from 145 states.
      142 states merged within 148 states.
    Computing post^95 from 146 states.
      143 states merged within 149 states.
    Computing post^96 from 147 states.
      146 states merged within 152 states.
    Computing post^97 from 150 states.
      147 states merged within 153 states.
    Computing post^98 from 151 states.
      148 states merged within 154 states.
    Computing post^99 from 152 states.
      150 states merged within 156 states.
    Computing post^100 from 153 states.
      153 states merged within 159 states.
    Computing post^101 from 156 states.
      153 states merged within 159 states.
    Computing post^102 from 157 states.
      154 states merged within 160 states.
    Computing post^103 from 158 states.
      155 states merged within 161 states.
    Computing post^104 from 159 states.
      159 states merged within 165 states.
    Computing post^105 from 162 states.
      159 states merged within 165 states.
    Computing post^106 from 163 states.
      160 states merged within 166 states.
    Computing post^107 from 164 states.
      161 states merged within 167 states.
    Computing post^108 from 165 states.
      165 states merged within 171 states.
    Computing post^109 from 168 states.
      165 states merged within 171 states.
    Computing post^110 from 169 states.
      165 states merged within 171 states.
    Computing post^111 from 170 states.
      166 states merged within 172 states.
    Computing post^112 from 171 states.
      169 states merged within 175 states.
    Computing post^113 from 174 states.
      171 states merged within 177 states.
    Computing post^114 from 175 states.
      174 states merged within 180 states.
    Computing post^115 from 176 states.
      173 states merged within 179 states.
    Computing post^116 from 177 states.
      177 states merged within 183 states.
    Computing post^117 from 180 states.
      177 states merged within 183 states.
    Computing post^118 from 181 states.
      179 states merged within 185 states.
    Computing post^119 from 182 states.
      179 states merged within 185 states.
    Computing post^120 from 183 states.
      182 states merged within 188 states.
    Computing post^121 from 186 states.
      183 states merged within 189 states.
    Computing post^122 from 187 states.
      185 states merged within 191 states.
    Computing post^123 from 188 states.
      185 states merged within 191 states.
    Computing post^124 from 189 states.
      189 states merged within 195 states.
    Computing post^125 from 192 states.
      189 states merged within 195 states.
    Computing post^126 from 193 states.
      190 states merged within 196 states.
    Computing post^127 from 194 states.
      194 states merged within 200 states.
    Computing post^128 from 195 states.
      194 states merged within 200 states.
    Computing post^129 from 198 states.
      195 states merged within 201 states.
    Computing post^130 from 199 states.
      195 states merged within 201 states.
    Computing post^131 from 200 states.
      198 states merged within 204 states.
    Computing post^132 from 201 states.
      200 states merged within 206 states.
    Computing post^133 from 204 states.
      201 states merged within 207 states.
    Computing post^134 from 205 states.
      201 states merged within 207 states.
    Computing post^135 from 206 states.
      202 states merged within 208 states.
    Computing post^136 from 207 states.
      206 states merged within 212 states.
    Computing post^137 from 210 states.
      207 states merged within 213 states.
    Computing post^138 from 211 states.
      208 states merged within 214 states.
    Computing post^139 from 212 states.
      209 states merged within 215 states.
    Computing post^140 from 213 states.
      213 states merged within 219 states.
    Computing post^141 from 216 states.
      213 states merged within 219 states.
    Computing post^142 from 217 states.
      215 states merged within 221 states.
    Computing post^143 from 218 states.
      215 states merged within 221 states.
    Computing post^144 from 219 states.
      218 states merged within 224 states.
    Computing post^145 from 222 states.
      219 states merged within 225 states.
    Computing post^146 from 223 states.
      221 states merged within 227 states.
    Computing post^147 from 224 states.
      222 states merged within 228 states.
    Computing post^148 from 225 states.
      225 states merged within 231 states.
    Computing post^149 from 228 states.
      225 states merged within 231 states.
    Computing post^150 from 229 states.
      227 states merged within 233 states.
    Computing post^151 from 230 states.
      225 states merged within 231 states.
    Computing post^152 from 231 states.
      230 states merged within 236 states.
    Computing post^153 from 234 states.
      231 states merged within 237 states.
    Computing post^154 from 235 states.
      233 states merged within 239 states.
    Computing post^155 from 236 states.
      232 states merged within 238 states.
    Computing post^156 from 237 states.
      237 states merged within 243 states.
    Computing post^157 from 240 states.
      237 states merged within 243 states.
    Computing post^158 from 241 states.
      238 states merged within 244 states.
    Computing post^159 from 242 states.
      240 states merged within 246 states.
    Computing post^160 from 243 states.
      242 states merged within 248 states.
    Computing post^161 from 246 states.
      243 states merged within 249 states.
    Computing post^162 from 247 states.
      243 states merged within 249 states.
    Computing post^163 from 248 states.
      246 states merged within 252 states.
    Computing post^164 from 249 states.
      249 states merged within 255 states.
    Computing post^165 from 252 states.
      249 states merged within 255 states.
    Computing post^166 from 253 states.
      251 states merged within 257 states.
    Computing post^167 from 254 states.
      253 states merged within 259 states.
    Computing post^168 from 255 states.
      253 states merged within 259 states.
    Computing post^169 from 258 states.
      255 states merged within 261 states.
    Computing post^170 from 259 states.
      259 states merged within 265 states.
    Computing post^171 from 260 states.
      257 states merged within 263 states.
    Computing post^172 from 261 states.
      260 states merged within 266 states.
    Computing post^173 from 264 states.
      261 states merged within 267 states.
    Computing post^174 from 265 states.
      262 states merged within 268 states.
    Computing post^175 from 266 states.
      262 states merged within 268 states.
    Computing post^176 from 267 states.
      266 states merged within 272 states.
    Computing post^177 from 270 states.
      267 states merged within 273 states.
    Computing post^178 from 271 states.
      269 states merged within 275 states.
    Computing post^179 from 272 states.
      269 states merged within 275 states.
    Computing post^180 from 273 states.
      273 states merged within 279 states.
    Computing post^181 from 276 states.
      273 states merged within 279 states.
    Computing post^182 from 277 states.
      275 states merged within 281 states.
    Computing post^183 from 278 states.
      273 states merged within 279 states.
    Computing post^184 from 279 states.
      278 states merged within 284 states.
    Computing post^185 from 282 states.
      279 states merged within 285 states.
    Computing post^186 from 283 states.
      282 states merged within 288 states.
    Computing post^187 from 284 states.
      281 states merged within 287 states.
    Computing post^188 from 285 states.
      283 states merged within 289 states.
    Computing post^189 from 288 states.
      285 states merged within 291 states.
    Computing post^190 from 289 states.
      285 states merged within 291 states.
    Computing post^191 from 290 states.
      289 states merged within 295 states.
    Computing post^192 from 291 states.
      289 states merged within 295 states.
    Computing post^193 from 294 states.
      291 states merged within 297 states.
    Computing post^194 from 295 states.
      291 states merged within 297 states.
    Computing post^195 from 296 states.
      293 states merged within 299 states.
    Computing post^196 from 297 states.
      297 states merged within 303 states.
    Computing post^197 from 300 states.
      297 states merged within 303 states.
    Computing post^198 from 301 states.
      299 states merged within 305 states.
    Computing post^199 from 302 states.
      299 states merged within 305 states.
    Computing post^200 from 303 states.
      302 states merged within 308 states.
    Computing post^201 from 306 states.
      303 states merged within 309 states.
    Computing post^202 from 307 states.
      304 states merged within 310 states.
    Computing post^203 from 308 states.
      307 states merged within 313 states.
    Computing post^204 from 309 states.
      307 states merged within 313 states.
    Computing post^205 from 312 states.
      309 states merged within 315 states.
    Computing post^206 from 313 states.
      312 states merged within 318 states.
    Computing post^207 from 314 states.
      311 states merged within 317 states.
    Computing post^208 from 315 states.
      315 states merged within 321 states.
    Computing post^209 from 318 states.
      315 states merged within 321 states.
    Computing post^210 from 319 states.
      317 states merged within 323 states.
    Computing post^211 from 320 states.
      317 states merged within 323 states.
    Computing post^212 from 321 states.
      320 states merged within 326 states.
    
    State space exploration stopped at a depth of 213: 19547 states with 22987 transitions in the final state space.
    
      [AGsafe] Algorithm completed after 901.821 seconds.
    
    Final constraint such that the system is correct:
     A >= 0
    & B >= 0
    & 1 > A
    This good constraint is an over-approximation of the actual result (or the actual result itself)

    169.519 GiB (i.e., 22752496579 words of size 8)
    
    Result written to file '/media/gia/Data/Example-Models/critical-region/critical-region-layerBFS-incl-merge-EF.res'.
    
    ------------------------------------------------------------
    Statistics: State space
    ------------------------------------------------------------
    Number of states                        : 19547
    Number of transitions                   : 22987
    Number of computed states               : 122278
    Total computation time                  : 901.814 seconds
    States/second in state space            : 21.6 (19547/901.814 seconds)
    Computed states/second                  : 135.5 (122278/901.814 seconds)
    Estimated memory                        : 169.519 GiB (i.e., 22752510194 words of size 8)
    
    Generating graphical output to '/media/gia/Data/Example-Models/critical-region/critical-region-layerBFS-incl-merge-EF-statespace.jpg'…
    Writing the states description to file '/media/gia/Data/Example-Models/critical-region/critical-region-layerBFS-incl-merge-EF-statespace.states'…
    
    Drawing the cartography…
    Plot cartography in 2D projected on parameters A and B to file '/media/gia/Data/Example-Models/critical-region/critical-region-layerBFS-incl-merge-EF_cart.png'.
    
    ------------------------------------------------------------
     Statistics: Algorithm counters
    ------------------------------------------------------------
    main algorithm                          : 901.818 seconds
    ------------------------------------------------------------
     Statistics: Parsing counters
    ------------------------------------------------------------
    model parsing                           : 0.002 second
    ------------------------------------------------------------
     Statistics: State computation counters
    ------------------------------------------------------------
    number of state comparisons             : 35060875
    number of constraints comparisons       : 31209840
    number of new states <= old             : 68555
    number of new states >= old             : 0
    StateSpace.merging attempts             : 6732462
    StateSpace.merges                       : 34176
    StatesMerging.merging attempts          : 0
    StatesMerging.merges                    : 0
    ------------------------------------------------------------
     Statistics: Graphics-related counters
    ------------------------------------------------------------
    state space drawing                     : 266.773 seconds
    cartography drawing                     : 0.047 second
    ------------------------------------------------------------
     Statistics: Global counter
    ------------------------------------------------------------
    total                                   : 1168.654 seconds

    IMITATOR successfully terminated (after 1168.657 seconds)
    Estimated memory used: 263.492 GiB (i.e., 35365388336 words of size 8)