************************************************************ * IMITATOR 2.9.2-working "Butter Incaberry" * * * * Etienne Andre, Ulrich Kuehne et al. * * 2009 - 2018 * * LSV, ENS de Cachan & CNRS, France * * LIPN, Universite Paris 13, France * * www.imitator.fr * * * * Build: 2402 (2018-06-07 12:48:34 UTC) * * HEAD/0999a7d * ************************************************************ Model: /home/royal/Desktop/experiments/Etienne/6/coffee/coffee.imi Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version. Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality). Time elapsing will be applied at the beginning of the computation of a new state. Merging technique of [AFS13] enabled. The result will be written to a file. ************************************************************ * IMITATOR 2.9.2-working "Butter Incaberry" * * * * Etienne Andre, Ulrich Kuehne et al. * * 2009 - 2018 * * LSV, ENS de Cachan & CNRS, France * * LIPN, Universite Paris 13, France * * www.imitator.fr * * * * Build: 2402 (2018-06-07 12:48:34 UTC) * * HEAD/0999a7d * ************************************************************ Model: /home/royal/Desktop/experiments/Etienne/6/coffee/coffee.imi Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version. Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality). Time elapsing will be applied at the beginning of the computation of a new state. Merging technique of [AFS13] enabled. The result will be written to a file. ************************************************************ * IMITATOR 2.9.2-working "Butter Incaberry" * * * * Etienne Andre, Ulrich Kuehne et al. * * 2009 - 2018 * * LSV, ENS de Cachan & CNRS, France * * LIPN, Universite Paris 13, France * * www.imitator.fr * * * * Build: 2402 (2018-06-07 12:48:34 UTC) * * HEAD/0999a7d * ************************************************************ Model: /home/royal/Desktop/experiments/Etienne/6/coffee/coffee.imi Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version. Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality). ************************************************************ * IMITATOR 2.9.2-working "Butter Incaberry" * * * * Etienne Andre, Ulrich Kuehne et al. * * 2009 - 2018 * * LSV, ENS de Cachan & CNRS, France * * LIPN, Universite Paris 13, France * * www.imitator.fr * * * * Build: 2402 (2018-06-07 12:48:34 UTC) * * HEAD/0999a7d * ************************************************************ Time elapsing will be applied at the beginning of the computation of a new state. Merging technique of [AFS13] enabled. The result will be written to a file. Model: /home/royal/Desktop/experiments/Etienne/6/coffee/coffee.imi Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version. Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality). Time elapsing will be applied at the beginning of the computation of a new state. Merging technique of [AFS13] enabled. The result will be written to a file. ************************************************************ * IMITATOR 2.9.2-working "Butter Incaberry" * * * * Etienne Andre, Ulrich Kuehne et al. * * 2009 - 2018 * * LSV, ENS de Cachan & CNRS, France * * LIPN, Universite Paris 13, France * * www.imitator.fr * * * * Build: 2402 (2018-06-07 12:48:34 UTC) * * HEAD/0999a7d * ************************************************************ Model: /home/royal/Desktop/experiments/Etienne/6/coffee/coffee.imi Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version. Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality). Time elapsing will be applied at the beginning of the computation of a new state. Merging technique of [AFS13] enabled. The result will be written to a file. ************************************************************ * IMITATOR 2.9.2-working "Butter Incaberry" * * * * Etienne Andre, Ulrich Kuehne et al. * * 2009 - 2018 * * LSV, ENS de Cachan & CNRS, France * * LIPN, Universite Paris 13, France * * www.imitator.fr * * * * Build: 2402 (2018-06-07 12:48:34 UTC) * * HEAD/0999a7d * ************************************************************ Model: /home/royal/Desktop/experiments/Etienne/6/coffee/coffee.imi Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version. Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality). Time elapsing will be applied at the beginning of the computation of a new state. Merging technique of [AFS13] enabled. The result will be written to a file. Generating the transformed model… Generating the transformed model… Generating the transformed model… Generating the transformed model… Generating the transformed model… Generating the transformed model…  Automaton name: machine, Number of models: 5  Transformation completed  Automaton name: machine, Number of models: 5  Transformation completed  Automaton name: machine, Number of models: 5  Transformation completed  Automaton name: machine, Number of models: 5  Transformation completed  Automaton name: machine, Number of models: 5  Transformation completed Starting running algorithm NZCUB…  Starting running algorithm NZCUB…  Computing post^1 from 1 state. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^1 from 1 state. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 1 state. Computing post^2 from 1 state. Computing post^2 from 1 state. Computing post^2 from 1 state. Computing post^3 from 2 states. Computing post^3 from 4 states.  Fixpoint reached at a depth of 4: 6 states with 5 transitions in the final state space.  [NZCUB] Algorithm completed after 0.381 second. Computing post^3 from 4 states.  Fixpoint reached at a depth of 4: 6 states with 5 transitions in the final state space.  [NZCUB] Algorithm completed after 0.382 second. Computing post^3 from 4 states.  Fixpoint reached at a depth of 4: 6 states with 5 transitions in the final state space.  [NZCUB] Algorithm completed after 0.383 second. Computing post^4 from 3 states.  2 states merged within 6 states. Computing post^5 from 4 states. IMITATOR successfully terminated (after 0.404 second) IMITATOR successfully terminated (after 0.406 second) IMITATOR successfully terminated (after 0.407 second)  Automaton name: machine, Number of models: 5  Transformation completed Starting running algorithm NZCUB…  Computing post^1 from 1 state.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^6 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^2 from 1 state.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^7 from 5 states. Computing post^3 from 1 state.  [NZCUB] Found a cycle. Computing post^4 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^5 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^8 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^6 from 4 states.  2 states merged within 7 states. Computing post^9 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  1 state merged within 4 states. Computing post^7 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^8 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^10 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^9 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^10 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^11 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^11 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^12 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^12 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^13 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^14 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 7 states.  [NZCUB] Non-Zeno cycle found! Computing post^13 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^15 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^16 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states.  [NZCUB] Found a cycle. Computing post^14 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^17 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^18 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^19 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  2 states merged within 7 states. Computing post^20 from 4 states. Computing post^15 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^21 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^22 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^23 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 7 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^16 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^24 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^25 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^26 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^27 from 4 states.  2 states merged within 7 states.  [NZCUB] Found a cycle. Computing post^17 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^28 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^29 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^30 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states.  [NZCUB] Found a cycle. Computing post^18 from 5 states.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^31 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^32 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^33 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 7 states.  [NZCUB] Non-Zeno cycle found! Computing post^19 from 5 states.  2 states merged within 4 states. Computing post^34 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^35 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^36 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^37 from 4 states.  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^20 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^38 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^39 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^40 from 4 states.  [NZCUB] Found a cycle.  2 states merged within 7 states.  [NZCUB] Non-Zeno cycle found! Computing post^21 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^41 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^42 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^43 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 7 states.  [NZCUB] Non-Zeno cycle found! Computing post^22 from 5 states.  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^44 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^45 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^46 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  2 states merged within 7 states. Computing post^47 from 4 states. Computing post^23 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^48 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^49 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^50 from 4 states.  [NZCUB] Found a cycle.  2 states merged within 7 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^24 from 5 states.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^51 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^52 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^53 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states.  2 states merged within 4 states. Computing post^25 from 5 states. Computing post^54 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^55 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^56 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^57 from 4 states.  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^26 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^58 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^59 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^60 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^27 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^61 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^62 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^63 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states.  2 states merged within 4 states. Computing post^64 from 4 states.  [NZCUB] Found a cycle. Computing post^28 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^65 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^66 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^67 from 4 states.  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^29 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^68 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^69 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^70 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 7 states.  [NZCUB] Non-Zeno cycle found! Computing post^30 from 5 states.  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^71 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^72 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^73 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states.  [NZCUB] Non-Zeno cycle found! Computing post^31 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^74 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^75 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 7 states.  [NZCUB] Non-Zeno cycle found! Computing post^32 from 5 states.  2 states merged within 4 states. Computing post^76 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^77 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^78 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^79 from 4 states.  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^33 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^80 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^81 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^82 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^34 from 5 states.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^83 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^84 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^85 from 4 states.  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^35 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^86 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^87 from 4 states.  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^36 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^88 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^89 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 7 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^37 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^90 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^91 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^92 from 4 states.  [NZCUB] Found a cycle.  2 states merged within 7 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^38 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^93 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^94 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^95 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^96 from 4 states.  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^39 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^97 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^98 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^99 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^100 from 4 states.  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^40 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^101 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^102 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^103 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states.  2 states merged within 4 states. Computing post^41 from 5 states. Computing post^104 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^105 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^106 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^107 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^42 from 5 states.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^108 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^109 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^110 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^111 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^43 from 5 states.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^112 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^113 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^114 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^115 from 4 states.  [NZCUB] Found a cycle.  2 states merged within 7 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^44 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^116 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^117 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^118 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^119 from 4 states.  2 states merged within 7 states.  [NZCUB] Found a cycle. Computing post^45 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^120 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^121 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^122 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^123 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^46 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^124 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^125 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^126 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^127 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^47 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^128 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^129 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^130 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^131 from 4 states.  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^48 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^132 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^133 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^134 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^135 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^49 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^136 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^137 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^138 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^139 from 4 states.  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^50 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^140 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^141 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^142 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^143 from 4 states.  2 states merged within 7 states. Computing post^51 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^144 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^145 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^146 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states.  2 states merged within 4 states. Computing post^52 from 5 states. Computing post^147 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^148 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^149 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^150 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states.  2 states merged within 4 states. Computing post^53 from 5 states. Computing post^151 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^152 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^153 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^154 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 7 states.  [NZCUB] Non-Zeno cycle found! Computing post^54 from 5 states.  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^155 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^156 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^157 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^158 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^159 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^55 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^160 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^161 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^162 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^163 from 4 states.  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^56 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^164 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^165 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^166 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 7 states.  [NZCUB] Non-Zeno cycle found! Computing post^57 from 5 states.  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^167 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^168 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^169 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^170 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^58 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^171 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^172 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^173 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^174 from 4 states.  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^59 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^175 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^176 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^177 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^178 from 4 states.  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^60 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^179 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^180 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states. Computing post^181 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^182 from 4 states.  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^61 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^183 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^184 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^185 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^186 from 4 states.  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^62 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^187 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^188 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^189 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^190 from 4 states.  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^63 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^191 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^192 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^193 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^194 from 4 states.  2 states merged within 7 states. Computing post^64 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^195 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^196 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states.  [NZCUB] Found a cycle. Computing post^197 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^198 from 4 states.  [NZCUB] Found a cycle.  2 states merged within 7 states. Computing post^65 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 4 states. Computing post^199 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 4 states.  State space exploration stopped at a depth of 200: 401 states with 598 transitions in the final state space.  [NZCUB] Algorithm completed after 24.355 seconds. IMITATOR successfully terminated (after 24.405 seconds)  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^66 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^67 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^68 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^69 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^70 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^71 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^72 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^73 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^74 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^75 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^76 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^77 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^78 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^79 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^80 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^81 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^82 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^83 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^84 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^85 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^86 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^87 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^88 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^89 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^90 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^91 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^92 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^93 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^94 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^95 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^96 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^97 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^98 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^99 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^100 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^101 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^102 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^103 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^104 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^105 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^106 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^107 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^108 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^109 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^110 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^111 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^112 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^113 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^114 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^115 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^116 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^117 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^118 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^119 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^120 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^121 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^122 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^123 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^124 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^125 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^126 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^127 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^128 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^129 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^130 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^131 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^132 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^133 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^134 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^135 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^136 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^137 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^138 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^139 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^140 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^141 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^142 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^143 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^144 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^145 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^146 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^147 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^148 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^149 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^150 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^151 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^152 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^153 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^154 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^155 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^156 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^157 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^158 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^159 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^160 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^161 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^162 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^163 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^164 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^165 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^166 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^167 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^168 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^169 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^170 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^171 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^172 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^173 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^174 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^175 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^176 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^177 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^178 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^179 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^180 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^181 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^182 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^183 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^184 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^185 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^186 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^187 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^188 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^189 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^190 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^191 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^192 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^193 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^194 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^195 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^196 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^197 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^198 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states. Computing post^199 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 7 states.  State space exploration stopped at a depth of 200: 986 states with 2157 transitions in the final state space.  [NZCUB] Algorithm completed after 484.768 seconds. IMITATOR successfully terminated (after 821.463 seconds)  Final constraint such that the system is correct:  p9 >= p2 & p2 > 0 & p4 > 0 & p1 > 0 & p11 >= p2 & p3 >= p2 & p10 >= p2 OR p1 > 0 & p4 > 0 & p11 >= p9 & p3 >= p2 & 195*p9 >= p2 & p10 >= p2 & p2 >= p1 & p9 >= p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & p9 + p11 >= p2 & p10 >= p2 & p2 >= p1 & p9 >= p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 2*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 2*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 3*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 3*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 4*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 4*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 5*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 5*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 6*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 6*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 7*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 7*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 8*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 8*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 9*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 9*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 10*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 10*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 11*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 11*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 12*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 12*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 13*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 13*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 14*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 14*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 15*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 15*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 16*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 16*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 17*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 17*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 18*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 18*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 19*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 19*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 20*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 20*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 21*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 21*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 22*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 22*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 23*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 23*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 24*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 24*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 25*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 25*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 26*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 26*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 27*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 27*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 28*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 28*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 29*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 29*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 30*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 30*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 31*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 31*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 32*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 32*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 33*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 33*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 34*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 34*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 35*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 35*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 36*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 36*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 37*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 37*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 38*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 38*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 39*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 39*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 40*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 40*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 41*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 41*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 42*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 42*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 43*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 43*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 44*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 44*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 45*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 45*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 46*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 46*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 47*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 47*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 48*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 48*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 49*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 49*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 50*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 50*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 51*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 51*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 52*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 52*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 53*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 53*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 54*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 54*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 55*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 55*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 56*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 56*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 57*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 57*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 58*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 58*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 59*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 59*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 60*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 60*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 61*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 61*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 62*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 62*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 63*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 63*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 64*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 64*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 65*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 65*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 66*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 66*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 67*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 67*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 68*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 68*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 69*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 69*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 70*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 70*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 71*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 71*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 72*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 72*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 73*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 73*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 74*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 74*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 75*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 75*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 76*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 76*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 77*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 77*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 78*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 78*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 79*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 79*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 80*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 80*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 81*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 81*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 82*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 82*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 83*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 83*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 84*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 84*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 85*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 85*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 86*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 86*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 87*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 87*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 88*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 88*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 89*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 89*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 90*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 90*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 91*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 91*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 92*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 92*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 93*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 93*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 94*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 94*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 95*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 95*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 96*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 96*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 97*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 97*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 98*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 98*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 99*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 99*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 100*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 100*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 101*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 101*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 102*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 102*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 103*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 103*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 104*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 104*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 105*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 105*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 106*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 106*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 107*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 107*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 108*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 108*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 109*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 109*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 110*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 110*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 111*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 111*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 112*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 112*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 113*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 113*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 114*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 114*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 115*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 115*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 116*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 116*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 117*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 117*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 118*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 118*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 119*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 119*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 120*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 120*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 121*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 121*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 122*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 122*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 123*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 123*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 124*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 124*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 125*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 125*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 126*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 126*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 127*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 127*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 128*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 128*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 129*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 129*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 130*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 130*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 131*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 131*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 132*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 132*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 133*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 133*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 134*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 134*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 135*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 135*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 136*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 136*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 137*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 137*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 138*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 138*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 139*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 139*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 140*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 140*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 141*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 141*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 142*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 142*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 143*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 143*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 144*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 144*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 145*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 145*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 146*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 146*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 147*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 147*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 148*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 148*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 149*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 149*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 150*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 150*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 151*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 151*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 152*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 152*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 153*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 153*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 154*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 154*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 155*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 155*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 156*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 156*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 157*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 157*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 158*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 158*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 159*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 159*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 160*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 160*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 161*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 161*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 162*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 162*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 163*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 163*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 164*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 164*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 165*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 165*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 166*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 166*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 167*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 167*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 168*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 168*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 169*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 169*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 170*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 170*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 171*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 171*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 172*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 172*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 173*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 173*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 174*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 174*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 175*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 175*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 176*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 176*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 177*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 177*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 178*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 178*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 179*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 179*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 180*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 180*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 181*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 181*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 182*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 182*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 183*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 183*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 184*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 184*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 185*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 185*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 186*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 186*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 187*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 187*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 188*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 188*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 189*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 189*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 190*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 190*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 191*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 191*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 192*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 192*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 193*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 193*p1 OR p1 > 0 & p4 > 0 & p9 > p11 & p11 > 0 & p3 >= p2 & 194*p9 + p11 >= p2 & p10 >= p2 & p9 >= p1 & p2 >= 194*p1 This good constraint is exact (sound and complete)  Result written to file '/home/royal/Desktop/experiments/Etienne/6/coffee/NZCUBtransdist.res'. IMITATOR successfully terminated (after 823.823 seconds)