************************************************************
 *  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: category4_vulnerable-selfcomp.imi
 Mode: EFunsafe-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.
 Starting running algorithm EFunsafe…
 
 Computing post^1 from 1 state.
 Computing post^2 from 2 states.
   1 state merged within 4 states.
 Computing post^3 from 3 states.
   2 states merged within 10 states.
 Computing post^4 from 8 states.
   6 states merged within 15 states.
 Computing post^5 from 9 states.
   7 states merged within 15 states.
 Computing post^6 from 8 states.
   7 states merged within 18 states.
 Computing post^7 from 11 states.
   5 states merged within 11 states.
 Computing post^8 from 6 states.
   1 state merged within 42 states.
 Computing post^9 from 41 states.
 Computing post^10 from 60 states.
 Computing post^11 from 70 states.
   10 states merged within 180 states.
 Computing post^12 from 170 states.
   10 states merged within 180 states.
 Computing post^13 from 170 states.
   10 states merged within 280 states.
 Computing post^14 from 270 states.
   10 states merged within 286 states.
 Computing post^15 from 276 states.
   16 states merged within 392 states.
 Computing post^16 from 376 states.
   16 states merged within 386 states.
 Computing post^17 from 370 states.
   10 states merged within 480 states.
 Computing post^18 from 470 states.
   10 states merged within 494 states.
 Computing post^19 from 484 states.
   21 states merged within 605 states.
 Computing post^20 from 584 states.
   24 states merged within 594 states.
 Computing post^21 from 570 states.
   11 states merged within 681 states.
 Computing post^22 from 670 states.
   10 states merged within 692 states.
 Computing post^23 from 682 states.
   19 states merged within 801 states.
 Computing post^24 from 782 states.
   22 states merged within 800 states.
 Computing post^25 from 778 states.
   18 states merged within 896 states.
 Computing post^26 from 878 states.
   18 states merged within 902 states.
 Computing post^27 from 884 states.
   21 states merged within 963 states.
 Computing post^28 from 942 states.
   24 states merged within 934 states.
 Computing post^29 from 910 states.
   12 states merged within 1006 states.
 Computing post^30 from 994 states.
   10 states merged within 840 states.
 Computing post^31 from 830 states.
   29 states merged within 933 states.
 Computing post^32 from 904 states.
   32 states merged within 744 states.
 Computing post^33 from 712 states.
   14 states merged within 782 states.
 Computing post^34 from 768 states.
   7 states merged within 625 states.
 Computing post^35 from 618 states.
   19 states merged within 685 states.
 Computing post^36 from 666 states.
   18 states merged within 528 states.
 Computing post^37 from 510 states.
   12 states merged within 560 states.
 Computing post^38 from 548 states.
   13 states merged within 431 states.
 Computing post^39 from 418 states.
   20 states merged within 458 states.
 Computing post^40 from 438 states.
   14 states merged within 318 states.
 Computing post^41 from 304 states.
   3 states merged within 319 states.
 Computing post^42 from 316 states.
   4 states merged within 216 states.
 Computing post^43 from 212 states.
   12 states merged within 232 states.
 Computing post^44 from 220 states.
   23 states merged within 143 states.
 Computing post^45 from 120 states.
   20 states merged within 130 states.
 Computing post^46 from 110 states.
 Computing post^47 from 10 states.
 
 Fixpoint reached at a depth of 48: 19183 states with 20252 transitions in the final state space.
 
   [EFunsafe] Algorithm completed after 265.369 seconds.
 
 Final constraint such that the system is incorrect:
 False
 This bad constraint is exact (sound and complete)
 
 Result written to file 'category4_vulnerable-selfcomp.res'.

 IMITATOR successfully terminated (after 265.377 seconds)