************************************************************ * IMITATOR 2.10.4 "Butter Jellyfish" * * * * Etienne Andre et al. * * 2009 - 2018 * * LSV, ENS de Cachan & CNRS, France * * LIPN, Universite Paris 13, France * * www.imitator.fr * * * * Build: 2477 (2018-07-02 09:42:27 UTC) * * HEAD/5b53333 * ************************************************************ Model: GNC-no-react-param-offset-with-switch.imi Mode: EF-synthesis. Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality). Merging technique of [AFS13] enabled. The result will be written to a file. The model contains stopwatches. Starting running algorithm AGsafe…  Computing post^1 from 1 state. Computing post^2 from 1 state. Computing post^3 from 4 states. Computing post^4 from 9 states. Computing post^5 from 16 states. Computing post^6 from 25 states. Computing post^7 from 33 states. Computing post^8 from 37 states. Computing post^9 from 37 states.  1 state merged within 34 states. Computing post^10 from 33 states.  1 state merged within 26 states. Computing post^11 from 25 states.  [AGsafe] Found a new state violating the property.  3 states merged within 24 states. Computing post^12 from 21 states.  4 states merged within 24 states. Computing post^13 from 20 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  3 states merged within 31 states. Computing post^14 from 28 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  4 states merged within 42 states. Computing post^15 from 38 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  9 states merged within 58 states. Computing post^16 from 49 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  18 states merged within 83 states. Computing post^17 from 65 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  20 states merged within 111 states. Computing post^18 from 91 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  28 states merged within 148 states. Computing post^19 from 120 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  39 states merged within 181 states. Computing post^20 from 142 states.  [AGsafe] Found a new state violating the property.  31 states merged within 180 states. Computing post^21 from 149 states.  31 states merged within 189 states. Computing post^22 from 158 states.  24 states merged within 210 states. Computing post^23 from 186 states.  37 states merged within 280 states. Computing post^24 from 243 states.  45 states merged within 338 states. Computing post^25 from 293 states.  39 states merged within 368 states. Computing post^26 from 329 states.  49 states merged within 397 states. Computing post^27 from 348 states.  51 states merged within 367 states. Computing post^28 from 316 states.  31 states merged within 295 states. Computing post^29 from 266 states.  43 states merged within 297 states. Computing post^30 from 258 states.  [AGsafe] Found a new state violating the property.  56 states merged within 308 states. Computing post^31 from 263 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  66 states merged within 335 states. Computing post^32 from 284 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  58 states merged within 366 states. Computing post^33 from 327 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  56 states merged within 403 states. Computing post^34 from 370 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  67 states merged within 476 states. Computing post^35 from 450 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  125 states merged within 678 states. Computing post^36 from 640 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  222 states merged within 908 states. Computing post^37 from 863 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  325 states merged within 1101 states. Computing post^38 from 1061 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  385 states merged within 1290 states. Computing post^39 from 1274 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  394 states merged within 1483 states. Computing post^40 from 1470 states.  [AGsafe] Found a new state violating the property.  344 states merged within 1574 states. Computing post^41 from 1560 states.  282 states merged within 1473 states. Computing post^42 from 1449 states.  210 states merged within 1137 states. Computing post^43 from 1117 states.  143 states merged within 717 states. Computing post^44 from 704 states.  93 states merged within 406 states. Computing post^45 from 396 states.  68 states merged within 271 states. Computing post^46 from 266 states.  92 states merged within 260 states. Computing post^47 from 246 states.  120 states merged within 295 states. Computing post^48 from 276 states.  142 states merged within 327 states. Computing post^49 from 306 states.  146 states merged within 378 states. Computing post^50 from 360 states.  140 states merged within 425 states. Computing post^51 from 410 states.  166 states merged within 468 states. Computing post^52 from 445 states.  199 states merged within 505 states. Computing post^53 from 480 states.  229 states merged within 541 states. Computing post^54 from 526 states.  284 states merged within 574 states. Computing post^55 from 555 states.  307 states merged within 604 states. Computing post^56 from 584 states.  287 states merged within 621 states. Computing post^57 from 602 states.  246 states merged within 608 states. Computing post^58 from 589 states.  219 states merged within 561 states. Computing post^59 from 537 states.  191 states merged within 524 states. Computing post^60 from 506 states.  191 states merged within 554 states. Computing post^61 from 540 states.  247 states merged within 697 states. Computing post^62 from 682 states.  350 states merged within 892 states. Computing post^63 from 884 states.  510 states merged within 1104 states. Computing post^64 from 1091 states.  677 states merged within 1246 states. Computing post^65 from 1238 states.  818 states merged within 1364 states. Computing post^66 from 1355 states.  907 states merged within 1508 states. Computing post^67 from 1496 states.  991 states merged within 1673 states. Computing post^68 from 1655 states.  1069 states merged within 1819 states. Computing post^69 from 1807 states.  1100 states merged within 1951 states. Computing post^70 from 1942 states.  1010 states merged within 2076 states. Computing post^71 from 2069 states.  819 states merged within 2140 states. Computing post^72 from 2132 states.  624 states merged within 1983 states. Computing post^73 from 1972 states.  491 states merged within 1590 states. Computing post^74 from 1575 states.  415 states merged within 1105 states. Computing post^75 from 1084 states.  345 states merged within 731 states. Computing post^76 from 717 states.  300 states merged within 585 states. Computing post^77 from 567 states.  292 states merged within 582 states. Computing post^78 from 570 states.  333 states merged within 642 states. Computing post^79 from 625 states.  375 states merged within 700 states. Computing post^80 from 688 states.  415 states merged within 730 states. Computing post^81 from 715 states.  424 states merged within 733 states. Computing post^82 from 715 states.  411 states merged within 668 states. Computing post^83 from 648 states.  372 states merged within 596 states. Computing post^84 from 584 states.  342 states merged within 569 states. Computing post^85 from 554 states.  324 states merged within 590 states. Computing post^86 from 581 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  334 states merged within 637 states. Computing post^87 from 627 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  364 states merged within 668 states. Computing post^88 from 659 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  341 states merged within 579 states. Computing post^89 from 577 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  459 states merged within 563 states. Computing post^90 from 560 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  303 states merged within 475 states. Computing post^91 from 472 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  234 states merged within 413 states. Computing post^92 from 413 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  219 states merged within 368 states. Computing post^93 from 368 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  210 states merged within 354 states. Computing post^94 from 353 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  172 states merged within 357 states. Computing post^95 from 354 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  149 states merged within 380 states. Computing post^96 from 373 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  148 states merged within 391 states. Computing post^97 from 379 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  154 states merged within 361 states. Computing post^98 from 345 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  134 states merged within 375 states. Computing post^99 from 358 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  101 states merged within 471 states. Computing post^100 from 459 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  114 states merged within 881 states. Computing post^101 from 856 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  174 states merged within 1470 states. Computing post^102 from 1454 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  398 states merged within 2432 states. Computing post^103 from 2386 states.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  [AGsafe] Found a new state violating the property.  703 states merged within 3463 states. Computing post^104 from 3425 states.  942 states merged within 4225 states. Computing post^105 from 4202 states.  1091 states merged within 4355 states. Computing post^106 from 4337 states.  994 states merged within 3670 states. Computing post^107 from 3670 states.  721 states merged within 2483 states. Computing post^108 from 2483 states.  401 states merged within 1300 states. Computing post^109 from 1300 states.  167 states merged within 518 states. Computing post^110 from 516 states.  54 states merged within 163 states. Computing post^111 from 162 states.  24 states merged within 66 states. Computing post^112 from 62 states.  19 states merged within 55 states. Computing post^113 from 54 states.  20 states merged within 52 states. Computing post^114 from 51 states.  21 states merged within 62 states. Computing post^115 from 62 states.  31 states merged within 76 states. Computing post^116 from 76 states.  41 states merged within 81 states. Computing post^117 from 80 states.  33 states merged within 66 states. Computing post^118 from 66 states.  25 states merged within 44 states. Computing post^119 from 44 states.  21 states merged within 40 states. Computing post^120 from 38 states.  21 states merged within 43 states. Computing post^121 from 42 states.  25 states merged within 49 states. Computing post^122 from 48 states.  28 states merged within 57 states. Computing post^123 from 57 states.  24 states merged within 59 states. Computing post^124 from 59 states.  16 states merged within 49 states. Computing post^125 from 49 states.  14 states merged within 35 states. Computing post^126 from 35 states.  14 states merged within 31 states. Computing post^127 from 31 states.  16 states merged within 31 states. Computing post^128 from 30 states.  18 states merged within 33 states. Computing post^129 from 32 states.  19 states merged within 33 states. Computing post^130 from 31 states.  13 states merged within 28 states. Computing post^131 from 28 states.  12 states merged within 23 states. Computing post^132 from 23 states.  21 states merged within 30 states. Computing post^133 from 30 states.  44 states merged within 53 states. Computing post^134 from 53 states.  85 states merged within 99 states. Computing post^135 from 99 states.  136 states merged within 169 states. Computing post^136 from 169 states.  171 states merged within 248 states. Computing post^137 from 248 states.  163 states merged within 295 states. Computing post^138 from 295 states.  115 states merged within 274 states. Computing post^139 from 274 states.  56 states merged within 190 states. Computing post^140 from 190 states.  22 states merged within 99 states. Computing post^141 from 99 states.  12 states merged within 41 states. Computing post^142 from 41 states.  11 states merged within 22 states. Computing post^143 from 22 states.  15 states merged within 24 states. Computing post^144 from 24 states.  17 states merged within 26 states. Computing post^145 from 26 states.  21 states merged within 32 states. Computing post^146 from 32 states.  25 states merged within 40 states. Computing post^147 from 40 states.  19 states merged within 40 states. Computing post^148 from 40 states.  13 states merged within 34 states. Computing post^149 from 34 states.  11 states merged within 24 states. Computing post^150 from 24 states.  15 states merged within 24 states. Computing post^151 from 24 states.  17 states merged within 26 states. Computing post^152 from 26 states.  21 states merged within 32 states. Computing post^153 from 32 states.  25 states merged within 40 states. Computing post^154 from 40 states.  19 states merged within 40 states. Computing post^155 from 40 states.  13 states merged within 34 states. Computing post^156 from 34 states.  11 states merged within 24 states. Computing post^157 from 24 states.  13 states merged within 22 states. Computing post^158 from 22 states.  12 states merged within 20 states. Computing post^159 from 20 states.  15 states merged within 24 states. Computing post^160 from 24 states.  14 states merged within 24 states. Computing post^161 from 24 states.  12 states merged within 24 states. Computing post^162 from 24 states.  11 states merged within 19 states. Computing post^163 from 19 states.  21 states merged within 28 states. Computing post^164 from 28 states.  44 states merged within 51 states. Computing post^165 from 51 states.  85 states merged within 97 states. Computing post^166 from 97 states.  136 states merged within 167 states. Computing post^167 from 167 states.  171 states merged within 246 states. Computing post^168 from 246 states.  163 states merged within 283 states. Computing post^169 from 283 states.  115 states merged within 244 states. Computing post^170 from 244 states.  56 states merged within 148 states. Computing post^171 from 148 states.  22 states merged within 63 states. Computing post^172 from 63 states.  12 states merged within 23 states. Computing post^173 from 23 states.  11 states merged within 18 states. Computing post^174 from 18 states.  15 states merged within 22 states. Computing post^175 from 22 states.  17 states merged within 24 states. Computing post^176 from 24 states.  21 states merged within 30 states. Computing post^177 from 30 states.  25 states merged within 38 states. Computing post^178 from 38 states.  19 states merged within 38 states. Computing post^179 from 38 states.  13 states merged within 28 states. Computing post^180 from 28 states.  11 states merged within 18 states. Computing post^181 from 18 states.  15 states merged within 22 states. Computing post^182 from 22 states.  17 states merged within 24 states. Computing post^183 from 24 states.  21 states merged within 30 states. Computing post^184 from 30 states.  25 states merged within 38 states. Computing post^185 from 38 states.  19 states merged within 38 states. Computing post^186 from 38 states.  13 states merged within 28 states. Computing post^187 from 28 states.  11 states merged within 18 states. Computing post^188 from 18 states.  15 states merged within 22 states. Computing post^189 from 22 states.  23 states merged within 26 states. Computing post^190 from 26 states.  33 states merged within 38 states. Computing post^191 from 37 states.  51 states merged within 52 states. Computing post^192 from 50 states.  61 states merged within 69 states. Computing post^193 from 64 states.  67 states merged within 69 states. Computing post^194 from 64 states.  73 states merged within 77 states. Computing post^195 from 69 states.  119 states merged within 112 states. Computing post^196 from 106 states.  225 states merged within 197 states. Computing post^197 from 194 states.  420 states merged within 365 states. Computing post^198 from 364 states.  658 states merged within 619 states. Computing post^199 from 618 states.  881 states merged within 900 states. Computing post^200 from 895 states.  972 states merged within 1081 states. Computing post^201 from 1078 states.  924 states merged within 1090 states. Computing post^202 from 1085 states.  725 states merged within 907 states. Computing post^203 from 905 states.  462 states merged within 616 states. Computing post^204 from 615 states.  231 states merged within 331 states. Computing post^205 from 331 states.  86 states merged within 133 states. Computing post^206 from 133 states.  26 states merged within 41 states. Computing post^207 from 41 states.  7 states merged within 11 states. Computing post^208 from 11 states.  4 states merged within 6 states. Computing post^209 from 6 states.  1 state merged within 1 state. Computing post^210 from 1 state.  1 state merged within 1 state. Computing post^211 from 1 state.  1 state merged within 1 state. Computing post^212 from 1 state.  3 states merged within 3 states. Computing post^213 from 3 states.  3 states merged within 3 states. Computing post^214 from 3 states.  1 state merged within 1 state. Computing post^215 from 1 state.  1 state merged within 1 state. Computing post^216 from 1 state.  1 state merged within 1 state. Computing post^217 from 1 state.  1 state merged within 1 state. Computing post^218 from 1 state.  1 state merged within 1 state. Computing post^219 from 1 state.  3 states merged within 3 states. Computing post^220 from 3 states.  3 states merged within 3 states. Computing post^221 from 3 states.  1 state merged within 1 state. Computing post^222 from 1 state.  1 state merged within 1 state. Computing post^223 from 1 state.  1 state merged within 1 state. Computing post^224 from 1 state.  1 state merged within 1 state. Computing post^225 from 1 state.  1 state merged within 1 state. Computing post^226 from 1 state.  2 states merged within 2 states. Computing post^227 from 2 states.  1 state merged within 1 state. Computing post^228 from 1 state.  1 state merged within 1 state. Computing post^229 from 1 state.  1 state merged within 1 state. Computing post^230 from 1 state.  1 state merged within 1 state. Computing post^231 from 1 state.  1 state merged within 1 state. Computing post^232 from 1 state.  6 states merged within 6 states. Computing post^233 from 6 states.  15 states merged within 15 states. Computing post^234 from 15 states.  21 states merged within 21 states. Computing post^235 from 21 states.  18 states merged within 18 states. Computing post^236 from 18 states.  9 states merged within 9 states. Computing post^237 from 9 states.  2 states merged within 2 states. Computing post^238 from 2 states.  1 state merged within 1 state. Computing post^239 from 1 state.  1 state merged within 1 state. Computing post^240 from 1 state.  1 state merged within 1 state. Computing post^241 from 1 state.  1 state merged within 1 state. Computing post^242 from 1 state.  1 state merged within 1 state. Computing post^243 from 1 state.  3 states merged within 3 states. Computing post^244 from 3 states.  3 states merged within 3 states. Computing post^245 from 3 states.  1 state merged within 1 state. Computing post^246 from 1 state.  1 state merged within 1 state. Computing post^247 from 1 state.  1 state merged within 1 state. Computing post^248 from 1 state.  1 state merged within 1 state. Computing post^249 from 1 state.  1 state merged within 1 state. Computing post^250 from 1 state.  3 states merged within 3 states. Computing post^251 from 3 states.  3 states merged within 3 states. Computing post^252 from 3 states.  1 state merged within 1 state. Computing post^253 from 1 state.  1 state merged within 1 state. Computing post^254 from 1 state.  1 state merged within 1 state. Computing post^255 from 1 state.  1 state merged within 1 state. Computing post^256 from 1 state.  1 state merged within 1 state. Computing post^257 from 1 state.  2 states merged within 2 states. Computing post^258 from 2 states.  1 state merged within 1 state. Computing post^259 from 1 state.  1 state merged within 1 state. Computing post^260 from 1 state.  1 state merged within 1 state. Computing post^261 from 1 state.  1 state merged within 1 state. Computing post^262 from 1 state.  1 state merged within 1 state. Computing post^263 from 1 state.  6 states merged within 6 states. Computing post^264 from 6 states.  15 states merged within 15 states. Computing post^265 from 15 states.  21 states merged within 21 states. Computing post^266 from 21 states.  18 states merged within 18 states. Computing post^267 from 18 states.  9 states merged within 9 states. Computing post^268 from 9 states.  2 states merged within 2 states. Computing post^269 from 2 states.  1 state merged within 1 state. Computing post^270 from 1 state.  1 state merged within 1 state. Computing post^271 from 1 state.  1 state merged within 1 state. Computing post^272 from 1 state.  1 state merged within 1 state. Computing post^273 from 1 state.  1 state merged within 1 state. Computing post^274 from 1 state.  3 states merged within 3 states. Computing post^275 from 3 states.  3 states merged within 3 states. Computing post^276 from 3 states.  1 state merged within 1 state. Computing post^277 from 1 state.  1 state merged within 1 state. Computing post^278 from 1 state.  1 state merged within 1 state. Computing post^279 from 1 state.  1 state merged within 1 state. Computing post^280 from 1 state.  1 state merged within 1 state. Computing post^281 from 1 state.  3 states merged within 3 states. Computing post^282 from 3 states.  3 states merged within 3 states. Computing post^283 from 3 states.  1 state merged within 1 state. Computing post^284 from 1 state.  1 state merged within 1 state. Computing post^285 from 1 state.  1 state merged within 1 state. Computing post^286 from 1 state.  1 state merged within 1 state. Computing post^287 from 1 state.  1 state merged within 1 state. Computing post^288 from 1 state.  3 states merged within 3 states. Computing post^289 from 3 states.  2 states merged within 2 states. Computing post^290 from 2 states.  2 states merged within 2 states. Computing post^291 from 2 states.  1 state merged within 1 state. Computing post^292 from 1 state.  3 states merged within 2 states. Computing post^293 from 2 states.  2 states merged within 2 states. Computing post^294 from 2 states.  7 states merged within 7 states. Computing post^295 from 7 states.  20 states merged within 20 states. Computing post^296 from 20 states.  31 states merged within 31 states. Computing post^297 from 31 states.  23 states merged within 23 states. Computing post^298 from 23 states.  9 states merged within 9 states. Computing post^299 from 9 states.  2 states merged within 2 states. Computing post^300 from 2 states.  Fixpoint reached at a depth of 301: 66137 states with 176238 transitions in the final state space.  [AGsafe] Algorithm completed after 5396.273 seconds.  Final constraint such that the system is correct:  offsetT3 >= 10 & 7 >= 2*offsetT1 & 2*offsetT1 > 5 + 2*offsetT2 & 23 >= 2*offsetT3 & offsetT1 >= 3 & 2*offsetT2 + 7 > 2*offsetT1 & offsetT2 >= 0 & offsetT1 > 2 + offsetT2 OR offsetT2 + 2*offsetT3 + 3 > 3*offsetT1 & offsetT2 >= 0 & 2*offsetT3 > 1 + 2*offsetT1 & 19 >= 2*offsetT3 & 2*offsetT2 + 7 > 2*offsetT1 & offsetT1 >= 3 + offsetT2 & 7 >= 2*offsetT1 OR 23 >= 2*offsetT2 & offsetT3 >= 0 & offsetT2 >= 5 & 1 >= offsetT3 & offsetT1 = 0 OR 19 >= 2*offsetT3 & offsetT1 >= 0 & offsetT3 > 5 & offsetT2 > 1 + offsetT1 & 2 > offsetT2 OR offsetT1 >= 0 & offsetT2 > 0 & offsetT3 > 5 + offsetT2 & offsetT2 >= offsetT1 & offsetT1 + 1 >= offsetT2 & 1 > 2*offsetT1 & 19 >= 2*offsetT3 OR offsetT2 >= 5 & 23 >= 2*offsetT2 & offsetT1 >= 0 & offsetT3 > 1 + offsetT1 & 3 >= 2*offsetT3 OR offsetT3 > 3 & offsetT3 >= 3 + offsetT2 & 2*offsetT3 > 5 + 2*offsetT2 & offsetT1 + offsetT3 > 6 + 2*offsetT2 & offsetT1 >= 3 + offsetT2 & offsetT2 >= 0 & 2*offsetT1 + 1 >= 2*offsetT3 & 7 >= 2*offsetT1 OR 2*offsetT2 > 7 & 3*offsetT2 > 4 & offsetT2 + 8 > 0 & 10 > offsetT2 & 2*offsetT1 = 7 & offsetT3 = 0 OR 2*offsetT1 > 7 & offsetT2 >= 0 & offsetT3 > 5 & offsetT1 > 3 + offsetT2 & 19 >= 2*offsetT3 & 4 >= offsetT1 OR offsetT3 >= offsetT2 & offsetT2 > 0 & offsetT1 >= 3 + offsetT2 & offsetT2 + 3 > offsetT3 & 2*offsetT2 + 7 >= 2*offsetT1 & 1 >= 2*offsetT2 OR offsetT3 >= 0 & 2*offsetT3 + 7 > 2*offsetT1 & offsetT1 >= 3 & 7 >= 2*offsetT1 & 3 >= offsetT3 & offsetT2 = 0 OR offsetT3 > 11 & offsetT1 + 1 >= offsetT2 & offsetT1 >= 0 & 1 > 2*offsetT1 & offsetT2 > 0 & offsetT2 >= offsetT1 & 23 >= 2*offsetT3 OR 1 > 2*offsetT1 & offsetT3 > 5 & offsetT1 + 1 >= offsetT2 & offsetT2 > offsetT1 & 2*offsetT2 > 1 + 2*offsetT1 & offsetT2 + 5 >= offsetT3 & offsetT1 >= 0 OR offsetT1 >= 0 & 2*offsetT2 + 19 >= 2*offsetT3 & 6*offsetT2 + 35 > 4*offsetT3 & offsetT3 >= 10 & 2*offsetT2 >= 3 & 2 > offsetT2 & offsetT2 > 1 + offsetT1 OR 5 >= offsetT3 & 9 > offsetT1 + offsetT3 & 5 > offsetT1 & offsetT3 > offsetT1 & 2*offsetT3 > 1 + 2*offsetT1 & 4 >= offsetT1 & 2*offsetT1 >= 7 + 2*offsetT2 & offsetT2 >= 0 OR 3 >= 2*offsetT2 & offsetT3 >= 3 + offsetT2 & offsetT2 > 0 & 5 > offsetT3 & offsetT1 = 0 OR offsetT2 + 3 >= offsetT3 & 2*offsetT1 + offsetT2 + 3 > offsetT3 & offsetT3 >= offsetT2 & offsetT1 >= 0 & offsetT2 > 1 + offsetT1 & 3 >= 2*offsetT2 OR 4*offsetT2 + 5 > 2*offsetT1 + 2*offsetT3 & 2*offsetT1 + 2*offsetT2 + 2 > offsetT3 & 2*offsetT2 + 2 > offsetT3 & 4*offsetT1 + 2*offsetT2 > 3 & 2*offsetT2 >= 3 & offsetT1 >= 0 & offsetT3 > 3 + offsetT2 & offsetT2 > 1 + offsetT1 & 5 >= offsetT3 OR offsetT3 >= 10 & 2*offsetT1 >= 7 + 2*offsetT2 & 23 >= 2*offsetT3 & 4 >= offsetT1 & offsetT2 >= 0 OR offsetT3 >= 10 & offsetT2 >= 1 + offsetT1 & 2 > offsetT1 + offsetT2 & 3 > 2*offsetT2 & 2*offsetT2 + 19 >= 2*offsetT3 & offsetT1 >= 0 OR offsetT1 >= 0 & offsetT2 + 5 >= offsetT3 & 2*offsetT1 + 1 >= 2*offsetT2 & offsetT2 > 0 & 1 > 2*offsetT1 & offsetT3 >= 5 & offsetT2 >= offsetT1 OR offsetT3 >= 3 & 19 >= 2*offsetT3 & offsetT1 = 0 & offsetT2 = 0 OR 2*offsetT1 + 1 >= 2*offsetT3 & offsetT2 >= 0 & 2*offsetT1 > 7 & offsetT1 > 3 + offsetT2 & offsetT3 >= offsetT1 & 4 >= offsetT1 OR 3 >= 2*offsetT2 & offsetT2 > offsetT1 & 2*offsetT2 > 1 + 2*offsetT1 & 1 > 2*offsetT1 & offsetT1 >= 0 & offsetT3 = 5 OR 2 > offsetT2 & offsetT3 > 0 & 2*offsetT3 > 1 & offsetT2 + offsetT3 > 1 & 2*offsetT2 > 1 & 3 > 2*offsetT2 & 1 >= offsetT3 & offsetT1 = 0 OR 1 >= 2*offsetT3 & offsetT2 > offsetT3 & 2 > offsetT2 & 3 > 2*offsetT2 & offsetT3 >= 0 & offsetT1 = 0 OR 1 >= offsetT3 & offsetT2 >= 0 & offsetT3 >= offsetT2 & 1 >= 2*offsetT2 & offsetT1 = 0 OR 19 >= 2*offsetT3 & offsetT3 > 5 & 2*offsetT1 = 7 & offsetT2 = 0 OR 2*offsetT3 > 19 + 2*offsetT2 & 23 >= 2*offsetT3 & 3 > 2*offsetT2 & offsetT2 > 1 + offsetT1 & offsetT1 >= 0 OR offsetT1 >= 0 & offsetT2 > 0 & offsetT1 + 1 > offsetT2 & offsetT3 >= 10 & offsetT2 >= offsetT1 & 1 > 2*offsetT1 & offsetT1 + 11 > offsetT3 & 11 >= offsetT3 OR offsetT2 > 0 & 1 >= offsetT2 & offsetT1 = 0 & offsetT3 = 11 OR 23 >= 2*offsetT3 & 2*offsetT2 > 3 & 2*offsetT1 + 2*offsetT2 > 3 & offsetT1 >= 0 & offsetT2 > 1 + offsetT1 & 4*offsetT2 > 5 + 2*offsetT1 & 2*offsetT3 > 19 + 2*offsetT2 & 2 > offsetT2 OR offsetT3 >= 11 & 23 >= 2*offsetT3 & offsetT1 >= 0 & 1 > 2*offsetT1 & 2*offsetT2 = 3 OR offsetT3 >= 10 & 23 >= 2*offsetT3 & offsetT1 = 0 & offsetT2 = 0 OR offsetT1 + 3 > offsetT3 & offsetT1 > 3 + offsetT2 & 4 >= offsetT1 & 2*offsetT3 > 1 + 2*offsetT1 & 9 > offsetT1 + offsetT3 & 2*offsetT2 + 7 > 2*offsetT1 & 2*offsetT1 > 7 & 5 >= offsetT3 OR offsetT2 >= 0 & 1 > offsetT2 & offsetT1 = 4 & offsetT3 = 5 OR offsetT2 > 0 & offsetT2 >= offsetT1 & offsetT1 + 1 >= offsetT2 & 5 > offsetT3 & 2*offsetT1 > 0 & 2*offsetT3 > 9 + 2*offsetT1 OR offsetT3 > 1 & offsetT2 >= 0 & 1 >= offsetT2 & offsetT2 + 3 > offsetT3 & offsetT1 = 0 OR 1 >= offsetT3 & offsetT3 >= 0 & offsetT1 = 0 & 2*offsetT2 = 3 OR offsetT2 >= 0 & 1 > 2*offsetT2 & 2*offsetT1 = 7 & offsetT3 = 0 OR 11 > 2*offsetT1 & 2*offsetT1 >= 7 & 4 >= offsetT1 & 2*offsetT2 = 7 & offsetT3 = 0 OR offsetT3 >= 10 & 23 >= 2*offsetT3 & 4 >= offsetT1 & offsetT1 > 3 + offsetT2 & 2*offsetT1 > 7 & 2*offsetT2 + 7 > 2*offsetT1 OR 3 > 2*offsetT2 & 11 >= offsetT3 & offsetT2 >= 1 & offsetT2 + 10 > offsetT3 & 2*offsetT3 > 19 + 2*offsetT2 & offsetT1 + 1 = offsetT2 OR offsetT3 > 3 + offsetT2 & 5 > offsetT3 & 2*offsetT1 > 0 & 3 > 2*offsetT2 & offsetT2 > 1 + offsetT1 OR 2*offsetT1 = 7 & 2*offsetT2 = 1 & 2*offsetT3 = 7 This good constraint is exact (sound and complete)  Result written to file 'GNC-no-react-param-offset-with-switch.res'. IMITATOR successfully terminated (after 5435.764 seconds)