************************************************************ * 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/8/WFAS-BBLS15-det/WFAS-BBLS15-det.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 * ************************************************************ ************************************************************ * 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/8/WFAS-BBLS15-det/WFAS-BBLS15-det.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. Model: /home/royal/Desktop/experiments/Etienne/8/WFAS-BBLS15-det/WFAS-BBLS15-det.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 * ************************************************************ ************************************************************ * 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/8/WFAS-BBLS15-det/WFAS-BBLS15-det.imi Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version. Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality). Model: /home/royal/Desktop/experiments/Etienne/8/WFAS-BBLS15-det/WFAS-BBLS15-det.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. 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/8/WFAS-BBLS15-det/WFAS-BBLS15-det.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. ************************************************************ * 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 * ************************************************************ Merging technique of [AFS13] enabled. The result will be written to a file. Model: /home/royal/Desktop/experiments/Etienne/8/WFAS-BBLS15-det/WFAS-BBLS15-det.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/8/WFAS-BBLS15-det/WFAS-BBLS15-det.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… Generating the transformed model… Generating the transformed model…  Automaton name: sensor1, Number of models: 7 Automaton name: sensor2, Number of models: 7 Automaton name: controller, Number of models: 3  Transformation completed  Automaton name: sensor1, Number of models: 7 Automaton name: sensor2, Number of models: 7 Automaton name: controller, Number of models: 3  Transformation completed Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states.  Automaton name: sensor1, Number of models: 7 Automaton name: sensor2, Number of models: 7 Automaton name: controller, Number of models: 3  Transformation completed Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 16 states. Computing post^2 from 7 states.  Automaton name: sensor1, Number of models: 7 Automaton name: sensor2, Number of models: 7 Automaton name: controller, Number of models: 3  Transformation completed Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.057 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 9 states. Computing post^3 from 16 states. Computing post^3 from 16 states. Computing post^3 from 18 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.107 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  Fixpoint reached at a depth of 4: 28 states with 45 transitions in the final state space.  [NZCUB] Algorithm completed after 7.112 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 9 states. Computing post^2 from 9 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.128 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 9 states. Computing post^3 from 18 states.  4 states merged within 26 states.  Fixpoint reached at a depth of 4: 28 states with 45 transitions in the final state space.  [NZCUB] Algorithm completed after 7.161 seconds. Computing post^3 from 22 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 9 states. Computing post^3 from 22 states.  4 states merged within 26 states. Computing post^3 from 22 states.  3 states merged within 15 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 44 states with 105 transitions in the final state space.  [NZCUB] Algorithm completed after 7.222 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 9 states.  6 states merged within 18 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 44 states with 105 transitions in the final state space.  [NZCUB] Algorithm completed after 7.244 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 8 states.  3 states merged within 15 states. Computing post^3 from 22 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 44 states with 105 transitions in the final state space.  [NZCUB] Algorithm completed after 7.323 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 17 states. Computing post^2 from 7 states. Computing post^3 from 16 states.  3 states merged within 9 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 32 states with 68 transitions in the final state space.  [NZCUB] Algorithm completed after 7.361 seconds.  Automaton name: sensor1, Number of models: 7 Automaton name: sensor2, Number of models: 7 Automaton name: controller, Number of models: 3  Transformation completed  6 states merged within 18 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 44 states with 105 transitions in the final state space.  [NZCUB] Algorithm completed after 7.372 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 6 states. Computing post^2 from 7 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.395 seconds. Computing post^3 from 16 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^3 from 11 states. Computing post^3 from 16 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 7.424 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 16 states. Computing post^2 from 7 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.435 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.436 seconds. Computing post^2 from 7 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 6 states. Computing post^3 from 16 states. Computing post^3 from 11 states. Computing post^3 from 16 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.467 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 7.475 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 12 states. Computing post^2 from 7 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.486 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^3 from 12 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.535 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 12 states.  Fixpoint reached at a depth of 4: 20 states with 31 transitions in the final state space.  [NZCUB] Algorithm completed after 7.543 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^2 from 7 states.  Fixpoint reached at a depth of 4: 20 states with 31 transitions in the final state space.  [NZCUB] Algorithm completed after 7.550 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  2 states merged within 16 states. Computing post^3 from 14 states. Computing post^2 from 7 states.  2 states merged within 16 states. Computing post^3 from 14 states. Computing post^3 from 14 states. Computing post^3 from 14 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 28 states with 61 transitions in the final state space.  [NZCUB] Algorithm completed after 7.588 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 6 states.  6 states merged within 12 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 28 states with 61 transitions in the final state space.  [NZCUB] Algorithm completed after 7.608 seconds.  6 states merged within 12 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 28 states with 61 transitions in the final state space.  [NZCUB] Algorithm completed after 7.612 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 6 states. Computing post^3 from 10 states.  Fixpoint reached at a depth of 5: 28 states with 61 transitions in the final state space.  [NZCUB] Algorithm completed after 7.613 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^2 from 7 states. Computing post^2 from 7 states.  3 states merged within 6 states. Computing post^4 from 3 states.  Fixpoint reached at a depth of 5: 20 states with 39 transitions in the final state space.  [NZCUB] Algorithm completed after 7.636 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^3 from 16 states. Computing post^3 from 16 states. Computing post^3 from 16 states. Computing post^3 from 16 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.677 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 12 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.684 seconds.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.684 seconds. Starting running algorithm NZCUB…  Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^2 from 6 states. Computing post^2 from 7 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.705 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^3 from 11 states. Computing post^3 from 16 states. Computing post^3 from 16 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 7.731 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^3 from 16 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.753 seconds. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.753 seconds. Starting running algorithm NZCUB…  Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^2 from 7 states. Computing post^3 from 16 states.  Automaton name: sensor1, Number of models: 7 Automaton name: sensor2, Number of models: 7 Automaton name: controller, Number of models: 3  Transformation completed Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.784 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Starting running algorithm NZCUB…  Computing post^3 from 16 states. Computing post^1 from 1 state. Computing post^3 from 16 states. Computing post^2 from 7 states. Computing post^2 from 7 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.811 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^3 from 16 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.828 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.832 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 6 states. Computing post^2 from 6 states. Computing post^3 from 16 states. Computing post^3 from 11 states. Computing post^3 from 11 states. Computing post^3 from 16 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.864 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 6 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 7.877 seconds. Computing post^4 from 6 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 7.880 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 6 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.887 seconds. Computing post^2 from 6 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 11 states. Computing post^2 from 6 states. Computing post^3 from 11 states. Computing post^3 from 11 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.904 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 6 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space. Computing post^3 from 11 states.  [NZCUB] Algorithm completed after 7.918 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 7.922 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 7.927 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^3 from 11 states. Computing post^2 from 7 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 7.935 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 7 states. Computing post^2 from 7 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 7.947 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 3 states.  Fixpoint reached at a depth of 5: 16 states with 28 transitions in the final state space.  [NZCUB] Algorithm completed after 7.951 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^3 from 16 states. Computing post^2 from 7 states. Computing post^3 from 16 states. Computing post^3 from 16 states. Computing post^3 from 16 states. Computing post^3 from 16 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.078 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.092 seconds. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.096 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 6 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.104 seconds. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.107 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 16 states. Computing post^2 from 9 states. Computing post^2 from 9 states. Computing post^2 from 9 states. Computing post^3 from 11 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 8.141 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.146 seconds. Computing post^3 from 18 states. Computing post^2 from 9 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  4 states merged within 26 states. Computing post^2 from 9 states. Computing post^3 from 22 states.  Fixpoint reached at a depth of 4: 28 states with 45 transitions in the final state space.  [NZCUB] Algorithm completed after 8.164 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 9 states. Computing post^3 from 18 states. Computing post^3 from 22 states.  4 states merged within 26 states. Computing post^3 from 22 states.  Fixpoint reached at a depth of 4: 28 states with 45 transitions in the final state space.  [NZCUB] Algorithm completed after 8.209 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 22 states.  3 states merged within 15 states. Computing post^2 from 8 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 44 states with 105 transitions in the final state space.  [NZCUB] Algorithm completed after 8.225 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states.  6 states merged within 18 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 44 states with 105 transitions in the final state space.  [NZCUB] Algorithm completed after 8.275 seconds.  3 states merged within 15 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  6 states merged within 18 states. Computing post^3 from 16 states. Computing post^2 from 7 states. Computing post^4 from 12 states. Computing post^3 from 17 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 44 states with 105 transitions in the final state space.  [NZCUB] Algorithm completed after 8.292 seconds.  Fixpoint reached at a depth of 5: 44 states with 105 transitions in the final state space.  [NZCUB] Algorithm completed after 8.292 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^2 from 7 states. Computing post^3 from 16 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.317 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^3 from 16 states. Computing post^3 from 16 states.  3 states merged within 9 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.349 seconds. Computing post^3 from 16 states. Computing post^4 from 6 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  Fixpoint reached at a depth of 5: 32 states with 68 transitions in the final state space.  [NZCUB] Algorithm completed after 8.353 seconds. Computing post^2 from 7 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.364 seconds. Computing post^2 from 6 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.371 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^2 from 7 states. Computing post^3 from 16 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.387 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 12 states. Computing post^2 from 7 states. Computing post^3 from 11 states. Computing post^3 from 12 states.  Fixpoint reached at a depth of 4: 20 states with 31 transitions in the final state space.  [NZCUB] Algorithm completed after 8.407 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  Fixpoint reached at a depth of 4: 20 states with 31 transitions in the final state space.  [NZCUB] Algorithm completed after 8.408 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^2 from 7 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.419 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  2 states merged within 16 states. Computing post^2 from 7 states. Computing post^3 from 14 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 8.434 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  2 states merged within 16 states. Computing post^3 from 14 states. Computing post^3 from 14 states. Computing post^2 from 6 states. Computing post^3 from 14 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 28 states with 61 transitions in the final state space.  [NZCUB] Algorithm completed after 8.462 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  6 states merged within 12 states. Computing post^2 from 7 states. Computing post^4 from 6 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 28 states with 61 transitions in the final state space.  [NZCUB] Algorithm completed after 8.473 seconds.  Fixpoint reached at a depth of 5: 28 states with 61 transitions in the final state space.  [NZCUB] Algorithm completed after 8.472 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 10 states.  6 states merged within 12 states. Computing post^2 from 7 states. Computing post^2 from 7 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 28 states with 61 transitions in the final state space.  [NZCUB] Algorithm completed after 8.487 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^3 from 16 states.  3 states merged within 6 states. Computing post^3 from 16 states. Computing post^3 from 16 states. Computing post^4 from 3 states.  Fixpoint reached at a depth of 5: 20 states with 39 transitions in the final state space.  [NZCUB] Algorithm completed after 8.508 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 16 states. Computing post^2 from 7 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space. Computing post^4 from 12 states.  [NZCUB] Algorithm completed after 8.540 seconds.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.540 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.546 seconds. Computing post^2 from 6 states. Computing post^2 from 7 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.556 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^2 from 7 states. Computing post^3 from 11 states. Computing post^3 from 16 states. Computing post^3 from 16 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 8.587 seconds. Computing post^3 from 16 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 16 states. Computing post^2 from 7 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.615 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 16 states. Computing post^2 from 7 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.625 seconds. Computing post^4 from 12 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.631 seconds. Computing post^2 from 7 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.636 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 6 states. Computing post^2 from 7 states. Computing post^3 from 16 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.651 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 16 states. Computing post^3 from 11 states. Computing post^2 from 6 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 8.680 seconds. Computing post^3 from 11 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 6 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.689 seconds. Computing post^3 from 16 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.707 seconds. Computing post^2 from 6 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 8.711 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 6 states. Computing post^2 from 6 states. Computing post^3 from 11 states. Computing post^3 from 11 states. Computing post^3 from 11 states. Computing post^3 from 11 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 8.750 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 8.754 seconds. Computing post^2 from 6 states. Computing post^4 from 6 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 8.756 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states. Computing post^2 from 5 states. Computing post^4 from 12 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 8.771 seconds.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.772 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 11 states. Computing post^3 from 7 states. Computing post^3 from 8 states. Computing post^2 from 5 states. Computing post^2 from 5 states. Computing post^4 from 3 states.  Fixpoint reached at a depth of 5: 16 states with 28 transitions in the final state space.  [NZCUB] Algorithm completed after 8.787 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 4 states. Computing post^2 from 5 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 8.796 seconds.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 8.796 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states. Computing post^2 from 5 states. Computing post^3 from 8 states. Computing post^3 from 8 states. Computing post^3 from 8 states. Computing post^3 from 8 states. Computing post^3 from 8 states. Computing post^4 from 4 states. Computing post^4 from 4 states. Computing post^4 from 6 states. Computing post^4 from 4 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 8.828 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 4 states. Computing post^2 from 4 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 8.836 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 5 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 8.843 seconds. Computing post^2 from 7 states.  4 states merged within 8 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 8.845 seconds. Computing post^5 from 4 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 4 states. Computing post^2 from 7 states. Computing post^2 from 7 states. Computing post^3 from 6 states.  2 states merged within 6 states.  Fixpoint reached at a depth of 4: 14 states with 19 transitions in the final state space.  [NZCUB] Algorithm completed after 8.861 seconds.  2 states merged within 6 states. Starting running algorithm NZCUB…  Computing post^6 from 4 states. Computing post^1 from 1 state. Computing post^5 from 4 states. Computing post^2 from 7 states. Computing post^7 from 6 states.  Fixpoint reached at a depth of 8: 34 states with 55 transitions in the final state space.  [NZCUB] Algorithm completed after 8.873 seconds. Computing post^3 from 6 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  1 state merged within 5 states. Computing post^6 from 4 states. Computing post^2 from 7 states.  4 states merged within 14 states.  Fixpoint reached at a depth of 4: 14 states with 19 transitions in the final state space.  [NZCUB] Algorithm completed after 8.888 seconds. Computing post^7 from 4 states.  Fixpoint reached at a depth of 8: 26 states with 40 transitions in the final state space.  [NZCUB] Algorithm completed after 8.888 seconds. Starting running algorithm NZCUB…  Computing post^3 from 10 states. Computing post^1 from 1 state. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 10 states. Computing post^2 from 6 states. Computing post^2 from 7 states.  4 states merged within 14 states. Computing post^3 from 10 states.  2 states merged within 6 states. Computing post^3 from 7 states. Computing post^4 from 4 states.  Fixpoint reached at a depth of 5: 22 states with 47 transitions in the final state space.  [NZCUB] Algorithm completed after 8.921 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  1 state merged within 5 states.  1 state merged within 5 states. Computing post^4 from 4 states.  1 state merged within 5 states. Computing post^2 from 5 states. Computing post^4 from 4 states. Computing post^4 from 4 states.  Fixpoint reached at a depth of 5: 22 states with 47 transitions in the final state space.  [NZCUB] Algorithm completed after 8.940 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 10 states.  Fixpoint reached at a depth of 5: 22 states with 47 transitions in the final state space.  [NZCUB] Algorithm completed after 8.945 seconds. Computing post^2 from 5 states. Computing post^3 from 8 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  2 states merged within 6 states. Computing post^2 from 5 states. Computing post^5 from 4 states. Computing post^3 from 8 states. Computing post^4 from 4 states. Computing post^3 from 8 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 8.963 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  2 states merged within 6 states. Computing post^2 from 5 states. Computing post^4 from 4 states. Computing post^6 from 4 states. Computing post^4 from 4 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 8.977 seconds.  2 states merged within 8 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 8 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 8.984 seconds. Computing post^2 from 5 states. Computing post^4 from 6 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states. Computing post^3 from 8 states. Computing post^4 from 4 states. Computing post^3 from 8 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 8.999 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 4 states. Computing post^2 from 4 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 9.061 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 5 states. Computing post^4 from 6 states. Computing post^7 from 22 states. Computing post^2 from 5 states. Computing post^4 from 4 states. Computing post^5 from 4 states. Computing post^3 from 4 states.  Fixpoint reached at a depth of 4: 10 states with 13 transitions in the final state space.  [NZCUB] Algorithm completed after 9.113 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  4 states merged within 8 states.  2 states merged within 6 states. Computing post^5 from 4 states. Computing post^2 from 5 states. Computing post^5 from 4 states. Computing post^3 from 4 states.  Fixpoint reached at a depth of 4: 10 states with 13 transitions in the final state space.  [NZCUB] Algorithm completed after 9.129 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  1 state merged within 5 states.  2 states merged within 6 states. Computing post^6 from 4 states. Computing post^2 from 5 states. Computing post^6 from 4 states.  1 state merged within 5 states. Computing post^7 from 4 states.  Fixpoint reached at a depth of 8: 26 states with 40 transitions in the final state space.  [NZCUB] Algorithm completed after 9.143 seconds. Computing post^6 from 4 states. Starting running algorithm NZCUB…   2 states merged within 8 states. Computing post^1 from 1 state. Computing post^3 from 6 states. Computing post^7 from 6 states.  Fixpoint reached at a depth of 8: 34 states with 55 transitions in the final state space.  [NZCUB] Algorithm completed after 9.149 seconds. Computing post^2 from 5 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states. Computing post^4 from 2 states. Computing post^3 from 6 states.  Fixpoint reached at a depth of 5: 14 states with 27 transitions in the final state space.  [NZCUB] Algorithm completed after 9.165 seconds.  2 states merged within 8 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 6 states. Computing post^2 from 5 states.  2 states merged within 4 states. Computing post^4 from 2 states. Computing post^4 from 2 states.  Fixpoint reached at a depth of 5: 14 states with 27 transitions in the final state space.  [NZCUB] Algorithm completed after 9.178 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  Fixpoint reached at a depth of 5: 14 states with 27 transitions in the final state space.  [NZCUB] Algorithm completed after 9.182 seconds. Computing post^2 from 4 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 6 states. Computing post^2 from 5 states. Computing post^3 from 4 states.  Automaton name: sensor1, Number of models: 7 Automaton name: sensor2, Number of models: 7 Automaton name: controller, Number of models: 3  Transformation completed  2 states merged within 6 states. Computing post^4 from 4 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  1 state merged within 4 states. Computing post^3 from 8 states. Computing post^4 from 3 states.  2 states merged within 4 states. Computing post^5 from 2 states. Computing post^5 from 2 states. Computing post^2 from 7 states. Computing post^4 from 4 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 9.217 seconds.  1 state merged within 3 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^6 from 2 states. Computing post^6 from 2 states. Computing post^2 from 5 states. Computing post^7 from 24 states. Computing post^3 from 8 states. Computing post^3 from 16 states. Computing post^7 from 13 states. Computing post^7 from 12 states. Computing post^4 from 4 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 9.252 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states. Computing post^3 from 8 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 9.272 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 4 states. Computing post^2 from 5 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 9.284 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states. Computing post^3 from 8 states. Computing post^3 from 8 states. Computing post^4 from 4 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 9.308 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 4 states. Computing post^2 from 5 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 9.319 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 4 states. Computing post^3 from 8 states. Computing post^3 from 5 states. Computing post^4 from 4 states. Computing post^4 from 6 states.  2 states merged within 6 states. Computing post^5 from 4 states.  4 states merged within 8 states. Computing post^5 from 4 states.  1 state merged within 5 states. Computing post^6 from 4 states. Computing post^8 from 16 states.  2 states merged within 6 states. Computing post^6 from 4 states. Computing post^7 from 4 states.  Fixpoint reached at a depth of 8: 26 states with 40 transitions in the final state space.  [NZCUB] Algorithm completed after 9.378 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^8 from 11 states. Computing post^2 from 5 states. Computing post^7 from 6 states.  Fixpoint reached at a depth of 8: 34 states with 55 transitions in the final state space.  [NZCUB] Algorithm completed after 9.387 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states. Computing post^3 from 8 states. Computing post^9 from 4 states. Computing post^3 from 8 states. Computing post^9 from 3 states. Computing post^4 from 4 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 9.416 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states. Computing post^4 from 4 states. Computing post^10 from 2 states. Computing post^10 from 3 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 9.427 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 8 states. Computing post^2 from 5 states.  1 state merged within 21 states. Computing post^3 from 8 states. Computing post^4 from 4 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 9.453 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 4 states. Computing post^2 from 5 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 9.464 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^8 from 20 states. Computing post^2 from 5 states. Computing post^3 from 8 states. Computing post^3 from 8 states. Computing post^4 from 4 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 9.492 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 6 states. Computing post^2 from 4 states. Computing post^3 from 5 states.  4 states merged within 8 states.  Automaton name: sensor1, Number of models: 7 Automaton name: sensor2, Number of models: 7 Automaton name: controller, Number of models: 3  Transformation completed Computing post^5 from 4 states. Computing post^4 from 4 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  2 states merged within 6 states.  2 states merged within 6 states. Computing post^5 from 4 states. Computing post^2 from 7 states. Computing post^6 from 4 states. Computing post^11 from 21 states.  1 state merged within 5 states. Computing post^6 from 4 states. Computing post^7 from 8 states. Computing post^9 from 6 states. Computing post^7 from 6 states. Computing post^3 from 16 states. Computing post^8 from 5 states. Computing post^11 from 32 states. Computing post^8 from 4 states.  1 state merged within 30 states. Computing post^4 from 12 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 9.636 seconds. Computing post^9 from 6 states. Computing post^9 from 8 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 4 states. Computing post^8 from 29 states. Computing post^3 from 5 states. Computing post^4 from 2 states.  Fixpoint reached at a depth of 5: 12 states with 20 transitions in the final state space.  [NZCUB] Algorithm completed after 9.664 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^10 from 4 states. Computing post^10 from 4 states. Computing post^2 from 4 states. Computing post^3 from 5 states. Computing post^10 from 6 states. Computing post^4 from 2 states.  Fixpoint reached at a depth of 5: 12 states with 20 transitions in the final state space.  [NZCUB] Algorithm completed after 9.682 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 4 states. Computing post^3 from 5 states. Computing post^4 from 2 states.  Fixpoint reached at a depth of 5: 12 states with 20 transitions in the final state space.  [NZCUB] Algorithm completed after 9.702 seconds. Starting running algorithm NZCUB…  Computing post^11 from 6 states. Computing post^1 from 1 state. Computing post^2 from 4 states. Computing post^3 from 5 states. Computing post^4 from 2 states.  Fixpoint reached at a depth of 5: 12 states with 20 transitions in the final state space.  [NZCUB] Algorithm completed after 9.724 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^9 from 8 states. Computing post^2 from 4 states. Computing post^3 from 5 states. Computing post^4 from 2 states. Computing post^12 from 7 states. Computing post^11 from 10 states.  Fixpoint reached at a depth of 5: 12 states with 20 transitions in the final state space.  [NZCUB] Algorithm completed after 9.791 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 4 states. Computing post^3 from 5 states. Computing post^4 from 4 states.  2 states merged within 4 states. Computing post^5 from 2 states.  1 state merged within 3 states. Computing post^6 from 2 states. Computing post^7 from 5 states. Computing post^13 from 10 states. Computing post^10 from 6 states. Computing post^8 from 4 states.  1 state merged within 13 states. Computing post^12 from 12 states. Computing post^9 from 4 states. Computing post^14 from 6 states. Computing post^10 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^11 from 8 states. Computing post^13 from 14 states. Computing post^15 from 8 states. Computing post^12 from 22 states.  1 state merged within 10 states. Computing post^16 from 7 states. Computing post^12 from 9 states. Computing post^14 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^11 from 38 states. Computing post^13 from 7 states.  [NZCUB] Non-Zeno cycle found! Computing post^17 from 6 states. Computing post^14 from 4 states. Computing post^18 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^15 from 14 states.  5 states merged within 43 states. Computing post^13 from 16 states. Computing post^19 from 6 states. Computing post^12 from 38 states. Computing post^15 from 10 states. Computing post^20 from 7 states. Computing post^16 from 11 states.  [NZCUB] Found a cycle.  1 state merged within 9 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^16 from 8 states.  [NZCUB] Non-Zeno cycle found!  [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. Computing post^21 from 6 states. Computing post^11 from 58 states.  [NZCUB] Non-Zeno cycle found! Computing post^17 from 4 states. Computing post^17 from 8 states. Computing post^22 from 4 states. Computing post^18 from 3 states. Computing post^14 from 7 states. Computing post^18 from 6 states. Computing post^23 from 6 states. Computing post^19 from 8 states. Computing post^13 from 18 states. Computing post^24 from 7 states. Computing post^19 from 10 states.  1 state merged within 9 states.  [NZCUB] Found a cycle. Computing post^20 from 8 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.  [NZCUB] Non-Zeno cycle found! Computing post^25 from 6 states. Computing post^21 from 4 states.  1 state merged within 12 states. Computing post^26 from 4 states. Computing post^22 from 3 states. Computing post^20 from 11 states. Computing post^27 from 6 states.  [NZCUB] Found a cycle. Computing post^23 from 8 states.  [NZCUB] Non-Zeno cycle found! Computing post^14 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^28 from 7 states. Computing post^21 from 8 states.  1 state merged within 9 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^24 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^22 from 6 states.  [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!  [NZCUB] Found a cycle. Computing post^29 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^30 from 4 states. Computing post^25 from 4 states. Computing post^15 from 32 states. Computing post^26 from 3 states. Computing post^23 from 10 states. Computing post^31 from 6 states. Computing post^27 from 8 states. Computing post^32 from 7 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.  1 state merged within 12 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^24 from 11 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  1 state merged within 9 states. Computing post^28 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^33 from 6 states.  [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! Computing post^34 from 4 states. Computing post^29 from 4 states. Computing post^25 from 8 states. Computing post^30 from 3 states. Computing post^35 from 6 states. Computing post^15 from 46 states. Computing post^26 from 6 states. Computing post^36 from 7 states. Computing post^31 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^27 from 10 states.  [NZCUB] Non-Zeno cycle found! Computing post^32 from 8 states.  [NZCUB] Found a cycle. Computing post^37 from 6 states.  8 states merged within 29 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^16 from 24 states. Computing post^38 from 4 states.  1 state merged within 12 states. Computing post^33 from 4 states. Computing post^28 from 11 states. Computing post^34 from 3 states. Computing post^39 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^40 from 7 states.  [NZCUB] Non-Zeno cycle found! Computing post^35 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^29 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^17 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^36 from 8 states. Computing post^30 from 6 states.  [NZCUB] Found a cycle. Computing post^41 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^18 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^42 from 4 states. Computing post^37 from 4 states. Computing post^31 from 10 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^43 from 6 states. Computing post^38 from 3 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. Computing post^44 from 7 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^32 from 11 states. Computing post^39 from 8 states.  11 states merged within 42 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^16 from 37 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. Computing post^40 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  1 state merged within 41 states. Computing post^45 from 6 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! Computing post^33 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^46 from 4 states.  [NZCUB] Found a cycle. Computing post^12 from 40 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^41 from 4 states. Computing post^34 from 6 states. Computing post^47 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^17 from 4 states. Computing post^42 from 3 states. Computing post^18 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^48 from 7 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^35 from 10 states. Computing post^43 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^44 from 8 states. Computing post^49 from 6 states. Computing post^36 from 11 states.  [NZCUB] Found a cycle. Computing post^19 from 22 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^50 from 4 states. Computing post^19 from 32 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^51 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^45 from 4 states.  [NZCUB] Found a cycle. Computing post^46 from 3 states. Computing post^37 from 8 states.  [NZCUB] Non-Zeno cycle found! Computing post^52 from 7 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^38 from 6 states. Computing post^47 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^48 from 8 states. Computing post^53 from 6 states. Computing post^39 from 10 states.  [NZCUB] Found a cycle. Computing post^54 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^55 from 6 states. Computing post^40 from 11 states. Computing post^49 from 4 states. Computing post^20 from 17 states. Computing post^50 from 3 states.  5 states merged within 33 states. Computing post^56 from 7 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^20 from 28 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^51 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^41 from 8 states.  [NZCUB] Found a cycle. Computing post^13 from 30 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^57 from 6 states. Computing post^52 from 8 states. Computing post^42 from 6 states.  [NZCUB] Found a cycle. Computing post^21 from 3 states. Computing post^21 from 4 states. Computing post^58 from 4 states. Computing post^22 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^22 from 3 states.  11 states merged within 80 states.  [NZCUB] Non-Zeno cycle found! Computing post^12 from 69 states. Computing post^43 from 10 states. Computing post^59 from 6 states. Computing post^53 from 4 states. Computing post^54 from 3 states. Computing post^60 from 7 states. Computing post^23 from 21 states.  [NZCUB] Found a cycle. Computing post^44 from 11 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^55 from 8 states.  [NZCUB] Found a cycle. Computing post^23 from 32 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^61 from 6 states. Computing post^56 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^45 from 8 states. Computing post^62 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^46 from 6 states. Computing post^63 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^57 from 4 states. Computing post^64 from 7 states. Computing post^58 from 3 states.  [NZCUB] Found a cycle. Computing post^47 from 10 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^59 from 8 states.  [NZCUB] Non-Zeno cycle found! Computing post^24 from 17 states. Computing post^48 from 11 states. Computing post^65 from 6 states. Computing post^14 from 13 states.  [NZCUB] Found a cycle. Computing post^60 from 8 states.  [NZCUB] Found a cycle.  5 states merged within 33 states.  [NZCUB] Found a cycle. Computing post^66 from 4 states.  [NZCUB] Non-Zeno cycle found!  1 state merged within 35 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^24 from 28 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^13 from 34 states.  [NZCUB] Non-Zeno cycle found! Computing post^67 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^49 from 8 states. Computing post^25 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^61 from 4 states.  [NZCUB] Found a cycle. Computing post^68 from 7 states.  [NZCUB] Non-Zeno cycle found! Computing post^62 from 3 states.  [NZCUB] Found a cycle. Computing post^26 from 2 states. Computing post^50 from 6 states. Computing post^25 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^26 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^63 from 8 states. Computing post^51 from 10 states. Computing post^69 from 6 states. Computing post^27 from 21 states. Computing post^70 from 4 states. Computing post^64 from 8 states. Computing post^52 from 11 states.  [NZCUB] Found a cycle. Computing post^71 from 6 states.  [NZCUB] Found a cycle. Computing post^27 from 32 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^72 from 7 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^65 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^66 from 3 states.  [NZCUB] Found a cycle. Computing post^53 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^54 from 6 states. Computing post^67 from 8 states. Computing post^73 from 6 states. Computing post^74 from 4 states. Computing post^68 from 8 states.  [NZCUB] Found a cycle. Computing post^55 from 10 states. Computing post^14 from 15 states. Computing post^28 from 17 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^75 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^56 from 11 states. Computing post^76 from 7 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^69 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^70 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^29 from 3 states. Computing post^71 from 8 states.  5 states merged within 33 states.  [NZCUB] Non-Zeno cycle found! Computing post^57 from 8 states. Computing post^28 from 28 states. Computing post^30 from 2 states. Computing post^77 from 6 states. Computing post^72 from 8 states. Computing post^58 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^78 from 4 states.  [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!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^79 from 6 states.  [NZCUB] Found a cycle. Computing post^59 from 10 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^29 from 4 states.  [NZCUB] Found a cycle. Computing post^31 from 21 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^73 from 4 states. Computing post^30 from 3 states.  [NZCUB] Found a cycle. Computing post^80 from 7 states.  [NZCUB] Non-Zeno cycle found! Computing post^74 from 3 states.  [NZCUB] Found a cycle. Computing post^60 from 11 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^75 from 8 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] Non-Zeno cycle found! Computing post^81 from 6 states. Computing post^76 from 8 states.  [NZCUB] Found a cycle. Computing post^31 from 32 states.  [NZCUB] Found a cycle. Computing post^61 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^82 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^32 from 17 states.  [NZCUB] Found a cycle. Computing post^62 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^83 from 6 states.  [NZCUB] Found a cycle. Computing post^77 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^84 from 7 states. Computing post^63 from 10 states. Computing post^78 from 3 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.  [NZCUB] Non-Zeno cycle found! Computing post^33 from 3 states.  [NZCUB] Found a cycle. Computing post^79 from 8 states. Computing post^64 from 11 states.  [NZCUB] Non-Zeno cycle found! Computing post^34 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^80 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^85 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^32 from 28 states.  [NZCUB] Non-Zeno cycle found! Computing post^86 from 4 states.  [NZCUB] Found a cycle. Computing post^65 from 8 states. Computing post^35 from 21 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^87 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^81 from 4 states.  [NZCUB] Found a cycle. Computing post^66 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^82 from 3 states. Computing post^88 from 7 states. Computing post^33 from 4 states.  [NZCUB] Found a cycle. Computing post^34 from 3 states. Computing post^83 from 8 states. Computing post^67 from 10 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^84 from 8 states. Computing post^68 from 11 states.  [NZCUB] Found a cycle.  2 states merged within 59 states. Computing post^89 from 6 states. Computing post^36 from 17 states. Computing post^15 from 57 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^90 from 4 states. Computing post^35 from 32 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^91 from 6 states. Computing post^85 from 4 states. Computing post^69 from 8 states. Computing post^86 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^92 from 7 states.  [NZCUB] Found a cycle. Computing post^37 from 3 states. Computing post^70 from 6 states. Computing post^38 from 2 states. Computing post^87 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^88 from 8 states. Computing post^71 from 10 states.  [NZCUB] Found a cycle. Computing post^93 from 6 states. Computing post^15 from 82 states. Computing post^39 from 21 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^94 from 4 states. Computing post^36 from 28 states. Computing post^72 from 11 states.  [NZCUB] Non-Zeno cycle found! Computing post^95 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^89 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^96 from 7 states.  [NZCUB] Non-Zeno cycle found! Computing post^90 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^37 from 4 states. Computing post^38 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^91 from 8 states.  [NZCUB] Found a cycle. Computing post^73 from 8 states. Computing post^40 from 17 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^74 from 6 states. Computing post^97 from 6 states. Computing post^92 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^98 from 4 states. Computing post^39 from 32 states. Computing post^75 from 10 states.  [NZCUB] Non-Zeno cycle found! Computing post^99 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^41 from 3 states. Computing post^42 from 2 states. Computing post^100 from 7 states. Computing post^76 from 11 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^93 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^94 from 3 states. Computing post^43 from 21 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^101 from 6 states. Computing post^95 from 8 states. Computing post^77 from 8 states. Computing post^102 from 4 states. Computing post^40 from 28 states. Computing post^78 from 6 states. Computing post^103 from 6 states. Computing post^96 from 8 states.  [NZCUB] Found a cycle. Computing post^104 from 7 states.  [NZCUB] Found a cycle. Computing post^79 from 10 states.  [NZCUB] Found a cycle. Computing post^44 from 17 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] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^80 from 11 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^41 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^105 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^42 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^45 from 3 states. Computing post^106 from 4 states. Computing post^97 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^46 from 2 states. Computing post^98 from 3 states. Computing post^107 from 6 states. Computing post^81 from 8 states. Computing post^108 from 7 states. Computing post^82 from 6 states.  [NZCUB] Found a cycle. Computing post^47 from 21 states. Computing post^99 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^83 from 10 states.  [NZCUB] Non-Zeno cycle found! Computing post^43 from 32 states. Computing post^109 from 6 states. Computing post^100 from 8 states.  [NZCUB] Found a cycle. Computing post^84 from 11 states. Computing post^110 from 4 states.  [NZCUB] Found a cycle. Computing post^111 from 6 states. Computing post^48 from 17 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^112 from 7 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^85 from 8 states.  [NZCUB] Non-Zeno cycle found! Computing post^101 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^102 from 3 states. Computing post^86 from 6 states. Computing post^49 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^50 from 2 states. Computing post^113 from 6 states. Computing post^103 from 8 states. Computing post^44 from 28 states. Computing post^114 from 4 states. Computing post^87 from 10 states.  [NZCUB] Found a cycle. Computing post^104 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^115 from 6 states.  [NZCUB] Found a cycle. Computing post^51 from 21 states.  [NZCUB] Non-Zeno cycle found! Computing post^88 from 11 states.  [NZCUB] Non-Zeno cycle found! Computing post^116 from 7 states.  [NZCUB] Found a cycle. Computing post^45 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^46 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^105 from 4 states. Computing post^106 from 3 states.  [NZCUB] Non-Zeno cycle found!  6 states merged within 49 states. Computing post^16 from 48 states.  [NZCUB] Non-Zeno cycle found! Computing post^89 from 8 states. Computing post^117 from 6 states. Computing post^107 from 8 states. Computing post^52 from 17 states. Computing post^47 from 32 states. Computing post^118 from 4 states.  [NZCUB] Found a cycle. Computing post^90 from 6 states. Computing post^108 from 8 states.  [NZCUB] Found a cycle. Computing post^119 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^120 from 7 states. Computing post^91 from 10 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^53 from 3 states. Computing post^109 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^54 from 2 states. Computing post^110 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^92 from 11 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^121 from 6 states. Computing post^48 from 28 states. Computing post^111 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^55 from 21 states.  [NZCUB] Found a cycle. Computing post^122 from 4 states. Computing post^17 from 13 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^112 from 8 states.  [NZCUB] Found a cycle. Computing post^123 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^93 from 8 states. Computing post^49 from 4 states. Computing post^124 from 7 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^50 from 3 states.  [NZCUB] Found a cycle. Computing post^94 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^18 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^113 from 4 states. Computing post^56 from 17 states. Computing post^114 from 3 states. Computing post^95 from 10 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^125 from 6 states. Computing post^51 from 32 states.  [NZCUB] Non-Zeno cycle found! Computing post^115 from 8 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] Found a cycle. Computing post^96 from 11 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^126 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^116 from 8 states.  [NZCUB] Non-Zeno cycle found!  [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! Computing post^57 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^58 from 2 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^127 from 6 states.  21 states merged within 87 states. Computing post^16 from 76 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^97 from 8 states. Computing post^117 from 4 states. Computing post^128 from 7 states.  [NZCUB] Non-Zeno cycle found! Computing post^118 from 3 states.  [NZCUB] Found a cycle. Computing post^59 from 21 states. Computing post^98 from 6 states.  [NZCUB] Found a cycle. Computing post^52 from 28 states.  [NZCUB] Non-Zeno cycle found! Computing post^119 from 8 states.  [NZCUB] Found a cycle.  [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^99 from 10 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^120 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^53 from 4 states. Computing post^54 from 3 states. Computing post^100 from 11 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^60 from 17 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^129 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^121 from 4 states. Computing post^17 from 10 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^122 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^130 from 4 states. Computing post^55 from 32 states. Computing post^101 from 8 states.  [NZCUB] Non-Zeno cycle found! Computing post^18 from 6 states. Computing post^123 from 8 states. Computing post^61 from 3 states.  [NZCUB] Found a cycle. Computing post^102 from 6 states. Computing post^131 from 6 states. Computing post^62 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^124 from 8 states.  [NZCUB] Found a cycle. Computing post^132 from 7 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^103 from 10 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^63 from 21 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^104 from 11 states.  [NZCUB] Non-Zeno cycle found! Computing post^125 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^126 from 3 states.  [NZCUB] Found a cycle. Computing post^56 from 28 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! Computing post^127 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^64 from 17 states.  [NZCUB] Non-Zeno cycle found! Computing post^105 from 8 states.  [NZCUB] Found a cycle. Computing post^133 from 6 states. Computing post^57 from 4 states. Computing post^128 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^58 from 3 states. Computing post^106 from 6 states. Computing post^134 from 4 states.  [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. Computing post^135 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^19 from 58 states.  [NZCUB] Non-Zeno cycle found! Computing post^107 from 10 states.  [NZCUB] Non-Zeno cycle found! Computing post^136 from 7 states. Computing post^129 from 4 states. Computing post^65 from 3 states.  [NZCUB] Found a cycle. Computing post^59 from 32 states. Computing post^130 from 3 states. Computing post^66 from 2 states. Computing post^108 from 11 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^131 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^137 from 6 states. Computing post^67 from 21 states. Computing post^132 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^138 from 4 states. Computing post^19 from 40 states.  [NZCUB] Non-Zeno cycle found! Computing post^109 from 8 states.  [NZCUB] Found a cycle. Computing post^139 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^110 from 6 states. Computing post^140 from 7 states. Computing post^60 from 28 states.  [NZCUB] Found a cycle. Computing post^133 from 4 states.  [NZCUB] Found a cycle. Computing post^134 from 3 states. Computing post^68 from 17 states.  [NZCUB] Non-Zeno cycle found! Computing post^111 from 10 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^135 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^61 from 4 states. Computing post^112 from 11 states.  [NZCUB] Found a cycle. Computing post^141 from 6 states. Computing post^62 from 3 states.  [NZCUB] Found a cycle. Computing post^136 from 8 states. Computing post^142 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^69 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^143 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^70 from 2 states.  [NZCUB] Found a cycle. Computing post^144 from 7 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^113 from 8 states. Computing post^63 from 32 states.  [NZCUB] Non-Zeno cycle found! Computing post^137 from 4 states. Computing post^138 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^114 from 6 states.  [NZCUB] Found a cycle. Computing post^71 from 21 states.  [NZCUB] Non-Zeno cycle found! Computing post^139 from 8 states.  [NZCUB] Non-Zeno cycle found! Computing post^115 from 10 states. Computing post^145 from 6 states. Computing post^146 from 4 states. Computing post^140 from 8 states.  [NZCUB] Found a cycle. Computing post^116 from 11 states. Computing post^147 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^72 from 17 states. Computing post^148 from 7 states. Computing post^64 from 28 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^141 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^142 from 3 states.  [NZCUB] Found a cycle. Computing post^117 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^65 from 4 states. Computing post^143 from 8 states. Computing post^118 from 6 states. Computing post^73 from 3 states. Computing post^149 from 6 states. Computing post^66 from 3 states. Computing post^74 from 2 states. Computing post^150 from 4 states. Computing post^144 from 8 states.  [NZCUB] Found a cycle. Computing post^119 from 10 states. Computing post^151 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^152 from 7 states.  [NZCUB] Found a cycle. Computing post^67 from 32 states. Computing post^120 from 11 states. Computing post^75 from 21 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. Computing post^145 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^146 from 3 states. Computing post^153 from 6 states. Computing post^121 from 8 states. Computing post^154 from 4 states. Computing post^76 from 17 states. Computing post^122 from 6 states.  [NZCUB] Found a cycle. Computing post^155 from 6 states. Computing post^147 from 8 states. Computing post^68 from 28 states. Computing post^156 from 7 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^123 from 10 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! Computing post^124 from 11 states. Computing post^148 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^69 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^77 from 3 states.  [NZCUB] Found a cycle. Computing post^70 from 3 states. Computing post^78 from 2 states.  [NZCUB] Non-Zeno cycle found! Computing post^157 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^158 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^159 from 6 states. Computing post^125 from 8 states. Computing post^79 from 21 states.  [NZCUB] Non-Zeno cycle found! Computing post^160 from 7 states. Computing post^71 from 32 states.  [NZCUB] Found a cycle. Computing post^126 from 6 states. Computing post^149 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^150 from 3 states. Computing post^127 from 10 states.  [NZCUB] Non-Zeno cycle found! Computing post^161 from 6 states. Computing post^128 from 11 states. Computing post^80 from 17 states. Computing post^162 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^151 from 8 states.  [NZCUB] Non-Zeno cycle found! Computing post^163 from 6 states.  [NZCUB] Found a cycle. Computing post^72 from 28 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^164 from 7 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! Computing post^129 from 8 states. Computing post^152 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^81 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^130 from 6 states. Computing post^73 from 4 states. Computing post^82 from 2 states.  [NZCUB] Non-Zeno cycle found! Computing post^74 from 3 states. Computing post^165 from 6 states. Computing post^131 from 10 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^166 from 4 states.  1 state merged within 37 states. Computing post^20 from 36 states. Computing post^83 from 21 states. Computing post^167 from 6 states. Computing post^132 from 11 states.  [NZCUB] Found a cycle. Computing post^75 from 32 states.  [NZCUB] Non-Zeno cycle found! Computing post^168 from 7 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^153 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^154 from 3 states.  [NZCUB] Non-Zeno cycle found!  11 states merged within 72 states. Computing post^133 from 8 states. Computing post^20 from 61 states. Computing post^84 from 17 states.  [NZCUB] Non-Zeno cycle found! Computing post^169 from 6 states.  [NZCUB] Found a cycle. Computing post^134 from 6 states.  [NZCUB] Found a cycle. Computing post^170 from 4 states. Computing post^155 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^76 from 28 states. Computing post^171 from 6 states. Computing post^135 from 10 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^172 from 7 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^85 from 3 states.  [NZCUB] Found a cycle. Computing post^136 from 11 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^156 from 8 states. Computing post^86 from 2 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^77 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^78 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^21 from 10 states. Computing post^173 from 6 states. Computing post^87 from 21 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^137 from 8 states. Computing post^174 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^138 from 6 states. Computing post^22 from 6 states. Computing post^175 from 6 states. Computing post^79 from 32 states. Computing post^157 from 4 states. Computing post^158 from 3 states. Computing post^176 from 7 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^139 from 10 states. Computing post^88 from 17 states. Computing post^159 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^140 from 11 states.  [NZCUB] Non-Zeno cycle found! Computing post^160 from 8 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. Computing post^177 from 6 states.  [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. Computing post^178 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^80 from 28 states.  [NZCUB] Non-Zeno cycle found! Computing post^89 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^179 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^90 from 2 states. Computing post^141 from 8 states.  [NZCUB] Found a cycle. Computing post^161 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^180 from 7 states. Computing post^162 from 3 states.  [NZCUB] Found a cycle. Computing post^142 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^23 from 58 states. Computing post^81 from 4 states. Computing post^163 from 8 states.  [NZCUB] Non-Zeno cycle found! Computing post^21 from 7 states.  [NZCUB] Found a cycle. Computing post^91 from 21 states. Computing post^82 from 3 states. Computing post^143 from 10 states.  [NZCUB] Non-Zeno cycle found! Computing post^164 from 8 states. Computing post^22 from 4 states.  [NZCUB] Found a cycle. Computing post^181 from 6 states. Computing post^144 from 11 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^182 from 4 states. Computing post^83 from 32 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^183 from 6 states.  [NZCUB] Found a cycle. Computing post^92 from 17 states. Computing post^165 from 4 states.  [NZCUB] Found a cycle. Computing post^166 from 3 states. Computing post^184 from 7 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^145 from 8 states. Computing post^167 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^146 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^23 from 38 states.  [NZCUB] Non-Zeno cycle found! Computing post^168 from 8 states. Computing post^93 from 3 states.  [NZCUB] Found a cycle. Computing post^94 from 2 states. Computing post^84 from 28 states. Computing post^185 from 6 states. Computing post^147 from 10 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^186 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^187 from 6 states. Computing post^148 from 11 states. Computing post^169 from 4 states.  [NZCUB] Found a cycle. Computing post^95 from 21 states.  [NZCUB] Non-Zeno cycle found! Computing post^188 from 7 states. Computing post^170 from 3 states.  [NZCUB] Found a cycle. Computing post^85 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^86 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^171 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^172 from 8 states. Computing post^149 from 8 states.  [NZCUB] Found a cycle. Computing post^96 from 17 states. Computing post^189 from 6 states. Computing post^150 from 6 states. Computing post^87 from 32 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^190 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^191 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^151 from 10 states.  [NZCUB] Found a cycle. Computing post^173 from 4 states. Computing post^192 from 7 states. Computing post^174 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^152 from 11 states. Computing post^97 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^175 from 8 states.  [NZCUB] Found a cycle. Computing post^98 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^88 from 28 states. Computing post^176 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^193 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^99 from 21 states.  [NZCUB] Found a cycle. Computing post^194 from 4 states. Computing post^153 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^195 from 6 states.  [NZCUB] Found a cycle. Computing post^154 from 6 states. Computing post^89 from 4 states. Computing post^177 from 4 states. Computing post^196 from 7 states. Computing post^90 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^178 from 3 states.  [NZCUB] Found a cycle. Computing post^155 from 10 states.  [NZCUB] Found a cycle. Computing post^100 from 17 states. Computing post^179 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^156 from 11 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^180 from 8 states. Computing post^91 from 32 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.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^197 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^198 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^101 from 3 states. Computing post^102 from 2 states. Computing post^181 from 4 states. Computing post^199 from 6 states. Computing post^157 from 8 states. Computing post^182 from 3 states.  State space exploration stopped at a depth of 200: 1144 states with 1490 transitions in the final state space.  [NZCUB] Algorithm completed after 39.102 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^158 from 6 states. Computing post^92 from 28 states. Computing post^183 from 8 states. Computing post^2 from 3 states. Computing post^3 from 3 states. Computing post^4 from 3 states. Computing post^103 from 21 states. Computing post^5 from 2 states.  [NZCUB] Found a cycle. Computing post^6 from 2 states. Computing post^7 from 4 states. Computing post^8 from 3 states. Computing post^9 from 3 states. Computing post^159 from 10 states. Computing post^10 from 2 states. Computing post^11 from 5 states. Computing post^184 from 8 states. Computing post^12 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^13 from 5 states.  [NZCUB] Found a cycle. Computing post^14 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^15 from 6 states. Computing post^160 from 11 states.  11 states merged within 72 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^16 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! Computing post^17 from 3 states.  [NZCUB] Found a cycle. Computing post^24 from 61 states. Computing post^18 from 2 states. Computing post^93 from 4 states. Computing post^19 from 5 states.  10 states merged within 46 states. Computing post^20 from 5 states.  [NZCUB] Found a cycle. Computing post^94 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^21 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^22 from 2 states.  [NZCUB] Found a cycle. Computing post^23 from 5 states. Computing post^104 from 17 states. Computing post^24 from 36 states. Computing post^185 from 4 states. Computing post^24 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! Computing post^25 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^186 from 3 states. Computing post^26 from 2 states. Computing post^27 from 5 states. 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] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^29 from 3 states. Computing post^30 from 2 states.  [NZCUB] Non-Zeno cycle found! Computing post^161 from 8 states. Computing post^187 from 8 states.  [NZCUB] Found a cycle. Computing post^31 from 5 states.  [NZCUB] Non-Zeno cycle found! Computing post^95 from 32 states. Computing post^32 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^33 from 3 states. Computing post^162 from 6 states. Computing post^34 from 2 states. Computing post^35 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^36 from 5 states.  [NZCUB] Found a cycle. Computing post^188 from 8 states. Computing post^105 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^37 from 3 states. Computing post^38 from 2 states. Computing post^106 from 2 states. Computing post^25 from 10 states. Computing post^39 from 5 states. Computing post^40 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^163 from 10 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^41 from 3 states. Computing post^42 from 2 states. Computing post^43 from 5 states. Computing post^26 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^44 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^164 from 11 states.  [NZCUB] Non-Zeno cycle found! Computing post^45 from 3 states. Computing post^107 from 21 states. Computing post^46 from 2 states. Computing post^189 from 4 states.  [NZCUB] Found a cycle. Computing post^47 from 5 states. Computing post^96 from 28 states. Computing post^190 from 3 states. Computing post^48 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] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^49 from 3 states. Computing post^50 from 2 states. Computing post^51 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^191 from 8 states. Computing post^52 from 5 states.  [NZCUB] Non-Zeno cycle found!  [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! Computing post^53 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^54 from 2 states. Computing post^55 from 5 states. Computing post^192 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^97 from 4 states. Computing post^165 from 8 states. Computing post^108 from 17 states. Computing post^56 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^98 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^166 from 6 states. Computing post^57 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^58 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^59 from 5 states.  [NZCUB] Found a cycle. Computing post^60 from 5 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! Computing post^61 from 3 states. Computing post^167 from 10 states.  [NZCUB] Non-Zeno cycle found! Computing post^62 from 2 states. Computing post^193 from 4 states. Computing post^27 from 58 states. Computing post^63 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^99 from 32 states. Computing post^194 from 3 states. Computing post^64 from 5 states.  [NZCUB] Found a cycle. Computing post^109 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^168 from 11 states.  [NZCUB] Non-Zeno cycle found! Computing post^110 from 2 states. Computing post^65 from 3 states. Computing post^66 from 2 states.  [NZCUB] Found a cycle. Computing post^195 from 8 states. Computing post^67 from 5 states.  [NZCUB] Non-Zeno cycle found! 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! Computing post^196 from 8 states. Computing post^69 from 3 states.  [NZCUB] Found a cycle. Computing post^70 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^71 from 5 states. Computing post^111 from 21 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. Computing post^169 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^73 from 3 states. Computing post^100 from 28 states. Computing post^74 from 2 states.  [NZCUB] Non-Zeno cycle found! Computing post^75 from 5 states. Computing post^170 from 6 states.  [NZCUB] Found a cycle. Computing post^197 from 4 states. Computing post^76 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^198 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^112 from 17 states. Computing post^171 from 10 states. Computing post^25 from 7 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^77 from 3 states. Computing post^78 from 2 states. Computing post^101 from 4 states. Computing post^199 from 8 states. Computing post^26 from 4 states. Computing post^102 from 3 states. Computing post^172 from 11 states. Computing post^79 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^80 from 5 states.  [NZCUB] Found a cycle.  State space exploration stopped at a depth of 200: 1138 states with 1490 transitions in the final state space.  [NZCUB] Algorithm completed after 43.964 seconds. IMITATOR successfully terminated (after 43.972 seconds)  [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! Computing post^113 from 3 states. Computing post^81 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^82 from 2 states. Computing post^114 from 2 states. Computing post^103 from 32 states. Computing post^83 from 5 states. Computing post^173 from 8 states. Computing post^84 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^174 from 6 states.  [NZCUB] Found a cycle. Computing post^115 from 21 states.  [NZCUB] Non-Zeno cycle found! Computing post^27 from 38 states. Computing post^85 from 3 states. Computing post^86 from 2 states. Computing post^175 from 10 states. Computing post^87 from 5 states. Computing post^88 from 5 states. Computing post^104 from 28 states.  [NZCUB] Found a cycle. Computing post^176 from 11 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^116 from 17 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^89 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^90 from 2 states.  [NZCUB] Non-Zeno cycle found! Computing post^91 from 5 states.  [NZCUB] Non-Zeno cycle found! Computing post^105 from 4 states. Computing post^92 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^106 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^93 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^177 from 8 states. Computing post^94 from 2 states. Computing post^95 from 5 states. Computing post^117 from 3 states. Computing post^96 from 5 states. Computing post^178 from 6 states.  [NZCUB] Found a cycle. Computing post^118 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^107 from 32 states. Computing post^97 from 3 states. Computing post^98 from 2 states. Computing post^179 from 10 states. Computing post^99 from 5 states. Computing post^100 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^119 from 21 states. Computing post^180 from 11 states.  [NZCUB] Non-Zeno cycle found! Computing post^101 from 3 states.  [NZCUB] Found a cycle. Computing post^102 from 2 states. Computing post^103 from 5 states. Computing post^104 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [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! Computing post^105 from 3 states. Computing post^108 from 28 states. Computing post^106 from 2 states.  [NZCUB] Found a cycle. Computing post^120 from 17 states. Computing post^107 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^108 from 5 states.  [NZCUB] Found a cycle. Computing post^181 from 8 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! Computing post^109 from 3 states. Computing post^182 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^110 from 2 states.  [NZCUB] Non-Zeno cycle found! Computing post^111 from 5 states. Computing post^109 from 4 states. Computing post^112 from 5 states. Computing post^110 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^183 from 10 states.  [NZCUB] Found a cycle. Computing post^121 from 3 states. Computing post^122 from 2 states.  [NZCUB] Non-Zeno cycle found! Computing post^113 from 3 states. Computing post^114 from 2 states. Computing post^184 from 11 states. Computing post^115 from 5 states. Computing post^116 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^111 from 32 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^117 from 3 states. Computing post^118 from 2 states. Computing post^123 from 21 states.  [NZCUB] Non-Zeno cycle found! Computing post^119 from 5 states. Computing post^120 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^185 from 8 states.  11 states merged within 72 states. Computing post^28 from 61 states.  [NZCUB] Non-Zeno cycle found! Computing post^121 from 3 states. Computing post^186 from 6 states. Computing post^122 from 2 states. Computing post^123 from 5 states. Computing post^124 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^124 from 17 states.  [NZCUB] Non-Zeno cycle found!  10 states merged within 46 states. Computing post^187 from 10 states.  [NZCUB] Found a cycle. Computing post^112 from 28 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^125 from 3 states. Computing post^28 from 36 states. Computing post^126 from 2 states. Computing post^188 from 11 states. Computing post^127 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. 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] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^113 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^129 from 3 states. Computing post^114 from 3 states. Computing post^125 from 3 states. Computing post^130 from 2 states.  [NZCUB] Non-Zeno cycle found! Computing post^29 from 10 states. Computing post^131 from 5 states. Computing post^126 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^132 from 5 states.  [NZCUB] Found a cycle. Computing post^30 from 6 states. Computing post^189 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^190 from 6 states. Computing post^133 from 3 states. Computing post^134 from 2 states. Computing post^115 from 32 states. Computing post^127 from 21 states. Computing post^135 from 5 states. Computing post^136 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^191 from 10 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^137 from 3 states. Computing post^192 from 11 states. Computing post^138 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^139 from 5 states. Computing post^140 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^128 from 17 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^116 from 28 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^141 from 3 states. Computing post^31 from 58 states.  [NZCUB] Found a cycle. Computing post^142 from 2 states.  [NZCUB] Non-Zeno cycle found! Computing post^143 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^193 from 8 states. Computing post^144 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^194 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^145 from 3 states. Computing post^129 from 3 states. Computing post^117 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^146 from 2 states.  [NZCUB] Found a cycle. Computing post^118 from 3 states. Computing post^130 from 2 states. Computing post^147 from 5 states. Computing post^148 from 5 states. Computing post^195 from 10 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^196 from 11 states.  [NZCUB] Non-Zeno cycle found! Computing post^149 from 3 states. Computing post^131 from 21 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^150 from 2 states. Computing post^119 from 32 states. Computing post^151 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. 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] Non-Zeno cycle found! Computing post^153 from 3 states. Computing post^154 from 2 states. Computing post^197 from 8 states. Computing post^132 from 17 states.  [NZCUB] Non-Zeno cycle found! Computing post^155 from 5 states.  [NZCUB] Found a cycle. Computing post^156 from 5 states. Computing post^198 from 6 states.  [NZCUB] Found a cycle. Computing post^29 from 7 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^120 from 28 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^199 from 10 states. Computing post^157 from 3 states.  [NZCUB] Found a cycle. Computing post^158 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^159 from 5 states. Computing post^30 from 4 states. Computing post^133 from 3 states. Computing post^160 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  State space exploration stopped at a depth of 200: 1734 states with 2188 transitions in the final state space.  [NZCUB] Algorithm completed after 54.659 seconds. IMITATOR successfully terminated (after 54.672 seconds) Computing post^134 from 2 states. Computing post^121 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^122 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^161 from 3 states. Computing post^162 from 2 states. Computing post^163 from 5 states. Computing post^135 from 21 states. Computing post^164 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^123 from 32 states.  [NZCUB] Non-Zeno cycle found! Computing post^165 from 3 states. Computing post^166 from 2 states. Computing post^31 from 38 states. Computing post^167 from 5 states. Computing post^168 from 5 states.  [NZCUB] Found a cycle. Computing post^136 from 17 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^169 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^170 from 2 states. Computing post^124 from 28 states. Computing post^171 from 5 states.  [NZCUB] Found a cycle. Computing post^172 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^137 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^138 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^173 from 3 states. Computing post^174 from 2 states. Computing post^125 from 4 states.  2 states merged within 53 states. Computing post^32 from 51 states. Computing post^175 from 5 states. Computing post^126 from 3 states. Computing post^139 from 21 states. Computing post^176 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! Computing post^177 from 3 states.  [NZCUB] Found a cycle. Computing post^178 from 2 states. Computing post^179 from 5 states. Computing post^127 from 32 states.  [NZCUB] Non-Zeno cycle found! Computing post^180 from 5 states. Computing post^140 from 17 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^33 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^181 from 3 states.  [NZCUB] Found a cycle. Computing post^34 from 6 states. Computing post^182 from 2 states. Computing post^183 from 5 states. Computing post^184 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^141 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^128 from 28 states. Computing post^142 from 2 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^185 from 3 states. Computing post^186 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^187 from 5 states. Computing post^188 from 5 states.  [NZCUB] Found a cycle.  1 state merged within 32 states. Computing post^143 from 21 states.  [NZCUB] Non-Zeno cycle found! Computing post^32 from 31 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^129 from 4 states. Computing post^130 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^189 from 3 states. Computing post^190 from 2 states.  [NZCUB] Found a cycle. Computing post^191 from 5 states. Computing post^192 from 5 states.  [NZCUB] Found a cycle. Computing post^144 from 17 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^131 from 32 states.  [NZCUB] Non-Zeno cycle found! Computing post^193 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^194 from 2 states.  [NZCUB] Found a cycle. Computing post^195 from 5 states. Computing post^35 from 58 states. Computing post^196 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^33 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^145 from 3 states. Computing post^34 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^146 from 2 states. Computing post^197 from 3 states. Computing post^132 from 28 states. Computing post^198 from 2 states.  [NZCUB] Found a cycle. Computing post^199 from 5 states.  State space exploration stopped at a depth of 200: 745 states with 992 transitions in the final state space.  [NZCUB] Algorithm completed after 61.826 seconds. IMITATOR successfully terminated (after 61.830 seconds)  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^147 from 21 states.  [NZCUB] Non-Zeno cycle found! Computing post^133 from 4 states. Computing post^134 from 3 states. Computing post^35 from 38 states. Computing post^148 from 17 states.  [NZCUB] Found a cycle. Computing post^135 from 32 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^149 from 3 states. Computing post^150 from 2 states. Computing post^136 from 28 states.  [NZCUB] Found a cycle. Computing post^151 from 21 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^137 from 4 states. Computing post^138 from 3 states. Computing post^152 from 17 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^139 from 32 states.  [NZCUB] Non-Zeno cycle found! Computing post^153 from 3 states. Computing post^154 from 2 states.  1 state merged within 32 states. Computing post^36 from 31 states. Computing post^155 from 21 states. Computing post^140 from 28 states.  2 states merged within 53 states. Computing post^36 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [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! Computing post^156 from 17 states. Computing post^141 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^142 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^37 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^38 from 6 states. Computing post^37 from 6 states. Computing post^143 from 32 states.  [NZCUB] Non-Zeno cycle found! Computing post^157 from 3 states. Computing post^158 from 2 states. Computing post^38 from 4 states. Computing post^159 from 21 states. Computing post^144 from 28 states.  [NZCUB] Found a cycle. Computing post^39 from 58 states. Computing post^39 from 38 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^160 from 17 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^145 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^146 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^161 from 3 states. Computing post^162 from 2 states. Computing post^147 from 32 states. Computing post^163 from 21 states. Computing post^148 from 28 states.  [NZCUB] Found a cycle. Computing post^164 from 17 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! Computing post^149 from 4 states. Computing post^150 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^165 from 3 states. Computing post^166 from 2 states.  1 state merged within 32 states. Computing post^151 from 32 states. Computing post^40 from 31 states. Computing post^167 from 21 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^168 from 17 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^152 from 28 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!  2 states merged within 53 states. Computing post^40 from 51 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^153 from 4 states. Computing post^41 from 6 states.  [NZCUB] Found a cycle. Computing post^169 from 3 states. Computing post^154 from 3 states. Computing post^170 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^42 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^171 from 21 states. Computing post^155 from 32 states. Computing post^41 from 8 states. Computing post^42 from 6 states. Computing post^172 from 17 states.  [NZCUB] Found a cycle. Computing post^43 from 38 states. Computing post^156 from 28 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. Computing post^173 from 3 states. Computing post^174 from 2 states.  [NZCUB] Non-Zeno cycle found! Computing post^43 from 58 states. Computing post^157 from 4 states. Computing post^158 from 3 states. Computing post^175 from 21 states. Computing post^159 from 32 states. Computing post^176 from 17 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^160 from 28 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^177 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^178 from 2 states.  [NZCUB] Non-Zeno cycle found! Computing post^161 from 4 states. Computing post^162 from 3 states. Computing post^179 from 21 states.  1 state merged within 32 states. Computing post^44 from 31 states.  [NZCUB] Found a cycle. Computing post^163 from 32 states. Computing post^180 from 17 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! Computing post^164 from 28 states. Computing post^181 from 3 states.  [NZCUB] Found a cycle. Computing post^182 from 2 states. Computing post^45 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^46 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^183 from 21 states. Computing post^165 from 4 states. Computing post^166 from 3 states. Computing post^184 from 17 states. Computing post^167 from 32 states.  [NZCUB] Found a cycle. Computing post^47 from 38 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 53 states. Computing post^44 from 51 states.  [NZCUB] Non-Zeno cycle found! Computing post^185 from 3 states. Computing post^186 from 2 states. Computing post^168 from 28 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^187 from 21 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^169 from 4 states. Computing post^170 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^188 from 17 states.  [NZCUB] Found a cycle. Computing post^45 from 8 states. Computing post^171 from 32 states.  [NZCUB] Non-Zeno cycle found! Computing post^46 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^189 from 3 states. Computing post^190 from 2 states. Computing post^172 from 28 states.  [NZCUB] Found a cycle. Computing post^191 from 21 states.  [NZCUB] Non-Zeno cycle found!  1 state merged within 32 states.  [NZCUB] Found a cycle. Computing post^48 from 31 states. Computing post^47 from 58 states.  [NZCUB] Non-Zeno cycle found! Computing post^173 from 4 states.  [NZCUB] Found a cycle. Computing post^174 from 3 states. Computing post^192 from 17 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^175 from 32 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^193 from 3 states. Computing post^49 from 6 states. Computing post^194 from 2 states. Computing post^50 from 4 states. Computing post^176 from 28 states. Computing post^195 from 21 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^177 from 4 states. Computing post^196 from 17 states. Computing post^178 from 3 states.  [NZCUB] Found a cycle. Computing post^51 from 38 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^179 from 32 states.  [NZCUB] Non-Zeno cycle found! Computing post^197 from 3 states. Computing post^198 from 2 states. Computing post^199 from 21 states. Computing post^180 from 28 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 53 states. Computing post^48 from 51 states.  State space exploration stopped at a depth of 200: 2147 states with 3353 transitions in the final state space.  [NZCUB] Algorithm completed after 95.336 seconds. IMITATOR successfully terminated (after 95.372 seconds)  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^181 from 4 states. Computing post^182 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^183 from 32 states. Computing post^49 from 8 states. Computing post^50 from 6 states.  1 state merged within 32 states. Computing post^52 from 31 states.  [NZCUB] Found a cycle. Computing post^184 from 28 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^51 from 58 states.  [NZCUB] Non-Zeno cycle found! Computing post^185 from 4 states. Computing post^186 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^53 from 6 states. Computing post^187 from 32 states. Computing post^54 from 4 states. Computing post^188 from 28 states.  [NZCUB] Found a cycle. Computing post^55 from 38 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^189 from 4 states. Computing post^190 from 3 states. Computing post^191 from 32 states. Computing post^192 from 28 states.  [NZCUB] Found a cycle.  2 states merged within 53 states. Computing post^52 from 51 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^193 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^194 from 3 states.  1 state merged within 32 states.  [NZCUB] Found a cycle. Computing post^56 from 31 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^53 from 8 states. Computing post^195 from 32 states. Computing post^54 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^196 from 28 states. Computing post^57 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^58 from 4 states. Computing post^55 from 58 states.  [NZCUB] Non-Zeno cycle found! Computing post^197 from 4 states. Computing post^198 from 3 states. Computing post^59 from 38 states. Computing post^199 from 32 states.  State space exploration stopped at a depth of 200: 3311 states with 5159 transitions in the final state space.  [NZCUB] Algorithm completed after 110.114 seconds. IMITATOR successfully terminated (after 110.159 seconds)  1 state merged within 32 states. Computing post^60 from 31 states.  [NZCUB] Found a cycle.  2 states merged within 53 states. Computing post^56 from 51 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! Computing post^57 from 8 states. Computing post^61 from 6 states. Computing post^58 from 6 states. Computing post^62 from 4 states. Computing post^63 from 38 states. Computing post^59 from 58 states.  1 state merged within 32 states. Computing post^64 from 31 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^65 from 6 states. Computing post^66 from 4 states.  2 states merged within 53 states. Computing post^60 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^61 from 8 states. Computing post^67 from 38 states. Computing post^62 from 6 states. Computing post^63 from 58 states.  1 state merged within 32 states. Computing post^68 from 31 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^69 from 6 states. Computing post^70 from 4 states.  2 states merged within 53 states. Computing post^64 from 51 states.  [NZCUB] Found a cycle. Computing post^71 from 38 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^65 from 8 states. Computing post^66 from 6 states. Computing post^67 from 58 states.  1 state merged within 32 states. Computing post^72 from 31 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^73 from 6 states. Computing post^74 from 4 states. Computing post^75 from 38 states.  2 states merged within 53 states. Computing post^68 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^69 from 8 states. Computing post^70 from 6 states.  1 state merged within 32 states. Computing post^76 from 31 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^71 from 58 states. Computing post^77 from 6 states. Computing post^78 from 4 states. Computing post^79 from 38 states.  2 states merged within 53 states. Computing post^72 from 51 states.  [NZCUB] Found a cycle.  1 state merged within 32 states. Computing post^80 from 31 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. Computing post^73 from 8 states. Computing post^74 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^81 from 6 states. Computing post^82 from 4 states. Computing post^75 from 58 states. Computing post^83 from 38 states.  1 state merged within 32 states. Computing post^84 from 31 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 53 states. Computing post^76 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^85 from 6 states. Computing post^86 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^77 from 8 states. Computing post^78 from 6 states. Computing post^87 from 38 states. Computing post^79 from 58 states.  1 state merged within 32 states. Computing post^88 from 31 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^89 from 6 states.  2 states merged within 53 states. Computing post^80 from 51 states. Computing post^90 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^81 from 8 states. Computing post^91 from 38 states. Computing post^82 from 6 states. Computing post^83 from 58 states.  1 state merged within 32 states. Computing post^92 from 31 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^93 from 6 states. Computing post^94 from 4 states.  2 states merged within 53 states. Computing post^84 from 51 states.  [NZCUB] Found a cycle. Computing post^95 from 38 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^85 from 8 states. Computing post^86 from 6 states. Computing post^87 from 58 states.  1 state merged within 32 states. Computing post^96 from 31 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^97 from 6 states. Computing post^98 from 4 states. Computing post^99 from 38 states.  2 states merged within 53 states. Computing post^88 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^89 from 8 states. Computing post^90 from 6 states. Computing post^91 from 58 states.  1 state merged within 32 states. Computing post^100 from 31 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^101 from 6 states. Computing post^102 from 4 states. Computing post^103 from 38 states.  2 states merged within 53 states. Computing post^92 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^93 from 8 states. Computing post^94 from 6 states.  1 state merged within 32 states. Computing post^104 from 31 states.  [NZCUB] Found a cycle. Computing post^95 from 58 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^105 from 6 states. Computing post^106 from 4 states. Computing post^107 from 38 states.  2 states merged within 53 states. Computing post^96 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^97 from 8 states. Computing post^98 from 6 states.  1 state merged within 32 states. Computing post^108 from 31 states.  [NZCUB] Found a cycle. Computing post^99 from 58 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^109 from 6 states. Computing post^110 from 4 states. Computing post^111 from 38 states.  2 states merged within 53 states. Computing post^100 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  1 state merged within 32 states. Computing post^112 from 31 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^101 from 8 states. Computing post^102 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^103 from 58 states. Computing post^113 from 6 states. Computing post^114 from 4 states. Computing post^115 from 38 states.  2 states merged within 53 states. Computing post^104 from 51 states.  [NZCUB] Found a cycle.  1 state merged within 32 states. Computing post^116 from 31 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. Computing post^105 from 8 states. Computing post^106 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^117 from 6 states. Computing post^118 from 4 states. Computing post^107 from 58 states. Computing post^119 from 38 states.  1 state merged within 32 states. Computing post^120 from 31 states.  [NZCUB] Found a cycle.  2 states merged within 53 states. Computing post^108 from 51 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! Computing post^109 from 8 states. Computing post^110 from 6 states. Computing post^121 from 6 states. Computing post^122 from 4 states. Computing post^111 from 58 states. Computing post^123 from 38 states.  1 state merged within 32 states. Computing post^124 from 31 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 53 states. Computing post^112 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^125 from 6 states. Computing post^126 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^113 from 8 states. Computing post^114 from 6 states. Computing post^127 from 38 states. Computing post^115 from 58 states.  1 state merged within 32 states. Computing post^128 from 31 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 53 states. Computing post^116 from 51 states.  [NZCUB] Found a cycle. Computing post^129 from 6 states. Computing post^130 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^131 from 38 states. Computing post^117 from 8 states. Computing post^118 from 6 states. Computing post^119 from 58 states.  1 state merged within 32 states. Computing post^132 from 31 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^133 from 6 states. Computing post^134 from 4 states.  2 states merged within 53 states. Computing post^120 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^135 from 38 states.  [NZCUB] Non-Zeno cycle found! Computing post^121 from 8 states. Computing post^122 from 6 states. Computing post^123 from 58 states.  1 state merged within 32 states. Computing post^136 from 31 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^137 from 6 states. Computing post^138 from 4 states.  2 states merged within 53 states. Computing post^124 from 51 states. Computing post^139 from 38 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^125 from 8 states. Computing post^126 from 6 states.  1 state merged within 32 states. Computing post^140 from 31 states.  [NZCUB] Found a cycle. Computing post^127 from 58 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^141 from 6 states. Computing post^142 from 4 states. Computing post^143 from 38 states.  2 states merged within 53 states. Computing post^128 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^129 from 8 states. Computing post^130 from 6 states.  1 state merged within 32 states. Computing post^144 from 31 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^131 from 58 states.  [NZCUB] Non-Zeno cycle found! Computing post^145 from 6 states. Computing post^146 from 4 states. Computing post^147 from 38 states.  2 states merged within 53 states. Computing post^132 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  1 state merged within 32 states. Computing post^148 from 31 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^133 from 8 states. Computing post^134 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^135 from 58 states. Computing post^149 from 6 states. Computing post^150 from 4 states. Computing post^151 from 38 states.  2 states merged within 53 states. Computing post^136 from 51 states.  [NZCUB] Found a cycle.  1 state merged within 32 states. Computing post^152 from 31 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. Computing post^137 from 8 states. Computing post^138 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^153 from 6 states. Computing post^154 from 4 states. Computing post^139 from 58 states. Computing post^155 from 38 states.  1 state merged within 32 states. Computing post^156 from 31 states.  2 states merged within 53 states. Computing post^140 from 51 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! Computing post^141 from 8 states.  [NZCUB] Non-Zeno cycle found! Computing post^142 from 6 states. Computing post^157 from 6 states. Computing post^158 from 4 states. Computing post^143 from 58 states. Computing post^159 from 38 states.  1 state merged within 32 states. Computing post^160 from 31 states.  [NZCUB] Found a cycle.  2 states merged within 53 states. Computing post^144 from 51 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! Computing post^161 from 6 states. Computing post^145 from 8 states. Computing post^162 from 4 states. Computing post^146 from 6 states. Computing post^163 from 38 states. Computing post^147 from 58 states.  1 state merged within 32 states. Computing post^164 from 31 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 53 states. Computing post^148 from 51 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^165 from 6 states. Computing post^166 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^149 from 8 states. Computing post^150 from 6 states. Computing post^167 from 38 states. Computing post^151 from 58 states.  1 state merged within 32 states. Computing post^168 from 31 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 53 states. Computing post^152 from 51 states. Computing post^169 from 6 states.  [NZCUB] Found a cycle. Computing post^170 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^171 from 38 states.  [NZCUB] Non-Zeno cycle found! Computing post^153 from 8 states. Computing post^154 from 6 states. Computing post^155 from 58 states.  1 state merged within 32 states. Computing post^172 from 31 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^173 from 6 states. Computing post^174 from 4 states.  2 states merged within 53 states. Computing post^156 from 51 states.  [NZCUB] Found a cycle. Computing post^175 from 38 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^157 from 8 states. Computing post^158 from 6 states.  1 state merged within 32 states. Computing post^176 from 31 states. Computing post^159 from 58 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^177 from 6 states. Computing post^178 from 4 states.  2 states merged within 53 states. Computing post^160 from 51 states. Computing post^179 from 38 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^161 from 8 states. Computing post^162 from 6 states.  1 state merged within 32 states. Computing post^180 from 31 states.  [NZCUB] Found a cycle. Computing post^163 from 58 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^181 from 6 states. Computing post^182 from 4 states. Computing post^183 from 38 states.  2 states merged within 53 states. Computing post^164 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^165 from 8 states. Computing post^166 from 6 states.  1 state merged within 32 states. Computing post^184 from 31 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^167 from 58 states.  [NZCUB] Non-Zeno cycle found! Computing post^185 from 6 states. Computing post^186 from 4 states. Computing post^187 from 38 states.  2 states merged within 53 states. Computing post^168 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  1 state merged within 32 states. Computing post^188 from 31 states.  [NZCUB] Found a cycle. Computing post^169 from 8 states. Computing post^170 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^171 from 58 states.  [NZCUB] Non-Zeno cycle found! Computing post^189 from 6 states. Computing post^190 from 4 states. Computing post^191 from 38 states.  2 states merged within 53 states. Computing post^172 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  1 state merged within 32 states. Computing post^192 from 31 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^173 from 8 states. Computing post^174 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^175 from 58 states.  [NZCUB] Non-Zeno cycle found! Computing post^193 from 6 states. Computing post^194 from 4 states. Computing post^195 from 38 states.  2 states merged within 53 states. Computing post^176 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  1 state merged within 32 states. Computing post^196 from 31 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^177 from 8 states. Computing post^178 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^179 from 58 states. Computing post^197 from 6 states. Computing post^198 from 4 states. Computing post^199 from 38 states.  2 states merged within 53 states. Computing post^180 from 51 states.  [NZCUB] Found a cycle.  1 state merged within 32 states.  State space exploration stopped at a depth of 200: 3964 states with 7089 transitions in the final state space.  [NZCUB] Algorithm completed after 554.432 seconds. IMITATOR successfully terminated (after 554.583 seconds)  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^181 from 8 states. Computing post^182 from 6 states. Computing post^183 from 58 states.  2 states merged within 53 states. Computing post^184 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^185 from 8 states. Computing post^186 from 6 states. Computing post^187 from 58 states.  2 states merged within 53 states. Computing post^188 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^189 from 8 states. Computing post^190 from 6 states. Computing post^191 from 58 states.  2 states merged within 53 states. Computing post^192 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^193 from 8 states. Computing post^194 from 6 states. Computing post^195 from 58 states.  2 states merged within 53 states. Computing post^196 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^197 from 8 states. Computing post^198 from 6 states. Computing post^199 from 58 states.  2 states merged within 53 states.  State space exploration stopped at a depth of 200: 6119 states with 10820 transitions in the final state space.  [NZCUB] Algorithm completed after 645.632 seconds. IMITATOR successfully terminated (after 645.679 seconds)  Final constraint such that the system is correct:  p6 > 2*p1 & p4 + 2 > 3*p1 & p2 + 2 > 2*p1 & p1 >= 2 & p5 > 2*p1 & 10 > p1 & p4 > p2 & p3 + 2 > 3*p1 & p3 >= p2 & p5 >= p2 & p7 >= p4 OR p5 >= p2 & p1 >= 2 & 10 > p1 & p2 + 2 > 3*p1 & p6 >= p2 & p3 >= p2 & p7 >= p2 & p2 = p4 This good constraint is exact (sound and complete)  Result written to file '/home/royal/Desktop/experiments/Etienne/8/WFAS-BBLS15-det/NZCUBtransdist.res'. IMITATOR successfully terminated (after 645.680 seconds)