************************************************************ * IMITATOR 2.9.2-working "Butter Incaberry" * * * * Etienne Andre, Ulrich Kuehne et al. * * 2009 - 2018 * * LSV, ENS de Cachan & CNRS, France * * LIPN, Universite Paris 13, France * * www.imitator.fr * * * * Build: 2402 (2018-06-07 12:48:34 UTC) * * HEAD/0999a7d * ************************************************************ Model: /home/royal/Desktop/experiments/Etienne/6/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/6/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/6/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/6/WFAS-BBLS15-det/WFAS-BBLS15-det.imi Model: /home/royal/Desktop/experiments/Etienne/6/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. Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version. Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality). Time elapsing will be applied at the beginning of the computation of a new state. Merging technique of [AFS13] enabled. The result will be written to a file. ************************************************************ * IMITATOR 2.9.2-working "Butter Incaberry" * * * * Etienne Andre, Ulrich Kuehne et al. * * 2009 - 2018 * * LSV, ENS de Cachan & CNRS, France * * LIPN, Universite Paris 13, France * * www.imitator.fr * * * * Build: 2402 (2018-06-07 12:48:34 UTC) * * HEAD/0999a7d * ************************************************************ Model: /home/royal/Desktop/experiments/Etienne/6/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…  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  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  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…  Starting running algorithm NZCUB…  Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^1 from 1 state. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^2 from 7 states. Computing post^2 from 7 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^3 from 16 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.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 7.092 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.097 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 7.098 seconds. Computing post^2 from 7 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 6 states. 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.120 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 11 states. Computing post^3 from 16 states. Computing post^2 from 9 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.143 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 18 states. Computing post^3 from 18 states. Computing post^2 from 9 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^4 from 12 states.  Fixpoint reached at a depth of 4: 28 states with 45 transitions in the final state space.  [NZCUB] Algorithm completed after 7.164 seconds.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.165 seconds. Starting running algorithm NZCUB…  Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^1 from 1 state.  4 states merged within 26 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 9 states. Computing post^3 from 22 states. Computing post^2 from 9 states. Computing post^2 from 8 states. Computing post^3 from 22 states. Computing post^3 from 17 states.  4 states merged within 26 states. Computing post^3 from 22 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.241 seconds.  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.248 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.  6 states merged within 18 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.272 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 12 states. Computing post^3 from 16 states. Computing post^3 from 16 states. Computing post^2 from 7 states.  Fixpoint reached at a depth of 5: 44 states with 105 transitions in the final state space.  [NZCUB] Algorithm completed after 7.281 seconds.  3 states merged within 15 states. 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.299 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.318 seconds. Computing post^4 from 12 states. Starting running algorithm NZCUB…   Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 7.318 seconds. Computing post^1 from 1 state. 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 6 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.346 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 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.363 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.368 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.373 seconds. Computing post^2 from 7 states. Computing post^2 from 7 states. Computing post^3 from 12 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. 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.386 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.390 seconds. Computing post^2 from 7 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 12 states. Computing post^2 from 7 states.  2 states merged within 16 states.  Fixpoint reached at a depth of 4: 20 states with 31 transitions in the final state space.  [NZCUB] Algorithm completed after 7.405 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 14 states. Computing post^2 from 6 states.  2 states merged within 16 states. Computing post^3 from 14 states. Computing post^3 from 14 states. Computing post^3 from 10 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.444 seconds.  3 states merged within 6 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. 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.449 seconds.  6 states merged within 12 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^4 from 6 states. Computing post^2 from 7 states.  Fixpoint reached at a depth of 5: 28 states with 61 transitions in the final state space.  [NZCUB] Algorithm completed after 7.456 seconds. 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.458 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  6 states merged within 12 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. 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.469 seconds. Computing post^2 from 7 states. Computing post^2 from 7 states. 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^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.517 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.525 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. 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.536 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.536 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. 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 7.541 seconds. Computing post^2 from 7 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^2 from 7 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.575 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^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.593 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.616 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.626 seconds. 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.627 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 6 states. Computing post^2 from 6 states. Computing post^3 from 11 states. Computing post^3 from 16 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.661 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.679 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.679 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. 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.681 seconds. Computing post^2 from 6 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 6 states. Computing post^3 from 11 states. 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.698 seconds. Starting running algorithm NZCUB…  Computing post^3 from 11 states. Computing post^1 from 1 state. Computing post^2 from 6 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 7.716 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.724 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 11 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: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 7.735 seconds.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 7.736 seconds. Computing post^3 from 7 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^2 from 7 states. Computing post^4 from 6 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 7.748 seconds.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 7.748 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^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 7.801 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 7.816 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.817 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 7.827 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.831 seconds. Computing post^2 from 9 states. 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^3 from 11 states. Computing post^3 from 18 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.948 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. 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.958 seconds. Computing post^3 from 18 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  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.963 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 9 states. Computing post^3 from 22 states. Computing post^2 from 9 states.  Fixpoint reached at a depth of 4: 28 states with 45 transitions in the final state space.  [NZCUB] Algorithm completed after 7.973 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 8 states. Computing post^3 from 22 states.  4 states merged within 26 states. Computing post^3 from 22 states. Computing post^3 from 17 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 8.036 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  3 states merged within 9 states. Computing post^2 from 7 states. Computing post^4 from 6 states.  6 states merged within 18 states.  Fixpoint reached at a depth of 5: 32 states with 68 transitions in the final state space.  [NZCUB] Algorithm completed after 8.057 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: 44 states with 105 transitions in the final state space.  [NZCUB] Algorithm completed after 8.068 seconds.  3 states merged within 15 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 16 states.  6 states merged within 18 states. 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 8.086 seconds. Computing post^4 from 12 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  Fixpoint reached at a depth of 5: 44 states with 105 transitions in the final state space.  [NZCUB] Algorithm completed after 8.092 seconds. Computing post^2 from 7 states. 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 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.124 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.140 seconds. Computing post^3 from 16 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.161 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.178 seconds. Computing post^3 from 11 states. 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.188 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 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.196 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 8.205 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.205 seconds. Computing post^3 from 12 states. Computing post^2 from 7 states. 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.217 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^2 from 6 states.  2 states merged within 16 states. Computing post^3 from 14 states. Computing post^3 from 14 states.  2 states merged within 16 states. Computing post^3 from 14 states. Computing post^3 from 10 states. Computing post^3 from 14 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 8.257 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.264 seconds.  Fixpoint reached at a depth of 5: 28 states with 61 transitions in the final state space.  [NZCUB] Algorithm completed after 8.264 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 6 states.  6 states merged within 12 states.  Fixpoint reached at a depth of 5: 28 states with 61 transitions in the final state space.  [NZCUB] Algorithm completed after 8.274 seconds. Computing post^2 from 7 states. Computing post^2 from 7 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. 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.319 seconds. Computing post^2 from 7 states. 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^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.374 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.383 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.387 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.393 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.397 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^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.435 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^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.449 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.463 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.479 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.481 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 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^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.523 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 12 states. Computing post^4 from 6 states.  Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.  [NZCUB] Algorithm completed after 8.531 seconds.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 8.531 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 6 states.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 8.536 seconds. Computing post^2 from 6 states. Computing post^2 from 6 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.686 seconds. 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^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.720 seconds. Computing post^3 from 11 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.721 seconds. Computing post^4 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.723 seconds.  Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.  [NZCUB] Algorithm completed after 8.723 seconds. Computing post^2 from 5 states. Starting running algorithm NZCUB…  Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^1 from 1 state. Computing post^2 from 5 states. Computing post^2 from 5 states. Computing post^2 from 5 states. Computing post^3 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 8.739 seconds. Computing post^3 from 8 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 8 states. Computing post^3 from 8 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.749 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^4 from 4 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.763 seconds.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 8.764 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 8 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 8.767 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states. Computing post^2 from 4 states. Computing post^2 from 7 states. Computing post^4 from 4 states. Computing post^4 from 4 states. Computing post^3 from 5 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.782 seconds. 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.788 seconds. Computing post^3 from 6 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^4 from 4 states. Computing post^2 from 7 states.  Fixpoint reached at a depth of 4: 14 states with 19 transitions in the final state space.  [NZCUB] Algorithm completed after 8.793 seconds. Computing post^4 from 6 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states.  2 states merged within 6 states. Computing post^3 from 6 states. Computing post^5 from 4 states.  Fixpoint reached at a depth of 4: 14 states with 19 transitions in the final state space.  [NZCUB] Algorithm completed after 8.810 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  4 states merged within 8 states.  4 states merged within 14 states. Computing post^5 from 4 states. Computing post^2 from 7 states. Computing post^3 from 10 states.  1 state merged within 5 states. Computing post^6 from 4 states. Computing post^3 from 10 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 8.831 seconds.  2 states merged within 6 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^6 from 4 states.  1 state merged within 5 states.  4 states merged within 14 states. Computing post^4 from 4 states. Computing post^2 from 7 states. Computing post^3 from 10 states.  2 states merged within 6 states.  Fixpoint reached at a depth of 5: 22 states with 47 transitions in the final state space.  [NZCUB] Algorithm completed after 8.845 seconds. Computing post^7 from 6 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  Fixpoint reached at a depth of 8: 34 states with 55 transitions in the final state space.  [NZCUB] Algorithm completed after 8.845 seconds. Computing post^4 from 4 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 6 states. Computing post^2 from 5 states.  Fixpoint reached at a depth of 5: 22 states with 47 transitions in the final state space.  [NZCUB] Algorithm completed after 8.857 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  1 state merged within 5 states. Computing post^3 from 10 states. Computing post^4 from 4 states. Computing post^2 from 5 states. Computing post^3 from 7 states. Computing post^3 from 8 states.  Fixpoint reached at a depth of 5: 22 states with 47 transitions in the final state space.  [NZCUB] Algorithm completed after 8.871 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 5 states. Computing post^4 from 4 states. Computing post^4 from 4 states.  2 states merged within 8 states. Computing post^4 from 6 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.890 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 4 states. Computing post^2 from 5 states.  2 states merged within 6 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 8.900 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 4 states. Computing post^5 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 8.907 seconds. Computing post^3 from 8 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states. Computing post^5 from 4 states. Computing post^3 from 8 states.  2 states merged within 6 states. Computing post^6 from 4 states. Computing post^4 from 4 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 8.932 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  1 state merged within 5 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 8.936 seconds. Computing post^2 from 4 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^6 from 4 states. Computing post^2 from 5 states. Computing post^4 from 6 states. Computing post^3 from 5 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 8.955 seconds. Computing post^4 from 4 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states.  4 states merged within 8 states. Computing post^5 from 4 states. Computing post^3 from 4 states.  2 states merged within 6 states. Computing post^7 from 22 states.  Fixpoint reached at a depth of 4: 10 states with 13 transitions in the final state space.  [NZCUB] Algorithm completed after 8.971 seconds. Computing post^5 from 4 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states.  2 states merged within 6 states. Computing post^6 from 4 states.  2 states merged within 8 states.  1 state merged within 5 states. Computing post^7 from 24 states. Computing post^6 from 4 states. 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.012 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 2 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.016 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.019 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^2 from 5 states. Computing post^3 from 6 states.  2 states merged within 8 states. Computing post^3 from 6 states. Computing post^3 from 6 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.046 seconds.  2 states merged within 6 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 4 states.  Fixpoint reached at a depth of 5: 14 states with 27 transitions in the final state space.  [NZCUB] Algorithm completed after 9.052 seconds. Computing post^2 from 4 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states. Computing post^3 from 4 states.  2 states merged within 4 states. Computing post^5 from 2 states. Computing post^3 from 8 states.  1 state merged within 4 states. Computing post^4 from 3 states.  1 state merged within 3 states. Computing post^6 from 2 states. Computing post^5 from 2 states. Computing post^4 from 4 states. Computing post^6 from 2 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 9.089 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states. Computing post^7 from 13 states. Computing post^3 from 8 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.193 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 4 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 9.224 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 4 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 9.263 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^8 from 16 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.304 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states. Computing post^8 from 11 states. Computing post^3 from 8 states. Computing post^9 from 4 states. Computing post^4 from 6 states. Computing post^10 from 3 states. Computing post^9 from 3 states.  4 states merged within 8 states. Computing post^5 from 4 states. Computing post^10 from 2 states.  1 state merged within 30 states.  2 states merged within 6 states. Computing post^6 from 4 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.386 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 4 states.  1 state merged within 21 states. Computing post^8 from 29 states. Computing post^3 from 5 states. Computing post^4 from 4 states.  2 states merged within 6 states. Computing post^8 from 20 states. Computing post^5 from 4 states.  1 state merged within 5 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.450 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^11 from 21 states. Computing post^4 from 4 states. Computing post^9 from 8 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 9.493 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^11 from 32 states. Computing post^2 from 5 states. Computing post^3 from 8 states. Computing post^9 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 9.536 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states. Computing post^10 from 6 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.675 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states. Computing post^10 from 4 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.783 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 4 states.  Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.  [NZCUB] Algorithm completed after 9.864 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 6 states.  4 states merged within 8 states. Computing post^5 from 4 states.  2 states merged within 6 states. Computing post^6 from 4 states. Computing post^7 from 8 states. Computing post^8 from 5 states. Computing post^9 from 8 states. Computing post^10 from 6 states. Computing post^12 from 22 states. Computing post^11 from 10 states. Computing post^11 from 38 states.  5 states merged within 43 states.  1 state merged within 13 states. Computing post^12 from 12 states. Computing post^12 from 38 states. Computing post^13 from 16 states. Computing post^11 from 58 states. Computing post^13 from 14 states. Computing post^14 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^13 from 18 states. Computing post^14 from 7 states. Computing post^15 from 14 states. Computing post^16 from 11 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^14 from 8 states. Computing post^17 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^18 from 6 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^19 from 10 states. Computing post^15 from 32 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] Non-Zeno cycle found! Computing post^20 from 11 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^21 from 8 states. Computing post^15 from 46 states. Computing post^22 from 6 states. Computing post^23 from 10 states.  1 state merged within 12 states. Computing post^24 from 11 states.  8 states merged within 29 states. Computing post^16 from 24 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^25 from 8 states.  [NZCUB] Found a cycle. Computing post^26 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^17 from 6 states. Computing post^27 from 10 states. Computing post^18 from 4 states.  [NZCUB] Found a cycle.  1 state merged within 12 states.  [NZCUB] Non-Zeno cycle found! Computing post^28 from 11 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  11 states merged within 42 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^16 from 37 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^29 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  1 state merged within 41 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^30 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^12 from 40 states. Computing post^17 from 4 states.  [NZCUB] Found a cycle. Computing post^18 from 3 states. Computing post^31 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!  [NZCUB] Found a cycle. Computing post^32 from 11 states.  [NZCUB] Non-Zeno cycle found! Computing post^19 from 32 states.  [NZCUB] Found a cycle. Computing post^19 from 22 states.  [NZCUB] Non-Zeno cycle found!  [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] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^34 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^35 from 10 states.  5 states merged within 33 states. Computing post^20 from 28 states. Computing post^36 from 11 states. Computing post^13 from 30 states. Computing post^20 from 17 states.  [NZCUB] Found a cycle.  [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] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^37 from 8 states.  [NZCUB] Non-Zeno cycle found! Computing post^21 from 4 states.  11 states merged within 80 states. Computing post^12 from 69 states. Computing post^22 from 3 states. Computing post^38 from 6 states. Computing post^21 from 3 states. Computing post^22 from 2 states. Computing post^39 from 10 states. Computing post^23 from 32 states. Computing post^23 from 21 states. Computing post^40 from 11 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^41 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^42 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^43 from 10 states. Computing post^14 from 13 states.  1 state merged within 35 states.  5 states merged within 33 states. Computing post^44 from 11 states. Computing post^24 from 17 states. Computing post^13 from 34 states. Computing post^24 from 28 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!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^45 from 8 states. Computing post^25 from 4 states. Computing post^25 from 3 states. Computing post^26 from 3 states. Computing post^46 from 6 states. Computing post^26 from 2 states. Computing post^47 from 10 states. Computing post^27 from 21 states. Computing post^48 from 11 states. Computing post^27 from 32 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^49 from 8 states.  [NZCUB] Found a cycle. Computing post^14 from 15 states.  [NZCUB] Non-Zeno cycle found! Computing post^50 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^51 from 10 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^52 from 11 states.  5 states merged within 33 states.  [NZCUB] Found a cycle. Computing post^28 from 17 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^28 from 28 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [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!  [NZCUB] Found a cycle.  [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.  [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] 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!  [NZCUB] Non-Zeno cycle found! Computing post^53 from 8 states. Computing post^29 from 4 states.  [NZCUB] Found a cycle. Computing post^29 from 3 states. Computing post^30 from 3 states. Computing post^54 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^30 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^55 from 10 states. Computing post^31 from 21 states. Computing post^56 from 11 states. Computing post^31 from 32 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 59 states. Computing post^15 from 57 states. Computing post^57 from 8 states. Computing post^58 from 6 states. Computing post^32 from 17 states.  [NZCUB] Found a cycle. Computing post^59 from 10 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^32 from 28 states.  [NZCUB] Non-Zeno cycle found! Computing post^60 from 11 states.  [NZCUB] Found a cycle. Computing post^33 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^34 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^33 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^34 from 3 states. Computing post^61 from 8 states. Computing post^35 from 21 states. Computing post^62 from 6 states. Computing post^63 from 10 states. Computing post^35 from 32 states. Computing post^15 from 82 states. Computing post^64 from 11 states. Computing post^36 from 17 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! Computing post^37 from 3 states. Computing post^38 from 2 states. Computing post^65 from 8 states. Computing post^36 from 28 states.  [NZCUB] Found a cycle. Computing post^66 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^39 from 21 states.  [NZCUB] Non-Zeno cycle found! Computing post^37 from 4 states. Computing post^67 from 10 states. Computing post^38 from 3 states. Computing post^40 from 17 states. Computing post^68 from 11 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^39 from 32 states. Computing post^41 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^42 from 2 states. Computing post^69 from 8 states. Computing post^43 from 21 states. Computing post^70 from 6 states. Computing post^71 from 10 states. Computing post^44 from 17 states.  [NZCUB] Found a cycle. Computing post^72 from 11 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^40 from 28 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^45 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^46 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^41 from 4 states. Computing post^42 from 3 states. Computing post^73 from 8 states. Computing post^74 from 6 states. Computing post^47 from 21 states.  6 states merged within 49 states. Computing post^16 from 48 states. Computing post^75 from 10 states. Computing post^43 from 32 states. Computing post^76 from 11 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^48 from 17 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^77 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^78 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^44 from 28 states. Computing post^49 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^50 from 2 states. Computing post^79 from 10 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^17 from 13 states.  [NZCUB] Non-Zeno cycle found! Computing post^80 from 11 states. Computing post^45 from 4 states.  [NZCUB] Found a cycle. Computing post^51 from 21 states. Computing post^46 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^18 from 8 states. Computing post^81 from 8 states. Computing post^82 from 6 states. Computing post^47 from 32 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^52 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] Found a cycle. Computing post^83 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!  [NZCUB] Found a 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^84 from 11 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] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^53 from 3 states.  [NZCUB] Found a cycle. Computing post^54 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^48 from 28 states. Computing post^85 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^86 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^55 from 21 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^49 from 4 states. Computing post^87 from 10 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^50 from 3 states.  21 states merged within 87 states. Computing post^16 from 76 states.  [NZCUB] Non-Zeno cycle found! Computing post^88 from 11 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^56 from 17 states.  [NZCUB] Found a cycle. Computing post^51 from 32 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^89 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! Computing post^90 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^57 from 3 states. Computing post^91 from 10 states. Computing post^58 from 2 states. Computing post^17 from 10 states.  [NZCUB] Found a cycle. Computing post^92 from 11 states. Computing post^52 from 28 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^59 from 21 states.  [NZCUB] Found a cycle. Computing post^18 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.  [NZCUB] Non-Zeno cycle found! Computing post^53 from 4 states. Computing post^93 from 8 states. Computing post^54 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^94 from 6 states. Computing post^60 from 17 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^95 from 10 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^55 from 32 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^96 from 11 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^61 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^62 from 2 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^19 from 58 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^97 from 8 states.  [NZCUB] Non-Zeno cycle found! Computing post^98 from 6 states. Computing post^63 from 21 states. Computing post^56 from 28 states.  [NZCUB] Found a cycle. Computing post^99 from 10 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^57 from 4 states. Computing post^100 from 11 states. Computing post^58 from 3 states.  [NZCUB] Found a cycle. Computing post^64 from 17 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^19 from 40 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^101 from 8 states. Computing post^59 from 32 states.  [NZCUB] Non-Zeno cycle found! Computing post^102 from 6 states. Computing post^65 from 3 states. Computing post^66 from 2 states. Computing post^103 from 10 states. Computing post^104 from 11 states. Computing post^67 from 21 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^60 from 28 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^105 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^106 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^68 from 17 states. Computing post^61 from 4 states.  [NZCUB] Found a cycle. Computing post^62 from 3 states. Computing post^107 from 10 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^108 from 11 states.  [NZCUB] Found a cycle. Computing post^69 from 3 states. Computing post^63 from 32 states. Computing post^70 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^109 from 8 states. Computing post^71 from 21 states. Computing post^110 from 6 states. Computing post^111 from 10 states. Computing post^64 from 28 states.  [NZCUB] Found a cycle. Computing post^112 from 11 states. Computing post^72 from 17 states.  [NZCUB] Non-Zeno cycle found!  [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^65 from 4 states.  [NZCUB] Found a cycle. Computing post^66 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^113 from 8 states. Computing post^73 from 3 states. Computing post^74 from 2 states. Computing post^114 from 6 states. Computing post^67 from 32 states. Computing post^115 from 10 states. Computing post^75 from 21 states. Computing post^116 from 11 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^76 from 17 states. Computing post^68 from 28 states.  [NZCUB] Found a cycle.  1 state merged within 37 states. Computing post^117 from 8 states. Computing post^20 from 36 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^118 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^69 from 4 states. Computing post^119 from 10 states. Computing post^70 from 3 states. Computing post^77 from 3 states.  [NZCUB] Non-Zeno cycle found!  11 states merged within 72 states.  [NZCUB] Found a cycle. Computing post^20 from 61 states. Computing post^78 from 2 states. Computing post^120 from 11 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^79 from 21 states. Computing post^71 from 32 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^121 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^122 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^80 from 17 states. Computing post^123 from 10 states.  [NZCUB] Found a cycle. Computing post^21 from 10 states.  [NZCUB] Found a cycle. Computing post^124 from 11 states.  [NZCUB] Non-Zeno cycle found! Computing post^72 from 28 states.  [NZCUB] Found a cycle.  [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] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^81 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^82 from 2 states.  [NZCUB] Non-Zeno cycle found! Computing post^73 from 4 states. Computing post^125 from 8 states.  [NZCUB] Non-Zeno cycle found! Computing post^74 from 3 states.  [NZCUB] Found a cycle. Computing post^126 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^83 from 21 states. Computing post^127 from 10 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^75 from 32 states. Computing post^128 from 11 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! Computing post^84 from 17 states. Computing post^23 from 58 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^129 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^21 from 7 states. Computing post^130 from 6 states. Computing post^76 from 28 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^85 from 3 states. Computing post^22 from 4 states. Computing post^131 from 10 states. Computing post^86 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^132 from 11 states. Computing post^77 from 4 states.  [NZCUB] Found a cycle. Computing post^78 from 3 states. Computing post^87 from 21 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^133 from 8 states. Computing post^79 from 32 states. Computing post^134 from 6 states. Computing post^23 from 38 states. Computing post^88 from 17 states.  [NZCUB] Found a cycle. Computing post^135 from 10 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^136 from 11 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^89 from 3 states. Computing post^80 from 28 states.  [NZCUB] Non-Zeno cycle found! Computing post^90 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^137 from 8 states. Computing post^91 from 21 states.  [NZCUB] Non-Zeno cycle found! Computing post^138 from 6 states. Computing post^81 from 4 states. Computing post^82 from 3 states. Computing post^139 from 10 states. Computing post^140 from 11 states. Computing post^92 from 17 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^83 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!  [NZCUB] Non-Zeno cycle found! Computing post^141 from 8 states. Computing post^93 from 3 states. Computing post^94 from 2 states. Computing post^142 from 6 states. Computing post^84 from 28 states. Computing post^143 from 10 states.  [NZCUB] Found a cycle. Computing post^95 from 21 states.  [NZCUB] Non-Zeno cycle found! Computing post^144 from 11 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. Computing post^85 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^86 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^96 from 17 states.  [NZCUB] Found a cycle. Computing post^145 from 8 states. Computing post^146 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^87 from 32 states. Computing post^147 from 10 states.  [NZCUB] Non-Zeno cycle found! Computing post^97 from 3 states. Computing post^98 from 2 states. Computing post^148 from 11 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  11 states merged within 72 states. Computing post^24 from 61 states. Computing post^99 from 21 states.  [NZCUB] Non-Zeno cycle found! Computing post^88 from 28 states.  [NZCUB] Found a cycle. Computing post^149 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^150 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^89 from 4 states. Computing post^100 from 17 states. Computing post^151 from 10 states.  10 states merged within 46 states. Computing post^90 from 3 states.  [NZCUB] Found a cycle. Computing post^24 from 36 states. Computing post^152 from 11 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^25 from 10 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^91 from 32 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^101 from 3 states. Computing post^26 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^102 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^153 from 8 states.  [NZCUB] Non-Zeno cycle found! Computing post^154 from 6 states.  [NZCUB] Found a cycle. Computing post^103 from 21 states. Computing post^155 from 10 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^92 from 28 states.  [NZCUB] Found a cycle. Computing post^156 from 11 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. Computing post^104 from 17 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^27 from 58 states. Computing post^93 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^94 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^157 from 8 states.  [NZCUB] Non-Zeno cycle found! Computing post^158 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^105 from 3 states. Computing post^106 from 2 states. Computing post^95 from 32 states. Computing post^159 from 10 states.  [NZCUB] Non-Zeno cycle found! Computing post^160 from 11 states.  [NZCUB] Found a cycle. Computing post^107 from 21 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^96 from 28 states. Computing post^161 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^108 from 17 states. Computing post^162 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^25 from 7 states.  [NZCUB] Non-Zeno cycle found! Computing post^163 from 10 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^26 from 4 states. Computing post^97 from 4 states. Computing post^164 from 11 states. Computing post^98 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^109 from 3 states. Computing post^110 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^165 from 8 states. Computing post^99 from 32 states. Computing post^111 from 21 states. Computing post^166 from 6 states. Computing post^27 from 38 states. Computing post^167 from 10 states. Computing post^168 from 11 states.  [NZCUB] Found a cycle. Computing post^112 from 17 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^100 from 28 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^169 from 8 states.  [NZCUB] Non-Zeno cycle found! Computing post^113 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^170 from 6 states. Computing post^114 from 2 states. Computing post^101 from 4 states. Computing post^102 from 3 states. Computing post^171 from 10 states. Computing post^115 from 21 states. Computing post^172 from 11 states.  [NZCUB] Found a cycle. Computing post^103 from 32 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^116 from 17 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^173 from 8 states. Computing post^174 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  11 states merged within 72 states. Computing post^28 from 61 states. Computing post^104 from 28 states. Computing post^175 from 10 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^117 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^118 from 2 states.  [NZCUB] Found a cycle. Computing post^176 from 11 states.  [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^105 from 4 states.  [NZCUB] Found a cycle. Computing post^106 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^119 from 21 states.  [NZCUB] Non-Zeno cycle found! Computing post^177 from 8 states. Computing post^178 from 6 states. Computing post^29 from 10 states. Computing post^107 from 32 states. Computing post^120 from 17 states. Computing post^30 from 6 states. Computing post^179 from 10 states.  [NZCUB] Found a cycle. Computing post^180 from 11 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  10 states merged within 46 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^28 from 36 states. Computing post^108 from 28 states. Computing post^121 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^122 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^181 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^182 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^109 from 4 states. Computing post^123 from 21 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^110 from 3 states. Computing post^31 from 58 states. Computing post^183 from 10 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^184 from 11 states.  [NZCUB] Found a cycle. Computing post^111 from 32 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^124 from 17 states.  [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^185 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^186 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^125 from 3 states.  [NZCUB] Found a cycle. Computing post^187 from 10 states. Computing post^126 from 2 states. Computing post^112 from 28 states. Computing post^188 from 11 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. Computing post^127 from 21 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^113 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^114 from 3 states.  [NZCUB] Found a cycle. Computing post^189 from 8 states. Computing post^128 from 17 states. Computing post^190 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^115 from 32 states. Computing post^191 from 10 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^192 from 11 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^29 from 7 states. Computing post^129 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^130 from 2 states.  [NZCUB] Found a cycle. Computing post^30 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^116 from 28 states.  [NZCUB] Found a cycle. Computing post^131 from 21 states. Computing post^193 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^194 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^117 from 4 states. Computing post^118 from 3 states. Computing post^195 from 10 states. Computing post^132 from 17 states. Computing post^31 from 38 states.  [NZCUB] Found a cycle. Computing post^196 from 11 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^119 from 32 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  2 states merged within 53 states. Computing post^32 from 51 states. Computing post^133 from 3 states. Computing post^134 from 2 states. Computing post^197 from 8 states.  [NZCUB] Found a cycle. Computing post^198 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^135 from 21 states. Computing post^199 from 10 states. Computing post^120 from 28 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  State space exploration stopped at a depth of 200: 1734 states with 2188 transitions in the final state space.  [NZCUB] Algorithm completed after 56.054 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^33 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^34 from 6 states. Computing post^136 from 17 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^2 from 4 states. Computing post^3 from 5 states. Computing post^4 from 4 states. Computing post^121 from 4 states.  2 states merged within 6 states. Computing post^5 from 4 states.  1 state merged within 5 states. Computing post^6 from 4 states. Computing post^7 from 6 states. Computing post^8 from 4 states. Computing post^9 from 6 states. Computing post^122 from 3 states. Computing post^10 from 4 states. Computing post^11 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^12 from 7 states.  [NZCUB] Found a cycle. Computing post^13 from 10 states. Computing post^14 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^15 from 8 states. Computing post^16 from 7 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^17 from 6 states. Computing post^18 from 4 states. Computing post^19 from 6 states. Computing post^20 from 7 states. Computing post^137 from 3 states. Computing post^123 from 32 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^21 from 6 states. Computing post^138 from 2 states. Computing post^22 from 4 states. Computing post^23 from 6 states. Computing post^24 from 7 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^25 from 6 states. Computing post^26 from 4 states. Computing post^27 from 6 states. Computing post^28 from 7 states. Computing post^35 from 58 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^139 from 21 states.  [NZCUB] Non-Zeno cycle found! Computing post^29 from 6 states. Computing post^30 from 4 states. Computing post^31 from 6 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! Computing post^33 from 6 states. Computing post^34 from 4 states. Computing post^124 from 28 states.  1 state merged within 32 states. Computing post^35 from 6 states. Computing post^36 from 7 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^32 from 31 states.  [NZCUB] Non-Zeno cycle found! Computing post^37 from 6 states. Computing post^38 from 4 states. Computing post^140 from 17 states.  [NZCUB] Non-Zeno cycle found! Computing post^39 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^40 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. Computing post^41 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^42 from 4 states. Computing post^43 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^125 from 4 states.  [NZCUB] Found a cycle. Computing post^44 from 7 states.  [NZCUB] Found a cycle. Computing post^126 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^45 from 6 states.  [NZCUB] Found a cycle. Computing post^46 from 4 states. Computing post^47 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^48 from 7 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^141 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^49 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^142 from 2 states. Computing post^50 from 4 states. Computing post^51 from 6 states. Computing post^52 from 7 states. Computing post^127 from 32 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^33 from 6 states. Computing post^53 from 6 states. Computing post^54 from 4 states. Computing post^55 from 6 states. Computing post^143 from 21 states. Computing post^56 from 7 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^34 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^57 from 6 states. Computing post^58 from 4 states. Computing post^59 from 6 states. Computing post^60 from 7 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^61 from 6 states. Computing post^128 from 28 states. Computing post^62 from 4 states. Computing post^144 from 17 states.  [NZCUB] Found a cycle. Computing post^63 from 6 states.  [NZCUB] Found a cycle. Computing post^64 from 7 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^65 from 6 states. Computing post^66 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^67 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^35 from 38 states. Computing post^68 from 7 states.  [NZCUB] Found a cycle. Computing post^129 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^130 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^69 from 6 states. Computing post^70 from 4 states. Computing post^145 from 3 states. Computing post^71 from 6 states. Computing post^72 from 7 states. Computing post^146 from 2 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^131 from 32 states. Computing post^75 from 6 states. Computing post^76 from 7 states. Computing post^147 from 21 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^77 from 6 states. Computing post^78 from 4 states. Computing post^79 from 6 states. Computing post^80 from 7 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^81 from 6 states. Computing post^148 from 17 states. Computing post^82 from 4 states.  [NZCUB] Found a cycle. Computing post^132 from 28 states. Computing post^83 from 6 states. Computing post^84 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!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^85 from 6 states.  [NZCUB] Found a cycle. Computing post^86 from 4 states. Computing post^87 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^88 from 7 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^133 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^134 from 3 states. Computing post^149 from 3 states. Computing post^89 from 6 states. Computing post^150 from 2 states. Computing post^90 from 4 states. Computing post^91 from 6 states. Computing post^92 from 7 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^151 from 21 states. Computing post^135 from 32 states. Computing post^94 from 4 states. Computing post^95 from 6 states. Computing post^96 from 7 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.  1 state merged within 32 states. Computing post^99 from 6 states. Computing post^152 from 17 states. Computing post^36 from 31 states. Computing post^100 from 7 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  2 states merged within 53 states. Computing post^36 from 51 states. Computing post^136 from 28 states.  [NZCUB] Non-Zeno cycle found! Computing post^101 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^102 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^103 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^104 from 7 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^105 from 6 states. Computing post^137 from 4 states. Computing post^106 from 4 states. Computing post^138 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^107 from 6 states. Computing post^153 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^108 from 7 states.  [NZCUB] Found a cycle. Computing post^154 from 2 states. Computing post^37 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^37 from 6 states. Computing post^109 from 6 states. Computing post^110 from 4 states. Computing post^38 from 6 states. Computing post^139 from 32 states. Computing post^111 from 6 states. Computing post^155 from 21 states. Computing post^112 from 7 states. Computing post^38 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^113 from 6 states. Computing post^114 from 4 states. Computing post^115 from 6 states. Computing post^116 from 7 states.  [NZCUB] Found a cycle. Computing post^156 from 17 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^140 from 28 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^117 from 6 states. Computing post^118 from 4 states. Computing post^39 from 38 states.  [NZCUB] Non-Zeno cycle found! Computing post^39 from 58 states. Computing post^119 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^120 from 7 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^141 from 4 states. Computing post^121 from 6 states. Computing post^157 from 3 states. Computing post^142 from 3 states. Computing post^122 from 4 states. Computing post^158 from 2 states. Computing post^123 from 6 states. Computing post^124 from 7 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^159 from 21 states. Computing post^125 from 6 states. Computing post^143 from 32 states. Computing post^126 from 4 states. Computing post^127 from 6 states. Computing post^128 from 7 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^160 from 17 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^129 from 6 states. Computing post^130 from 4 states. Computing post^131 from 6 states. Computing post^144 from 28 states. Computing post^132 from 7 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^133 from 6 states. Computing post^134 from 4 states. Computing post^161 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^135 from 6 states. Computing post^162 from 2 states. Computing post^145 from 4 states. Computing post^136 from 7 states.  [NZCUB] Found a cycle. Computing post^146 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^137 from 6 states. Computing post^163 from 21 states. Computing post^138 from 4 states. Computing post^139 from 6 states. Computing post^147 from 32 states. Computing post^140 from 7 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^141 from 6 states. Computing post^40 from 31 states. Computing post^164 from 17 states. Computing post^142 from 4 states.  [NZCUB] Found a cycle. Computing post^143 from 6 states. Computing post^144 from 7 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^148 from 28 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^145 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^146 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^147 from 6 states. Computing post^165 from 3 states. Computing post^148 from 7 states. Computing post^166 from 2 states.  [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^149 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^150 from 3 states.  2 states merged within 53 states. Computing post^40 from 51 states. Computing post^149 from 6 states. Computing post^41 from 6 states. Computing post^167 from 21 states. Computing post^150 from 4 states.  [NZCUB] Found a cycle. Computing post^151 from 6 states. Computing post^152 from 7 states. Computing post^42 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^151 from 32 states.  [NZCUB] Non-Zeno cycle found! Computing post^153 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^168 from 17 states. Computing post^154 from 4 states.  [NZCUB] Found a cycle. Computing post^155 from 6 states. Computing post^41 from 8 states. Computing post^156 from 7 states.  [NZCUB] Found a cycle. Computing post^42 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! Computing post^157 from 6 states. Computing post^152 from 28 states.  [NZCUB] Non-Zeno cycle found! Computing post^158 from 4 states.  [NZCUB] Found a cycle. Computing post^43 from 38 states. Computing post^169 from 3 states. Computing post^159 from 6 states. Computing post^170 from 2 states. Computing post^160 from 7 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^153 from 4 states. Computing post^161 from 6 states. Computing post^171 from 21 states. Computing post^154 from 3 states. Computing post^162 from 4 states. Computing post^163 from 6 states. Computing post^43 from 58 states. Computing post^164 from 7 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^155 from 32 states. Computing post^172 from 17 states. Computing post^165 from 6 states.  [NZCUB] Found a cycle. Computing post^166 from 4 states. Computing post^167 from 6 states. Computing post^168 from 7 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^169 from 6 states. Computing post^173 from 3 states. Computing post^170 from 4 states. Computing post^156 from 28 states. Computing post^174 from 2 states.  [NZCUB] Found a cycle. Computing post^171 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^172 from 7 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^175 from 21 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^157 from 4 states. Computing post^158 from 3 states. Computing post^173 from 6 states. Computing post^174 from 4 states. Computing post^175 from 6 states. Computing post^176 from 7 states.  [NZCUB] Found a cycle. Computing post^176 from 17 states.  [NZCUB] Found a cycle.  1 state merged within 32 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^44 from 31 states. Computing post^159 from 32 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^177 from 6 states.  [NZCUB] Found a cycle. Computing post^178 from 4 states.  [NZCUB] Found a cycle. Computing post^179 from 6 states. Computing post^180 from 7 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^177 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^178 from 2 states.  [NZCUB] Non-Zeno cycle found! Computing post^181 from 6 states. Computing post^160 from 28 states. Computing post^182 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^183 from 6 states. Computing post^179 from 21 states. Computing post^184 from 7 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^45 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^161 from 4 states. Computing post^46 from 4 states. Computing post^185 from 6 states. Computing post^162 from 3 states. Computing post^186 from 4 states. Computing post^180 from 17 states. Computing post^187 from 6 states.  [NZCUB] Found a cycle. Computing post^188 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.  2 states merged within 53 states. Computing post^44 from 51 states. Computing post^163 from 32 states.  [NZCUB] Non-Zeno cycle found! Computing post^189 from 6 states.  [NZCUB] Found a cycle. Computing post^190 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^191 from 6 states. Computing post^181 from 3 states. Computing post^192 from 7 states. Computing post^47 from 38 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^182 from 2 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^193 from 6 states. Computing post^164 from 28 states. Computing post^183 from 21 states. Computing post^194 from 4 states.  [NZCUB] Found a cycle. Computing post^45 from 8 states. Computing post^195 from 6 states. Computing post^196 from 7 states.  [NZCUB] Non-Zeno cycle found! Computing post^46 from 6 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^165 from 4 states. Computing post^184 from 17 states. Computing post^197 from 6 states.  [NZCUB] Found a cycle. Computing post^166 from 3 states. Computing post^198 from 4 states. Computing post^199 from 6 states.  State space exploration stopped at a depth of 200: 1144 states with 1490 transitions in the final state space.  [NZCUB] Algorithm completed after 86.182 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. 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 86.415 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 86.435 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 86.460 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 86.483 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 86.509 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. Computing post^167 from 32 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^8 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^9 from 4 states. Computing post^10 from 3 states. Computing post^11 from 8 states.  1 state merged within 10 states. Computing post^12 from 9 states. Computing post^185 from 3 states. Computing post^13 from 7 states. Computing post^47 from 58 states. Computing post^14 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^186 from 2 states. Computing post^15 from 10 states.  1 state merged within 9 states. Computing post^16 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^17 from 4 states. Computing post^18 from 3 states. Computing post^19 from 8 states.  1 state merged within 9 states. Computing post^20 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^21 from 4 states. Computing post^22 from 3 states. Computing post^23 from 8 states.  1 state merged within 9 states. Computing post^187 from 21 states. Computing post^24 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^25 from 4 states. Computing post^26 from 3 states. Computing post^27 from 8 states.  1 state merged within 9 states. Computing post^28 from 8 states.  [NZCUB] Found a cycle. Computing post^168 from 28 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^29 from 4 states. Computing post^30 from 3 states.  [NZCUB] Found a cycle. Computing post^31 from 8 states. Computing post^32 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^33 from 4 states. Computing post^34 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^35 from 8 states.  1 state merged within 32 states. Computing post^36 from 8 states.  [NZCUB] Found a cycle. Computing post^188 from 17 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^48 from 31 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^37 from 4 states. Computing post^38 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^39 from 8 states. Computing post^169 from 4 states. Computing post^40 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^170 from 3 states. Computing post^41 from 4 states. Computing post^42 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^43 from 8 states. Computing post^44 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^45 from 4 states. Computing post^46 from 3 states. Computing post^47 from 8 states.  [NZCUB] Non-Zeno cycle found! Computing post^48 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! Computing post^49 from 4 states. Computing post^189 from 3 states. Computing post^50 from 3 states. Computing post^171 from 32 states. Computing post^51 from 8 states. Computing post^190 from 2 states. Computing post^52 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^53 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^54 from 3 states. Computing post^55 from 8 states. Computing post^56 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^191 from 21 states. Computing post^49 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^57 from 4 states. Computing post^58 from 3 states. Computing post^59 from 8 states. Computing post^60 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^50 from 4 states. Computing post^61 from 4 states. Computing post^172 from 28 states. Computing post^62 from 3 states.  [NZCUB] Found a cycle. Computing post^63 from 8 states. Computing post^64 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^192 from 17 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^65 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^66 from 3 states. Computing post^67 from 8 states. Computing post^68 from 8 states.  [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^173 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^69 from 4 states.  [NZCUB] Found a cycle. Computing post^70 from 3 states. Computing post^174 from 3 states. Computing post^71 from 8 states. Computing post^72 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^51 from 38 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^73 from 4 states. Computing post^74 from 3 states. Computing post^193 from 3 states. Computing post^75 from 8 states. Computing post^194 from 2 states. Computing post^76 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^175 from 32 states.  [NZCUB] Non-Zeno cycle found! Computing post^77 from 4 states. Computing post^78 from 3 states. Computing post^79 from 8 states.  2 states merged within 53 states. Computing post^80 from 8 states. Computing post^48 from 51 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^81 from 4 states. Computing post^82 from 3 states.  [NZCUB] Found a cycle. Computing post^83 from 8 states. Computing post^84 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^176 from 28 states.  [NZCUB] Found a cycle. Computing post^85 from 4 states. Computing post^86 from 3 states.  [NZCUB] Found a cycle. Computing post^196 from 17 states.  [NZCUB] Found a cycle. Computing post^87 from 8 states. Computing post^88 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [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^89 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^90 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^91 from 8 states. Computing post^49 from 8 states. Computing post^177 from 4 states. Computing post^92 from 8 states.  [NZCUB] Found a cycle. Computing post^178 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^93 from 4 states. Computing post^50 from 6 states. Computing post^94 from 3 states. Computing post^197 from 3 states. Computing post^198 from 2 states. Computing post^95 from 8 states. Computing post^96 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^97 from 4 states. Computing post^179 from 32 states. Computing post^98 from 3 states. Computing post^199 from 21 states. Computing post^99 from 8 states. Computing post^100 from 8 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^101 from 4 states. Computing post^52 from 31 states. Computing post^102 from 3 states. Computing post^103 from 8 states. Computing post^104 from 8 states.  State space exploration stopped at a depth of 200: 2147 states with 3353 transitions in the final state space.  [NZCUB] Algorithm completed after 96.116 seconds.  [NZCUB] Found a cycle. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^180 from 28 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^105 from 4 states. Computing post^106 from 3 states. Computing post^107 from 8 states. Computing post^51 from 58 states.  [NZCUB] Non-Zeno cycle found! Computing post^2 from 3 states. Computing post^3 from 3 states. Computing post^4 from 3 states.  [NZCUB] Found a cycle. Computing post^5 from 2 states. Computing post^108 from 8 states. Computing post^6 from 2 states. Computing post^7 from 4 states.  [NZCUB] Found a cycle. Computing post^8 from 3 states. Computing post^9 from 3 states. Computing post^10 from 2 states.  [NZCUB] Non-Zeno cycle found! Computing post^11 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^12 from 5 states. Computing post^13 from 5 states. Computing post^14 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^15 from 6 states. Computing post^16 from 5 states. Computing post^109 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^17 from 3 states. Computing post^18 from 2 states. Computing post^110 from 3 states. Computing post^19 from 5 states. Computing post^20 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^181 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^21 from 3 states. Computing post^22 from 2 states. Computing post^111 from 8 states. Computing post^23 from 5 states. Computing post^24 from 5 states. Computing post^182 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^25 from 3 states. Computing post^112 from 8 states. Computing post^26 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^27 from 5 states. Computing post^28 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^29 from 3 states. Computing post^30 from 2 states. Computing post^31 from 5 states.  [NZCUB] Non-Zeno cycle found! Computing post^32 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^113 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^33 from 3 states. Computing post^53 from 6 states. Computing post^114 from 3 states. Computing post^34 from 2 states. Computing post^35 from 5 states. Computing post^36 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^115 from 8 states.  [NZCUB] Non-Zeno cycle found! Computing post^37 from 3 states. Computing post^38 from 2 states. Computing post^39 from 5 states. Computing post^116 from 8 states. Computing post^40 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^183 from 32 states.  [NZCUB] Non-Zeno cycle found! Computing post^54 from 4 states. Computing post^41 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^42 from 2 states.  [NZCUB] Found a cycle. Computing post^43 from 5 states. Computing post^44 from 5 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 4 states. Computing post^45 from 3 states. Computing post^46 from 2 states. Computing post^118 from 3 states. Computing post^47 from 5 states. Computing post^48 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^119 from 8 states.  [NZCUB] Non-Zeno cycle found! Computing post^49 from 3 states. Computing post^50 from 2 states. Computing post^51 from 5 states. Computing post^52 from 5 states. Computing post^120 from 8 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^53 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^54 from 2 states.  [NZCUB] Found a cycle. Computing post^55 from 5 states. Computing post^56 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^121 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^57 from 3 states. Computing post^122 from 3 states. Computing post^58 from 2 states. Computing post^59 from 5 states. Computing post^60 from 5 states.  [NZCUB] Found a cycle. Computing post^123 from 8 states. Computing post^184 from 28 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^61 from 3 states.  [NZCUB] Found a cycle. Computing post^62 from 2 states. Computing post^124 from 8 states. Computing post^63 from 5 states.  [NZCUB] Found a cycle. Computing post^55 from 38 states. Computing post^64 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^65 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^66 from 2 states.  [NZCUB] Non-Zeno cycle found! Computing post^67 from 5 states.  [NZCUB] Found a cycle. Computing post^125 from 4 states. Computing post^68 from 5 states.  [NZCUB] Found a cycle. Computing post^126 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^69 from 3 states. Computing post^127 from 8 states. Computing post^70 from 2 states. Computing post^71 from 5 states.  [NZCUB] Non-Zeno cycle found! Computing post^72 from 5 states.  [NZCUB] Found a cycle. Computing post^128 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^185 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^73 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^74 from 2 states.  [NZCUB] Found a cycle. Computing post^186 from 3 states. Computing post^75 from 5 states.  [NZCUB] Non-Zeno cycle found! Computing post^76 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^129 from 4 states.  [NZCUB] Found a cycle. Computing post^130 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^77 from 3 states. Computing post^78 from 2 states. Computing post^131 from 8 states. Computing post^79 from 5 states. Computing post^132 from 8 states. Computing post^80 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. Computing post^187 from 32 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^81 from 3 states. Computing post^82 from 2 states. Computing post^133 from 4 states. Computing post^83 from 5 states. Computing post^84 from 5 states. Computing post^134 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^135 from 8 states. Computing post^85 from 3 states. Computing post^86 from 2 states. Computing post^87 from 5 states. Computing post^136 from 8 states. Computing post^88 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!  [NZCUB] Found a cycle. Computing post^89 from 3 states. Computing post^90 from 2 states.  [NZCUB] Non-Zeno cycle found! Computing post^91 from 5 states. Computing post^137 from 4 states. Computing post^92 from 5 states.  [NZCUB] Found a cycle. Computing post^138 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^93 from 3 states. Computing post^139 from 8 states. Computing post^94 from 2 states. Computing post^188 from 28 states. Computing post^95 from 5 states.  [NZCUB] Found a cycle. Computing post^96 from 5 states. Computing post^140 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [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] Non-Zeno cycle found! Computing post^97 from 3 states. Computing post^98 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^99 from 5 states.  [NZCUB] Found a cycle. Computing post^141 from 4 states. Computing post^100 from 5 states.  [NZCUB] Found a cycle. Computing post^142 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^143 from 8 states. Computing post^101 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^102 from 2 states. Computing post^103 from 5 states. Computing post^104 from 5 states. Computing post^144 from 8 states. Computing post^189 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^190 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^105 from 3 states. Computing post^106 from 2 states.  1 state merged within 32 states.  [NZCUB] Non-Zeno cycle found! Computing post^107 from 5 states. Computing post^145 from 4 states. Computing post^56 from 31 states. Computing post^108 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^146 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^147 from 8 states. Computing post^109 from 3 states. Computing post^110 from 2 states. Computing post^111 from 5 states. Computing post^148 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^112 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^191 from 32 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^113 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^114 from 2 states. Computing post^149 from 4 states. Computing post^115 from 5 states. Computing post^150 from 3 states. Computing post^116 from 5 states. Computing post^53 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^151 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^117 from 3 states. Computing post^118 from 2 states. Computing post^54 from 6 states. Computing post^152 from 8 states. Computing post^119 from 5 states.  [NZCUB] Found a cycle. Computing post^120 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^121 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^122 from 2 states. Computing post^153 from 4 states. Computing post^154 from 3 states. Computing post^123 from 5 states. Computing post^192 from 28 states. Computing post^124 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^155 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^57 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^156 from 8 states. Computing post^125 from 3 states.  [NZCUB] Found a cycle. Computing post^126 from 2 states. Computing post^127 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^128 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^58 from 4 states.  [NZCUB] Found a cycle. Computing post^157 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^158 from 3 states. Computing post^129 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^130 from 2 states. Computing post^131 from 5 states. Computing post^193 from 4 states. Computing post^159 from 8 states. Computing post^132 from 5 states.  [NZCUB] Found a cycle. Computing post^55 from 58 states. Computing post^194 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^160 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^133 from 3 states. Computing post^134 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^135 from 5 states.  [NZCUB] Non-Zeno cycle found! Computing post^136 from 5 states.  [NZCUB] Found a cycle. Computing post^161 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^162 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^137 from 3 states. Computing post^138 from 2 states. Computing post^163 from 8 states. Computing post^195 from 32 states. Computing post^139 from 5 states. Computing post^59 from 38 states. Computing post^140 from 5 states.  [NZCUB] Found a cycle. Computing post^164 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] Non-Zeno cycle found! Computing post^141 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^142 from 2 states. Computing post^143 from 5 states. Computing post^165 from 4 states. Computing post^166 from 3 states. Computing post^144 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^167 from 8 states.  [NZCUB] Non-Zeno cycle found! Computing post^145 from 3 states. Computing post^146 from 2 states. Computing post^168 from 8 states.  [NZCUB] Found a cycle. Computing post^147 from 5 states. Computing post^148 from 5 states.  [NZCUB] Found a cycle. Computing post^196 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^169 from 4 states. Computing post^149 from 3 states. Computing post^170 from 3 states. Computing post^150 from 2 states.  [NZCUB] Non-Zeno cycle found! Computing post^151 from 5 states.  [NZCUB] Found a cycle. Computing post^152 from 5 states. Computing post^171 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^172 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^153 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^197 from 4 states. Computing post^154 from 2 states. Computing post^155 from 5 states. Computing post^198 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^156 from 5 states.  [NZCUB] Found a cycle. Computing post^173 from 4 states. Computing post^174 from 3 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^175 from 8 states. Computing post^157 from 3 states. Computing post^158 from 2 states. Computing post^159 from 5 states. Computing post^176 from 8 states. Computing post^160 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^199 from 32 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^161 from 3 states. Computing post^162 from 2 states. Computing post^177 from 4 states. Computing post^163 from 5 states. Computing post^178 from 3 states. Computing post^164 from 5 states.  [NZCUB] Found a cycle. Computing post^179 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^180 from 8 states.  [NZCUB] Found a cycle. Computing post^165 from 3 states. Computing post^166 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^167 from 5 states.  1 state merged within 32 states. Computing post^168 from 5 states.  [NZCUB] Found a cycle. Computing post^60 from 31 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^181 from 4 states.  State space exploration stopped at a depth of 200: 3311 states with 5159 transitions in the final state space.  [NZCUB] Algorithm completed after 112.383 seconds. Computing post^182 from 3 states. IMITATOR successfully terminated (after 112.433 seconds)  [NZCUB] Non-Zeno cycle found! Computing post^169 from 3 states. Computing post^170 from 2 states. Computing post^183 from 8 states.  [NZCUB] Found a cycle. Computing post^171 from 5 states. Computing post^172 from 5 states.  [NZCUB] Found a cycle. Computing post^184 from 8 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^56 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^173 from 3 states. Computing post^174 from 2 states.  [NZCUB] Non-Zeno cycle found! Computing post^175 from 5 states. Computing post^185 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^176 from 5 states.  [NZCUB] Found a cycle. Computing post^186 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^187 from 8 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^188 from 8 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^177 from 3 states. Computing post^178 from 2 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^179 from 5 states. Computing post^180 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^189 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^61 from 6 states. Computing post^190 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^57 from 8 states. Computing post^181 from 3 states. Computing post^182 from 2 states. Computing post^191 from 8 states. Computing post^183 from 5 states. Computing post^58 from 6 states. Computing post^62 from 4 states. Computing post^184 from 5 states.  [NZCUB] Found a cycle. Computing post^192 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] Non-Zeno cycle found! Computing post^185 from 3 states.  [NZCUB] Non-Zeno cycle found! Computing post^186 from 2 states. Computing post^193 from 4 states. Computing post^187 from 5 states. Computing post^194 from 3 states. Computing post^188 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^195 from 8 states.  [NZCUB] Non-Zeno cycle found! Computing post^189 from 3 states. Computing post^196 from 8 states.  [NZCUB] Found a cycle. Computing post^190 from 2 states. Computing post^191 from 5 states. Computing post^192 from 5 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle. Computing post^63 from 38 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^59 from 58 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found! Computing post^193 from 3 states. Computing post^197 from 4 states. Computing post^194 from 2 states. Computing post^198 from 3 states. Computing post^195 from 5 states. Computing post^196 from 5 states.  [NZCUB] Found a cycle. Computing post^199 from 8 states.  [NZCUB] Non-Zeno cycle found!  [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 117.496 seconds. IMITATOR successfully terminated (after 117.505 seconds)  [NZCUB] Non-Zeno cycle found! Computing post^197 from 3 states. Computing post^198 from 2 states. 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 117.962 seconds. IMITATOR successfully terminated (after 117.972 seconds)  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!  2 states merged within 53 states. Computing post^60 from 51 states. Computing post^65 from 6 states.  [NZCUB] Found a cycle. Computing post^66 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^61 from 8 states. Computing post^62 from 6 states. Computing post^67 from 38 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. Computing post^71 from 58 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! 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.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  1 state merged within 32 states. Computing post^73 from 8 states. Computing post^80 from 31 states. Computing post^74 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^75 from 58 states.  [NZCUB] Non-Zeno cycle found! Computing post^81 from 6 states. Computing post^82 from 4 states. Computing post^83 from 38 states.  2 states merged within 53 states. Computing post^76 from 51 states.  [NZCUB] Found a cycle.  1 state merged within 32 states. Computing post^84 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! Computing post^77 from 8 states.  [NZCUB] Found a cycle. Computing post^78 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^85 from 6 states. Computing post^86 from 4 states. Computing post^79 from 58 states. Computing post^87 from 38 states.  1 state merged within 32 states. Computing post^88 from 31 states.  [NZCUB] Found a cycle.  2 states merged within 53 states. Computing post^80 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^81 from 8 states. Computing post^82 from 6 states. Computing post^89 from 6 states. Computing post^90 from 4 states. Computing post^83 from 58 states. Computing post^91 from 38 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.  2 states merged within 53 states. Computing post^84 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^93 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^94 from 4 states. Computing post^85 from 8 states. Computing post^86 from 6 states. Computing post^95 from 38 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!  2 states merged within 53 states. Computing post^88 from 51 states. Computing post^97 from 6 states.  [NZCUB] Found a cycle. Computing post^98 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^99 from 38 states. 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.  2 states merged within 53 states. Computing post^92 from 51 states.  [NZCUB] Found a cycle. Computing post^103 from 38 states.  [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. Computing post^95 from 58 states.  1 state merged within 32 states. Computing post^104 from 31 states.  [NZCUB] Found a cycle.  [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.  [NZCUB] Non-Zeno cycle found! Computing post^101 from 8 states.  1 state merged within 32 states. Computing post^112 from 31 states. Computing post^102 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^103 from 58 states.  [NZCUB] Non-Zeno cycle found! 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] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^105 from 8 states.  [NZCUB] Non-Zeno cycle found! Computing post^106 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^117 from 6 states. Computing post^107 from 58 states. Computing post^118 from 4 states. Computing post^119 from 38 states.  1 state merged within 32 states.  2 states merged within 53 states. Computing post^108 from 51 states. Computing post^120 from 31 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^109 from 8 states. Computing post^110 from 6 states.  [NZCUB] Non-Zeno cycle found! 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.  2 states merged within 53 states. Computing post^112 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^125 from 6 states. Computing post^113 from 8 states. Computing post^126 from 4 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.  2 states merged within 53 states. Computing post^116 from 51 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^129 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^130 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^117 from 8 states. Computing post^131 from 38 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. Computing post^135 from 38 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [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.  [NZCUB] Found a cycle. Computing post^139 from 38 states.  [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. Computing post^127 from 58 states.  1 state merged within 32 states. Computing post^140 from 31 states.  [NZCUB] Found a cycle.  [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.  2 states merged within 53 states. Computing post^128 from 51 states.  [NZCUB] Found a cycle. Computing post^143 from 38 states.  [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. Computing post^131 from 58 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^145 from 6 states. Computing post^146 from 4 states.  2 states merged within 53 states. Computing post^132 from 51 states. Computing post^147 from 38 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^133 from 8 states. Computing post^134 from 6 states.  1 state merged within 32 states. Computing post^148 from 31 states.  [NZCUB] Found a cycle. Computing post^135 from 58 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! 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.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^137 from 8 states. Computing post^138 from 6 states.  1 state merged within 32 states. Computing post^152 from 31 states.  [NZCUB] Found a cycle. Computing post^139 from 58 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^153 from 6 states. Computing post^154 from 4 states. Computing post^155 from 38 states.  2 states merged within 53 states. Computing post^140 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^156 from 31 states.  [NZCUB] Found a cycle. Computing post^141 from 8 states. Computing post^142 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^143 from 58 states.  [NZCUB] Non-Zeno cycle found! Computing post^157 from 6 states. Computing post^158 from 4 states. Computing post^159 from 38 states.  2 states merged within 53 states. Computing post^144 from 51 states.  [NZCUB] Found a cycle.  1 state merged within 32 states. Computing post^160 from 31 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^145 from 8 states. Computing post^146 from 6 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^147 from 58 states. Computing post^161 from 6 states. Computing post^162 from 4 states. Computing post^163 from 38 states.  2 states merged within 53 states. Computing post^148 from 51 states.  [NZCUB] Found a cycle.  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.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^149 from 8 states. Computing post^150 from 6 states.  [NZCUB] Non-Zeno cycle found! Computing post^165 from 6 states. Computing post^166 from 4 states. Computing post^151 from 58 states. Computing post^167 from 38 states.  1 state merged within 32 states. Computing post^168 from 31 states.  [NZCUB] Found a cycle.  2 states merged within 53 states. Computing post^152 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^169 from 6 states. Computing post^153 from 8 states. Computing post^170 from 4 states. Computing post^154 from 6 states. Computing post^171 from 38 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.  2 states merged within 53 states. Computing post^156 from 51 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^173 from 6 states. Computing post^174 from 4 states.  [NZCUB] Non-Zeno cycle found! Computing post^157 from 8 states. Computing post^158 from 6 states. Computing post^175 from 38 states. Computing post^159 from 58 states.  1 state merged within 32 states. Computing post^176 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^160 from 51 states.  [NZCUB] Found a cycle. Computing post^177 from 6 states. Computing post^178 from 4 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^179 from 38 states. Computing post^161 from 8 states. Computing post^162 from 6 states. Computing post^163 from 58 states.  1 state merged within 32 states. Computing post^180 from 31 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^181 from 6 states.  2 states merged within 53 states. Computing post^164 from 51 states. Computing post^182 from 4 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle. Computing post^183 from 38 states.  [NZCUB] Non-Zeno cycle found! Computing post^165 from 8 states. Computing post^166 from 6 states. Computing post^167 from 58 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.  [NZCUB] Non-Zeno cycle found! Computing post^185 from 6 states. Computing post^186 from 4 states.  2 states merged within 53 states. Computing post^168 from 51 states.  [NZCUB] Found a cycle. Computing post^187 from 38 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^169 from 8 states. Computing post^170 from 6 states.  1 state merged within 32 states. Computing post^188 from 31 states. Computing post^171 from 58 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^189 from 6 states. Computing post^190 from 4 states.  2 states merged within 53 states. Computing post^172 from 51 states. Computing post^191 from 38 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^173 from 8 states. Computing post^174 from 6 states.  1 state merged within 32 states. Computing post^192 from 31 states.  [NZCUB] Found a cycle. Computing post^175 from 58 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [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.  [NZCUB] Non-Zeno cycle found! Computing post^177 from 8 states. Computing post^178 from 6 states.  1 state merged within 32 states. Computing post^196 from 31 states.  [NZCUB] Found a cycle. Computing post^179 from 58 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! 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.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^181 from 8 states.  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 555.228 seconds. IMITATOR successfully terminated (after 555.345 seconds) 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 643.868 seconds. IMITATOR successfully terminated (after 643.908 seconds)  Final constraint such that the system is correct:  p6 > 2*p1 & p3 + 2 > 3*p1 & p3 >= p2 & p1 >= 2 & p2 + 2 > 2*p1 & p5 > p6 & p4 + 2 > 3*p1 & p4 > p2 & 10 > p1 & p5 >= p2 & p7 >= p4 OR p2 + 2 > 2*p1 & p1 >= 2 & p5 > 2*p1 & 10 > p1 & p3 + 2 > 3*p1 & p4 + 2 > 3*p1 & p3 >= p2 & p4 >= p2 & p5 >= p2 & p6 >= p5 & p7 >= p4 OR p1 >= 2 & p2 + 2 > 3*p1 & 10 > p1 & p5 > p6 & p3 >= p2 & p6 >= p2 & p7 >= p2 & p2 = p4 This good constraint is exact (sound and complete)  Result written to file '/home/royal/Desktop/experiments/Etienne/6/WFAS-BBLS15-det/NZCUBtransdist.res'. IMITATOR successfully terminated (after 643.909 seconds)