************************************************************
    *  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 08:23:29
    
    Model: /media/gia/Data/Example-Models/critical-region/critical-region.imi
    Mode: EF-synthesis.
    Exploration order: layer-based BFS.
    Considering fixpoint variant with bidirectional 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.005 second.
    Memory for abstract model: 888.750 KiB (i.e., 227520 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.
      2 states merged within 26 states.
    Computing post^5 from 24 states.
      [AGsafe] Found a new state violating the property.
      4 states merged within 34 states.
    Computing post^6 from 32 states.
      2 states merged within 15 states.
    Computing post^7 from 14 states.
    Computing post^8 from 17 states.
      4 states merged within 21 states.
    Computing post^9 from 19 states.
      4 states merged within 21 states.
    Computing post^10 from 19 states.
      3 states merged within 22 states.
    Computing post^11 from 21 states.
      5 states merged within 26 states.
    Computing post^12 from 24 states.
      3 states merged within 26 states.
    Computing post^13 from 25 states.
      4 states merged within 27 states.
    Computing post^14 from 25 states.
      3 states merged within 28 states.
    Computing post^15 from 27 states.
      1 state merged within 28 states.
    Computing post^16 from 28 states.
      3 states merged within 32 states.
    Computing post^17 from 31 states.
      4 states merged within 33 states.
    Computing post^18 from 31 states.
      4 states merged within 35 states.
    Computing post^19 from 34 states.
      5 states merged within 38 states.
    Computing post^20 from 35 states.
      2 states merged within 37 states.
    Computing post^21 from 36 states.
      4 states merged within 39 states.
    Computing post^22 from 37 states.
      3 states merged within 40 states.
    Computing post^23 from 39 states.
      4 states merged within 43 states.
    Computing post^24 from 42 states.
      3 states merged within 44 states.
    Computing post^25 from 43 states.
      4 states merged within 45 states.
    Computing post^26 from 43 states.
      3 states merged within 46 states.
    Computing post^27 from 45 states.
      2 states merged within 47 states.
    Computing post^28 from 47 states.
      2 states merged within 49 states.
    Computing post^29 from 48 states.
      4 states merged within 51 states.
    Computing post^30 from 49 states.
      2 states merged within 51 states.
    Computing post^31 from 50 states.
      4 states merged within 55 states.
    Computing post^32 from 53 states.
      4 states merged within 57 states.
    Computing post^33 from 55 states.
      4 states merged within 57 states.
    Computing post^34 from 55 states.
      3 states merged within 58 states.
    Computing post^35 from 57 states.
      1 state merged within 58 states.
    Computing post^36 from 58 states.
      4 states merged within 63 states.
    Computing post^37 from 61 states.
      4 states merged within 63 states.
    Computing post^38 from 61 states.
      6 states merged within 67 states.
    Computing post^39 from 64 states.
      2 states merged within 65 states.
    Computing post^40 from 63 states.
      3 states merged within 68 states.
    Computing post^41 from 67 states.
      4 states merged within 69 states.
    Computing post^42 from 67 states.
      3 states merged within 70 states.
    Computing post^43 from 69 states.
      2 states merged within 71 states.
    Computing post^44 from 71 states.
      3 states merged within 74 states.
    Computing post^45 from 73 states.
      4 states merged within 75 states.
    Computing post^46 from 73 states.
      4 states merged within 77 states.
    Computing post^47 from 76 states.
      2 states merged within 77 states.
    Computing post^48 from 76 states.
      4 states merged within 81 states.
    Computing post^49 from 79 states.
      4 states merged within 81 states.
    Computing post^50 from 79 states.
      4 states merged within 83 states.
    Computing post^51 from 81 states.
      2 states merged within 83 states.
    Computing post^52 from 83 states.
      3 states merged within 86 states.
    Computing post^53 from 85 states.
      4 states merged within 87 states.
    Computing post^54 from 85 states.
      4 states merged within 89 states.
    Computing post^55 from 87 states.
      2 states merged within 89 states.
    Computing post^56 from 89 states.
      2 states merged within 91 states.
    Computing post^57 from 90 states.
      4 states merged within 93 states.
    Computing post^58 from 91 states.
      2 states merged within 93 states.
    Computing post^59 from 92 states.
      1 state merged within 94 states.
    Computing post^60 from 94 states.
      2 states merged within 97 states.
    Computing post^61 from 96 states.
      4 states merged within 99 states.
    Computing post^62 from 97 states.
      6 states merged within 103 states.
    Computing post^63 from 100 states.
      2 states merged within 101 states.
    Computing post^64 from 100 states.
      3 states merged within 104 states.
    Computing post^65 from 103 states.
      4 states merged within 105 states.
    Computing post^66 from 103 states.
      4 states merged within 107 states.
    Computing post^67 from 106 states.
      2 states merged within 107 states.
    Computing post^68 from 106 states.
      4 states merged within 111 states.
    Computing post^69 from 109 states.
      4 states merged within 111 states.
    Computing post^70 from 109 states.
      4 states merged within 113 states.
    Computing post^71 from 112 states.
      1 state merged within 112 states.
    Computing post^72 from 112 states.
      3 states merged within 116 states.
    Computing post^73 from 115 states.
      4 states merged within 117 states.
    Computing post^74 from 115 states.
      3 states merged within 118 states.
    Computing post^75 from 117 states.
      2 states merged within 119 states.
    Computing post^76 from 119 states.
      3 states merged within 122 states.
    Computing post^77 from 121 states.
      4 states merged within 123 states.
    Computing post^78 from 121 states.
      4 states merged within 125 states.
    Computing post^79 from 123 states.
      2 states merged within 125 states.
    Computing post^80 from 125 states.
      2 states merged within 127 states.
    Computing post^81 from 126 states.
      4 states merged within 129 states.
    Computing post^82 from 127 states.
      4 states merged within 131 states.
    Computing post^83 from 129 states.
      3 states merged within 132 states.
    Computing post^84 from 130 states.
      2 states merged within 133 states.
    Computing post^85 from 132 states.
      4 states merged within 135 states.
    Computing post^86 from 133 states.
      3 states merged within 136 states.
    Computing post^87 from 135 states.
      1 state merged within 136 states.
    Computing post^88 from 136 states.
      4 states merged within 141 states.
    Computing post^89 from 139 states.
      4 states merged within 141 states.
    Computing post^90 from 139 states.
      5 states merged within 144 states.
    Computing post^91 from 142 states.
      2 states merged within 143 states.
    Computing post^92 from 143 states.
      3 states merged within 146 states.
    Computing post^93 from 145 states.
      4 states merged within 147 states.
    Computing post^94 from 145 states.
      5 states merged within 150 states.
    Computing post^95 from 148 states.
      4 states merged within 151 states.
    Computing post^96 from 148 states.
      3 states merged within 152 states.
    Computing post^97 from 151 states.
      4 states merged within 153 states.
    Computing post^98 from 151 states.
      5 states merged within 156 states.
    Computing post^99 from 154 states.
      2 states merged within 155 states.
    Computing post^100 from 155 states.
      4 states merged within 159 states.
    Computing post^101 from 157 states.
      4 states merged within 159 states.
    Computing post^102 from 157 states.
      4 states merged within 161 states.
    Computing post^103 from 160 states.
      3 states merged within 162 states.
    Computing post^104 from 161 states.
      4 states merged within 165 states.
    Computing post^105 from 163 states.
      4 states merged within 165 states.
    Computing post^106 from 163 states.
      3 states merged within 166 states.
    Computing post^107 from 165 states.
      3 states merged within 168 states.
    Computing post^108 from 168 states.
      2 states merged within 169 states.
    Computing post^109 from 168 states.
      4 states merged within 171 states.
    Computing post^110 from 169 states.
      2 states merged within 171 states.
    Computing post^111 from 170 states.
      1 state merged within 172 states.
    Computing post^112 from 172 states.
      4 states merged within 177 states.
    Computing post^113 from 175 states.
      4 states merged within 177 states.
    Computing post^114 from 175 states.
      3 states merged within 178 states.
    Computing post^115 from 177 states.
      2 states merged within 179 states.
    Computing post^116 from 179 states.
      3 states merged within 182 states.
    Computing post^117 from 181 states.
      4 states merged within 183 states.
    Computing post^118 from 181 states.
      2 states merged within 183 states.
    Computing post^119 from 182 states.
      4 states merged within 187 states.
    Computing post^120 from 186 states.
      3 states merged within 188 states.
    Computing post^121 from 187 states.
      4 states merged within 189 states.
    Computing post^122 from 187 states.
      2 states merged within 189 states.
    Computing post^123 from 188 states.
      1 state merged within 190 states.
    Computing post^124 from 190 states.
      4 states merged within 195 states.
    Computing post^125 from 193 states.
      4 states merged within 195 states.
    Computing post^126 from 193 states.
      3 states merged within 196 states.
    Computing post^127 from 195 states.
      3 states merged within 198 states.
    Computing post^128 from 197 states.
      4 states merged within 201 states.
    Computing post^129 from 199 states.
      4 states merged within 201 states.
    Computing post^130 from 199 states.
      4 states merged within 203 states.
    Computing post^131 from 201 states.
      4 states merged within 205 states.
    Computing post^132 from 201 states.
      4 states merged within 207 states.
    Computing post^133 from 205 states.
      4 states merged within 207 states.
    Computing post^134 from 205 states.
      3 states merged within 208 states.
    Computing post^135 from 207 states.
      2 states merged within 209 states.
    Computing post^136 from 209 states.
      2 states merged within 211 states.
    Computing post^137 from 210 states.
      4 states merged within 213 states.
    Computing post^138 from 211 states.
      6 states merged within 217 states.
    Computing post^139 from 214 states.
      2 states merged within 215 states.
    Computing post^140 from 214 states.
      3 states merged within 218 states.
    Computing post^141 from 217 states.
      4 states merged within 219 states.
    Computing post^142 from 217 states.
      4 states merged within 221 states.
    Computing post^143 from 220 states.
    Computing post^144 from 219 states.
      3 states merged within 224 states.
    Computing post^145 from 223 states.
      4 states merged within 225 states.
    Computing post^146 from 223 states.
      3 states merged within 226 states.
    Computing post^147 from 225 states.
      3 states merged within 228 states.
    Computing post^148 from 227 states.
      3 states merged within 230 states.
    Computing post^149 from 229 states.
      4 states merged within 231 states.
    Computing post^150 from 229 states.
      6 states merged within 235 states.
    Computing post^151 from 232 states.
      4 states merged within 235 states.
    Computing post^152 from 233 states.
      2 states merged within 235 states.
    Computing post^153 from 234 states.
      4 states merged within 237 states.
    Computing post^154 from 235 states.
      5 states merged within 240 states.
    Computing post^155 from 238 states.
      2 states merged within 239 states.
    Computing post^156 from 239 states.
      2 states merged within 241 states.
    Computing post^157 from 240 states.
      4 states merged within 243 states.
    Computing post^158 from 241 states.
      2 states merged within 243 states.
    Computing post^159 from 242 states.
      1 state merged within 244 states.
    Computing post^160 from 244 states.
      2 states merged within 247 states.
    Computing post^161 from 246 states.
      4 states merged within 249 states.
    Computing post^162 from 247 states.
      2 states merged within 249 states.
    Computing post^163 from 248 states.
      1 state merged within 250 states.
    Computing post^164 from 250 states.
      4 states merged within 255 states.
    Computing post^165 from 253 states.
      4 states merged within 255 states.
    Computing post^166 from 253 states.
      4 states merged within 257 states.
    Computing post^167 from 256 states.
      1 state merged within 256 states.
    Computing post^168 from 256 states.
      4 states merged within 261 states.
    Computing post^169 from 259 states.
      4 states merged within 261 states.
    Computing post^170 from 259 states.
      3 states merged within 262 states.
    Computing post^171 from 261 states.
      4 states merged within 265 states.
    Computing post^172 from 263 states.
      2 states merged within 265 states.
    Computing post^173 from 264 states.
      4 states merged within 267 states.
    Computing post^174 from 265 states.
      3 states merged within 268 states.
    Computing post^175 from 267 states.
      1 state merged within 268 states.
    Computing post^176 from 268 states.
      3 states merged within 272 states.
    Computing post^177 from 271 states.
      4 states merged within 273 states.
    Computing post^178 from 271 states.
      3 states merged within 274 states.
    Computing post^179 from 273 states.
      2 states merged within 275 states.
    Computing post^180 from 275 states.
      4 states merged within 279 states.
    Computing post^181 from 277 states.
      4 states merged within 279 states.
    Computing post^182 from 277 states.
      3 states merged within 280 states.
    Computing post^183 from 279 states.
      1 state merged within 280 states.
    Computing post^184 from 280 states.
      4 states merged within 285 states.
    Computing post^185 from 283 states.
      4 states merged within 285 states.
    Computing post^186 from 283 states.
      2 states merged within 285 states.
    Computing post^187 from 284 states.
      3 states merged within 288 states.
    Computing post^188 from 288 states.
      2 states merged within 289 states.
    Computing post^189 from 288 states.
      4 states merged within 291 states.
    Computing post^190 from 289 states.
      2 states merged within 291 states.
    Computing post^191 from 290 states.
      1 state merged within 292 states.
    Computing post^192 from 292 states.
      2 states merged within 295 states.
    Computing post^193 from 294 states.
      4 states merged within 297 states.
    Computing post^194 from 295 states.
      3 states merged within 298 states.
    Computing post^195 from 297 states.
    Computing post^196 from 297 states.
      3 states merged within 302 states.
    Computing post^197 from 301 states.
      4 states merged within 303 states.
    Computing post^198 from 301 states.
      4 states merged within 305 states.
    Computing post^199 from 303 states.
      1 state merged within 304 states.
    Computing post^200 from 304 states.
      4 states merged within 309 states.
    Computing post^201 from 307 states.
      4 states merged within 309 states.
    Computing post^202 from 307 states.
      3 states merged within 310 states.
    Computing post^203 from 309 states.
      1 state merged within 310 states.
    Computing post^204 from 310 states.
      3 states merged within 314 states.
    Computing post^205 from 313 states.
      4 states merged within 315 states.
    Computing post^206 from 313 states.
      4 states merged within 317 states.
    Computing post^207 from 316 states.
    Computing post^208 from 315 states.
      3 states merged within 320 states.
    Computing post^209 from 319 states.
      4 states merged within 321 states.
    Computing post^210 from 319 states.
      4 states merged within 323 states.
    Computing post^211 from 322 states.
      2 states merged within 323 states.
    Computing post^212 from 321 states.
      3 states merged within 326 states.
    Computing post^213 from 325 states.
      4 states merged within 327 states.
    Computing post^214 from 325 states.
      5 states merged within 330 states.
    Computing post^215 from 328 states.
      2 states merged within 329 states.
    Computing post^216 from 329 states.
      3 states merged within 332 states.
    Computing post^217 from 331 states.
      4 states merged within 333 states.
    Computing post^218 from 331 states.
      3 states merged within 334 states.
    Computing post^219 from 333 states.
      3 states merged within 336 states.
    Computing post^220 from 335 states.
      2 states merged within 337 states.
    Computing post^221 from 336 states.
      4 states merged within 339 states.
    Computing post^222 from 337 states.
      6 states merged within 343 states.
    Computing post^223 from 340 states.
      1 state merged within 340 states.
    Computing post^224 from 340 states.
      3 states merged within 344 states.
    Computing post^225 from 343 states.
      4 states merged within 345 states.
    Computing post^226 from 343 states.
      2 states merged within 345 states.
    Computing post^227 from 344 states.
      3 states merged within 348 states.
    Computing post^228 from 347 states.
      3 states merged within 350 states.
    Computing post^229 from 349 states.
      4 states merged within 351 states.
    Computing post^230 from 349 states.
      2 states merged within 351 states.
    Computing post^231 from 350 states.
      1 state merged within 352 states.
    Computing post^232 from 352 states.
      2 states merged within 355 states.
    Computing post^233 from 354 states.
      4 states merged within 357 states.
    Computing post^234 from 355 states.
      5 states merged within 360 states.
    Computing post^235 from 358 states.
      4 states merged within 361 states.
    Computing post^236 from 358 states.
      3 states merged within 362 states.
    Computing post^237 from 361 states.
      4 states merged within 363 states.
    Computing post^238 from 361 states.
      4 states merged within 365 states.
    Computing post^239 from 364 states.
      3 states merged within 366 states.
    Computing post^240 from 364 states.
      4 states merged within 369 states.
    Computing post^241 from 366 states.
      4 states merged within 369 states.
    Computing post^242 from 367 states.
      4 states merged within 371 states.
    Computing post^243 from 369 states.
      3 states merged within 372 states.
    Computing post^244 from 371 states.
      4 states merged within 375 states.
    Computing post^245 from 372 states.
      4 states merged within 375 states.
    Computing post^246 from 373 states.
      2 states merged within 375 states.
    Computing post^247 from 374 states.
      4 states merged within 379 states.
    Computing post^248 from 378 states.
      2 states merged within 379 states.
    Computing post^249 from 378 states.
      4 states merged within 381 states.
    Computing post^250 from 379 states.
      3 states merged within 382 states.
    Computing post^251 from 381 states.
      3 states merged within 384 states.
    Computing post^252 from 383 states.
      4 states merged within 387 states.
    Computing post^253 from 385 states.
      4 states merged within 387 states.
    Computing post^254 from 385 states.
      4 states merged within 389 states.
    Computing post^255 from 387 states.
      4 states merged within 391 states.
    Computing post^256 from 390 states.
      3 states merged within 392 states.
    Computing post^257 from 391 states.
      4 states merged within 393 states.
    Computing post^258 from 391 states.
      5 states merged within 396 states.
    Computing post^259 from 394 states.
      3 states merged within 396 states.
    Computing post^260 from 395 states.
      3 states merged within 398 states.
    Computing post^261 from 397 states.
      4 states merged within 399 states.
    Computing post^262 from 397 states.
      6 states merged within 403 states.
    Computing post^263 from 400 states.
      4 states merged within 403 states.
    Computing post^264 from 401 states.
      2 states merged within 403 states.
    Computing post^265 from 402 states.
      4 states merged within 405 states.
    Computing post^266 from 403 states.
      3 states merged within 406 states.
    Computing post^267 from 405 states.
      3 states merged within 408 states.
    Computing post^268 from 407 states.
      4 states merged within 411 states.
    Computing post^269 from 409 states.
      4 states merged within 411 states.
    Computing post^270 from 409 states.
      5 states merged within 414 states.
    Computing post^271 from 412 states.
      4 states merged within 415 states.
    Computing post^272 from 411 states.
      2 states merged within 415 states.
    Computing post^273 from 414 states.
      4 states merged within 417 states.
    Computing post^274 from 415 states.
      4 states merged within 419 states.
    Computing post^275 from 417 states.
      2 states merged within 419 states.
    Computing post^276 from 419 states.
      3 states merged within 422 states.
    Computing post^277 from 421 states.
      4 states merged within 423 states.
    Computing post^278 from 421 states.
      4 states merged within 425 states.
    Computing post^279 from 424 states.
      3 states merged within 426 states.
    Computing post^280 from 425 states.
      3 states merged within 428 states.
    Computing post^281 from 427 states.
      4 states merged within 429 states.
    Computing post^282 from 427 states.
      4 states merged within 431 states.
    Computing post^283 from 429 states.
      5 states merged within 434 states.
    Computing post^284 from 432 states.
      3 states merged within 434 states.
    Computing post^285 from 433 states.
      4 states merged within 435 states.
    Computing post^286 from 433 states.
      5 states merged within 438 states.
    Computing post^287 from 436 states.
      1 state merged within 436 states.
    Computing post^288 from 436 states.
      3 states merged within 440 states.
    Computing post^289 from 439 states.
      4 states merged within 441 states.
    Computing post^290 from 439 states.
      4 states merged within 443 states.
    Computing post^291 from 442 states.
      2 states merged within 443 states.
    Computing post^292 from 443 states.
      3 states merged within 446 states.
    Computing post^293 from 445 states.
      4 states merged within 447 states.
    Computing post^294 from 445 states.
      6 states merged within 451 states.
    Computing post^295 from 448 states.
      2 states merged within 449 states.
    Computing post^296 from 449 states.
      4 states merged within 453 states.
    Computing post^297 from 450 states.
      4 states merged within 453 states.
    Computing post^298 from 451 states.
      2 states merged within 453 states.
    Computing post^299 from 452 states.
      2 states merged within 455 states.
    Computing post^300 from 455 states.
      4 states merged within 459 states.
    Computing post^301 from 456 states.
      4 states merged within 459 states.
    Computing post^302 from 457 states.
      4 states merged within 461 states.
    Computing post^303 from 458 states.
      2 states merged within 461 states.
    Computing post^304 from 459 states.
      4 states merged within 465 states.
    Computing post^305 from 463 states.
      4 states merged within 465 states.
    Computing post^306 from 463 states.
      3 states merged within 466 states.
    Computing post^307 from 465 states.
      2 states merged within 467 states.
    Computing post^308 from 467 states.
      4 states merged within 471 states.
    Computing post^309 from 469 states.
      4 states merged within 471 states.
    Computing post^310 from 469 states.
      4 states merged within 473 states.
    Computing post^311 from 471 states.
      1 state merged within 472 states.
    Computing post^312 from 472 states.
      2 states merged within 475 states.
    Computing post^313 from 474 states.
      4 states merged within 477 states.
    Computing post^314 from 475 states.
      6 states merged within 481 states.
    Computing post^315 from 478 states.
      1 state merged within 478 states.
    Computing post^316 from 478 states.
      3 states merged within 482 states.
    Computing post^317 from 481 states.
      4 states merged within 483 states.
    Computing post^318 from 481 states.
      4 states merged within 485 states.
    Computing post^319 from 483 states.
      4 states merged within 487 states.
    Computing post^320 from 485 states.
      4 states merged within 489 states.
    Computing post^321 from 486 states.
      4 states merged within 489 states.
    Computing post^322 from 487 states.
      4 states merged within 491 states.
    Computing post^323 from 489 states.
      2 states merged within 491 states.
    Computing post^324 from 490 states.
      4 states merged within 495 states.
    Computing post^325 from 493 states.
      4 states merged within 495 states.
    Computing post^326 from 493 states.
      4 states merged within 497 states.
    Computing post^327 from 495 states.
    Computing post^328 from 495 states.
      4 states merged within 501 states.
    Computing post^329 from 499 states.
      4 states merged within 501 states.
    Computing post^330 from 499 states.
      2 states merged within 501 states.
    Computing post^331 from 500 states.
      1 state merged within 502 states.
    Computing post^332 from 502 states.
      4 states merged within 507 states.
    Computing post^333 from 505 states.
      4 states merged within 507 states.
    Computing post^334 from 505 states.
      4 states merged within 509 states.
    Computing post^335 from 508 states.
      3 states merged within 510 states.
    Computing post^336 from 510 states.
      2 states merged within 511 states.
    Computing post^337 from 510 states.
      4 states merged within 513 states.
    Computing post^338 from 511 states.
      5 states merged within 516 states.
    Computing post^339 from 514 states.
      2 states merged within 515 states.
    Computing post^340 from 514 states.
      3 states merged within 518 states.
    Computing post^341 from 517 states.
      4 states merged within 519 states.
    Computing post^342 from 517 states.
      3 states merged within 520 states.
    Computing post^343 from 519 states.
      1 state merged within 520 states.
    Computing post^344 from 520 states.
      3 states merged within 524 states.
    Computing post^345 from 523 states.
      4 states merged within 525 states.
    Computing post^346 from 523 states.
      3 states merged within 526 states.
    Computing post^347 from 525 states.
      4 states merged within 529 states.
    Computing post^348 from 527 states.
      3 states merged within 530 states.
    Computing post^349 from 529 states.
      4 states merged within 531 states.
    Computing post^350 from 529 states.
      3 states merged within 532 states.
    Computing post^351 from 531 states.
      4 states merged within 535 states.
    Computing post^352 from 533 states.
      4 states merged within 537 states.
    Computing post^353 from 535 states.
      4 states merged within 537 states.
    Computing post^354 from 535 states.
      4 states merged within 539 states.
    Computing post^355 from 538 states.
      2 states merged within 539 states.
    Computing post^356 from 537 states.
      3 states merged within 542 states.
    Computing post^357 from 541 states.
      4 states merged within 543 states.
    Computing post^358 from 541 states.
      4 states merged within 545 states.
    Computing post^359 from 543 states.
      2 states merged within 545 states.
    Computing post^360 from 545 states.
      2 states merged within 547 states.
    Computing post^361 from 546 states.
      4 states merged within 549 states.
    
    State space exploration stopped at a depth of 362: 3341 states with 8932 transitions in the final state space.
    
      [AGsafe] Algorithm completed after 904.991 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)

    14.513 GiB (i.e., 1947956839 words of size 8)
    
    Result written to file '/media/gia/Data/Example-Models/critical-region/critical-region-layerBFS-incl2-merge-EF.res'.
    
    ------------------------------------------------------------
    Statistics: State space
    ------------------------------------------------------------
    Number of states                        : 3341
    Number of transitions                   : 8932
    Number of computed states               : 350530
    Total computation time                  : 904.992 seconds
    States/second in state space            : 3.6 (3341/904.992 seconds)
    Computed states/second                  : 387.3 (350530/904.992 seconds)
    Estimated memory                        : 14.513 GiB (i.e., 1947970469 words of size 8)
    
    Generating graphical output to '/media/gia/Data/Example-Models/critical-region/critical-region-layerBFS-incl2-merge-EF-statespace.jpg'…
    Writing the states description to file '/media/gia/Data/Example-Models/critical-region/critical-region-layerBFS-incl2-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-incl2-merge-EF_cart.png'.
    
    ------------------------------------------------------------
     Statistics: Algorithm counters
    ------------------------------------------------------------
    main algorithm                          : 904.996 seconds
    ------------------------------------------------------------
     Statistics: Parsing counters
    ------------------------------------------------------------
    model parsing                           : 0.003 second
    ------------------------------------------------------------
     Statistics: State computation counters
    ------------------------------------------------------------
    number of state comparisons             : 56357952
    number of constraints comparisons       : 46601590
    number of new states <= old             : 198654
    number of new states >= old             : 147369
    StateSpace.merging attempts             : 17870428
    StateSpace.merges                       : 1166
    StatesMerging.merging attempts          : 0
    StatesMerging.merges                    : 0
    ------------------------------------------------------------
     Statistics: Graphics-related counters
    ------------------------------------------------------------
    state space drawing                     : 46.075 seconds
    cartography drawing                     : 0.284 second
    ------------------------------------------------------------
     Statistics: Global counter
    ------------------------------------------------------------
    total                                   : 951.368 seconds

    IMITATOR successfully terminated (after 951.384 seconds)
    Estimated memory used: 18.389 GiB (i.e., 2468237537 words of size 8)