************************************************************
    *  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: Sun Jun 18, 2017 15:13:32
    
    Model: /media/gia/Data/Example-Models/Sched2.100.2/Sched2.100.2.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.
    This model is a U-PTA.
    
    Abstract model built after 0.010 second.
    Memory for abstract model: 981.039 KiB (i.e., 251146 words)
    
    Starting running algorithm AGsafe…
    
    Computing post^1 from 1 state.
    Computing post^2 from 1 state.
      [AGsafe] Found a new state violating the property.
    Computing post^3 from 2 states.
      1 state merged within 3 states.
    Computing post^4 from 2 states.
    Computing post^5 from 2 states.
    Computing post^6 from 3 states.
      [AGsafe] Found a new state violating the property.
      1 state merged within 5 states.
    Computing post^7 from 5 states.
      3 states merged within 8 states.
    Computing post^8 from 5 states.
    Computing post^9 from 5 states.
      [AGsafe] Found a new state violating the property.
    Computing post^10 from 5 states.
      [AGsafe] Found a new state violating the property.
    Computing post^11 from 13 states.
    Computing post^12 from 17 states.
      [AGsafe] Found a new state violating the property.
    Computing post^13 from 8 states.
      1 state merged within 7 states.
    Computing post^14 from 6 states.
      1 state merged within 9 states.
    Computing post^15 from 8 states.
    Computing post^16 from 8 states.
    Computing post^17 from 8 states.
      3 states merged within 16 states.
    Computing post^18 from 13 states.
    Computing post^19 from 26 states.
      5 states merged within 18 states.
    Computing post^20 from 13 states.
      2 states merged within 10 states.
    Computing post^21 from 8 states.
      1 state merged within 6 states.
    Computing post^22 from 5 states.
    Computing post^23 from 8 states.
    Computing post^24 from 7 states.
    Computing post^25 from 7 states.
      3 states merged within 11 states.
    Computing post^26 from 8 states.
    Computing post^27 from 8 states.
      2 states merged within 6 states.
    Computing post^28 from 5 states.
      3 states merged within 13 states.
    Computing post^29 from 13 states.
      5 states merged within 11 states.
    Computing post^30 from 9 states.
      3 states merged within 9 states.
    Computing post^31 from 9 states.
      3 states merged within 3 states.
    Computing post^32 from 3 states.
      3 states merged within 3 states.
    Computing post^33 from 3 states.
      3 states merged within 3 states.
    Computing post^34 from 3 states.
      3 states merged within 6 states.
    Computing post^35 from 6 states.
      4 states merged within 4 states.
    Computing post^36 from 3 states.
      6 states merged within 6 states.
    Computing post^37 from 5 states.
      5 states merged within 5 states.
    Computing post^38 from 5 states.
      5 states merged within 5 states.
    Computing post^39 from 5 states.
      7 states merged within 7 states.
    Computing post^40 from 5 states.
      5 states merged within 5 states.
    Computing post^41 from 5 states.
      7 states merged within 8 states.
    Computing post^42 from 6 states.
      5 states merged within 6 states.
    Computing post^43 from 5 states.
      4 states merged within 5 states.
    Computing post^44 from 5 states.
      [AGsafe] Found a new state violating the property.
      4 states merged within 5 states.
    Computing post^45 from 5 states.
      4 states merged within 5 states.
    Computing post^46 from 5 states.
      4 states merged within 5 states.
    Computing post^47 from 5 states.
      4 states merged within 5 states.
    Computing post^48 from 3 states.
      2 states merged within 6 states.
    Computing post^49 from 6 states.
      2 states merged within 6 states.
    Computing post^50 from 6 states.
      2 states merged within 6 states.
    Computing post^51 from 6 states.
      4 states merged within 9 states.
    Computing post^52 from 8 states.
      3 states merged within 8 states.
    Computing post^53 from 8 states.
      3 states merged within 5 states.
    Computing post^54 from 4 states.
      2 states merged within 4 states.
    Computing post^55 from 4 states.
      2 states merged within 4 states.
    Computing post^56 from 4 states.
      4 states merged within 6 states.
    Computing post^57 from 6 states.
      3 states merged within 5 states.
    Computing post^58 from 4 states.
      2 states merged within 4 states.
    Computing post^59 from 4 states.
      2 states merged within 4 states.
    Computing post^60 from 4 states.
      2 states merged within 4 states.
    Computing post^61 from 4 states.
      2 states merged within 6 states.
    Computing post^62 from 6 states.
      2 states merged within 6 states.
    Computing post^63 from 6 states.
      3 states merged within 7 states.
    Computing post^64 from 6 states.
      2 states merged within 6 states.
    Computing post^65 from 6 states.
      3 states merged within 5 states.
    Computing post^66 from 4 states.
      [AGsafe] Found a new state violating the property.
      4 states merged within 6 states.
    Computing post^67 from 6 states.
      4 states merged within 6 states.
    Computing post^68 from 6 states.
      4 states merged within 6 states.
    Computing post^69 from 6 states.
      4 states merged within 6 states.
    Computing post^70 from 4 states.
      4 states merged within 7 states.
    Computing post^71 from 7 states.
      7 states merged within 7 states.
    Computing post^72 from 6 states.
      6 states merged within 6 states.
    Computing post^73 from 6 states.
      8 states merged within 8 states.
    Computing post^74 from 8 states.
      8 states merged within 8 states.
    Computing post^75 from 8 states.
      5 states merged within 5 states.
    Computing post^76 from 4 states.
      4 states merged within 4 states.
    Computing post^77 from 4 states.
      4 states merged within 4 states.
    Computing post^78 from 4 states.
      8 states merged within 8 states.
    Computing post^79 from 6 states.
      5 states merged within 5 states.
    Computing post^80 from 4 states.
      4 states merged within 4 states.
    Computing post^81 from 4 states.
      4 states merged within 4 states.
    Computing post^82 from 4 states.
      4 states merged within 4 states.
    Computing post^83 from 4 states.
      6 states merged within 6 states.
    Computing post^84 from 6 states.
      6 states merged within 6 states.
    Computing post^85 from 6 states.
      7 states merged within 9 states.
    Computing post^86 from 8 states.
      8 states merged within 8 states.
    Computing post^87 from 6 states.
      5 states merged within 5 states.
    Computing post^88 from 4 states.
      [AGsafe] Found a new state violating the property.
      6 states merged within 6 states.
    Computing post^89 from 6 states.
      6 states merged within 6 states.
    Computing post^90 from 6 states.
      6 states merged within 6 states.
    Computing post^91 from 6 states.
      6 states merged within 6 states.
    Computing post^92 from 4 states.
      8 states merged within 8 states.
    Computing post^93 from 7 states.
      6 states merged within 6 states.
    Computing post^94 from 6 states.
      6 states merged within 6 states.
    Computing post^95 from 6 states.
      9 states merged within 9 states.
    Computing post^96 from 8 states.
      8 states merged within 8 states.
    Computing post^97 from 8 states.
      4 states merged within 4 states.
    Computing post^98 from 4 states.
      4 states merged within 4 states.
    Computing post^99 from 4 states.
      4 states merged within 4 states.
    Computing post^100 from 4 states.
      7 states merged within 7 states.
    Computing post^101 from 6 states.
      6 states merged within 6 states.
    Computing post^102 from 4 states.
      4 states merged within 4 states.
    Computing post^103 from 4 states.
      4 states merged within 4 states.
    Computing post^104 from 4 states.
      4 states merged within 4 states.
    Computing post^105 from 4 states.
      6 states merged within 6 states.
    Computing post^106 from 6 states.
      6 states merged within 6 states.
    Computing post^107 from 6 states.
      10 states merged within 10 states.
    Computing post^108 from 8 states.
      8 states merged within 12 states.
    Computing post^109 from 10 states.
      6 states merged within 7 states.
    Computing post^110 from 5 states.
      [AGsafe] Found a new state violating the property.
      6 states merged within 7 states.
    Computing post^111 from 7 states.
      6 states merged within 7 states.
    Computing post^112 from 7 states.
      6 states merged within 7 states.
    Computing post^113 from 7 states.
      6 states merged within 7 states.
    Computing post^114 from 5 states.
      8 states merged within 10 states.
    Computing post^115 from 9 states.
      7 states merged within 7 states.
    Computing post^116 from 6 states.
      6 states merged within 6 states.
    Computing post^117 from 6 states.
      10 states merged within 10 states.
    Computing post^118 from 8 states.
      8 states merged within 8 states.
    Computing post^119 from 8 states.
      5 states merged within 5 states.
    Computing post^120 from 4 states.
      4 states merged within 4 states.
    Computing post^121 from 4 states.
      4 states merged within 4 states.
    Computing post^122 from 4 states.
      6 states merged within 6 states.
    Computing post^123 from 6 states.
      5 states merged within 5 states.
    Computing post^124 from 4 states.
      4 states merged within 4 states.
    Computing post^125 from 4 states.
      4 states merged within 4 states.
    Computing post^126 from 4 states.
      4 states merged within 4 states.
    Computing post^127 from 4 states.
      6 states merged within 6 states.
    Computing post^128 from 6 states.
      6 states merged within 6 states.
    Computing post^129 from 6 states.
      9 states merged within 9 states.
    Computing post^130 from 8 states.
      12 states merged within 12 states.
    Computing post^131 from 10 states.
      6 states merged within 7 states.
    Computing post^132 from 6 states.
      [AGsafe] Found a new state violating the property.
      7 states merged within 8 states.
    Computing post^133 from 8 states.
      7 states merged within 8 states.
    Computing post^134 from 8 states.
      7 states merged within 8 states.
    Computing post^135 from 8 states.
      7 states merged within 8 states.
    Computing post^136 from 6 states.
      11 states merged within 12 states.
    Computing post^137 from 10 states.
      9 states merged within 9 states.
    Computing post^138 from 6 states.
      6 states merged within 6 states.
    Computing post^139 from 6 states.
      8 states merged within 8 states.
    Computing post^140 from 8 states.
      8 states merged within 8 states.
    Computing post^141 from 8 states.
      5 states merged within 5 states.
    Computing post^142 from 4 states.
      4 states merged within 4 states.
    Computing post^143 from 4 states.
      4 states merged within 4 states.
    Computing post^144 from 4 states.
      7 states merged within 7 states.
    Computing post^145 from 6 states.
      4 states merged within 4 states.
    Computing post^146 from 4 states.
      4 states merged within 4 states.
    Computing post^147 from 4 states.
      4 states merged within 4 states.
    Computing post^148 from 4 states.
      4 states merged within 4 states.
    Computing post^149 from 4 states.
      6 states merged within 6 states.
    Computing post^150 from 6 states.
      6 states merged within 6 states.
    Computing post^151 from 6 states.
      10 states merged within 10 states.
    Computing post^152 from 8 states.
      12 states merged within 12 states.
    Computing post^153 from 10 states.
      8 states merged within 8 states.
    Computing post^154 from 6 states.
      [AGsafe] Found a new state violating the property.
      8 states merged within 8 states.
    Computing post^155 from 8 states.
      8 states merged within 8 states.
    Computing post^156 from 8 states.
      8 states merged within 8 states.
    Computing post^157 from 8 states.
      8 states merged within 8 states.
    Computing post^158 from 6 states.
      10 states merged within 10 states.
    Computing post^159 from 10 states.
      9 states merged within 9 states.
    Computing post^160 from 6 states.
      6 states merged within 6 states.
    Computing post^161 from 6 states.
      9 states merged within 9 states.
    Computing post^162 from 8 states.
      8 states merged within 8 states.
    Computing post^163 from 8 states.
      5 states merged within 5 states.
    Computing post^164 from 4 states.
      4 states merged within 4 states.
    Computing post^165 from 4 states.
      4 states merged within 4 states.
    Computing post^166 from 4 states.
      8 states merged within 8 states.
    Computing post^167 from 6 states.
      5 states merged within 5 states.
    Computing post^168 from 4 states.
      4 states merged within 4 states.
    Computing post^169 from 4 states.
      4 states merged within 4 states.
    Computing post^170 from 4 states.
      4 states merged within 4 states.
    Computing post^171 from 4 states.
      6 states merged within 6 states.
    Computing post^172 from 6 states.
      6 states merged within 6 states.
    Computing post^173 from 6 states.
      10 states merged within 10 states.
    Computing post^174 from 8 states.
      12 states merged within 12 states.
    Computing post^175 from 10 states.
      7 states merged within 7 states.
    Computing post^176 from 6 states.
      8 states merged within 8 states.
    Computing post^177 from 8 states.
      8 states merged within 8 states.
    Computing post^178 from 8 states.
      8 states merged within 8 states.
    Computing post^179 from 8 states.
      8 states merged within 8 states.
    Computing post^180 from 6 states.
      10 states merged within 10 states.
    Computing post^181 from 10 states.
      9 states merged within 9 states.
    Computing post^182 from 6 states.
      6 states merged within 6 states.
    Computing post^183 from 6 states.
      9 states merged within 9 states.
    Computing post^184 from 8 states.
      8 states merged within 8 states.
    Computing post^185 from 8 states.
      4 states merged within 4 states.
    Computing post^186 from 4 states.
      4 states merged within 4 states.
    Computing post^187 from 4 states.
      4 states merged within 4 states.
    Computing post^188 from 4 states.
      6 states merged within 6 states.
    Computing post^189 from 6 states.
      6 states merged within 6 states.
    Computing post^190 from 4 states.
      4 states merged within 4 states.
    Computing post^191 from 4 states.
      4 states merged within 4 states.
    Computing post^192 from 4 states.
      4 states merged within 4 states.
    Computing post^193 from 4 states.
      6 states merged within 6 states.
    Computing post^194 from 6 states.
      6 states merged within 6 states.
    Computing post^195 from 6 states.
      10 states merged within 10 states.
    Computing post^196 from 8 states.
      12 states merged within 12 states.
    Computing post^197 from 10 states.
      7 states merged within 7 states.
    Computing post^198 from 6 states.
      8 states merged within 8 states.
    Computing post^199 from 8 states.
      8 states merged within 8 states.
    Computing post^200 from 8 states.
      8 states merged within 8 states.
    Computing post^201 from 8 states.
      8 states merged within 8 states.
    Computing post^202 from 6 states.
      10 states merged within 10 states.
    Computing post^203 from 10 states.
      9 states merged within 9 states.
    Computing post^204 from 6 states.
      6 states merged within 6 states.
    Computing post^205 from 6 states.
      9 states merged within 9 states.
    Computing post^206 from 8 states.
      8 states merged within 8 states.
    Computing post^207 from 8 states.
      4 states merged within 4 states.
    Computing post^208 from 4 states.
      4 states merged within 4 states.
    Computing post^209 from 4 states.
      4 states merged within 4 states.
    Computing post^210 from 4 states.
      6 states merged within 6 states.
    Computing post^211 from 6 states.
      6 states merged within 6 states.
    Computing post^212 from 4 states.
      4 states merged within 4 states.
    Computing post^213 from 4 states.
      4 states merged within 4 states.
    Computing post^214 from 4 states.
      4 states merged within 4 states.
    Computing post^215 from 4 states.
      6 states merged within 6 states.
    Computing post^216 from 6 states.
      6 states merged within 6 states.
    Computing post^217 from 6 states.
      10 states merged within 10 states.
    Computing post^218 from 8 states.
      12 states merged within 12 states.
    Computing post^219 from 10 states.
      7 states merged within 7 states.
    Computing post^220 from 6 states.
      8 states merged within 8 states.
    Computing post^221 from 8 states.
      8 states merged within 8 states.
    Computing post^222 from 8 states.
      8 states merged within 8 states.
    Computing post^223 from 8 states.
      8 states merged within 8 states.
    Computing post^224 from 6 states.
      10 states merged within 10 states.
    Computing post^225 from 10 states.
      9 states merged within 9 states.
    Computing post^226 from 6 states.
      6 states merged within 6 states.
    Computing post^227 from 6 states.
      9 states merged within 9 states.
    Computing post^228 from 8 states.
      8 states merged within 8 states.
    Computing post^229 from 8 states.
      4 states merged within 4 states.
    Computing post^230 from 4 states.
      4 states merged within 4 states.
    Computing post^231 from 4 states.
      4 states merged within 4 states.
    Computing post^232 from 4 states.
      6 states merged within 6 states.
    Computing post^233 from 6 states.
      6 states merged within 6 states.
    Computing post^234 from 4 states.
      4 states merged within 4 states.
    Computing post^235 from 4 states.
      4 states merged within 4 states.
    Computing post^236 from 4 states.
      4 states merged within 4 states.
    Computing post^237 from 4 states.
      6 states merged within 6 states.
    Computing post^238 from 6 states.
      6 states merged within 6 states.
    Computing post^239 from 6 states.
      10 states merged within 10 states.
    Computing post^240 from 8 states.
      12 states merged within 12 states.
    Computing post^241 from 10 states.
      7 states merged within 7 states.
    Computing post^242 from 6 states.
      8 states merged within 8 states.
    Computing post^243 from 8 states.
      8 states merged within 8 states.
    Computing post^244 from 8 states.
      8 states merged within 8 states.
    Computing post^245 from 8 states.
      8 states merged within 8 states.
    Computing post^246 from 6 states.
      10 states merged within 10 states.
    Computing post^247 from 10 states.
      9 states merged within 9 states.
    Computing post^248 from 6 states.
      6 states merged within 6 states.
    Computing post^249 from 6 states.
      9 states merged within 9 states.
    Computing post^250 from 8 states.
      8 states merged within 8 states.
    Computing post^251 from 8 states.
      4 states merged within 4 states.
    Computing post^252 from 4 states.
      4 states merged within 4 states.
    Computing post^253 from 4 states.
      4 states merged within 4 states.
    Computing post^254 from 4 states.
      6 states merged within 6 states.
    Computing post^255 from 6 states.
      6 states merged within 6 states.
    Computing post^256 from 4 states.
      4 states merged within 4 states.
    Computing post^257 from 4 states.
      4 states merged within 4 states.
    Computing post^258 from 4 states.
      4 states merged within 4 states.
    Computing post^259 from 4 states.
      6 states merged within 6 states.
    Computing post^260 from 6 states.
      6 states merged within 6 states.
    Computing post^261 from 6 states.
      10 states merged within 10 states.
    Computing post^262 from 8 states.
      12 states merged within 12 states.
    Computing post^263 from 10 states.
      7 states merged within 7 states.
    Computing post^264 from 6 states.
      7 states merged within 9 states.
    Computing post^265 from 9 states.
      9 states merged within 9 states.
    Computing post^266 from 7 states.
      7 states merged within 7 states.
    Computing post^267 from 7 states.
      7 states merged within 7 states.
    Computing post^268 from 6 states.
      10 states merged within 10 states.
    Computing post^269 from 10 states.
      10 states merged within 10 states.
    Computing post^270 from 6 states.
      6 states merged within 10 states.
    Computing post^271 from 10 states.
      10 states merged within 12 states.
    Computing post^272 from 10 states.
      8 states merged within 10 states.
    Computing post^273 from 10 states.
      6 states merged within 7 states.
    Computing post^274 from 5 states.
      4 states merged within 5 states.
    Computing post^275 from 5 states.
      4 states merged within 5 states.
    Computing post^276 from 5 states.
      6 states merged within 7 states.
    Computing post^277 from 7 states.
      5 states merged within 6 states.
    Computing post^278 from 5 states.
      5 states merged within 8 states.
    Computing post^279 from 7 states.
      4 states merged within 6 states.
    Computing post^280 from 6 states.
      4 states merged within 6 states.
    Computing post^281 from 6 states.
      7 states merged within 9 states.
    Computing post^282 from 8 states.
      6 states merged within 8 states.
    Computing post^283 from 8 states.
      10 states merged within 11 states.
    Computing post^284 from 9 states.
      12 states merged within 12 states.
    Computing post^285 from 10 states.
      9 states merged within 9 states.
    Computing post^286 from 6 states.
      9 states merged within 9 states.
    Computing post^287 from 9 states.
      7 states merged within 9 states.
    Computing post^288 from 9 states.
      7 states merged within 9 states.
    Computing post^289 from 9 states.
      8 states merged within 8 states.
    Computing post^290 from 6 states.
      11 states merged within 11 states.
    Computing post^291 from 10 states.
      9 states merged within 9 states.
    Computing post^292 from 6 states.
      10 states merged within 10 states.
    Computing post^293 from 10 states.
      11 states merged within 11 states.
    Computing post^294 from 10 states.
      10 states merged within 10 states.
    Computing post^295 from 10 states.
      6 states merged within 6 states.
    Computing post^296 from 5 states.
      5 states merged within 5 states.
    Computing post^297 from 5 states.
      5 states merged within 5 states.
    Computing post^298 from 5 states.
      8 states merged within 8 states.
    Computing post^299 from 7 states.
      7 states merged within 7 states.
    Computing post^300 from 5 states.
      8 states merged within 8 states.
    Computing post^301 from 7 states.
      7 states merged within 7 states.
    Computing post^302 from 6 states.
      6 states merged within 6 states.
    Computing post^303 from 6 states.
      8 states merged within 8 states.
    Computing post^304 from 8 states.
      8 states merged within 8 states.
    Computing post^305 from 8 states.
      11 states merged within 11 states.
    Computing post^306 from 9 states.
      13 states merged within 13 states.
    Computing post^307 from 10 states.
      7 states merged within 7 states.
    Computing post^308 from 6 states.
      9 states merged within 9 states.
    Computing post^309 from 9 states.
      9 states merged within 9 states.
    Computing post^310 from 9 states.
      9 states merged within 9 states.
    Computing post^311 from 9 states.
      9 states merged within 9 states.
    Computing post^312 from 6 states.
      11 states merged within 11 states.
    Computing post^313 from 10 states.
      9 states merged within 9 states.
    Computing post^314 from 6 states.
      10 states merged within 10 states.
    Computing post^315 from 10 states.
      11 states merged within 11 states.
    Computing post^316 from 10 states.
      10 states merged within 10 states.
    Computing post^317 from 10 states.
      6 states merged within 6 states.
    Computing post^318 from 5 states.
      7 states merged within 6 states.
    Computing post^319 from 6 states.
      5 states merged within 6 states.
    Computing post^320 from 6 states.
      7 states merged within 8 states.
    Computing post^321 from 8 states.
      6 states merged within 7 states.
    Computing post^322 from 6 states.
      4 states merged within 6 states.
    Computing post^323 from 5 states.
      4 states merged within 4 states.
    Computing post^324 from 2 states.
      2 states merged within 2 states.
    Computing post^325 from 2 states.
      3 states merged within 3 states.
    Computing post^326 from 3 states.
      3 states merged within 3 states.
    Computing post^327 from 3 states.
      4 states merged within 5 states.
    Computing post^328 from 4 states.
      4 states merged within 6 states.
    Computing post^329 from 6 states.
      3 states merged within 5 states.
    Computing post^330 from 5 states.
      3 states merged within 5 states.
    Computing post^331 from 5 states.
      3 states merged within 5 states.
    Computing post^332 from 5 states.
      3 states merged within 5 states.
    Computing post^333 from 5 states.
      3 states merged within 5 states.
    Computing post^334 from 5 states.
      4 states merged within 8 states.
    Computing post^335 from 8 states.
      7 states merged within 7 states.
    Computing post^336 from 4 states.
      4 states merged within 4 states.
    Computing post^337 from 4 states.
      2 states merged within 2 states.
    Computing post^338 from 2 states.
      2 states merged within 2 states.
    Computing post^339 from 2 states.
      1 state merged within 1 state.
    Computing post^340 from 1 state.
      2 states merged within 2 states.
    Computing post^341 from 2 states.
      2 states merged within 2 states.
    Computing post^342 from 2 states.
      2 states merged within 2 states.
    Computing post^343 from 2 states.
      2 states merged within 2 states.
    Computing post^344 from 2 states.
      2 states merged within 2 states.
    Computing post^345 from 2 states.
      2 states merged within 2 states.
    Computing post^346 from 1 state.
      1 state merged within 1 state.
    Computing post^347 from 1 state.
      2 states merged within 2 states.
    Computing post^348 from 2 states.
      2 states merged within 2 states.
    Computing post^349 from 2 states.
      3 states merged within 3 states.
    Computing post^350 from 3 states.
      5 states merged within 5 states.
    Computing post^351 from 5 states.
      4 states merged within 4 states.
    Computing post^352 from 4 states.
      4 states merged within 4 states.
    Computing post^353 from 4 states.
      4 states merged within 4 states.
    Computing post^354 from 4 states.
      4 states merged within 4 states.
    Computing post^355 from 4 states.
      4 states merged within 4 states.
    Computing post^356 from 4 states.
      7 states merged within 7 states.
    Computing post^357 from 7 states.
      3 states merged within 5 states.
    Computing post^358 from 4 states.
      2 states merged within 4 states.
    Computing post^359 from 4 states.
      1 state merged within 2 states.
    Computing post^360 from 2 states.
      1 state merged within 2 states.
    Computing post^361 from 2 states.
      1 state merged within 1 state.
    Computing post^362 from 1 state.
      2 states merged within 2 states.
    Computing post^363 from 2 states.
      2 states merged within 2 states.
    Computing post^364 from 2 states.
      2 states merged within 2 states.
    Computing post^365 from 2 states.
      3 states merged within 4 states.
    Computing post^366 from 3 states.
      2 states merged within 3 states.
    Computing post^367 from 3 states.
      2 states merged within 3 states.
    Computing post^368 from 2 states.
      1 state merged within 2 states.
    Computing post^369 from 2 states.
      3 states merged within 3 states.
    Computing post^370 from 3 states.
      3 states merged within 3 states.
    Computing post^371 from 3 states.
      6 states merged within 3 states.
    Computing post^372 from 3 states.
      9 states merged within 5 states.
    Computing post^373 from 5 states.
      9 states merged within 6 states.
    Computing post^374 from 6 states.
      7 states merged within 5 states.
    Computing post^375 from 5 states.
      5 states merged within 3 states.
    Computing post^376 from 3 states.
      5 states merged within 3 states.
    Computing post^377 from 3 states.
      5 states merged within 3 states.
    Computing post^378 from 3 states.
      9 states merged within 5 states.
    Computing post^379 from 5 states.
      10 states merged within 8 states.
    Computing post^380 from 7 states.
      14 states merged within 10 states.
    Computing post^381 from 10 states.
      8 states merged within 6 states.
    Computing post^382 from 5 states.
      5 states merged within 3 states.
    Computing post^383 from 3 states.
      2 states merged within 1 state.
    Computing post^384 from 1 state.
      4 states merged within 2 states.
    Computing post^385 from 2 states.
      4 states merged within 2 states.
    Computing post^386 from 2 states.
      4 states merged within 2 states.
    Computing post^387 from 2 states.
      7 states merged within 4 states.
    Computing post^388 from 3 states.
      6 states merged within 3 states.
    Computing post^389 from 3 states.
      4 states merged within 3 states.
    Computing post^390 from 2 states.
      3 states merged within 2 states.
    Computing post^391 from 2 states.
      3 states merged within 2 states.
    Computing post^392 from 2 states.
      3 states merged within 2 states.
    Computing post^393 from 2 states.
    
    Fixpoint reached at a depth of 394: 1330 states with 1526 transitions in the final state space.
    
      [AGsafe] Algorithm completed after 131.467 seconds.
    
    Final constraint such that the system is correct:
     C3_WORST >= 20
    & b >= 10
    & 100 >= 2*b + C3_WORST
    This good constraint is exact (sound and complete)

    597.237 MiB (i.e., 78281135 words of size 8)
    
    Result written to file '/media/gia/Data/Example-Models/Sched2.100.2/Sched2.100.2-layerBFS-incl-merge-EF.res'.
    
    ------------------------------------------------------------
    Statistics: State space
    ------------------------------------------------------------
    Number of states                        : 1330
    Number of transitions                   : 1526
    Number of computed states               : 4260
    Total computation time                  : 131.457 seconds
    States/second in state space            : 10.1 (1330/131.457 seconds)
    Computed states/second                  : 32.4 (4260/131.457 seconds)
    Estimated memory                        : 597.340 MiB (i.e., 78294630 words of size 8)
    
    Generating graphical output to '/media/gia/Data/Example-Models/Sched2.100.2/Sched2.100.2-layerBFS-incl-merge-EF-statespace.jpg'…
    Writing the states description to file '/media/gia/Data/Example-Models/Sched2.100.2/Sched2.100.2-layerBFS-incl-merge-EF-statespace.states'…
    
    Drawing the cartography…
    Plot cartography in 2D projected on parameters b and C3_WORST to file '/media/gia/Data/Example-Models/Sched2.100.2/Sched2.100.2-layerBFS-incl-merge-EF_cart.png'.
    
    ------------------------------------------------------------
     Statistics: Algorithm counters
    ------------------------------------------------------------
    main algorithm                          : 131.463 seconds
    ------------------------------------------------------------
     Statistics: Parsing counters
    ------------------------------------------------------------
    model parsing                           : 0.005 second
    ------------------------------------------------------------
     Statistics: State computation counters
    ------------------------------------------------------------
    number of state comparisons             : 338266
    number of constraints comparisons       : 338266
    number of new states <= old             : 753
    number of new states >= old             : 0
    StateSpace.merging attempts             : 193145
    StateSpace.merges                       : 2177
    StatesMerging.merging attempts          : 0
    StatesMerging.merges                    : 0
    ------------------------------------------------------------
     Statistics: Graphics-related counters
    ------------------------------------------------------------
    state space drawing                     : 91.705 seconds
    cartography drawing                     : 0.057 second
    ------------------------------------------------------------
     Statistics: Global counter
    ------------------------------------------------------------
    total                                   : 223.234 seconds

    IMITATOR successfully terminated (after 223.239 seconds)
    Estimated memory used: 1.133 GiB (i.e., 152144979 words of size 8)