************************************************************
 *  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/4/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/4/WFAS-BBLS15-det/WFAS-BBLS15-det.imi
 Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version.
 Model: /home/royal/Desktop/experiments/Etienne/4/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.
 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/4/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…
  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…
 
 Computing post^1 from 1 state.
 Computing post^1 from 1 state.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 7 states.
 Computing post^2 from 7 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^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.553 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.554 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 7.560 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^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.625 seconds.
 Computing post^4 from 12 states.
 Computing post^4 from 12 states.
 
 Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 7.629 seconds.
 
 Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.
 Starting running algorithm NZCUB…
 
 
   [NZCUB] Algorithm completed after 7.629 seconds.
 Computing post^1 from 1 state.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 6 states.
 Computing post^2 from 9 states.
 Computing post^2 from 9 states.
 Computing post^3 from 11 states.
 Computing post^4 from 6 states.
 
 Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 7.674 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.690 seconds.
 
 Fixpoint reached at a depth of 4: 28 states with 45 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 7.691 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 9 states.
 Computing post^2 from 9 states.
   4 states merged within 26 states.
 Computing post^3 from 22 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.786 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 9 states.
   6 states merged within 18 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.812 seconds.
 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.818 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 8 states.
 Computing post^3 from 22 states.
 Computing post^3 from 16 states.
 Computing post^3 from 17 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.889 seconds.
   3 states merged within 9 states.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 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.897 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 7 states.
   6 states merged within 18 states.
 Computing post^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.909 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 7 states.
 Computing post^3 from 16 states.
 Computing post^3 from 16 states.
 Computing post^3 from 16 states.
 Computing post^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.
 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.970 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^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.981 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 6 states.
 Computing post^3 from 16 states.
 Computing post^3 from 16 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.026 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^4 from 12 states.
 
 Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 8.033 seconds.
 Computing post^2 from 7 states.
 Starting running algorithm NZCUB…
 
 Computing post^4 from 12 states.
 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.037 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 12 states.
 
 Fixpoint reached at a depth of 4: 20 states with 31 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 8.072 seconds.
 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.
 Computing post^3 from 14 states.
 
 Fixpoint reached at a depth of 4: 20 states with 31 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 8.088 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 7 states.
 Computing post^3 from 14 states.
 Computing post^4 from 6 states.
 
 Fixpoint reached at a depth of 5: 28 states with 61 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 8.115 seconds.
   2 states merged within 16 states.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^3 from 14 states.
 Computing post^2 from 7 states.
   6 states merged within 12 states.
 Computing post^4 from 6 states.
 
 Fixpoint reached at a depth of 5: 28 states with 61 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 8.133 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: 28 states with 61 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 8.149 seconds.
 Computing post^3 from 14 states.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 7 states.
 Computing post^3 from 10 states.
   3 states merged within 6 states.
 Computing post^4 from 3 states.
   6 states merged within 12 states.
 
 Fixpoint reached at a depth of 5: 20 states with 39 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 8.176 seconds.
 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.182 seconds.
 Computing post^2 from 7 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^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.224 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.246 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^4 from 12 states.
 
 Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 8.253 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 7 states.
 Computing post^3 from 16 states.
 Computing post^2 from 7 states.
 Computing post^3 from 16 states.
 Computing post^3 from 16 states.
 Computing post^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.294 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 6 states.
 Computing post^4 from 12 states.
 
 Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 8.310 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 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.323 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^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.342 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^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.385 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.412 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.413 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 7 states.
 Computing post^2 from 7 states.
 Computing post^3 from 16 states.
 Computing post^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.483 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 6 states.
 Computing post^4 from 12 states.
 
 Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 8.500 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^4 from 12 states.
 
 Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 8.506 seconds.
 Computing post^3 from 11 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 6 states.
 
 Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 8.524 seconds.
 Starting running algorithm NZCUB…
 
 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 8.546 seconds.
 Computing post^3 from 11 states.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 6 states.
 Computing post^4 from 6 states.
 
 Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 8.558 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^4 from 6 states.
 
 Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 8.566 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^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.594 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^4 from 6 states.
 Computing post^2 from 5 states.
 
 Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 8.601 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^4 from 6 states.
 
 Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 8.606 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 7 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.626 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 7 states.
 Computing post^3 from 16 states.
 Computing post^3 from 16 states.
 Computing post^3 from 16 states.
 Computing post^4 from 12 states.
 Computing post^4 from 12 states.
 
 Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 8.671 seconds.
 
 Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 8.672 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 7 states.
 Computing post^2 from 7 states.
 Computing post^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.694 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 7 states.
 Computing post^3 from 16 states.
 Computing post^3 from 16 states.
 Computing post^3 from 16 states.
 Computing post^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.745 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 6 states.
 Computing post^4 from 12 states.
 
 Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 8.758 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 9 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.772 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 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 8.787 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 9 states.
 Computing post^3 from 18 states.
 
 Fixpoint reached at a depth of 4: 28 states with 45 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 8.825 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 9 states.
   4 states merged within 26 states.
 Computing post^3 from 22 states.
 Computing post^3 from 18 states.
 
 Fixpoint reached at a depth of 4: 28 states with 45 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 8.856 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 9 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.895 seconds.
   4 states merged within 26 states.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^3 from 22 states.
 Computing post^2 from 9 states.
   6 states merged within 18 states.
 Computing post^4 from 12 states.
 
 Fixpoint reached at a depth of 5: 44 states with 105 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 8.953 seconds.
 Computing post^3 from 22 states.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 8 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.986 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 7 states.
 Computing post^3 from 17 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 9.017 seconds.
 Computing post^3 from 16 states.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 7 states.
   3 states merged within 9 states.
 Computing post^4 from 6 states.
 
 Fixpoint reached at a depth of 5: 32 states with 68 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 9.037 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 9.059 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 9.090 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 9.106 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 9.137 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 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 9.154 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.
 
 Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 9.179 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 9.180 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 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 9.190 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 12 states.
   2 states merged within 16 states.
 Computing post^3 from 14 states.
 
 Fixpoint reached at a depth of 4: 20 states with 31 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 9.217 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^3 from 14 states.
 Computing post^2 from 7 states.
   2 states merged within 16 states.
   6 states merged within 12 states.
 Computing post^4 from 6 states.
 
 Fixpoint reached at a depth of 5: 28 states with 61 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 9.253 seconds.
 Computing post^4 from 6 states.
 Computing post^3 from 14 states.
 
 Fixpoint reached at a depth of 5: 28 states with 61 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 9.256 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 6 states.
 Computing post^3 from 10 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 9.290 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^3 from 14 states.
   3 states merged within 6 states.
 Computing post^2 from 7 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 9.297 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 7 states.
   6 states merged within 12 states.
 Computing post^3 from 16 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 9.321 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 9.355 seconds.
 Computing post^3 from 16 states.
 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 9.360 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 7 states.
 Computing post^2 from 7 states.
 Computing post^4 from 12 states.
 
 Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 9.392 seconds.
 Computing post^3 from 16 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^4 from 12 states.
 
 Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 9.421 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^3 from 16 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 9.445 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.
 
 Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 9.466 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 9.469 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 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^4 from 12 states.
 
 Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 9.520 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 9.540 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 9.544 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 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 9.599 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 6 states.
 Computing post^4 from 12 states.
 
 Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 9.607 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 6 states.
 Computing post^4 from 12 states.
 
 Fixpoint reached at a depth of 5: 36 states with 75 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 9.617 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^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 9.649 seconds.
 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 9.650 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 6 states.
 Computing post^2 from 6 states.
 Computing post^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 9.670 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^3 from 11 states.
 Computing post^3 from 11 states.
 Computing post^2 from 6 states.
 Computing post^4 from 6 states.
 
 Fixpoint reached at a depth of 5: 24 states with 46 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 9.692 seconds.
 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 9.693 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^3 from 11 states.
 Computing post^2 from 5 states.
 Computing post^2 from 6 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 9.717 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^3 from 11 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 9.724 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^3 from 8 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 9.740 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^4 from 4 states.
 Computing post^4 from 4 states.
 
 Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 9.757 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 9.758 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^3 from 8 states.
 Computing post^2 from 5 states.
 Computing post^2 from 5 states.
 Computing post^4 from 4 states.
 Computing post^3 from 8 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 9.785 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^4 from 4 states.
 Computing post^2 from 5 states.
 Computing post^4 from 4 states.
 
 Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 9.801 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 4 states.
 
 Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 9.806 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^3 from 8 states.
 Computing post^2 from 7 states.
 Computing post^3 from 5 states.
 Computing post^4 from 4 states.
 Computing post^4 from 6 states.
 Computing post^3 from 6 states.
 
 Fixpoint reached at a depth of 4: 14 states with 19 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 9.833 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
   2 states merged within 6 states.
 Computing post^5 from 4 states.
 Computing post^2 from 7 states.
   4 states merged within 8 states.
 Computing post^5 from 4 states.
 Computing post^3 from 6 states.
   1 state merged within 5 states.
 Computing post^6 from 4 states.
 
 Fixpoint reached at a depth of 4: 14 states with 19 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 9.856 seconds.
 Starting running algorithm NZCUB…
 
   2 states merged within 6 states.
 Computing post^1 from 1 state.
 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.861 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^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.870 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 7 states.
   4 states merged within 14 states.
 Computing post^3 from 10 states.
 Computing post^3 from 10 states.
   4 states merged within 14 states.
 Computing post^3 from 10 states.
   1 state merged within 5 states.
 Computing post^4 from 4 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 9.907 seconds.
 Computing post^4 from 4 states.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 7 states.
 
 Fixpoint reached at a depth of 5: 22 states with 47 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 9.914 seconds.
   1 state merged within 5 states.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^4 from 4 states.
 Computing post^2 from 6 states.
 
 Fixpoint reached at a depth of 5: 22 states with 47 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 9.926 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 5 states.
 Computing post^3 from 7 states.
 Computing post^3 from 10 states.
 Computing post^3 from 8 states.
   1 state merged within 5 states.
 Computing post^4 from 4 states.
   2 states merged within 8 states.
 Computing post^4 from 4 states.
 Computing post^4 from 6 states.
 
 Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 9.962 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
   2 states merged within 6 states.
 Computing post^5 from 4 states.
 Computing post^2 from 5 states.
 Computing post^5 from 4 states.
 Computing post^3 from 8 states.
   2 states merged within 6 states.
 Computing post^6 from 4 states.
 Computing post^4 from 4 states.
   1 state merged within 5 states.
 Computing post^6 from 4 states.
 
 Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 10.000 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.
 Computing post^7 from 22 states.
 
 Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 10.036 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 5 states.
 Computing post^7 from 24 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 10.072 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 10.108 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 6 states.
 
 Fixpoint reached at a depth of 8: 34 states with 55 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 10.185 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 4 states.
 Computing post^3 from 5 states.
 Computing post^4 from 4 states.
   2 states merged within 6 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 10.242 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 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 10.261 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 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 10.374 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 5 states.
   2 states merged within 8 states.
 Computing post^3 from 6 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 10.405 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 5 states.
 Computing post^3 from 6 states.
   1 state merged within 30 states.
   2 states merged within 4 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 10.438 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 5 states.
   2 states merged within 8 states.
 Computing post^3 from 6 states.
 Computing post^8 from 29 states.
   1 state merged within 21 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 10.472 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 5 states.
 Computing post^3 from 6 states.
 Computing post^8 from 20 states.
   2 states merged within 6 states.
 Computing post^4 from 4 states.
   2 states merged within 4 states.
 Computing post^5 from 2 states.
   1 state merged within 3 states.
 Computing post^6 from 2 states.
 Computing post^7 from 13 states.
 Computing post^9 from 8 states.
 Computing post^9 from 6 states.
 Computing post^10 from 6 states.
 Computing post^10 from 4 states.
 Computing post^8 from 16 states.
 Computing post^9 from 4 states.
 Computing post^10 from 3 states.
 Computing post^11 from 32 states.
 Computing post^11 from 38 states.
 Computing post^11 from 58 states.
   5 states merged within 43 states.
 Computing post^12 from 38 states.
 Computing post^13 from 18 states.
 Computing post^14 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!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^15 from 46 states.
   1 state merged within 41 states.
 Computing post^12 from 40 states.
   11 states merged within 42 states.
 Computing post^16 from 37 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^13 from 30 states.
 Computing post^19 from 32 states.
   11 states merged within 80 states.
 Computing post^12 from 69 states.
   5 states merged within 33 states.
 Computing post^20 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^14 from 13 states.
 Computing post^21 from 4 states.
 Computing post^22 from 3 states.
   1 state merged within 35 states.
 Computing post^13 from 34 states.
 Computing post^23 from 32 states.
   5 states merged within 33 states.
 Computing post^24 from 28 states.
 Computing post^14 from 15 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.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^27 from 32 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] 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!
   5 states merged within 33 states.
 Computing post^28 from 28 states.
   2 states merged within 59 states.
 Computing post^15 from 57 states.
   [NZCUB] Found a cycle.
   [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.
 Computing post^31 from 32 states.
 Computing post^15 from 82 states.
 Computing post^32 from 28 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.
 Computing post^35 from 32 states.
 Computing post^36 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^37 from 4 states.
 Computing post^38 from 3 states.
 Computing post^39 from 32 states.
 Computing post^40 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^41 from 4 states.
 Computing post^42 from 3 states.
   6 states merged within 49 states.
 Computing post^16 from 48 states.
 Computing post^43 from 32 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^44 from 28 states.
   [NZCUB] Found a cycle.
 Computing post^17 from 13 states.
   [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^18 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^47 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.
   [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.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^48 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] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^49 from 4 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^50 from 3 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   21 states merged within 87 states.
 Computing post^16 from 76 states.
 Computing post^51 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] 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] Found a cycle.
 Computing post^52 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^17 from 10 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^53 from 4 states.
 Computing post^18 from 6 states.
 Computing post^54 from 3 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^55 from 32 states.
 Computing post^19 from 40 states.
 Computing post^56 from 28 states.
   [NZCUB] Found a cycle.
 Computing post^19 from 58 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^57 from 4 states.
 Computing post^58 from 3 states.
   [NZCUB] Found a cycle.
 Computing post^59 from 32 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 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^61 from 4 states.
 Computing post^62 from 3 states.
 Computing post^63 from 32 states.
 Computing post^64 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^65 from 4 states.
 Computing post^66 from 3 states.
 Computing post^67 from 32 states.
   1 state merged within 37 states.
 Computing post^20 from 36 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^68 from 28 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!
 Computing post^69 from 4 states.
 Computing post^70 from 3 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   11 states merged within 72 states.
 Computing post^20 from 61 states.
 Computing post^71 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!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^72 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^21 from 10 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^73 from 4 states.
 Computing post^74 from 3 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^22 from 6 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^75 from 32 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^21 from 7 states.
 Computing post^22 from 4 states.
 Computing post^76 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^23 from 58 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^77 from 4 states.
 Computing post^78 from 3 states.
 Computing post^23 from 38 states.
 Computing post^79 from 32 states.
 Computing post^80 from 28 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.
 Computing post^83 from 32 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^84 from 28 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^85 from 4 states.
 Computing post^86 from 3 states.
 Computing post^87 from 32 states.
   10 states merged within 46 states.
 Computing post^24 from 36 states.
 Computing post^88 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.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^89 from 4 states.
   11 states merged within 72 states.
 Computing post^90 from 3 states.
 Computing post^24 from 61 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^91 from 32 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^25 from 10 states.
   [NZCUB] Found a cycle.
 Computing post^26 from 6 states.
 Computing post^92 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^93 from 4 states.
 Computing post^94 from 3 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^95 from 32 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^27 from 58 states.
 Computing post^25 from 7 states.
 Computing post^26 from 4 states.
 Computing post^96 from 28 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^98 from 3 states.
 Computing post^27 from 38 states.
 Computing post^99 from 32 states.
 Computing post^100 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^101 from 4 states.
 Computing post^102 from 3 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^104 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 4 states.
 Computing post^106 from 3 states.
   11 states merged within 72 states.
 Computing post^28 from 61 states.
   10 states merged within 46 states.
 Computing post^107 from 32 states.
 Computing post^28 from 36 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^108 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^29 from 10 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^30 from 6 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^109 from 4 states.
 Computing post^110 from 3 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^111 from 32 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^31 from 58 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^112 from 28 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^113 from 4 states.
   [NZCUB] Found a cycle.
 Computing post^114 from 3 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^29 from 7 states.
 Computing post^115 from 32 states.
 Computing post^30 from 4 states.
 Computing post^116 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^31 from 38 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^117 from 4 states.
 Computing post^118 from 3 states.
 Computing post^119 from 32 states.
 Computing post^120 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^121 from 4 states.
 Computing post^122 from 3 states.
   2 states merged within 53 states.
 Computing post^32 from 51 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^123 from 32 states.
   [NZCUB] Non-Zeno cycle found!
   1 state merged within 32 states.
 Computing post^33 from 8 states.
 Computing post^32 from 31 states.
 Computing post^34 from 6 states.
   [NZCUB] Found a cycle.
 Computing post^124 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
 Computing post^125 from 4 states.
 Computing post^126 from 3 states.
 Computing post^33 from 6 states.
 Computing post^35 from 58 states.
 Computing post^34 from 4 states.
 Computing post^127 from 32 states.
 Computing post^35 from 38 states.
 Computing post^128 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^129 from 4 states.
 Computing post^130 from 3 states.
 Computing post^131 from 32 states.
 Computing post^132 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^133 from 4 states.
 Computing post^134 from 3 states.
 Computing post^135 from 32 states.
   1 state merged within 32 states.
 Computing post^36 from 31 states.
   [NZCUB] Found a cycle.
   2 states merged within 53 states.
 Computing post^36 from 51 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^136 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
 Computing post^37 from 6 states.
 Computing post^37 from 8 states.
 Computing post^137 from 4 states.
 Computing post^138 from 3 states.
 Computing post^38 from 6 states.
 Computing post^38 from 4 states.
 Computing post^139 from 32 states.
 Computing post^39 from 38 states.
 Computing post^39 from 58 states.
 Computing post^140 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^141 from 4 states.
 Computing post^142 from 3 states.
 Computing post^143 from 32 states.
 Computing post^144 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^145 from 4 states.
   1 state merged within 32 states.
 Computing post^146 from 3 states.
 Computing post^40 from 31 states.
   [NZCUB] Found a cycle.
 Computing post^147 from 32 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^41 from 6 states.
 Computing post^148 from 28 states.
   [NZCUB] Found a cycle.
 Computing post^42 from 4 states.
   2 states merged within 53 states.
 Computing post^40 from 51 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^149 from 4 states.
 Computing post^150 from 3 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^43 from 38 states.
 Computing post^41 from 8 states.
 Computing post^151 from 32 states.
 Computing post^42 from 6 states.
 Computing post^152 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^43 from 58 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^153 from 4 states.
 Computing post^154 from 3 states.
 Computing post^155 from 32 states.
 Computing post^156 from 28 states.
   [NZCUB] Found a cycle.
   1 state merged within 32 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^44 from 31 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^157 from 4 states.
 Computing post^158 from 3 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^159 from 32 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^45 from 6 states.
 Computing post^46 from 4 states.
 Computing post^160 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^161 from 4 states.
 Computing post^162 from 3 states.
 Computing post^47 from 38 states.
   2 states merged within 53 states.
 Computing post^44 from 51 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^163 from 32 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^45 from 8 states.
 Computing post^46 from 6 states.
 Computing post^164 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^165 from 4 states.
 Computing post^166 from 3 states.
 Computing post^167 from 32 states.
 Computing post^47 from 58 states.
   1 state merged within 32 states.
 Computing post^48 from 31 states.
 Computing post^168 from 28 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^169 from 4 states.
 Computing post^170 from 3 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^49 from 6 states.
 Computing post^171 from 32 states.
 Computing post^50 from 4 states.
 Computing post^172 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^51 from 38 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^173 from 4 states.
 Computing post^174 from 3 states.
 Computing post^175 from 32 states.
   2 states merged within 53 states.
 Computing post^48 from 51 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^176 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^49 from 8 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^50 from 6 states.
 Computing post^177 from 4 states.
 Computing post^178 from 3 states.
   1 state merged within 32 states.
 Computing post^52 from 31 states.
   [NZCUB] Found a cycle.
 Computing post^179 from 32 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^51 from 58 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^180 from 28 states.
   [NZCUB] Found a cycle.
 Computing post^53 from 6 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^54 from 4 states.
 Computing post^181 from 4 states.
 Computing post^182 from 3 states.
 Computing post^183 from 32 states.
 Computing post^55 from 38 states.
 Computing post^184 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^185 from 4 states.
 Computing post^186 from 3 states.
 Computing post^187 from 32 states.
   2 states merged within 53 states.
 Computing post^52 from 51 states.
   1 state merged within 32 states.
 Computing post^56 from 31 states.
   [NZCUB] Found a cycle.
 Computing post^188 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^189 from 4 states.
 Computing post^190 from 3 states.
 Computing post^53 from 8 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^54 from 6 states.
 Computing post^57 from 6 states.
 Computing post^191 from 32 states.
 Computing post^58 from 4 states.
 Computing post^192 from 28 states.
 Computing post^55 from 58 states.
   [NZCUB] Found a cycle.
 Computing post^59 from 38 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^193 from 4 states.
 Computing post^194 from 3 states.
 Computing post^195 from 32 states.
 Computing post^196 from 28 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^197 from 4 states.
 Computing post^198 from 3 states.
   1 state merged within 32 states.
 Computing post^60 from 31 states.
   [NZCUB] Found a cycle.
 Computing post^199 from 32 states.
   [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.
 
 State space exploration stopped at a depth of 200: 3311 states with 5159 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 111.679 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^61 from 6 states.
   [NZCUB] Found a cycle.
 Computing post^62 from 4 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^2 from 4 states.
 Computing post^3 from 4 states.
   1 state merged within 4 states.
 Computing post^4 from 3 states.
 Computing post^5 from 2 states.
 Computing post^6 from 2 states.
 Computing post^7 from 12 states.
 Computing post^8 from 11 states.
 Computing post^9 from 3 states.
 Computing post^10 from 2 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^11 from 21 states.
 Computing post^57 from 8 states.
 Computing post^12 from 22 states.
 Computing post^58 from 6 states.
 Computing post^13 from 16 states.
 Computing post^63 from 38 states.
 Computing post^14 from 7 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^15 from 32 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^59 from 58 states.
 Computing post^17 from 6 states.
 Computing post^18 from 4 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a 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.
   [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!
 Computing post^19 from 22 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^20 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^21 from 3 states.
 Computing post^22 from 2 states.
 Computing post^23 from 21 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^24 from 17 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^25 from 3 states.
 Computing post^64 from 31 states.
 Computing post^26 from 2 states.
 Computing post^27 from 21 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^28 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^29 from 3 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^30 from 2 states.
   [NZCUB] Found a cycle.
 Computing post^31 from 21 states.
 Computing post^32 from 17 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^33 from 3 states.
 Computing post^34 from 2 states.
 Computing post^35 from 21 states.
 Computing post^65 from 6 states.
 Computing post^36 from 17 states.
 Computing post^66 from 4 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^37 from 3 states.
 Computing post^38 from 2 states.
 Computing post^39 from 21 states.
   2 states merged within 53 states.
 Computing post^60 from 51 states.
 Computing post^40 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!
 Computing post^41 from 3 states.
 Computing post^42 from 2 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^67 from 38 states.
   [NZCUB] Found a cycle.
 Computing post^43 from 21 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^44 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^61 from 8 states.
 Computing post^45 from 3 states.
 Computing post^46 from 2 states.
 Computing post^62 from 6 states.
 Computing post^47 from 21 states.
 Computing post^48 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^49 from 3 states.
 Computing post^50 from 2 states.
 Computing post^51 from 21 states.
 Computing post^52 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^63 from 58 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^53 from 3 states.
 Computing post^54 from 2 states.
 Computing post^55 from 21 states.
 Computing post^56 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^57 from 3 states.
 Computing post^58 from 2 states.
 Computing post^59 from 21 states.
   1 state merged within 32 states.
 Computing post^68 from 31 states.
 Computing post^60 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!
 Computing post^61 from 3 states.
 Computing post^62 from 2 states.
 Computing post^63 from 21 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^64 from 17 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^65 from 3 states.
 Computing post^66 from 2 states.
 Computing post^69 from 6 states.
 Computing post^67 from 21 states.
 Computing post^68 from 17 states.
 Computing post^70 from 4 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^69 from 3 states.
 Computing post^70 from 2 states.
 Computing post^71 from 21 states.
 Computing post^72 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   2 states merged within 53 states.
 Computing post^64 from 51 states.
 Computing post^71 from 38 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^73 from 3 states.
 Computing post^74 from 2 states.
   [NZCUB] Found a cycle.
 Computing post^75 from 21 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^76 from 17 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^77 from 3 states.
 Computing post^78 from 2 states.
 Computing post^65 from 8 states.
 Computing post^79 from 21 states.
 Computing post^66 from 6 states.
 Computing post^80 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^81 from 3 states.
 Computing post^82 from 2 states.
 Computing post^83 from 21 states.
 Computing post^67 from 58 states.
 Computing post^84 from 17 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^85 from 3 states.
 Computing post^86 from 2 states.
 Computing post^72 from 31 states.
 Computing post^87 from 21 states.
   [NZCUB] Found a cycle.
 Computing post^88 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^89 from 3 states.
 Computing post^90 from 2 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^91 from 21 states.
 Computing post^73 from 6 states.
 Computing post^74 from 4 states.
 Computing post^92 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^93 from 3 states.
 Computing post^94 from 2 states.
 Computing post^95 from 21 states.
 Computing post^75 from 38 states.
 Computing post^96 from 17 states.
   [NZCUB] Found a cycle.
   [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.
 Computing post^99 from 21 states.
   2 states merged within 53 states.
 Computing post^68 from 51 states.
   [NZCUB] Found a cycle.
 Computing post^100 from 17 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^101 from 3 states.
 Computing post^102 from 2 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^103 from 21 states.
 Computing post^69 from 8 states.
 Computing post^104 from 17 states.
   [NZCUB] Found a cycle.
 Computing post^70 from 6 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.
 Computing post^76 from 31 states.
 Computing post^107 from 21 states.
   [NZCUB] Found a cycle.
 Computing post^108 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^71 from 58 states.
   [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.
 Computing post^111 from 21 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^112 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^77 from 6 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^113 from 3 states.
 Computing post^114 from 2 states.
 Computing post^78 from 4 states.
 Computing post^115 from 21 states.
 Computing post^116 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^79 from 38 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^117 from 3 states.
 Computing post^118 from 2 states.
 Computing post^119 from 21 states.
 Computing post^120 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^121 from 3 states.
 Computing post^122 from 2 states.
 Computing post^123 from 21 states.
   2 states merged within 53 states.
 Computing post^72 from 51 states.
   [NZCUB] Found a cycle.
 Computing post^124 from 17 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^125 from 3 states.
 Computing post^126 from 2 states.
   1 state merged within 32 states.
 Computing post^80 from 31 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^127 from 21 states.
 Computing post^73 from 8 states.
   [NZCUB] Found a cycle.
 Computing post^74 from 6 states.
 Computing post^128 from 17 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^129 from 3 states.
 Computing post^130 from 2 states.
 Computing post^131 from 21 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^75 from 58 states.
 Computing post^81 from 6 states.
 Computing post^132 from 17 states.
   [NZCUB] Found a cycle.
 Computing post^82 from 4 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^133 from 3 states.
 Computing post^134 from 2 states.
 Computing post^135 from 21 states.
 Computing post^83 from 38 states.
 Computing post^136 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^137 from 3 states.
 Computing post^138 from 2 states.
 Computing post^139 from 21 states.
 Computing post^140 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^141 from 3 states.
 Computing post^142 from 2 states.
 Computing post^143 from 21 states.
 Computing post^144 from 17 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] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^145 from 3 states.
 Computing post^146 from 2 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^147 from 21 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^77 from 8 states.
 Computing post^148 from 17 states.
   [NZCUB] Found a cycle.
 Computing post^78 from 6 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^149 from 3 states.
 Computing post^150 from 2 states.
 Computing post^85 from 6 states.
 Computing post^86 from 4 states.
 Computing post^151 from 21 states.
 Computing post^152 from 17 states.
 Computing post^79 from 58 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^87 from 38 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^153 from 3 states.
 Computing post^154 from 2 states.
 Computing post^155 from 21 states.
 Computing post^156 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^157 from 3 states.
 Computing post^158 from 2 states.
 Computing post^159 from 21 states.
 Computing post^160 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^161 from 3 states.
 Computing post^162 from 2 states.
   1 state merged within 32 states.
 Computing post^88 from 31 states.
 Computing post^163 from 21 states.
   [NZCUB] Found a cycle.
   2 states merged within 53 states.
 Computing post^80 from 51 states.
 Computing post^164 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!
   [NZCUB] Found a cycle.
 Computing post^165 from 3 states.
 Computing post^166 from 2 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
 Computing post^167 from 21 states.
 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^168 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^169 from 3 states.
 Computing post^170 from 2 states.
 Computing post^171 from 21 states.
 Computing post^91 from 38 states.
 Computing post^83 from 58 states.
 Computing post^172 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^173 from 3 states.
 Computing post^174 from 2 states.
 Computing post^175 from 21 states.
 Computing post^176 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^177 from 3 states.
 Computing post^178 from 2 states.
   1 state merged within 32 states.
 Computing post^92 from 31 states.
 Computing post^179 from 21 states.
   [NZCUB] Found a cycle.
 Computing post^180 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   2 states merged within 53 states.
 Computing post^84 from 51 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^181 from 3 states.
 Computing post^182 from 2 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^183 from 21 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^93 from 6 states.
 Computing post^94 from 4 states.
 Computing post^184 from 17 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^85 from 8 states.
   [NZCUB] Found a cycle.
 Computing post^86 from 6 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^185 from 3 states.
 Computing post^186 from 2 states.
 Computing post^95 from 38 states.
 Computing post^187 from 21 states.
 Computing post^188 from 17 states.
   [NZCUB] Found a cycle.
 Computing post^87 from 58 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^189 from 3 states.
 Computing post^190 from 2 states.
 Computing post^191 from 21 states.
 Computing post^192 from 17 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   1 state merged within 32 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^96 from 31 states.
 Computing post^193 from 3 states.
 Computing post^194 from 2 states.
   [NZCUB] Found a cycle.
 Computing post^195 from 21 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^196 from 17 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^197 from 3 states.
 Computing post^198 from 2 states.
 Computing post^97 from 6 states.
   2 states merged within 53 states.
 Computing post^88 from 51 states.
 Computing post^98 from 4 states.
 Computing post^199 from 21 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 
 State space exploration stopped at a depth of 200: 2147 states with 3353 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 200.376 seconds.
   [NZCUB] Found a cycle.
 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 201.106 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 5 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^3 from 8 states.
 Computing post^4 from 4 states.
 Computing post^99 from 38 states.
 
 Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 201.169 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 201.206 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 201.245 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 201.285 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 6 states.
 
 Fixpoint reached at a depth of 8: 34 states with 55 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 201.379 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 4 states.
 Computing post^3 from 5 states.
 Computing post^4 from 4 states.
   2 states merged within 6 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 201.442 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 201.486 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 201.530 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 201.578 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 5 states.
 Computing post^89 from 8 states.
 Computing post^3 from 8 states.
 Computing post^4 from 4 states.
 
 Fixpoint reached at a depth of 5: 18 states with 33 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 201.614 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 201.656 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^11 from 10 states.
 Computing post^90 from 6 states.
   1 state merged within 13 states.
 Computing post^12 from 12 states.
 Computing post^13 from 14 states.
 Computing post^14 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 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^17 from 8 states.
 Computing post^18 from 6 states.
 Computing post^19 from 10 states.
   1 state merged within 12 states.
 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^22 from 6 states.
 Computing post^23 from 10 states.
   1 state merged within 12 states.
 Computing post^24 from 11 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.
 Computing post^26 from 6 states.
 Computing post^27 from 10 states.
   1 state merged within 12 states.
 Computing post^28 from 11 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^29 from 8 states.
 Computing post^30 from 6 states.
 Computing post^31 from 10 states.
 Computing post^91 from 58 states.
 Computing post^32 from 11 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^33 from 8 states.
 Computing post^34 from 6 states.
 Computing post^35 from 10 states.
 Computing post^36 from 11 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^37 from 8 states.
 Computing post^38 from 6 states.
 Computing post^39 from 10 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!
 Computing post^41 from 8 states.
 Computing post^42 from 6 states.
 Computing post^43 from 10 states.
 Computing post^44 from 11 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^45 from 8 states.
 Computing post^46 from 6 states.
 Computing post^47 from 10 states.
 Computing post^48 from 11 states.
   [NZCUB] Found a cycle.
   1 state merged within 32 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^100 from 31 states.
 Computing post^49 from 8 states.
 Computing post^50 from 6 states.
 Computing post^51 from 10 states.
 Computing post^52 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!
 Computing post^53 from 8 states.
 Computing post^54 from 6 states.
 Computing post^55 from 10 states.
 Computing post^56 from 11 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^57 from 8 states.
 Computing post^58 from 6 states.
 Computing post^59 from 10 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^60 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!
 Computing post^61 from 8 states.
 Computing post^62 from 6 states.
 Computing post^63 from 10 states.
 Computing post^64 from 11 states.
   [NZCUB] Found a cycle.
   [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 10 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^68 from 11 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.
 Computing post^101 from 6 states.
 Computing post^71 from 10 states.
 Computing post^72 from 11 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^102 from 4 states.
 Computing post^73 from 8 states.
 Computing post^74 from 6 states.
 Computing post^75 from 10 states.
 Computing post^76 from 11 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^77 from 8 states.
 Computing post^78 from 6 states.
   2 states merged within 53 states.
 Computing post^92 from 51 states.
 Computing post^79 from 10 states.
 Computing post^80 from 11 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^81 from 8 states.
 Computing post^82 from 6 states.
 Computing post^103 from 38 states.
 Computing post^83 from 10 states.
 Computing post^84 from 11 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^85 from 8 states.
 Computing post^86 from 6 states.
 Computing post^87 from 10 states.
 Computing post^88 from 11 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^89 from 8 states.
 Computing post^90 from 6 states.
 Computing post^91 from 10 states.
 Computing post^93 from 8 states.
 Computing post^92 from 11 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^94 from 6 states.
 Computing post^93 from 8 states.
 Computing post^94 from 6 states.
 Computing post^95 from 10 states.
 Computing post^96 from 11 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.
 Computing post^99 from 10 states.
 Computing post^100 from 11 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.
 Computing post^102 from 6 states.
 Computing post^103 from 10 states.
 Computing post^104 from 11 states.
   [NZCUB] Found a cycle.
 Computing post^95 from 58 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^105 from 8 states.
 Computing post^106 from 6 states.
   1 state merged within 32 states.
 Computing post^104 from 31 states.
 Computing post^107 from 10 states.
 Computing post^108 from 11 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^109 from 8 states.
 Computing post^110 from 6 states.
 Computing post^111 from 10 states.
 Computing post^112 from 11 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^113 from 8 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^114 from 6 states.
   [NZCUB] Found a cycle.
 Computing post^115 from 10 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^117 from 8 states.
 Computing post^118 from 6 states.
 Computing post^119 from 10 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^120 from 11 states.
   [NZCUB] Found a cycle.
   [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^105 from 6 states.
 Computing post^123 from 10 states.
 Computing post^106 from 4 states.
 Computing post^124 from 11 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^125 from 8 states.
 Computing post^126 from 6 states.
 Computing post^127 from 10 states.
 Computing post^128 from 11 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^129 from 8 states.
 Computing post^130 from 6 states.
 Computing post^107 from 38 states.
 Computing post^131 from 10 states.
 Computing post^132 from 11 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   2 states merged within 53 states.
 Computing post^96 from 51 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^133 from 8 states.
 Computing post^134 from 6 states.
   [NZCUB] Found a cycle.
 Computing post^135 from 10 states.
 Computing post^136 from 11 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.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^138 from 6 states.
 Computing post^139 from 10 states.
 Computing post^140 from 11 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^141 from 8 states.
 Computing post^142 from 6 states.
 Computing post^97 from 8 states.
 Computing post^143 from 10 states.
 Computing post^144 from 11 states.
 Computing post^98 from 6 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^145 from 8 states.
 Computing post^146 from 6 states.
 Computing post^147 from 10 states.
 Computing post^148 from 11 states.
   [NZCUB] Found a cycle.
   1 state merged within 32 states.
 Computing post^108 from 31 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^149 from 8 states.
   [NZCUB] Found a cycle.
 Computing post^150 from 6 states.
 Computing post^151 from 10 states.
 Computing post^152 from 11 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^99 from 58 states.
 Computing post^153 from 8 states.
 Computing post^154 from 6 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^155 from 10 states.
 Computing post^156 from 11 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^157 from 8 states.
 Computing post^158 from 6 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^159 from 10 states.
 Computing post^160 from 11 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^109 from 6 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^161 from 8 states.
 Computing post^110 from 4 states.
 Computing post^162 from 6 states.
 Computing post^163 from 10 states.
 Computing post^164 from 11 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^165 from 8 states.
 Computing post^166 from 6 states.
 Computing post^167 from 10 states.
 Computing post^111 from 38 states.
 Computing post^168 from 11 states.
   [NZCUB] Found a cycle.
   [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.
 Computing post^171 from 10 states.
 Computing post^172 from 11 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.
 Computing post^175 from 10 states.
 Computing post^176 from 11 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   2 states merged within 53 states.
 Computing post^100 from 51 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^177 from 8 states.
   [NZCUB] Found a cycle.
 Computing post^178 from 6 states.
 Computing post^179 from 10 states.
 Computing post^180 from 11 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^181 from 8 states.
 Computing post^182 from 6 states.
 Computing post^183 from 10 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^184 from 11 states.
   [NZCUB] Found a cycle.
   1 state merged within 32 states.
 Computing post^112 from 31 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^101 from 8 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^102 from 6 states.
   [NZCUB] Found a cycle.
 Computing post^185 from 8 states.
 Computing post^186 from 6 states.
 Computing post^187 from 10 states.
 Computing post^188 from 11 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^189 from 8 states.
   [NZCUB] Found a cycle.
 Computing post^190 from 6 states.
 Computing post^191 from 10 states.
 Computing post^192 from 11 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!
   [NZCUB] Non-Zeno cycle found!
 Computing post^193 from 8 states.
 Computing post^194 from 6 states.
 Computing post^195 from 10 states.
 Computing post^113 from 6 states.
 Computing post^114 from 4 states.
 Computing post^196 from 11 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 10 states.
 Computing post^115 from 38 states.
 
 State space exploration stopped at a depth of 200: 1734 states with 2188 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 246.189 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 4 states.
 Computing post^3 from 5 states.
 Computing post^4 from 4 states.
   2 states merged within 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^10 from 4 states.
 Computing post^11 from 6 states.
 Computing post^12 from 7 states.
 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!
 Computing post^17 from 6 states.
 Computing post^18 from 4 states.
 Computing post^19 from 6 states.
 Computing post^20 from 7 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^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.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [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^35 from 6 states.
 Computing post^36 from 7 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^37 from 6 states.
 Computing post^38 from 4 states.
 Computing post^39 from 6 states.
 Computing post^40 from 7 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^41 from 6 states.
 Computing post^42 from 4 states.
 Computing post^43 from 6 states.
 Computing post^44 from 7 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^45 from 6 states.
 Computing post^46 from 4 states.
 Computing post^47 from 6 states.
 Computing post^48 from 7 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^49 from 6 states.
 Computing post^50 from 4 states.
 Computing post^51 from 6 states.
 Computing post^52 from 7 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^53 from 6 states.
 Computing post^54 from 4 states.
 Computing post^55 from 6 states.
   2 states merged within 53 states.
 Computing post^104 from 51 states.
 Computing post^56 from 7 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^57 from 6 states.
 Computing post^58 from 4 states.
   [NZCUB] Found a cycle.
 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^62 from 4 states.
 Computing post^63 from 6 states.
 Computing post^64 from 7 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^65 from 6 states.
 Computing post^66 from 4 states.
   1 state merged within 32 states.
 Computing post^67 from 6 states.
 Computing post^116 from 31 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^68 from 7 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^69 from 6 states.
 Computing post^70 from 4 states.
 Computing post^71 from 6 states.
   [NZCUB] Found a cycle.
 Computing post^72 from 7 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 6 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^76 from 7 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.
 Computing post^105 from 8 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^82 from 4 states.
 Computing post^106 from 6 states.
 Computing post^83 from 6 states.
 Computing post^84 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!
 Computing post^85 from 6 states.
 Computing post^86 from 4 states.
 Computing post^87 from 6 states.
 Computing post^88 from 7 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^89 from 6 states.
 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^94 from 4 states.
 Computing post^95 from 6 states.
   [NZCUB] Non-Zeno cycle found!
 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.
 Computing post^99 from 6 states.
 Computing post^100 from 7 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^107 from 58 states.
 Computing post^117 from 6 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^101 from 6 states.
 Computing post^102 from 4 states.
 Computing post^103 from 6 states.
 Computing post^118 from 4 states.
 Computing post^104 from 7 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 6 states.
 Computing post^108 from 7 states.
   [NZCUB] Found a cycle.
   [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 6 states.
 Computing post^112 from 7 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.
 Computing post^119 from 38 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^117 from 6 states.
 Computing post^118 from 4 states.
 Computing post^119 from 6 states.
 Computing post^120 from 7 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^121 from 6 states.
 Computing post^122 from 4 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^125 from 6 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.
   [NZCUB] Non-Zeno cycle found!
 Computing post^129 from 6 states.
 Computing post^130 from 4 states.
 Computing post^131 from 6 states.
 Computing post^132 from 7 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.
 Computing post^135 from 6 states.
 Computing post^136 from 7 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.
 Computing post^139 from 6 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!
 Computing post^141 from 6 states.
 Computing post^142 from 4 states.
 Computing post^143 from 6 states.
 Computing post^144 from 7 states.
   2 states merged within 53 states.
 Computing post^108 from 51 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^145 from 6 states.
 Computing post^146 from 4 states.
   1 state merged within 32 states.
 Computing post^147 from 6 states.
   [NZCUB] Found a cycle.
 Computing post^120 from 31 states.
 Computing post^148 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^149 from 6 states.
 Computing post^150 from 4 states.
 Computing post^151 from 6 states.
 Computing post^152 from 7 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^153 from 6 states.
 Computing post^154 from 4 states.
 Computing post^155 from 6 states.
 Computing post^156 from 7 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^157 from 6 states.
 Computing post^158 from 4 states.
 Computing post^159 from 6 states.
 Computing post^109 from 8 states.
 Computing post^160 from 7 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^110 from 6 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^161 from 6 states.
 Computing post^162 from 4 states.
 Computing post^163 from 6 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!
   [NZCUB] Non-Zeno cycle found!
 Computing post^165 from 6 states.
 Computing post^166 from 4 states.
 Computing post^167 from 6 states.
 Computing post^168 from 7 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^121 from 6 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^169 from 6 states.
 Computing post^122 from 4 states.
 Computing post^170 from 4 states.
 Computing post^171 from 6 states.
 Computing post^172 from 7 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^111 from 58 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.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^177 from 6 states.
 Computing post^178 from 4 states.
 Computing post^179 from 6 states.
 Computing post^180 from 7 states.
 Computing post^123 from 38 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.
 Computing post^182 from 4 states.
 Computing post^183 from 6 states.
 Computing post^184 from 7 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.
 Computing post^187 from 6 states.
 Computing post^188 from 7 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.
 Computing post^191 from 6 states.
 Computing post^192 from 7 states.
   [NZCUB] Found a cycle.
   [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 6 states.
 Computing post^196 from 7 states.
   [NZCUB] Found a cycle.
   [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 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 274.755 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 274.994 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 275.021 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 275.045 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 275.069 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 275.094 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 4 states.
 Computing post^3 from 5 states.
 Computing post^4 from 4 states.
   2 states merged within 4 states.
 Computing post^5 from 2 states.
   1 state merged within 3 states.
 Computing post^6 from 2 states.
 Computing post^7 from 5 states.
 Computing post^8 from 4 states.
 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^13 from 7 states.
   1 state merged within 32 states.
 Computing post^14 from 4 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^15 from 10 states.
 Computing post^124 from 31 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.
   [NZCUB] Found a cycle.
   1 state merged within 9 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.
   2 states merged within 53 states.
 Computing post^112 from 51 states.
   1 state merged within 9 states.
 Computing post^28 from 8 states.
   [NZCUB] Found a cycle.
   [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.
 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] Found a cycle.
 Computing post^35 from 8 states.
 Computing post^36 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^37 from 4 states.
 Computing post^38 from 3 states.
 Computing post^39 from 8 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^41 from 4 states.
 Computing post^42 from 3 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^43 from 8 states.
 Computing post^44 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^45 from 4 states.
 Computing post^46 from 3 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^47 from 8 states.
   [NZCUB] Found a cycle.
 Computing post^48 from 8 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^50 from 3 states.
 Computing post^51 from 8 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.
 Computing post^54 from 3 states.
 Computing post^55 from 8 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^56 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^57 from 4 states.
 Computing post^58 from 3 states.
 Computing post^59 from 8 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^60 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^113 from 8 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^61 from 4 states.
 Computing post^62 from 3 states.
 Computing post^63 from 8 states.
 Computing post^64 from 8 states.
   [NZCUB] Found a cycle.
 Computing post^114 from 6 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^125 from 6 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^65 from 4 states.
 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] Found a cycle.
 Computing post^126 from 4 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^69 from 4 states.
 Computing post^70 from 3 states.
 Computing post^71 from 8 states.
 Computing post^72 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^73 from 4 states.
 Computing post^74 from 3 states.
 Computing post^75 from 8 states.
 Computing post^76 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^77 from 4 states.
 Computing post^78 from 3 states.
 Computing post^79 from 8 states.
 Computing post^80 from 8 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.
 Computing post^83 from 8 states.
 Computing post^127 from 38 states.
 Computing post^115 from 58 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!
 Computing post^85 from 4 states.
 Computing post^86 from 3 states.
 Computing post^87 from 8 states.
 Computing post^88 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^89 from 4 states.
 Computing post^90 from 3 states.
 Computing post^91 from 8 states.
 Computing post^92 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^93 from 4 states.
 Computing post^94 from 3 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^98 from 3 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!
 Computing post^101 from 4 states.
 Computing post^102 from 3 states.
 Computing post^103 from 8 states.
 Computing post^104 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^105 from 4 states.
 Computing post^106 from 3 states.
 Computing post^107 from 8 states.
 Computing post^108 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^109 from 4 states.
 Computing post^110 from 3 states.
 Computing post^111 from 8 states.
 Computing post^112 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^113 from 4 states.
 Computing post^114 from 3 states.
 Computing post^115 from 8 states.
 Computing post^116 from 8 states.
   [NZCUB] Found a cycle.
   1 state merged within 32 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^128 from 31 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^117 from 4 states.
 Computing post^118 from 3 states.
 Computing post^119 from 8 states.
   [NZCUB] Found a cycle.
 Computing post^120 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^121 from 4 states.
 Computing post^122 from 3 states.
 Computing post^123 from 8 states.
 Computing post^124 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^125 from 4 states.
 Computing post^126 from 3 states.
 Computing post^127 from 8 states.
 Computing post^128 from 8 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!
 Computing post^129 from 4 states.
   2 states merged within 53 states.
 Computing post^116 from 51 states.
 Computing post^130 from 3 states.
 Computing post^131 from 8 states.
 Computing post^132 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^133 from 4 states.
 Computing post^134 from 3 states.
 Computing post^135 from 8 states.
 Computing post^136 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
 Computing post^137 from 4 states.
   [NZCUB] Found a cycle.
 Computing post^138 from 3 states.
 Computing post^139 from 8 states.
 Computing post^140 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^129 from 6 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^141 from 4 states.
 Computing post^142 from 3 states.
 Computing post^130 from 4 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^143 from 8 states.
 Computing post^144 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^145 from 4 states.
 Computing post^117 from 8 states.
 Computing post^146 from 3 states.
 Computing post^147 from 8 states.
 Computing post^118 from 6 states.
 Computing post^148 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^149 from 4 states.
 Computing post^150 from 3 states.
 Computing post^151 from 8 states.
 Computing post^152 from 8 states.
   [NZCUB] Found a cycle.
 Computing post^131 from 38 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^153 from 4 states.
 Computing post^154 from 3 states.
 Computing post^155 from 8 states.
 Computing post^156 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^157 from 4 states.
 Computing post^158 from 3 states.
 Computing post^159 from 8 states.
 Computing post^119 from 58 states.
 Computing post^160 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^161 from 4 states.
 Computing post^162 from 3 states.
 Computing post^163 from 8 states.
 Computing post^164 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^165 from 4 states.
 Computing post^166 from 3 states.
 Computing post^167 from 8 states.
 Computing post^168 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^169 from 4 states.
 Computing post^170 from 3 states.
 Computing post^171 from 8 states.
 Computing post^172 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^173 from 4 states.
 Computing post^174 from 3 states.
 Computing post^175 from 8 states.
   1 state merged within 32 states.
 Computing post^176 from 8 states.
   [NZCUB] Found a cycle.
 Computing post^132 from 31 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^177 from 4 states.
   [NZCUB] Found a cycle.
 Computing post^178 from 3 states.
 Computing post^179 from 8 states.
 Computing post^180 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^181 from 4 states.
 Computing post^182 from 3 states.
 Computing post^183 from 8 states.
 Computing post^184 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^185 from 4 states.
 Computing post^186 from 3 states.
 Computing post^187 from 8 states.
 Computing post^188 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^189 from 4 states.
 Computing post^190 from 3 states.
 Computing post^191 from 8 states.
   2 states merged within 53 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^120 from 51 states.
 Computing post^192 from 8 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^193 from 4 states.
 Computing post^133 from 6 states.
 Computing post^194 from 3 states.
 Computing post^195 from 8 states.
 Computing post^134 from 4 states.
 Computing post^196 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^197 from 4 states.
 Computing post^198 from 3 states.
 Computing post^199 from 8 states.
 
 State space exploration stopped at a depth of 200: 1138 states with 1490 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 307.254 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 3 states.
 Computing post^3 from 3 states.
 Computing post^4 from 3 states.
 Computing post^5 from 2 states.
 Computing post^6 from 2 states.
 Computing post^7 from 4 states.
 Computing post^8 from 3 states.
 Computing post^9 from 3 states.
 Computing post^10 from 2 states.
 Computing post^11 from 5 states.
   [NZCUB] Non-Zeno cycle found!
 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!
 Computing post^15 from 6 states.
 Computing post^16 from 5 states.
   [NZCUB] Found a cycle.
   [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^19 from 5 states.
 Computing post^20 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^21 from 3 states.
 Computing post^22 from 2 states.
 Computing post^135 from 38 states.
 Computing post^23 from 5 states.
 Computing post^24 from 5 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^26 from 2 states.
 Computing post^27 from 5 states.
 Computing post^121 from 8 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!
 Computing post^29 from 3 states.
 Computing post^30 from 2 states.
 Computing post^31 from 5 states.
 Computing post^32 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^122 from 6 states.
 Computing post^33 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.
   [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^40 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^41 from 3 states.
 Computing post^42 from 2 states.
 Computing post^43 from 5 states.
 Computing post^44 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^45 from 3 states.
 Computing post^46 from 2 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.
   [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.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^53 from 3 states.
 Computing post^54 from 2 states.
 Computing post^55 from 5 states.
 Computing post^56 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^57 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.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^61 from 3 states.
 Computing post^62 from 2 states.
 Computing post^63 from 5 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!
 Computing post^65 from 3 states.
 Computing post^66 from 2 states.
 Computing post^67 from 5 states.
 Computing post^68 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^69 from 3 states.
 Computing post^70 from 2 states.
 Computing post^71 from 5 states.
 Computing post^72 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^73 from 3 states.
 Computing post^74 from 2 states.
 Computing post^123 from 58 states.
 Computing post^75 from 5 states.
 Computing post^76 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^77 from 3 states.
 Computing post^78 from 2 states.
 Computing post^79 from 5 states.
 Computing post^80 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^81 from 3 states.
 Computing post^82 from 2 states.
 Computing post^83 from 5 states.
 Computing post^84 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^85 from 3 states.
 Computing post^86 from 2 states.
 Computing post^87 from 5 states.
 Computing post^88 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^89 from 3 states.
 Computing post^90 from 2 states.
 Computing post^91 from 5 states.
 Computing post^92 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^93 from 3 states.
 Computing post^94 from 2 states.
 Computing post^95 from 5 states.
   1 state merged within 32 states.
 Computing post^96 from 5 states.
   [NZCUB] Found a cycle.
 Computing post^136 from 31 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.
 Computing post^99 from 5 states.
   [NZCUB] Found a cycle.
 Computing post^100 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^101 from 3 states.
 Computing post^102 from 2 states.
 Computing post^103 from 5 states.
 Computing post^104 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^105 from 3 states.
 Computing post^106 from 2 states.
 Computing post^107 from 5 states.
 Computing post^108 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^109 from 3 states.
 Computing post^110 from 2 states.
 Computing post^111 from 5 states.
 Computing post^112 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^113 from 3 states.
 Computing post^114 from 2 states.
 Computing post^115 from 5 states.
 Computing post^116 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^117 from 3 states.
 Computing post^118 from 2 states.
 Computing post^119 from 5 states.
 Computing post^120 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^121 from 3 states.
 Computing post^122 from 2 states.
 Computing post^123 from 5 states.
 Computing post^124 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
 Computing post^125 from 3 states.
 Computing post^126 from 2 states.
 Computing post^127 from 5 states.
 Computing post^128 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^129 from 3 states.
 Computing post^130 from 2 states.
 Computing post^137 from 6 states.
 Computing post^131 from 5 states.
 Computing post^132 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^138 from 4 states.
 Computing post^133 from 3 states.
 Computing post^134 from 2 states.
 Computing post^135 from 5 states.
 Computing post^136 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   2 states merged within 53 states.
 Computing post^124 from 51 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^137 from 3 states.
 Computing post^138 from 2 states.
 Computing post^139 from 5 states.
 Computing post^140 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^141 from 3 states.
 Computing post^142 from 2 states.
 Computing post^143 from 5 states.
 Computing post^144 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^145 from 3 states.
 Computing post^146 from 2 states.
 Computing post^147 from 5 states.
 Computing post^148 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^139 from 38 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^149 from 3 states.
   [NZCUB] Found a cycle.
 Computing post^150 from 2 states.
 Computing post^151 from 5 states.
 Computing post^152 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^153 from 3 states.
 Computing post^154 from 2 states.
 Computing post^155 from 5 states.
 Computing post^156 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
 Computing post^157 from 3 states.
 Computing post^158 from 2 states.
 Computing post^159 from 5 states.
 Computing post^160 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^125 from 8 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^161 from 3 states.
 Computing post^162 from 2 states.
 Computing post^163 from 5 states.
 Computing post^126 from 6 states.
 Computing post^164 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^165 from 3 states.
 Computing post^166 from 2 states.
 Computing post^167 from 5 states.
 Computing post^168 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^169 from 3 states.
 Computing post^170 from 2 states.
 Computing post^171 from 5 states.
 Computing post^172 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^173 from 3 states.
 Computing post^174 from 2 states.
 Computing post^175 from 5 states.
 Computing post^176 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^177 from 3 states.
 Computing post^178 from 2 states.
 Computing post^127 from 58 states.
 Computing post^179 from 5 states.
 Computing post^180 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^181 from 3 states.
 Computing post^182 from 2 states.
 Computing post^183 from 5 states.
   1 state merged within 32 states.
 Computing post^184 from 5 states.
   [NZCUB] Found a cycle.
 Computing post^140 from 31 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^185 from 3 states.
 Computing post^186 from 2 states.
   [NZCUB] Found a cycle.
 Computing post^187 from 5 states.
 Computing post^188 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^189 from 3 states.
 Computing post^190 from 2 states.
 Computing post^191 from 5 states.
 Computing post^192 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^193 from 3 states.
 Computing post^194 from 2 states.
 Computing post^195 from 5 states.
 Computing post^196 from 5 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 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 329.837 seconds.

 IMITATOR successfully terminated (after 329.845 seconds)

   [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^131 from 58 states.
 Computing post^144 from 31 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.
 Computing post^147 from 38 states.
   2 states merged within 53 states.
 Computing post^132 from 51 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [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.
 Computing post^141 from 8 states.
   [NZCUB] Found a cycle.
 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.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   1 state merged within 32 states.
 Computing post^160 from 31 states.
   [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] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
 Computing post^153 from 8 states.
 Computing post^154 from 6 states.
 Computing post^169 from 6 states.
 Computing post^170 from 4 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.
   2 states merged within 53 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^156 from 51 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^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.
   2 states merged within 53 states.
 Computing post^160 from 51 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^177 from 6 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^178 from 4 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^161 from 8 states.
 Computing post^179 from 38 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!
   2 states merged within 53 states.
 Computing post^164 from 51 states.
   [NZCUB] Found a cycle.
 Computing post^181 from 6 states.
 Computing post^182 from 4 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^183 from 38 states.
 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.
   2 states merged within 53 states.
 Computing post^168 from 51 states.
 Computing post^186 from 4 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^187 from 38 states.
   [NZCUB] Non-Zeno cycle found!
 Computing post^169 from 8 states.
 Computing post^170 from 6 states.
 Computing post^171 from 58 states.
   1 state merged within 32 states.
 Computing post^188 from 31 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.
   [NZCUB] Found a cycle.
 Computing post^191 from 38 states.
   [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.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
 Computing post^179 from 58 states.
   [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.
   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 553.092 seconds.
   [NZCUB] Non-Zeno cycle found!

 IMITATOR successfully terminated (after 553.227 seconds)

 Computing post^181 from 8 states.
 Computing post^182 from 6 states.
 Computing post^183 from 58 states.
   2 states merged within 53 states.
 Computing post^184 from 51 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^185 from 8 states.
 Computing post^186 from 6 states.
 Computing post^187 from 58 states.
   2 states merged within 53 states.
 Computing post^188 from 51 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^189 from 8 states.
 Computing post^190 from 6 states.
 Computing post^191 from 58 states.
   2 states merged within 53 states.
 Computing post^192 from 51 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^193 from 8 states.
 Computing post^194 from 6 states.
 Computing post^195 from 58 states.
   2 states merged within 53 states.
 Computing post^196 from 51 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
 Computing post^197 from 8 states.
 Computing post^198 from 6 states.
 Computing post^199 from 58 states.
   2 states merged within 53 states.
 
 State space exploration stopped at a depth of 200: 6119 states with 10820 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 644.704 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
   p1 >= 2
 & p5 > 2*p1
 & p2 + 2 > 2*p1
 & 10 > p1
 & p4 + 2 > 3*p1
 & p3 + 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)
 IMITATOR successfully terminated (after 644.752 seconds)

 
 Result written to file '/home/royal/Desktop/experiments/Etienne/4/WFAS-BBLS15-det/NZCUBtransdist.res'.

 IMITATOR successfully terminated (after 644.753 seconds)