Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Buildings_latest_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.0-master/package.mo", uses=false) Using package Buildings with version 11.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.0-master/package.mo) Using package Modelica with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo) Using package Complex with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo) Using package ModelicaServices with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo) Running command: translateModel(Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_latest_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex") translateModel(Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_latest_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.000839/0.000839, allocations: 84.38 kB / 15.06 MB, free: 1.09 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo): time 0.0009586/0.0009585, allocations: 168.7 kB / 15.95 MB, free: 204 kB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo): time 1.578/1.578, allocations: 223.3 MB / 240 MB, free: 5.402 MB / 190.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.0-master/package.mo): time 2.893/2.893, allocations: 462.6 MB / 0.736 GB, free: 15.78 MB / 0.5919 GB Notification: Performance of FrontEnd - loaded program: time 0.0006068/0.0006071, allocations: 14.84 kB / 0.9021 GB, free: 36.65 MB / 0.7169 GB Notification: Performance of FrontEnd - Absyn->SCode: time 0.3623/0.3629, allocations: 159.6 MB / 1.058 GB, free: 5.348 MB / 0.8106 GB Notification: Performance of NFInst.instantiate(Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex): time 0.00803/0.371, allocations: 6.777 MB / 1.065 GB, free: 14.54 MB / 0.8262 GB Notification: Performance of NFInst.instExpressions: time 0.007444/0.3785, allocations: 4.193 MB / 1.069 GB, free: 10.34 MB / 0.8262 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.002104/0.3806, allocations: 99.5 kB / 1.069 GB, free: 10.24 MB / 0.8262 GB Notification: Performance of NFTyping.typeComponents: time 0.001784/0.3824, allocations: 0.5618 MB / 1.069 GB, free: 9.672 MB / 0.8262 GB [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.0-master/Templates/Plants/Controls/Utilities/StageIndex.mo:125:12-125:23:writable] Warning: 'each' used when modifying non-array element passed. Notification: Performance of NFTyping.typeBindings: time 0.001083/0.3835, allocations: 222.4 kB / 1.07 GB, free: 9.453 MB / 0.8262 GB Notification: Performance of NFTyping.typeClassSections: time 0.003525/0.3871, allocations: 1.384 MB / 1.071 GB, free: 8.07 MB / 0.8262 GB Notification: Performance of NFFlatten.flatten: time 0.01316/0.4002, allocations: 12.9 MB / 1.084 GB, free: 11.14 MB / 0.8419 GB Notification: Performance of NFFlatten.resolveConnections: time 0.01882/0.4191, allocations: 12.77 MB / 1.096 GB, free: 14.28 MB / 0.8575 GB Notification: Performance of NFEvalConstants.evaluate: time 0.006748/0.4259, allocations: 3.264 MB / 1.099 GB, free: 11 MB / 0.8575 GB Notification: Performance of NFSimplifyModel.simplify: time 0.008122/0.4341, allocations: 3.527 MB / 1.103 GB, free: 7.453 MB / 0.8575 GB Notification: Performance of NFPackage.collectConstants: time 0.003448/0.4376, allocations: 392 kB / 1.103 GB, free: 7.07 MB / 0.8575 GB Notification: Performance of NFFlatten.collectFunctions: time 0.002931/0.4406, allocations: 424 kB / 1.103 GB, free: 6.656 MB / 0.8575 GB Notification: Performance of NFScalarize.scalarize: time 0.003598/0.4442, allocations: 2.195 MB / 1.106 GB, free: 4.453 MB / 0.8575 GB Notification: Performance of NFVerifyModel.verify: time 0.003094/0.4473, allocations: 1.968 MB / 1.108 GB, free: 2.473 MB / 0.8575 GB Notification: Performance of NFConvertDAE.convert: time 0.02107/0.4684, allocations: 16.56 MB / 1.124 GB, free: 1.879 MB / 0.8731 GB Notification: Performance of FrontEnd - DAE generated: time 5.43e-06/0.4685, allocations: 0 / 1.124 GB, free: 1.879 MB / 0.8731 GB Notification: Performance of FrontEnd: time 2.184e-06/0.4685, allocations: 0 / 1.124 GB, free: 1.879 MB / 0.8731 GB Notification: Performance of Transformations before backend: time 0.0009621/0.4694, allocations: 4 kB / 1.124 GB, free: 1.875 MB / 0.8731 GB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 3446 * Number of variables: 3446 Notification: Performance of Generate backend data structure: time 0.02492/0.4944, allocations: 12.42 MB / 1.136 GB, free: 5.055 MB / 0.8887 GB Notification: Performance of prepare preOptimizeDAE: time 5.285e-05/0.4945, allocations: 8.031 kB / 1.136 GB, free: 5.047 MB / 0.8887 GB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.006165/0.5006, allocations: 1.336 MB / 1.137 GB, free: 3.695 MB / 0.8887 GB Notification: Performance of preOpt evaluateParameters (simulation): time 0.01536/0.516, allocations: 6.739 MB / 1.144 GB, free: 12.88 MB / 0.9044 GB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.002026/0.5181, allocations: 1.212 MB / 1.145 GB, free: 11.66 MB / 0.9044 GB Notification: Performance of preOpt expandDerOperator (simulation): time 0.005635/0.5238, allocations: 1.422 MB / 1.146 GB, free: 10.24 MB / 0.9044 GB Notification: Performance of preOpt clockPartitioning (simulation): time 0.05585/0.5796, allocations: 19.98 MB / 1.166 GB, free: 5.262 MB / 0.92 GB Notification: Performance of preOpt findStateOrder (simulation): time 0.0006166/0.5803, allocations: 51.5 kB / 1.166 GB, free: 5.211 MB / 0.92 GB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.005145/0.5855, allocations: 0.5703 MB / 1.166 GB, free: 4.641 MB / 0.92 GB Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.0004138/0.5859, allocations: 340 kB / 1.167 GB, free: 4.309 MB / 0.92 GB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.04165/0.6276, allocations: 15.94 MB / 1.182 GB, free: 4.34 MB / 0.9356 GB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.1212/0.7488, allocations: 66.12 MB / 1.247 GB, free: 0.7109 MB / 0.9981 GB Notification: Performance of preOpt comSubExp (simulation): time 0.7844/1.533, allocations: 12.11 MB / 1.259 GB, free: 153.7 MB / 0.9981 GB Notification: Performance of preOpt resolveLoops (simulation): time 0.01087/1.544, allocations: 5.759 MB / 1.264 GB, free: 152.8 MB / 0.9981 GB Notification: Performance of preOpt evalFunc (simulation): time 0.000549/1.545, allocations: 143.8 kB / 1.264 GB, free: 152.8 MB / 0.9981 GB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.01662/1.561, allocations: 7.657 MB / 1.272 GB, free: 149.3 MB / 0.9981 GB Notification: Performance of pre-optimization done (n=911): time 7.415e-05/1.562, allocations: 0 / 1.272 GB, free: 149.3 MB / 0.9981 GB Notification: Performance of matching and sorting (n=911): time 0.03134/1.593, allocations: 13.98 MB / 1.286 GB, free: 144.8 MB / 0.9981 GB Notification: Performance of inlineWhenForInitialization (initialization): time 0.00122/1.594, allocations: 3.174 MB / 1.289 GB, free: 141.2 MB / 0.9981 GB [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.0-master/Templates/Plants/Controls/Utilities/PlaceholderLogical.mo:9:3-11:47:writable] Warning: Parameter idxStaRunUna.pas[4].u_internal has no value, and is fixed during initialization (fixed=true), using available start value (start=true) as default value. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.0-master/Templates/Plants/Controls/Utilities/PlaceholderLogical.mo:9:3-11:47:writable] Warning: Parameter idxStaRunUna.pas[3].u_internal has no value, and is fixed during initialization (fixed=true), using available start value (start=true) as default value. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.0-master/Templates/Plants/Controls/Utilities/PlaceholderLogical.mo:9:3-11:47:writable] Warning: Parameter idxStaRunUna.pas[2].u_internal has no value, and is fixed during initialization (fixed=true), using available start value (start=true) as default value. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.0-master/Templates/Plants/Controls/Utilities/PlaceholderLogical.mo:9:3-11:47:writable] Warning: Parameter idxStaRunUna.pas[1].u_internal has no value, and is fixed during initialization (fixed=true), using available start value (start=true) as default value. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.0-master/Templates/Plants/Controls/Utilities/PlaceholderLogical.mo:9:3-11:47:writable] Warning: Parameter idxStaRun.pas[4].u_internal has no value, and is fixed during initialization (fixed=true), using available start value (start=true) as default value. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.0-master/Templates/Plants/Controls/Utilities/PlaceholderLogical.mo:9:3-11:47:writable] Warning: Parameter idxStaRun.pas[3].u_internal has no value, and is fixed during initialization (fixed=true), using available start value (start=true) as default value. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.0-master/Templates/Plants/Controls/Utilities/PlaceholderLogical.mo:9:3-11:47:writable] Warning: Parameter idxStaRun.pas[2].u_internal has no value, and is fixed during initialization (fixed=true), using available start value (start=true) as default value. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.0-master/Templates/Plants/Controls/Utilities/PlaceholderLogical.mo:9:3-11:47:writable] Warning: Parameter idxStaRun.pas[1].u_internal has no value, and is fixed during initialization (fixed=true), using available start value (start=true) as default value. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.0-master/Templates/Plants/Controls/Utilities/PlaceholderLogical.mo:9:3-11:47:writable] Warning: Parameter idxStaUna.pas[4].u_internal has no value, and is fixed during initialization (fixed=true), using available start value (start=true) as default value. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.0-master/Templates/Plants/Controls/Utilities/PlaceholderLogical.mo:9:3-11:47:writable] Warning: Parameter idxStaUna.pas[3].u_internal has no value, and is fixed during initialization (fixed=true), using available start value (start=true) as default value. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.0-master/Templates/Plants/Controls/Utilities/PlaceholderLogical.mo:9:3-11:47:writable] Warning: Parameter idxStaUna.pas[2].u_internal has no value, and is fixed during initialization (fixed=true), using available start value (start=true) as default value. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.0-master/Templates/Plants/Controls/Utilities/PlaceholderLogical.mo:9:3-11:47:writable] Warning: Parameter idxStaUna.pas[1].u_internal has no value, and is fixed during initialization (fixed=true), using available start value (start=true) as default value. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.0-master/Templates/Plants/Controls/Utilities/PlaceholderLogical.mo:9:3-11:47:writable] Warning: Parameter idxSta.pas[4].u_internal has no value, and is fixed during initialization (fixed=true), using available start value (start=true) as default value. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.0-master/Templates/Plants/Controls/Utilities/PlaceholderLogical.mo:9:3-11:47:writable] Warning: Parameter idxSta.pas[3].u_internal has no value, and is fixed during initialization (fixed=true), using available start value (start=true) as default value. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.0-master/Templates/Plants/Controls/Utilities/PlaceholderLogical.mo:9:3-11:47:writable] Warning: Parameter idxSta.pas[2].u_internal has no value, and is fixed during initialization (fixed=true), using available start value (start=true) as default value. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.0-master/Templates/Plants/Controls/Utilities/PlaceholderLogical.mo:9:3-11:47:writable] Warning: Parameter idxSta.pas[1].u_internal has no value, and is fixed during initialization (fixed=true), using available start value (start=true) as default value. Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.01315/1.607, allocations: 6.018 MB / 1.295 GB, free: 139 MB / 0.9981 GB Notification: Performance of collectPreVariables (initialization): time 0.002536/1.61, allocations: 0.6337 MB / 1.295 GB, free: 138.7 MB / 0.9981 GB Notification: Performance of collectInitialEqns (initialization): time 0.005013/1.615, allocations: 4.316 MB / 1.299 GB, free: 135.8 MB / 0.9981 GB Notification: Performance of collectInitialBindings (initialization): time 0.004013/1.619, allocations: 2.107 MB / 1.301 GB, free: 134.3 MB / 0.9981 GB Notification: Performance of simplifyInitialFunctions (initialization): time 0.001791/1.621, allocations: 240.9 kB / 1.302 GB, free: 134.2 MB / 0.9981 GB Notification: Performance of setup shared object (initialization): time 0.001096/1.622, allocations: 0.8053 MB / 1.302 GB, free: 133.6 MB / 0.9981 GB Notification: Performance of preBalanceInitialSystem (initialization): time 0.009895/1.632, allocations: 5.477 MB / 1.308 GB, free: 131.9 MB / 0.9981 GB Notification: Performance of partitionIndependentBlocks (initialization): time 0.01251/1.644, allocations: 9.197 MB / 1.317 GB, free: 123.2 MB / 0.9981 GB Notification: Performance of analyzeInitialSystem (initialization): time 0.01057/1.655, allocations: 5.309 MB / 1.322 GB, free: 117.8 MB / 0.9981 GB Notification: Performance of solveInitialSystemEqSystem (initialization): time 0.000177/1.655, allocations: 32 kB / 1.322 GB, free: 117.8 MB / 0.9981 GB Notification: Performance of matching and sorting (n=1528) (initialization): time 0.02733/1.683, allocations: 13.78 MB / 1.335 GB, free: 103.9 MB / 0.9981 GB Notification: Performance of prepare postOptimizeDAE: time 0.0003596/1.683, allocations: 391.2 kB / 1.336 GB, free: 103.5 MB / 0.9981 GB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 0.0002271/1.683, allocations: 108.9 kB / 1.336 GB, free: 103.4 MB / 0.9981 GB Notification: Performance of postOpt tearingSystem (initialization): time 0.0002285/1.683, allocations: 188 kB / 1.336 GB, free: 103.2 MB / 0.9981 GB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.005296/1.689, allocations: 1.313 MB / 1.337 GB, free: 101.9 MB / 0.9981 GB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 0.0002247/1.689, allocations: 243.2 kB / 1.338 GB, free: 101.6 MB / 0.9981 GB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.007324/1.696, allocations: 1.241 MB / 1.339 GB, free: 100.4 MB / 0.9981 GB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.002075/1.698, allocations: 0.5866 MB / 1.339 GB, free: 99.81 MB / 0.9981 GB Notification: Model statistics after passing the back-end for initialization: * Number of independent subsystems: 497 * Number of states: 0 () * Number of discrete variables: 1277 ($PRE.idxSta.sta0ToSta[1].enableFire,$PRE.idxSta.sta0ToSta[2].enableFire,$PRE.idxSta.sta0ToSta[3].enableFire,$PRE.idxSta.sta0ToSta[4].enableFire,$PRE.idxSta.staToSta[1,1].enableFire,$PRE.idxSta.staToSta[1,2].enableFire,$PRE.idxSta.staToSta[1,3].enableFire,$PRE.idxSta.staToSta[1,4].enableFire,$PRE.idxSta.staToSta[2,1].enableFire,$PRE.idxSta.staToSta[2,2].enableFire,$PRE.idxSta.staToSta[2,3].enableFire,$PRE.idxSta.staToSta[2,4].enableFire,$PRE.idxSta.staToSta[3,1].enableFire,$PRE.idxSta.staToSta[3,2].enableFire,$PRE.idxSta.staToSta[3,3].enableFire,$PRE.idxSta.staToSta[3,4].enableFire,$PRE.idxSta.staToSta[4,1].enableFire,$PRE.idxSta.staToSta[4,2].enableFire,$PRE.idxSta.staToSta[4,3].enableFire,$PRE.idxSta.staToSta[4,4].enableFire,$PRE.idxSta.staToSta0[1].enableFire,$PRE.idxSta.staToSta0[2].enableFire,$PRE.idxSta.staToSta0[3].enableFire,$PRE.idxSta.staToSta0[4].enableFire,$PRE.idxSta.truIdxNex.u,$PRE.idxSta.truNexHigAva.u,$PRE.idxStaUna.sta0ToSta[1].enableFire,$PRE.idxStaUna.sta0ToSta[2].enableFire,$PRE.idxStaUna.sta0ToSta[3].enableFire,$PRE.idxStaUna.sta0ToSta[4].enableFire,$PRE.idxStaUna.staToSta[1,1].enableFire,$PRE.idxStaUna.staToSta[1,2].enableFire,$PRE.idxStaUna.staToSta[1,3].enableFire,$PRE.idxStaUna.staToSta[1,4].enableFire,$PRE.idxStaUna.staToSta[2,1].enableFire,$PRE.idxStaUna.staToSta[2,2].enableFire,$PRE.idxStaUna.staToSta[2,3].enableFire,$PRE.idxStaUna.staToSta[2,4].enableFire,$PRE.idxStaUna.staToSta[3,1].enableFire,$PRE.idxStaUna.staToSta[3,2].enableFire,$PRE.idxStaUna.staToSta[3,3].enableFire,$PRE.idxStaUna.staToSta[3,4].enableFire,$PRE.idxStaUna.staToSta[4,1].enableFire,$PRE.idxStaUna.staToSta[4,2].enableFire,$PRE.idxStaUna.staToSta[4,3].enableFire,$PRE.idxStaUna.staToSta[4,4].enableFire,$PRE.idxStaUna.staToSta0[1].enableFire,$PRE.idxStaUna.staToSta0[2].enableFire,$PRE.idxStaUna.staToSta0[3].enableFire,$PRE.idxStaUna.staToSta0[4].enableFire,$PRE.idxStaUna.truIdxNex.u,$PRE.idxStaUna.truNexHigAva.u,$PRE.idxStaRun.sta0ToSta[1].enableFire,$PRE.idxStaRun.sta0ToSta[2].enableFire,$PRE.idxStaRun.sta0ToSta[3].enableFire,$PRE.idxStaRun.sta0ToSta[4].enableFire,$PRE.idxStaRun.staToSta[1,1].enableFire,$PRE.idxStaRun.staToSta[1,2].enableFire,$PRE.idxStaRun.staToSta[1,3].enableFire,$PRE.idxStaRun.staToSta[1,4].enableFire,$PRE.idxStaRun.staToSta[2,1].enableFire,$PRE.idxStaRun.staToSta[2,2].enableFire,$PRE.idxStaRun.staToSta[2,3].enableFire,$PRE.idxStaRun.staToSta[2,4].enableFire,$PRE.idxStaRun.staToSta[3,1].enableFire,$PRE.idxStaRun.staToSta[3,2].enableFire,$PRE.idxStaRun.staToSta[3,3].enableFire,$PRE.idxStaRun.staToSta[3,4].enableFire,$PRE.idxStaRun.staToSta[4,1].enableFire,$PRE.idxStaRun.staToSta[4,2].enableFire,$PRE.idxStaRun.staToSta[4,3].enableFire,$PRE.idxStaRun.staToSta[4,4].enableFire,$PRE.idxStaRun.staToSta0[1].enableFire,$PRE.idxStaRun.staToSta0[2].enableFire,$PRE.idxStaRun.staToSta0[3].enableFire,$PRE.idxStaRun.staToSta0[4].enableFire,$PRE.idxStaRun.truIdxNex.u,$PRE.idxStaRun.truNexHigAva.u,$PRE.idxStaRunUna.sta0ToSta[1].enableFire,$PRE.idxStaRunUna.sta0ToSta[2].enableFire,$PRE.idxStaRunUna.sta0ToSta[3].enableFire,$PRE.idxStaRunUna.sta0ToSta[4].enableFire,$PRE.idxStaRunUna.staToSta[1,1].enableFire,$PRE.idxStaRunUna.staToSta[1,2].enableFire,$PRE.idxStaRunUna.staToSta[1,3].enableFire,$PRE.idxStaRunUna.staToSta[1,4].enableFire,$PRE.idxStaRunUna.staToSta[2,1].enableFire,$PRE.idxStaRunUna.staToSta[2,2].enableFire,$PRE.idxStaRunUna.staToSta[2,3].enableFire,$PRE.idxStaRunUna.staToSta[2,4].enableFire,$PRE.idxStaRunUna.staToSta[3,1].enableFire,$PRE.idxStaRunUna.staToSta[3,2].enableFire,$PRE.idxStaRunUna.staToSta[3,3].enableFire,$PRE.idxStaRunUna.staToSta[3,4].enableFire,$PRE.idxStaRunUna.staToSta[4,1].enableFire,$PRE.idxStaRunUna.staToSta[4,2].enableFire,$PRE.idxStaRunUna.staToSta[4,3].enableFire,$PRE.idxStaRunUna.staToSta[4,4].enableFire,$PRE.idxStaRunUna.staToSta0[1].enableFire,$PRE.idxStaRunUna.staToSta0[2].enableFire,$PRE.idxStaRunUna.staToSta0[3].enableFire,$PRE.idxStaRunUna.staToSta0[4].enableFire,$PRE.idxStaRunUna.truIdxNex.u,$PRE.idxStaRunUna.truNexHigAva.u,$PRE.u1UpHol.onDelay.u,$PRE.u1UpHol.toOutputTrue.enableFire,$PRE.u1UpHol.toInitial.enableFire,$PRE.u1DowHol.onDelay.u,$PRE.u1DowHol.toOutputTrue.enableFire,$PRE.u1DowHol.toInitial.enableFire,$whenCondition34,$whenCondition35,$whenCondition9,$whenCondition8,$whenCondition7,$whenCondition4,$PRE.u1UpHol.onDelay.t_next,$whenCondition1,$PRE.u1DowHol.onDelay.t_next,u1UpHol.onDelay.t_next,u1DowHol.onDelay.t_next,$PRE.idxSta.sta0ToSta[1].t_start,idxSta.sta0ToSta[1].t_start,$PRE.idxSta.sta0ToSta[2].t_start,idxSta.sta0ToSta[2].t_start,$PRE.idxSta.sta0ToSta[3].t_start,idxSta.sta0ToSta[3].t_start,$PRE.idxSta.sta0ToSta[4].t_start,idxSta.sta0ToSta[4].t_start,$PRE.idxSta.staToSta[1,1].t_start,idxSta.staToSta[1,1].t_start,$PRE.idxSta.staToSta[1,2].t_start,idxSta.staToSta[1,2].t_start,$PRE.idxSta.staToSta[1,3].t_start,idxSta.staToSta[1,3].t_start,$PRE.idxSta.staToSta[1,4].t_start,idxSta.staToSta[1,4].t_start,$PRE.idxSta.staToSta[2,1].t_start,idxSta.staToSta[2,1].t_start,$PRE.idxSta.staToSta[2,2].t_start,idxSta.staToSta[2,2].t_start,$PRE.idxSta.staToSta[2,3].t_start,idxSta.staToSta[2,3].t_start,$PRE.idxSta.staToSta[2,4].t_start,idxSta.staToSta[2,4].t_start,$PRE.idxSta.staToSta[3,1].t_start,idxSta.staToSta[3,1].t_start,$PRE.idxSta.staToSta[3,2].t_start,idxSta.staToSta[3,2].t_start,$PRE.idxSta.staToSta[3,3].t_start,idxSta.staToSta[3,3].t_start,$PRE.idxSta.staToSta[3,4].t_start,idxSta.staToSta[3,4].t_start,$PRE.idxSta.staToSta[4,1].t_start,idxSta.staToSta[4,1].t_start,$PRE.idxSta.staToSta[4,2].t_start,idxSta.staToSta[4,2].t_start,$PRE.idxSta.staToSta[4,3].t_start,idxSta.staToSta[4,3].t_start,$PRE.idxSta.staToSta[4,4].t_start,idxSta.staToSta[4,4].t_start,$PRE.idxSta.staToSta0[1].t_start,idxSta.staToSta0[1].t_start,$PRE.idxSta.staToSta0[2].t_start,idxSta.staToSta0[2].t_start,$PRE.idxSta.staToSta0[3].t_start,idxSta.staToSta0[3].t_start,$PRE.idxSta.staToSta0[4].t_start,idxSta.staToSta0[4].t_start,$PRE.idxStaUna.sta0ToSta[1].t_start,idxStaUna.sta0ToSta[1].t_start,$PRE.idxStaUna.sta0ToSta[2].t_start,idxStaUna.sta0ToSta[2].t_start,$PRE.idxStaUna.sta0ToSta[3].t_start,idxStaUna.sta0ToSta[3].t_start,$PRE.idxStaUna.sta0ToSta[4].t_start,idxStaUna.sta0ToSta[4].t_start,$PRE.idxStaUna.staToSta[1,1].t_start,idxStaUna.staToSta[1,1].t_start,$PRE.idxStaUna.staToSta[1,2].t_start,idxStaUna.staToSta[1,2].t_start,$PRE.idxStaUna.staToSta[1,3].t_start,idxStaUna.staToSta[1,3].t_start,$PRE.idxStaUna.staToSta[1,4].t_start,idxStaUna.staToSta[1,4].t_start,$PRE.idxStaUna.staToSta[2,1].t_start,idxStaUna.staToSta[2,1].t_start,$PRE.idxStaUna.staToSta[2,2].t_start,idxStaUna.staToSta[2,2].t_start,$PRE.idxStaUna.staToSta[2,3].t_start,idxStaUna.staToSta[2,3].t_start,$PRE.idxStaUna.staToSta[2,4].t_start,idxStaUna.staToSta[2,4].t_start,$PRE.idxStaUna.staToSta[3,1].t_start,idxStaUna.staToSta[3,1].t_start,$PRE.idxStaUna.staToSta[3,2].t_start,idxStaUna.staToSta[3,2].t_start,$PRE.idxStaUna.staToSta[3,3].t_start,idxStaUna.staToSta[3,3].t_start,$PRE.idxStaUna.staToSta[3,4].t_start,idxStaUna.staToSta[3,4].t_start,$PRE.idxStaUna.staToSta[4,1].t_start,idxStaUna.staToSta[4,1].t_start,$PRE.idxStaUna.staToSta[4,2].t_start,idxStaUna.staToSta[4,2].t_start,$PRE.idxStaUna.staToSta[4,3].t_start,idxStaUna.staToSta[4,3].t_start,$PRE.idxStaUna.staToSta[4,4].t_start,idxStaUna.staToSta[4,4].t_start,$PRE.idxStaUna.staToSta0[1].t_start,idxStaUna.staToSta0[1].t_start,$PRE.idxStaUna.staToSta0[2].t_start,idxStaUna.staToSta0[2].t_start,$PRE.idxStaUna.staToSta0[3].t_start,idxStaUna.staToSta0[3].t_start,$PRE.idxStaUna.staToSta0[4].t_start,idxStaUna.staToSta0[4].t_start,$PRE.idxStaRun.sta0ToSta[1].t_start,idxStaRun.sta0ToSta[1].t_start,$PRE.idxStaRun.sta0ToSta[2].t_start,idxStaRun.sta0ToSta[2].t_start,$PRE.idxStaRun.sta0ToSta[3].t_start,idxStaRun.sta0ToSta[3].t_start,$PRE.idxStaRun.sta0ToSta[4].t_start,idxStaRun.sta0ToSta[4].t_start,$PRE.idxStaRun.staToSta[1,1].t_start,idxStaRun.staToSta[1,1].t_start,$PRE.idxStaRun.staToSta[1,2].t_start,idxStaRun.staToSta[1,2].t_start,$PRE.idxStaRun.staToSta[1,3].t_start,idxStaRun.staToSta[1,3].t_start,$PRE.idxStaRun.staToSta[1,4].t_start,idxStaRun.staToSta[1,4].t_start,$PRE.idxStaRun.staToSta[2,1].t_start,idxStaRun.staToSta[2,1].t_start,$PRE.idxStaRun.staToSta[2,2].t_start,idxStaRun.staToSta[2,2].t_start,$PRE.idxStaRun.staToSta[2,3].t_start,idxStaRun.staToSta[2,3].t_start,$PRE.idxStaRun.staToSta[2,4].t_start,idxStaRun.staToSta[2,4].t_start,$PRE.idxStaRun.staToSta[3,1].t_start,idxStaRun.staToSta[3,1].t_start,$PRE.idxStaRun.staToSta[3,2].t_start,idxStaRun.staToSta[3,2].t_start,$PRE.idxStaRun.staToSta[3,3].t_start,idxStaRun.staToSta[3,3].t_start,$PRE.idxStaRun.staToSta[3,4].t_start,idxStaRun.staToSta[3,4].t_start,$PRE.idxStaRun.staToSta[4,1].t_start,idxStaRun.staToSta[4,1].t_start,$PRE.idxStaRun.staToSta[4,2].t_start,idxStaRun.staToSta[4,2].t_start,$PRE.idxStaRun.staToSta[4,3].t_start,idxStaRun.staToSta[4,3].t_start,$PRE.idxStaRun.staToSta[4,4].t_start,idxStaRun.staToSta[4,4].t_start,$PRE.idxStaRun.staToSta0[1].t_start,idxStaRun.staToSta0[1].t_start,$PRE.idxStaRun.staToSta0[2].t_start,idxStaRun.staToSta0[2].t_start,$PRE.idxStaRun.staToSta0[3].t_start,idxStaRun.staToSta0[3].t_start,$PRE.idxStaRun.staToSta0[4].t_start,idxStaRun.staToSta0[4].t_start,$PRE.idxStaRunUna.sta0ToSta[1].t_start,idxStaRunUna.sta0ToSta[1].t_start,$PRE.idxStaRunUna.sta0ToSta[2].t_start,idxStaRunUna.sta0ToSta[2].t_start,$PRE.idxStaRunUna.sta0ToSta[3].t_start,idxStaRunUna.sta0ToSta[3].t_start,$PRE.idxStaRunUna.sta0ToSta[4].t_start,idxStaRunUna.sta0ToSta[4].t_start,$PRE.idxStaRunUna.staToSta[1,1].t_start,idxStaRunUna.staToSta[1,1].t_start,$PRE.idxStaRunUna.staToSta[1,2].t_start,idxStaRunUna.staToSta[1,2].t_start,$PRE.idxStaRunUna.staToSta[1,3].t_start,idxStaRunUna.staToSta[1,3].t_start,$PRE.idxStaRunUna.staToSta[1,4].t_start,idxStaRunUna.staToSta[1,4].t_start,$PRE.idxStaRunUna.staToSta[2,1].t_start,idxStaRunUna.staToSta[2,1].t_start,$PRE.idxStaRunUna.staToSta[2,2].t_start,idxStaRunUna.staToSta[2,2].t_start,$PRE.idxStaRunUna.staToSta[2,3].t_start,idxStaRunUna.staToSta[2,3].t_start,$PRE.idxStaRunUna.staToSta[2,4].t_start,idxStaRunUna.staToSta[2,4].t_start,$PRE.idxStaRunUna.staToSta[3,1].t_start,idxStaRunUna.staToSta[3,1].t_start,$PRE.idxStaRunUna.staToSta[3,2].t_start,idxStaRunUna.staToSta[3,2].t_start,$PRE.idxStaRunUna.staToSta[3,3].t_start,idxStaRunUna.staToSta[3,3].t_start,$PRE.idxStaRunUna.staToSta[3,4].t_start,idxStaRunUna.staToSta[3,4].t_start,$PRE.idxStaRunUna.staToSta[4,1].t_start,idxStaRunUna.staToSta[4,1].t_start,$PRE.idxStaRunUna.staToSta[4,2].t_start,idxStaRunUna.staToSta[4,2].t_start,$PRE.idxStaRunUna.staToSta[4,3].t_start,idxStaRunUna.staToSta[4,3].t_start,$PRE.idxStaRunUna.staToSta[4,4].t_start,idxStaRunUna.staToSta[4,4].t_start,$PRE.idxStaRunUna.staToSta0[1].t_start,idxStaRunUna.staToSta0[1].t_start,$PRE.idxStaRunUna.staToSta0[2].t_start,idxStaRunUna.staToSta0[2].t_start,$PRE.idxStaRunUna.staToSta0[3].t_start,idxStaRunUna.staToSta0[3].t_start,$PRE.idxStaRunUna.staToSta0[4].t_start,idxStaRunUna.staToSta0[4].t_start,$PRE.u1UpHol.toOutputTrue.t_start,u1UpHol.toOutputTrue.t_start,$PRE.u1UpHol.toInitial.t_start,u1UpHol.toInitial.t_start,$PRE.u1DowHol.toOutputTrue.t_start,u1DowHol.toOutputTrue.t_start,$PRE.u1DowHol.toInitial.t_start,u1DowHol.toInitial.t_start,idxSta.una[1].y,idxSta.una[2].y,idxSta.una[3].y,idxSta.una[4].y,idxStaRun.una[1].y,idxStaRun.una[2].y,idxStaRun.una[3].y,idxStaRun.una[4].y,u1DowHol.stateGraphRoot.resume,u1DowHol.stateGraphRoot.suspend,u1UpHol.stateGraphRoot.resume,u1UpHol.stateGraphRoot.suspend,idxStaRunUna.stateGraphRoot.resume,idxStaRunUna.stateGraphRoot.suspend,idxStaRun.stateGraphRoot.resume,idxStaRun.stateGraphRoot.suspend,idxStaUna.stateGraphRoot.resume,idxStaUna.stateGraphRoot.suspend,idxSta.stateGraphRoot.resume,idxSta.stateGraphRoot.suspend,idxStaRunUna.idxStaAll[4].y,idxStaRunUna.idxStaAll[3].y,idxStaRunUna.idxStaAll[2].y,idxStaRunUna.idxStaAll[1].y,idxStaRunUna.one.y,idxStaRun.idxStaAll[4].y,idxStaRun.idxStaAll[3].y,idxStaRun.idxStaAll[2].y,idxStaRun.idxStaAll[1].y,idxStaRun.phAvaSta[4].ph.y,idxStaRun.phAvaSta[3].ph.y,idxStaRun.phAvaSta[2].ph.y,idxStaRun.phAvaSta[1].ph.y,idxStaRun.one.y,idxStaUna.idxStaAll[4].y,idxStaUna.idxStaAll[3].y,idxStaUna.idxStaAll[2].y,idxStaUna.idxStaAll[1].y,idxStaUna.one.y,idxSta.idxStaAll[4].y,idxSta.idxStaAll[3].y,idxSta.idxStaAll[2].y,idxSta.idxStaAll[1].y,idxSta.phAvaSta[4].ph.y,idxSta.phAvaSta[3].ph.y,idxSta.phAvaSta[2].ph.y,idxSta.phAvaSta[1].ph.y,idxSta.one.y,idxSta.idxFirAva.booToInt[1].y,idxSta.idxFirAva.booToInt[2].y,idxSta.idxFirAva.booToInt[3].y,idxSta.idxFirAva.booToInt[4].y,idxSta.idxLasAva.booToInt[1].y,idxSta.idxLasAva.booToInt[2].y,idxSta.idxLasAva.booToInt[3].y,idxSta.idxLasAva.booToInt[4].y,idxStaRun.idxFirAva.booToInt[1].y,idxStaRun.idxFirAva.booToInt[2].y,idxStaRun.idxFirAva.booToInt[3].y,idxStaRun.idxFirAva.booToInt[4].y,idxStaRun.idxLasAva.booToInt[1].y,idxStaRun.idxLasAva.booToInt[2].y,idxStaRun.idxLasAva.booToInt[3].y,idxStaRun.idxLasAva.booToInt[4].y,idxStaRun.idxLasAva.y,idxStaRun.idxFirAva.mulMin.y,$whenCondition31,$whenCondition32,$whenCondition33,$whenCondition28,$whenCondition29,$whenCondition30,$whenCondition25,$whenCondition26,$whenCondition27,$whenCondition22,$whenCondition23,$whenCondition24,$whenCondition19,$whenCondition20,$whenCondition21,$whenCondition16,$whenCondition17,$whenCondition18,$whenCondition13,$whenCondition14,$whenCondition15,$whenCondition10,$whenCondition11,$whenCondition12,$whenCondition5,$whenCondition6,$whenCondition2,$whenCondition3,$PRE.ena.y,ena.y,$PRE.idxSta.sta0.localActive,idxSta.sta0.localActive,idxSta.sta0.outPort[2].available,idxSta.sta0.outPort[3].available,idxSta.sta0.outPort[4].available,$PRE.idxSta.sta0.newActive,idxSta.sta0.newActive,$PRE.idxSta.sta0.oldActive,idxSta.sta0.oldActive,idxSta.sta0.active,$PRE.idxSta.sta[1].localActive,idxSta.sta[1].localActive,idxSta.sta[1].outPort[2].available,idxSta.sta[1].outPort[3].available,idxSta.sta[1].outPort[4].available,idxSta.sta[1].outPort[5].available,$PRE.idxSta.sta[1].newActive,idxSta.sta[1].newActive,$PRE.idxSta.sta[1].oldActive,idxSta.sta[1].oldActive,idxSta.sta[1].active,$PRE.idxSta.sta[2].localActive,idxSta.sta[2].localActive,idxSta.sta[2].outPort[2].available,idxSta.sta[2].outPort[3].available,idxSta.sta[2].outPort[4].available,idxSta.sta[2].outPort[5].available,$PRE.idxSta.sta[2].newActive,idxSta.sta[2].newActive,$PRE.idxSta.sta[2].oldActive,idxSta.sta[2].oldActive,idxSta.sta[2].active,$PRE.idxSta.sta[3].localActive,idxSta.sta[3].localActive,idxSta.sta[3].outPort[2].available,idxSta.sta[3].outPort[3].available,idxSta.sta[3].outPort[4].available,idxSta.sta[3].outPort[5].available,$PRE.idxSta.sta[3].newActive,idxSta.sta[3].newActive,$PRE.idxSta.sta[3].oldActive,idxSta.sta[3].oldActive,idxSta.sta[3].active,$PRE.idxSta.sta[4].localActive,idxSta.sta[4].localActive,idxSta.sta[4].outPort[2].available,idxSta.sta[4].outPort[3].available,idxSta.sta[4].outPort[4].available,idxSta.sta[4].outPort[5].available,$PRE.idxSta.sta[4].newActive,idxSta.sta[4].newActive,$PRE.idxSta.sta[4].oldActive,idxSta.sta[4].oldActive,idxSta.sta[4].active,idxSta.sta0ToSta[1].enableFire,idxSta.sta0ToSta[1].outPort.occupied,idxSta.sta0ToSta[2].enableFire,idxSta.sta0ToSta[2].outPort.occupied,idxSta.sta0ToSta[3].enableFire,idxSta.sta0ToSta[3].outPort.occupied,idxSta.sta0ToSta[4].enableFire,idxSta.sta0ToSta[4].outPort.occupied,idxSta.stateGraphRoot.activeSteps,idxSta.staToSta[1,1].condition,idxSta.staToSta[1,1].enableFire,idxSta.staToSta[1,2].condition,idxSta.staToSta[1,2].enableFire,idxSta.staToSta[1,3].condition,idxSta.staToSta[1,3].enableFire,idxSta.staToSta[1,4].condition,idxSta.staToSta[1,4].enableFire,idxSta.staToSta[2,1].condition,idxSta.staToSta[2,1].enableFire,idxSta.staToSta[2,1].outPort.occupied,idxSta.staToSta[2,2].condition,idxSta.staToSta[2,2].enableFire,idxSta.staToSta[2,2].outPort.occupied,idxSta.staToSta[2,3].condition,idxSta.staToSta[2,3].enableFire,idxSta.staToSta[2,3].outPort.occupied,idxSta.staToSta[2,4].condition,idxSta.staToSta[2,4].enableFire,idxSta.staToSta[2,4].outPort.occupied,idxSta.staToSta[3,1].condition,idxSta.staToSta[3,1].enableFire,idxSta.staToSta[3,1].outPort.occupied,idxSta.staToSta[3,2].condition,idxSta.staToSta[3,2].enableFire,idxSta.staToSta[3,2].outPort.occupied,idxSta.staToSta[3,3].condition,idxSta.staToSta[3,3].enableFire,idxSta.staToSta[3,3].outPort.occupied,idxSta.staToSta[3,4].condition,idxSta.staToSta[3,4].enableFire,idxSta.staToSta[3,4].outPort.occupied,idxSta.staToSta[4,1].condition,idxSta.staToSta[4,1].enableFire,idxSta.staToSta[4,1].outPort.occupied,idxSta.staToSta[4,2].condition,idxSta.staToSta[4,2].enableFire,idxSta.staToSta[4,2].outPort.occupied,idxSta.staToSta[4,3].condition,idxSta.staToSta[4,3].enableFire,idxSta.staToSta[4,3].outPort.occupied,idxSta.staToSta[4,4].condition,idxSta.staToSta[4,4].enableFire,idxSta.staToSta[4,4].outPort.occupied,idxSta.runAndTrn[1].y,idxSta.runAndTrn[2].y,idxSta.runAndTrn[3].y,idxSta.runAndTrn[4].y,idxSta.rep.y[4],idxSta.staToSta0[1].condition,idxSta.staToSta0[1].enableFire,idxSta.staToSta0[2].condition,idxSta.staToSta0[2].enableFire,idxSta.staToSta0[2].outPort.occupied,idxSta.staToSta0[3].condition,idxSta.staToSta0[3].enableFire,idxSta.staToSta0[3].outPort.occupied,idxSta.staToSta0[4].condition,idxSta.staToSta0[4].enableFire,idxSta.staToSta0[4].outPort.occupied,idxSta.upAndEna.u[3],idxSta.upAndEna.y,idxSta.upAndEna.uTemp[2],idxSta.idxFirAct.booToInt[1].y,idxSta.idxFirAct.booToInt[2].y,idxSta.idxFirAct.booToInt[3].y,idxSta.idxFirAct.booToInt[4].y,idxSta.idxFirAct.mulMin.y,idxSta.idxFirAct.intEqu.y,idxSta.staUna.y,idxSta.maxInt.y,idxSta.idxFirAva.intEqu.y,idxSta.dowAndEna.u[3],idxSta.dowAndEna.y,idxSta.dowAndEna.uTemp[2],idxSta.intScaRep.y[4],idxSta.andAva[1].y,idxSta.andAva[2].y,idxSta.andAva[3].y,idxSta.andAva[4].y,idxSta.idxNexLowAva.y,idxSta.idxNexLowAva.booToInt[1].y,idxSta.idxNexLowAva.booToInt[2].y,idxSta.idxNexLowAva.booToInt[3].y,idxSta.idxNexLowAva.booToInt[4].y,idxSta.idxNexHigAva.y,idxSta.idxNexHigAva.booToInt[1].y,idxSta.idxNexHigAva.booToInt[2].y,idxSta.idxNexHigAva.booToInt[3].y,idxSta.idxNexHigAva.booToInt[4].y,idxSta.idxNexHigAva.mulMin.y,idxSta.idxNexHigAva.intEqu.y,idxSta.andAva1[1].y,idxSta.andAva1[2].y,idxSta.andAva1[3].y,idxSta.andAva1[4].y,idxSta.upOrActUna.y,idxSta.truIdxNex.uIdx[1],idxSta.truIdxNex.y1[1],idxSta.truIdxNex.y1[2],idxSta.truIdxNex.y1[3],idxSta.truIdxNex.y1[4],idxSta.truIdxNex.iTru,idxSta.truIdxNex.iIdx,idxSta.rep3[1].y[4],idxSta.rep3[2].y[4],idxSta.rep3[3].y[4],idxSta.rep3[4].y[4],idxSta.rep1.y[4],idxSta.truNexHigAva.u,idxSta.truNexHigAva.uIdx[1],idxSta.truNexHigAva.y1[1],idxSta.truNexHigAva.y1[2],idxSta.truNexHigAva.y1[3],idxSta.truNexHigAva.y1[4],idxSta.truNexHigAva.iTru,idxSta.truNexHigAva.iIdx,upPul.y,dowPul.y,$PRE.idxStaUna.sta0.localActive,idxStaUna.sta0.localActive,idxStaUna.sta0.outPort[2].available,idxStaUna.sta0.outPort[3].available,idxStaUna.sta0.outPort[4].available,$PRE.idxStaUna.sta0.newActive,idxStaUna.sta0.newActive,$PRE.idxStaUna.sta0.oldActive,idxStaUna.sta0.oldActive,idxStaUna.sta0.active,$PRE.idxStaUna.sta[1].localActive,idxStaUna.sta[1].localActive,idxStaUna.sta[1].outPort[2].available,idxStaUna.sta[1].outPort[3].available,idxStaUna.sta[1].outPort[4].available,idxStaUna.sta[1].outPort[5].available,$PRE.idxStaUna.sta[1].newActive,idxStaUna.sta[1].newActive,$PRE.idxStaUna.sta[1].oldActive,idxStaUna.sta[1].oldActive,idxStaUna.sta[1].active,$PRE.idxStaUna.sta[2].localActive,idxStaUna.sta[2].localActive,idxStaUna.sta[2].outPort[2].available,idxStaUna.sta[2].outPort[3].available,idxStaUna.sta[2].outPort[4].available,idxStaUna.sta[2].outPort[5].available,$PRE.idxStaUna.sta[2].newActive,idxStaUna.sta[2].newActive,$PRE.idxStaUna.sta[2].oldActive,idxStaUna.sta[2].oldActive,idxStaUna.sta[2].active,$PRE.idxStaUna.sta[3].localActive,idxStaUna.sta[3].localActive,idxStaUna.sta[3].outPort[2].available,idxStaUna.sta[3].outPort[3].available,idxStaUna.sta[3].outPort[4].available,idxStaUna.sta[3].outPort[5].available,$PRE.idxStaUna.sta[3].newActive,idxStaUna.sta[3].newActive,$PRE.idxStaUna.sta[3].oldActive,idxStaUna.sta[3].oldActive,idxStaUna.sta[3].active,$PRE.idxStaUna.sta[4].localActive,idxStaUna.sta[4].localActive,idxStaUna.sta[4].outPort[2].available,idxStaUna.sta[4].outPort[3].available,idxStaUna.sta[4].outPort[4].available,idxStaUna.sta[4].outPort[5].available,$PRE.idxStaUna.sta[4].newActive,idxStaUna.sta[4].newActive,$PRE.idxStaUna.sta[4].oldActive,idxStaUna.sta[4].oldActive,idxStaUna.sta[4].active,idxStaUna.sta0ToSta[1].enableFire,idxStaUna.sta0ToSta[1].outPort.occupied,idxStaUna.sta0ToSta[2].enableFire,idxStaUna.sta0ToSta[2].outPort.occupied,idxStaUna.sta0ToSta[3].enableFire,idxStaUna.sta0ToSta[3].outPort.occupied,idxStaUna.sta0ToSta[4].enableFire,idxStaUna.sta0ToSta[4].outPort.occupied,idxStaUna.stateGraphRoot.activeSteps,idxStaUna.staToSta[1,1].condition,idxStaUna.staToSta[1,1].enableFire,idxStaUna.staToSta[1,2].condition,idxStaUna.staToSta[1,2].enableFire,idxStaUna.staToSta[1,3].condition,idxStaUna.staToSta[1,3].enableFire,idxStaUna.staToSta[1,4].condition,idxStaUna.staToSta[1,4].enableFire,idxStaUna.staToSta[2,1].condition,idxStaUna.staToSta[2,1].enableFire,idxStaUna.staToSta[2,1].outPort.occupied,idxStaUna.staToSta[2,2].condition,idxStaUna.staToSta[2,2].enableFire,idxStaUna.staToSta[2,2].outPort.occupied,idxStaUna.staToSta[2,3].condition,idxStaUna.staToSta[2,3].enableFire,idxStaUna.staToSta[2,3].outPort.occupied,idxStaUna.staToSta[2,4].condition,idxStaUna.staToSta[2,4].enableFire,idxStaUna.staToSta[2,4].outPort.occupied,idxStaUna.staToSta[3,1].condition,idxStaUna.staToSta[3,1].enableFire,idxStaUna.staToSta[3,1].outPort.occupied,idxStaUna.staToSta[3,2].condition,idxStaUna.staToSta[3,2].enableFire,idxStaUna.staToSta[3,2].outPort.occupied,idxStaUna.staToSta[3,3].condition,idxStaUna.staToSta[3,3].enableFire,idxStaUna.staToSta[3,3].outPort.occupied,idxStaUna.staToSta[3,4].condition,idxStaUna.staToSta[3,4].enableFire,idxStaUna.staToSta[3,4].outPort.occupied,idxStaUna.staToSta[4,1].condition,idxStaUna.staToSta[4,1].enableFire,idxStaUna.staToSta[4,1].outPort.occupied,idxStaUna.staToSta[4,2].condition,idxStaUna.staToSta[4,2].enableFire,idxStaUna.staToSta[4,2].outPort.occupied,idxStaUna.staToSta[4,3].condition,idxStaUna.staToSta[4,3].enableFire,idxStaUna.staToSta[4,3].outPort.occupied,idxStaUna.staToSta[4,4].condition,idxStaUna.staToSta[4,4].enableFire,idxStaUna.staToSta[4,4].outPort.occupied,idxStaUna.runAndTrn[1].y,idxStaUna.runAndTrn[2].y,idxStaUna.runAndTrn[3].y,idxStaUna.runAndTrn[4].y,idxStaUna.rep.y[4],idxStaUna.staToSta0[1].condition,idxStaUna.staToSta0[1].enableFire,idxStaUna.staToSta0[2].condition,idxStaUna.staToSta0[2].enableFire,idxStaUna.staToSta0[2].outPort.occupied,idxStaUna.staToSta0[3].condition,idxStaUna.staToSta0[3].enableFire,idxStaUna.staToSta0[3].outPort.occupied,idxStaUna.staToSta0[4].condition,idxStaUna.staToSta0[4].enableFire,idxStaUna.staToSta0[4].outPort.occupied,idxStaUna.upAndEna.u[3],idxStaUna.upAndEna.y,idxStaUna.upAndEna.uTemp[2],idxStaUna.idxFirAct.booToInt[1].y,idxStaUna.idxFirAct.booToInt[2].y,idxStaUna.idxFirAct.booToInt[3].y,idxStaUna.idxFirAct.booToInt[4].y,idxStaUna.idxFirAct.mulMin.y,idxStaUna.idxFirAct.intEqu.y,idxStaUna.staUna.u[1],idxStaUna.staUna.u[2],idxStaUna.staUna.u[3],idxStaUna.staUna.u[4],idxStaUna.staUna.y,idxStaUna.maxInt.y,idxStaUna.idxFirAva.intEqu.y,idxStaUna.dowAndEna.u[3],idxStaUna.dowAndEna.y,idxStaUna.dowAndEna.uTemp[2],idxStaUna.intLesEqu[1].y,idxStaUna.intLesEqu[2].y,idxStaUna.intLesEqu[3].y,idxStaUna.intLesEqu[4].y,idxStaUna.intScaRep.y[4],idxStaUna.andAva[1].y,idxStaUna.andAva[2].y,idxStaUna.andAva[3].y,idxStaUna.andAva[4].y,idxStaUna.idxNexLowAva.y,idxStaUna.idxNexLowAva.booToInt[1].y,idxStaUna.idxNexLowAva.booToInt[2].y,idxStaUna.idxNexLowAva.booToInt[3].y,idxStaUna.idxNexLowAva.booToInt[4].y,idxStaUna.idxNexHigAva.y,idxStaUna.idxNexHigAva.booToInt[1].y,idxStaUna.idxNexHigAva.booToInt[2].y,idxStaUna.idxNexHigAva.booToInt[3].y,idxStaUna.idxNexHigAva.booToInt[4].y,idxStaUna.idxNexHigAva.mulMin.y,idxStaUna.idxNexHigAva.intEqu.y,idxStaUna.intGreEqu[1].y,idxStaUna.intGreEqu[2].y,idxStaUna.intGreEqu[3].y,idxStaUna.intGreEqu[4].y,idxStaUna.andAva1[1].y,idxStaUna.andAva1[2].y,idxStaUna.andAva1[3].y,idxStaUna.andAva1[4].y,idxStaUna.upOrActUna.y,idxStaUna.truIdxNex.uIdx[1],idxStaUna.truIdxNex.y1[1],idxStaUna.truIdxNex.y1[2],idxStaUna.truIdxNex.y1[3],idxStaUna.truIdxNex.y1[4],idxStaUna.truIdxNex.iTru,idxStaUna.truIdxNex.iIdx,idxStaUna.rep3[1].y[4],idxStaUna.rep3[2].y[4],idxStaUna.rep3[3].y[4],idxStaUna.rep3[4].y[4],idxStaUna.rep1.y[4],idxStaUna.truNexHigAva.u,idxStaUna.truNexHigAva.uIdx[1],idxStaUna.truNexHigAva.y1[1],idxStaUna.truNexHigAva.y1[2],idxStaUna.truNexHigAva.y1[3],idxStaUna.truNexHigAva.y1[4],idxStaUna.truNexHigAva.iTru,idxStaUna.truNexHigAva.iIdx,$PRE.idxStaRun.sta0.localActive,idxStaRun.sta0.localActive,idxStaRun.sta0.outPort[2].available,idxStaRun.sta0.outPort[3].available,idxStaRun.sta0.outPort[4].available,$PRE.idxStaRun.sta0.newActive,idxStaRun.sta0.newActive,$PRE.idxStaRun.sta0.oldActive,idxStaRun.sta0.oldActive,idxStaRun.sta0.active,$PRE.idxStaRun.sta[1].localActive,idxStaRun.sta[1].localActive,idxStaRun.sta[1].outPort[2].available,idxStaRun.sta[1].outPort[3].available,idxStaRun.sta[1].outPort[4].available,idxStaRun.sta[1].outPort[5].available,$PRE.idxStaRun.sta[1].newActive,idxStaRun.sta[1].newActive,$PRE.idxStaRun.sta[1].oldActive,idxStaRun.sta[1].oldActive,idxStaRun.sta[1].active,$PRE.idxStaRun.sta[2].localActive,idxStaRun.sta[2].localActive,idxStaRun.sta[2].outPort[2].available,idxStaRun.sta[2].outPort[3].available,idxStaRun.sta[2].outPort[4].available,idxStaRun.sta[2].outPort[5].available,$PRE.idxStaRun.sta[2].newActive,idxStaRun.sta[2].newActive,$PRE.idxStaRun.sta[2].oldActive,idxStaRun.sta[2].oldActive,idxStaRun.sta[2].active,$PRE.idxStaRun.sta[3].localActive,idxStaRun.sta[3].localActive,idxStaRun.sta[3].outPort[2].available,idxStaRun.sta[3].outPort[3].available,idxStaRun.sta[3].outPort[4].available,idxStaRun.sta[3].outPort[5].available,$PRE.idxStaRun.sta[3].newActive,idxStaRun.sta[3].newActive,$PRE.idxStaRun.sta[3].oldActive,idxStaRun.sta[3].oldActive,idxStaRun.sta[3].active,$PRE.idxStaRun.sta[4].localActive,idxStaRun.sta[4].localActive,idxStaRun.sta[4].outPort[2].available,idxStaRun.sta[4].outPort[3].available,idxStaRun.sta[4].outPort[4].available,idxStaRun.sta[4].outPort[5].available,$PRE.idxStaRun.sta[4].newActive,idxStaRun.sta[4].newActive,$PRE.idxStaRun.sta[4].oldActive,idxStaRun.sta[4].oldActive,idxStaRun.sta[4].active,idxStaRun.sta0ToSta[1].enableFire,idxStaRun.sta0ToSta[1].outPort.occupied,idxStaRun.sta0ToSta[2].enableFire,idxStaRun.sta0ToSta[2].outPort.occupied,idxStaRun.sta0ToSta[3].enableFire,idxStaRun.sta0ToSta[3].outPort.occupied,idxStaRun.sta0ToSta[4].enableFire,idxStaRun.sta0ToSta[4].outPort.occupied,idxStaRun.stateGraphRoot.activeSteps,idxStaRun.staToSta[1,1].condition,idxStaRun.staToSta[1,1].enableFire,idxStaRun.staToSta[1,2].condition,idxStaRun.staToSta[1,2].enableFire,idxStaRun.staToSta[1,3].condition,idxStaRun.staToSta[1,3].enableFire,idxStaRun.staToSta[1,4].condition,idxStaRun.staToSta[1,4].enableFire,idxStaRun.staToSta[2,1].condition,idxStaRun.staToSta[2,1].enableFire,idxStaRun.staToSta[2,1].outPort.occupied,idxStaRun.staToSta[2,2].condition,idxStaRun.staToSta[2,2].enableFire,idxStaRun.staToSta[2,2].outPort.occupied,idxStaRun.staToSta[2,3].condition,idxStaRun.staToSta[2,3].enableFire,idxStaRun.staToSta[2,3].outPort.occupied,idxStaRun.staToSta[2,4].condition,idxStaRun.staToSta[2,4].enableFire,idxStaRun.staToSta[2,4].outPort.occupied,idxStaRun.staToSta[3,1].condition,idxStaRun.staToSta[3,1].enableFire,idxStaRun.staToSta[3,1].outPort.occupied,idxStaRun.staToSta[3,2].condition,idxStaRun.staToSta[3,2].enableFire,idxStaRun.staToSta[3,2].outPort.occupied,idxStaRun.staToSta[3,3].condition,idxStaRun.staToSta[3,3].enableFire,idxStaRun.staToSta[3,3].outPort.occupied,idxStaRun.staToSta[3,4].condition,idxStaRun.staToSta[3,4].enableFire,idxStaRun.staToSta[3,4].outPort.occupied,idxStaRun.staToSta[4,1].condition,idxStaRun.staToSta[4,1].enableFire,idxStaRun.staToSta[4,1].outPort.occupied,idxStaRun.staToSta[4,2].condition,idxStaRun.staToSta[4,2].enableFire,idxStaRun.staToSta[4,2].outPort.occupied,idxStaRun.staToSta[4,3].condition,idxStaRun.staToSta[4,3].enableFire,idxStaRun.staToSta[4,3].outPort.occupied,idxStaRun.staToSta[4,4].condition,idxStaRun.staToSta[4,4].enableFire,idxStaRun.staToSta[4,4].outPort.occupied,idxStaRun.runAndTrn[1].y,idxStaRun.runAndTrn[2].y,idxStaRun.runAndTrn[3].y,idxStaRun.runAndTrn[4].y,idxStaRun.rep.y[4],idxStaRun.staToSta0[1].condition,idxStaRun.staToSta0[1].enableFire,idxStaRun.staToSta0[2].condition,idxStaRun.staToSta0[2].enableFire,idxStaRun.staToSta0[2].outPort.occupied,idxStaRun.staToSta0[3].condition,idxStaRun.staToSta0[3].enableFire,idxStaRun.staToSta0[3].outPort.occupied,idxStaRun.staToSta0[4].condition,idxStaRun.staToSta0[4].enableFire,idxStaRun.staToSta0[4].outPort.occupied,idxStaRun.upAndEna.u[3],idxStaRun.upAndEna.y,idxStaRun.upAndEna.uTemp[2],idxStaRun.idxFirAct.booToInt[1].y,idxStaRun.idxFirAct.booToInt[2].y,idxStaRun.idxFirAct.booToInt[3].y,idxStaRun.idxFirAct.booToInt[4].y,idxStaRun.idxFirAct.mulMin.y,idxStaRun.idxFirAct.intEqu.y,idxStaRun.staUna.y,idxStaRun.maxInt.y,idxStaRun.idxFirAva.intEqu.y,$PRE.idxStaRun.tim[1].passed,idxStaRun.tim[1].passed,$PRE.idxStaRun.tim[1].entryTime,idxStaRun.tim[1].entryTime,$PRE.idxStaRun.tim[2].passed,idxStaRun.tim[2].passed,$PRE.idxStaRun.tim[2].entryTime,idxStaRun.tim[2].entryTime,$PRE.idxStaRun.tim[3].passed,idxStaRun.tim[3].passed,$PRE.idxStaRun.tim[3].entryTime,idxStaRun.tim[3].entryTime,$PRE.idxStaRun.tim[4].passed,idxStaRun.tim[4].passed,$PRE.idxStaRun.tim[4].entryTime,idxStaRun.tim[4].entryTime,idxStaRun.dowAndEna.u[3],idxStaRun.dowAndEna.y,idxStaRun.dowAndEna.uTemp[2],idxStaRun.intScaRep.y[4],idxStaRun.andAva[1].y,idxStaRun.andAva[2].y,idxStaRun.andAva[3].y,idxStaRun.andAva[4].y,idxStaRun.idxNexLowAva.y,idxStaRun.idxNexLowAva.booToInt[1].y,idxStaRun.idxNexLowAva.booToInt[2].y,idxStaRun.idxNexLowAva.booToInt[3].y,idxStaRun.idxNexLowAva.booToInt[4].y,idxStaRun.idxNexHigAva.y,idxStaRun.idxNexHigAva.booToInt[1].y,idxStaRun.idxNexHigAva.booToInt[2].y,idxStaRun.idxNexHigAva.booToInt[3].y,idxStaRun.idxNexHigAva.booToInt[4].y,idxStaRun.idxNexHigAva.mulMin.y,idxStaRun.idxNexHigAva.intEqu.y,idxStaRun.andAva1[1].y,idxStaRun.andAva1[2].y,idxStaRun.andAva1[3].y,idxStaRun.andAva1[4].y,idxStaRun.upOrActUna.y,idxStaRun.truIdxNex.uIdx[1],idxStaRun.truIdxNex.y1[1],idxStaRun.truIdxNex.y1[2],idxStaRun.truIdxNex.y1[3],idxStaRun.truIdxNex.y1[4],idxStaRun.truIdxNex.iTru,idxStaRun.truIdxNex.iIdx,idxStaRun.rep3[1].y[4],idxStaRun.rep3[2].y[4],idxStaRun.rep3[3].y[4],idxStaRun.rep3[4].y[4],idxStaRun.rep1.y[4],idxStaRun.truNexHigAva.u,idxStaRun.truNexHigAva.uIdx[1],idxStaRun.truNexHigAva.y1[1],idxStaRun.truNexHigAva.y1[2],idxStaRun.truNexHigAva.y1[3],idxStaRun.truNexHigAva.y1[4],idxStaRun.truNexHigAva.iTru,idxStaRun.truNexHigAva.iIdx,$PRE.idxStaRunUna.sta0.localActive,idxStaRunUna.sta0.localActive,idxStaRunUna.sta0.outPort[2].available,idxStaRunUna.sta0.outPort[3].available,idxStaRunUna.sta0.outPort[4].available,$PRE.idxStaRunUna.sta0.newActive,idxStaRunUna.sta0.newActive,$PRE.idxStaRunUna.sta0.oldActive,idxStaRunUna.sta0.oldActive,idxStaRunUna.sta0.active,$PRE.idxStaRunUna.sta[1].localActive,idxStaRunUna.sta[1].localActive,idxStaRunUna.sta[1].outPort[2].available,idxStaRunUna.sta[1].outPort[3].available,idxStaRunUna.sta[1].outPort[4].available,idxStaRunUna.sta[1].outPort[5].available,$PRE.idxStaRunUna.sta[1].newActive,idxStaRunUna.sta[1].newActive,$PRE.idxStaRunUna.sta[1].oldActive,idxStaRunUna.sta[1].oldActive,idxStaRunUna.sta[1].active,$PRE.idxStaRunUna.sta[2].localActive,idxStaRunUna.sta[2].localActive,idxStaRunUna.sta[2].outPort[2].available,idxStaRunUna.sta[2].outPort[3].available,idxStaRunUna.sta[2].outPort[4].available,idxStaRunUna.sta[2].outPort[5].available,$PRE.idxStaRunUna.sta[2].newActive,idxStaRunUna.sta[2].newActive,$PRE.idxStaRunUna.sta[2].oldActive,idxStaRunUna.sta[2].oldActive,idxStaRunUna.sta[2].active,$PRE.idxStaRunUna.sta[3].localActive,idxStaRunUna.sta[3].localActive,idxStaRunUna.sta[3].outPort[2].available,idxStaRunUna.sta[3].outPort[3].available,idxStaRunUna.sta[3].outPort[4].available,idxStaRunUna.sta[3].outPort[5].available,$PRE.idxStaRunUna.sta[3].newActive,idxStaRunUna.sta[3].newActive,$PRE.idxStaRunUna.sta[3].oldActive,idxStaRunUna.sta[3].oldActive,idxStaRunUna.sta[3].active,$PRE.idxStaRunUna.sta[4].localActive,idxStaRunUna.sta[4].localActive,idxStaRunUna.sta[4].outPort[2].available,idxStaRunUna.sta[4].outPort[3].available,idxStaRunUna.sta[4].outPort[4].available,idxStaRunUna.sta[4].outPort[5].available,$PRE.idxStaRunUna.sta[4].newActive,idxStaRunUna.sta[4].newActive,$PRE.idxStaRunUna.sta[4].oldActive,idxStaRunUna.sta[4].oldActive,idxStaRunUna.sta[4].active,idxStaRunUna.sta0ToSta[1].enableFire,idxStaRunUna.sta0ToSta[1].outPort.occupied,idxStaRunUna.sta0ToSta[2].enableFire,idxStaRunUna.sta0ToSta[2].outPort.occupied,idxStaRunUna.sta0ToSta[3].enableFire,idxStaRunUna.sta0ToSta[3].outPort.occupied,idxStaRunUna.sta0ToSta[4].enableFire,idxStaRunUna.sta0ToSta[4].outPort.occupied,idxStaRunUna.stateGraphRoot.activeSteps,idxStaRunUna.staToSta[1,1].condition,idxStaRunUna.staToSta[1,1].enableFire,idxStaRunUna.staToSta[1,2].condition,idxStaRunUna.staToSta[1,2].enableFire,idxStaRunUna.staToSta[1,3].condition,idxStaRunUna.staToSta[1,3].enableFire,idxStaRunUna.staToSta[1,4].condition,idxStaRunUna.staToSta[1,4].enableFire,idxStaRunUna.staToSta[2,1].condition,idxStaRunUna.staToSta[2,1].enableFire,idxStaRunUna.staToSta[2,1].outPort.occupied,idxStaRunUna.staToSta[2,2].condition,idxStaRunUna.staToSta[2,2].enableFire,idxStaRunUna.staToSta[2,2].outPort.occupied,idxStaRunUna.staToSta[2,3].condition,idxStaRunUna.staToSta[2,3].enableFire,idxStaRunUna.staToSta[2,3].outPort.occupied,idxStaRunUna.staToSta[2,4].condition,idxStaRunUna.staToSta[2,4].enableFire,idxStaRunUna.staToSta[2,4].outPort.occupied,idxStaRunUna.staToSta[3,1].condition,idxStaRunUna.staToSta[3,1].enableFire,idxStaRunUna.staToSta[3,1].outPort.occupied,idxStaRunUna.staToSta[3,2].condition,idxStaRunUna.staToSta[3,2].enableFire,idxStaRunUna.staToSta[3,2].outPort.occupied,idxStaRunUna.staToSta[3,3].condition,idxStaRunUna.staToSta[3,3].enableFire,idxStaRunUna.staToSta[3,3].outPort.occupied,idxStaRunUna.staToSta[3,4].condition,idxStaRunUna.staToSta[3,4].enableFire,idxStaRunUna.staToSta[3,4].outPort.occupied,idxStaRunUna.staToSta[4,1].condition,idxStaRunUna.staToSta[4,1].enableFire,idxStaRunUna.staToSta[4,1].outPort.occupied,idxStaRunUna.staToSta[4,2].condition,idxStaRunUna.staToSta[4,2].enableFire,idxStaRunUna.staToSta[4,2].outPort.occupied,idxStaRunUna.staToSta[4,3].condition,idxStaRunUna.staToSta[4,3].enableFire,idxStaRunUna.staToSta[4,3].outPort.occupied,idxStaRunUna.staToSta[4,4].condition,idxStaRunUna.staToSta[4,4].enableFire,idxStaRunUna.staToSta[4,4].outPort.occupied,idxStaRunUna.runAndTrn[1].y,idxStaRunUna.runAndTrn[2].y,idxStaRunUna.runAndTrn[3].y,idxStaRunUna.runAndTrn[4].y,idxStaRunUna.rep.y[4],idxStaRunUna.staToSta0[1].condition,idxStaRunUna.staToSta0[1].enableFire,idxStaRunUna.staToSta0[2].condition,idxStaRunUna.staToSta0[2].enableFire,idxStaRunUna.staToSta0[2].outPort.occupied,idxStaRunUna.staToSta0[3].condition,idxStaRunUna.staToSta0[3].enableFire,idxStaRunUna.staToSta0[3].outPort.occupied,idxStaRunUna.staToSta0[4].condition,idxStaRunUna.staToSta0[4].enableFire,idxStaRunUna.staToSta0[4].outPort.occupied,idxStaRunUna.upAndEna.u[3],idxStaRunUna.upAndEna.y,idxStaRunUna.upAndEna.uTemp[2],idxStaRunUna.idxFirAct.booToInt[1].y,idxStaRunUna.idxFirAct.booToInt[2].y,idxStaRunUna.idxFirAct.booToInt[3].y,idxStaRunUna.idxFirAct.booToInt[4].y,idxStaRunUna.idxFirAct.mulMin.y,idxStaRunUna.idxFirAct.intEqu.y,idxStaRunUna.staUna.u[1],idxStaRunUna.staUna.u[2],idxStaRunUna.staUna.u[3],idxStaRunUna.staUna.u[4],idxStaRunUna.staUna.y,idxStaRunUna.maxInt.y,idxStaRunUna.idxFirAva.intEqu.y,$PRE.idxStaRunUna.tim[1].passed,idxStaRunUna.tim[1].passed,$PRE.idxStaRunUna.tim[1].entryTime,idxStaRunUna.tim[1].entryTime,$PRE.idxStaRunUna.tim[2].passed,idxStaRunUna.tim[2].passed,$PRE.idxStaRunUna.tim[2].entryTime,idxStaRunUna.tim[2].entryTime,$PRE.idxStaRunUna.tim[3].passed,idxStaRunUna.tim[3].passed,$PRE.idxStaRunUna.tim[3].entryTime,idxStaRunUna.tim[3].entryTime,$PRE.idxStaRunUna.tim[4].passed,idxStaRunUna.tim[4].passed,$PRE.idxStaRunUna.tim[4].entryTime,idxStaRunUna.tim[4].entryTime,idxStaRunUna.dowAndEna.u[3],idxStaRunUna.dowAndEna.y,idxStaRunUna.dowAndEna.uTemp[2],idxStaRunUna.intLesEqu[1].y,idxStaRunUna.intLesEqu[2].y,idxStaRunUna.intLesEqu[3].y,idxStaRunUna.intLesEqu[4].y,idxStaRunUna.intScaRep.y[4],idxStaRunUna.andAva[1].y,idxStaRunUna.andAva[2].y,idxStaRunUna.andAva[3].y,idxStaRunUna.andAva[4].y,idxStaRunUna.idxNexLowAva.y,idxStaRunUna.idxNexLowAva.booToInt[1].y,idxStaRunUna.idxNexLowAva.booToInt[2].y,idxStaRunUna.idxNexLowAva.booToInt[3].y,idxStaRunUna.idxNexLowAva.booToInt[4].y,idxStaRunUna.idxNexHigAva.y,idxStaRunUna.idxNexHigAva.booToInt[1].y,idxStaRunUna.idxNexHigAva.booToInt[2].y,idxStaRunUna.idxNexHigAva.booToInt[3].y,idxStaRunUna.idxNexHigAva.booToInt[4].y,idxStaRunUna.idxNexHigAva.mulMin.y,idxStaRunUna.idxNexHigAva.intEqu.y,idxStaRunUna.intGreEqu[1].y,idxStaRunUna.intGreEqu[2].y,idxStaRunUna.intGreEqu[3].y,idxStaRunUna.intGreEqu[4].y,idxStaRunUna.andAva1[1].y,idxStaRunUna.andAva1[2].y,idxStaRunUna.andAva1[3].y,idxStaRunUna.andAva1[4].y,idxStaRunUna.upOrActUna.y,idxStaRunUna.truIdxNex.uIdx[1],idxStaRunUna.truIdxNex.y1[1],idxStaRunUna.truIdxNex.y1[2],idxStaRunUna.truIdxNex.y1[3],idxStaRunUna.truIdxNex.y1[4],idxStaRunUna.truIdxNex.iTru,idxStaRunUna.truIdxNex.iIdx,idxStaRunUna.rep3[1].y[4],idxStaRunUna.rep3[2].y[4],idxStaRunUna.rep3[3].y[4],idxStaRunUna.rep3[4].y[4],idxStaRunUna.rep1.y[4],idxStaRunUna.truNexHigAva.u,idxStaRunUna.truNexHigAva.uIdx[1],idxStaRunUna.truNexHigAva.y1[1],idxStaRunUna.truNexHigAva.y1[2],idxStaRunUna.truNexHigAva.y1[3],idxStaRunUna.truNexHigAva.y1[4],idxStaRunUna.truNexHigAva.iTru,idxStaRunUna.truNexHigAva.iIdx,booTimTab.y[1],booTimTab.y[2],$PRE.booTimTab.intTimTab.y[1],booTimTab.intTimTab.y[1],$PRE.booTimTab.intTimTab.y[2],booTimTab.intTimTab.y[2],$PRE.booTimTab.intTimTab.idx,booTimTab.intTimTab.idx,u1UpHol.u,u1UpHol.stateGraphRoot.activeSteps,u1UpHol.onDelay.u,u1UpHol.onDelay.y,u1UpHol.initialStep.active,$PRE.u1UpHol.initialStep.localActive,u1UpHol.initialStep.localActive,$PRE.u1UpHol.initialStep.newActive,u1UpHol.initialStep.newActive,$PRE.u1UpHol.initialStep.oldActive,u1UpHol.initialStep.oldActive,$PRE.u1UpHol.outputTrue.localActive,u1UpHol.outputTrue.localActive,$PRE.u1UpHol.outputTrue.newActive,u1UpHol.outputTrue.newActive,$PRE.u1UpHol.outputTrue.oldActive,u1UpHol.outputTrue.oldActive,u1UpHol.outputTrue.active,u1UpHol.toOutputTrue.enableFire,u1UpHol.toInitial.enableFire,u1DowHol.u,u1DowHol.stateGraphRoot.activeSteps,u1DowHol.onDelay.u,u1DowHol.onDelay.y,u1DowHol.initialStep.active,$PRE.u1DowHol.initialStep.localActive,u1DowHol.initialStep.localActive,$PRE.u1DowHol.initialStep.newActive,u1DowHol.initialStep.newActive,$PRE.u1DowHol.initialStep.oldActive,u1DowHol.initialStep.oldActive,$PRE.u1DowHol.outputTrue.localActive,u1DowHol.outputTrue.localActive,$PRE.u1DowHol.outputTrue.newActive,u1DowHol.outputTrue.newActive,$PRE.u1DowHol.outputTrue.oldActive,u1DowHol.outputTrue.oldActive,u1DowHol.outputTrue.active,u1DowHol.toOutputTrue.enableFire,u1DowHol.toInitial.enableFire,idxStaUna.idxFirAva.mulMin.y,idxStaUna.idxLasAva.y,idxStaRunUna.idxFirAva.mulMin.y,idxStaRunUna.idxLasAva.y,idxSta.truIdxNex.u,idxSta.staUna.u[1],idxSta.staUna.u[2],idxSta.staUna.u[3],idxSta.staUna.u[4],idxStaUna.truIdxNex.u,idxStaRun.truIdxNex.u,idxStaRun.staUna.u[1],idxStaRun.staUna.u[2],idxStaRun.staUna.u[3],idxStaRun.staUna.u[4],idxStaRunUna.truIdxNex.u,idxStaRunUna.idxLasAva.booToInt[4].y,idxStaRunUna.idxLasAva.booToInt[3].y,idxStaRunUna.idxLasAva.booToInt[2].y,idxStaRunUna.idxLasAva.booToInt[1].y,idxStaRunUna.idxFirAva.booToInt[4].y,idxStaRunUna.idxFirAva.booToInt[3].y,idxStaRunUna.idxFirAva.booToInt[2].y,idxStaRunUna.idxFirAva.booToInt[1].y,idxStaUna.idxLasAva.booToInt[4].y,idxStaUna.idxLasAva.booToInt[3].y,idxStaUna.idxLasAva.booToInt[2].y,idxStaUna.idxLasAva.booToInt[1].y,idxStaUna.idxFirAva.booToInt[4].y,idxStaUna.idxFirAva.booToInt[3].y,idxStaUna.idxFirAva.booToInt[2].y,idxStaUna.idxFirAva.booToInt[1].y,idxSta.idxLasAva.y,idxSta.idxFirAva.mulMin.y) * Number of discrete states: 0 () * Number of clocked states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for initialization (1486): * Single equations (assignments): 1477 * Array equations: 0 * Algorithm blocks: 9 * Record equations: 0 * When equations: 0 * If-equations: 0 * Equation systems (linear and non-linear blocks): 0 * Torn equation systems: 0 * Mixed (continuous/discrete) equation systems: 0 Notification: Performance of prepare postOptimizeDAE: time 0.01426/1.713, allocations: 5.836 MB / 1.345 GB, free: 93.92 MB / 0.9981 GB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.002939/1.716, allocations: 0.6759 MB / 1.346 GB, free: 93.23 MB / 0.9981 GB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.02203/1.738, allocations: 10.28 MB / 1.356 GB, free: 82.85 MB / 0.9981 GB Notification: Performance of postOpt inlineArrayEqn (simulation): time 0.0001173/1.738, allocations: 111.6 kB / 1.356 GB, free: 82.75 MB / 0.9981 GB Notification: Performance of postOpt constantLinearSystem (simulation): time 7.132e-05/1.738, allocations: 28 kB / 1.356 GB, free: 82.72 MB / 0.9981 GB Notification: Performance of postOpt simplifysemiLinear (simulation): time 0.0001832/1.738, allocations: 67.83 kB / 1.356 GB, free: 82.65 MB / 0.9981 GB Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.05388/1.792, allocations: 24.89 MB / 1.38 GB, free: 57.7 MB / 0.9981 GB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 0.0001274/1.792, allocations: 24 kB / 1.38 GB, free: 57.67 MB / 0.9981 GB Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.00242/1.795, allocations: 0.4945 MB / 1.381 GB, free: 57.18 MB / 0.9981 GB Notification: Performance of postOpt tearingSystem (simulation): time 0.0001183/1.795, allocations: 60 kB / 1.381 GB, free: 57.12 MB / 0.9981 GB Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.001337/1.796, allocations: 247.9 kB / 1.381 GB, free: 56.88 MB / 0.9981 GB Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 0.0001094/1.796, allocations: 68.11 kB / 1.381 GB, free: 56.81 MB / 0.9981 GB Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 2.319e-05/1.796, allocations: 45.52 kB / 1.381 GB, free: 56.77 MB / 0.9981 GB Notification: Performance of postOpt symbolicJacobian (simulation): time 0.01895/1.815, allocations: 11.1 MB / 1.392 GB, free: 45.22 MB / 0.9981 GB Notification: Performance of postOpt removeConstants (simulation): time 0.001744/1.817, allocations: 0.8153 MB / 1.393 GB, free: 44.38 MB / 0.9981 GB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.002204/1.819, allocations: 0.4997 MB / 1.393 GB, free: 43.88 MB / 0.9981 GB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.003458/1.823, allocations: 340.9 kB / 1.394 GB, free: 43.54 MB / 0.9981 GB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.003649/1.826, allocations: 2.288 MB / 1.396 GB, free: 41.25 MB / 0.9981 GB Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.001099/1.828, allocations: 375.9 kB / 1.396 GB, free: 40.88 MB / 0.9981 GB Notification: Performance of sorting global known variables: time 0.00535/1.833, allocations: 2.912 MB / 1.399 GB, free: 37.97 MB / 0.9981 GB Notification: Performance of sort global known variables: time 1.9e-07/1.833, allocations: 0 / 1.399 GB, free: 37.97 MB / 0.9981 GB Notification: Performance of remove unused functions: time 0.009681/1.843, allocations: 2.831 MB / 1.402 GB, free: 35.13 MB / 0.9981 GB Notification: Model statistics after passing the back-end for simulation: * Number of independent subsystems: 109 * Number of states: 0 () * Number of discrete variables: 925 (u1DowHol.toInitial.t_start,u1DowHol.toOutputTrue.t_start,u1UpHol.toInitial.t_start,u1UpHol.toOutputTrue.t_start,idxStaRunUna.staToSta0[4].t_start,idxStaRunUna.staToSta0[3].t_start,idxStaRunUna.staToSta0[2].t_start,idxStaRunUna.staToSta0[1].t_start,idxStaRunUna.staToSta[4,4].t_start,idxStaRunUna.staToSta[4,3].t_start,idxStaRunUna.staToSta[4,2].t_start,idxStaRunUna.staToSta[4,1].t_start,idxStaRunUna.staToSta[3,4].t_start,idxStaRunUna.staToSta[3,3].t_start,idxStaRunUna.staToSta[3,2].t_start,idxStaRunUna.staToSta[3,1].t_start,idxStaRunUna.staToSta[2,4].t_start,idxStaRunUna.staToSta[2,3].t_start,idxStaRunUna.staToSta[2,2].t_start,idxStaRunUna.staToSta[2,1].t_start,idxStaRunUna.staToSta[1,4].t_start,idxStaRunUna.staToSta[1,3].t_start,idxStaRunUna.staToSta[1,2].t_start,idxStaRunUna.staToSta[1,1].t_start,idxStaRunUna.sta0ToSta[4].t_start,idxStaRunUna.sta0ToSta[3].t_start,idxStaRunUna.sta0ToSta[2].t_start,idxStaRunUna.sta0ToSta[1].t_start,idxStaRun.staToSta0[4].t_start,idxStaRun.staToSta0[3].t_start,idxStaRun.staToSta0[2].t_start,idxStaRun.staToSta0[1].t_start,idxStaRun.staToSta[4,4].t_start,idxStaRun.staToSta[4,3].t_start,idxStaRun.staToSta[4,2].t_start,idxStaRun.staToSta[4,1].t_start,idxStaRun.staToSta[3,4].t_start,idxStaRun.staToSta[3,3].t_start,idxStaRun.staToSta[3,2].t_start,idxStaRun.staToSta[3,1].t_start,idxStaRun.staToSta[2,4].t_start,idxStaRun.staToSta[2,3].t_start,idxStaRun.staToSta[2,2].t_start,idxStaRun.staToSta[2,1].t_start,idxStaRun.staToSta[1,4].t_start,idxStaRun.staToSta[1,3].t_start,idxStaRun.staToSta[1,2].t_start,idxStaRun.staToSta[1,1].t_start,idxStaRun.sta0ToSta[4].t_start,idxStaRun.sta0ToSta[3].t_start,idxStaRun.sta0ToSta[2].t_start,idxStaRun.sta0ToSta[1].t_start,idxStaUna.staToSta0[4].t_start,idxStaUna.staToSta0[3].t_start,idxStaUna.staToSta0[2].t_start,idxStaUna.staToSta0[1].t_start,idxStaUna.staToSta[4,4].t_start,idxStaUna.staToSta[4,3].t_start,idxStaUna.staToSta[4,2].t_start,idxStaUna.staToSta[4,1].t_start,idxStaUna.staToSta[3,4].t_start,idxStaUna.staToSta[3,3].t_start,idxStaUna.staToSta[3,2].t_start,idxStaUna.staToSta[3,1].t_start,idxStaUna.staToSta[2,4].t_start,idxStaUna.staToSta[2,3].t_start,idxStaUna.staToSta[2,2].t_start,idxStaUna.staToSta[2,1].t_start,idxStaUna.staToSta[1,4].t_start,idxStaUna.staToSta[1,3].t_start,idxStaUna.staToSta[1,2].t_start,idxStaUna.staToSta[1,1].t_start,idxStaUna.sta0ToSta[4].t_start,idxStaUna.sta0ToSta[3].t_start,idxStaUna.sta0ToSta[2].t_start,idxStaUna.sta0ToSta[1].t_start,idxSta.staToSta0[4].t_start,idxSta.staToSta0[3].t_start,idxSta.staToSta0[2].t_start,idxSta.staToSta0[1].t_start,idxSta.staToSta[4,4].t_start,idxSta.staToSta[4,3].t_start,idxSta.staToSta[4,2].t_start,idxSta.staToSta[4,1].t_start,idxSta.staToSta[3,4].t_start,idxSta.staToSta[3,3].t_start,idxSta.staToSta[3,2].t_start,idxSta.staToSta[3,1].t_start,idxSta.staToSta[2,4].t_start,idxSta.staToSta[2,3].t_start,idxSta.staToSta[2,2].t_start,idxSta.staToSta[2,1].t_start,idxSta.staToSta[1,4].t_start,idxSta.staToSta[1,3].t_start,idxSta.staToSta[1,2].t_start,idxSta.staToSta[1,1].t_start,idxSta.sta0ToSta[4].t_start,idxSta.sta0ToSta[3].t_start,idxSta.sta0ToSta[2].t_start,idxSta.sta0ToSta[1].t_start,idxSta.sta0.localActive,idxSta.sta[1].localActive,idxSta.sta[2].localActive,idxSta.sta[3].localActive,idxSta.sta[4].localActive,idxStaUna.sta0.localActive,idxStaUna.sta[1].localActive,idxStaUna.sta[2].localActive,idxStaUna.sta[3].localActive,idxStaUna.sta[4].localActive,idxStaRun.sta0.localActive,idxStaRun.sta[1].active,idxStaRun.sta[1].localActive,idxStaRun.sta[2].active,idxStaRun.sta[2].localActive,idxStaRun.sta[3].active,idxStaRun.sta[3].localActive,idxStaRun.sta[4].active,idxStaRun.sta[4].localActive,idxStaRunUna.sta0.localActive,idxStaRunUna.sta[1].active,idxStaRunUna.sta[1].localActive,idxStaRunUna.sta[2].active,idxStaRunUna.sta[2].localActive,idxStaRunUna.sta[3].active,idxStaRunUna.sta[3].localActive,idxStaRunUna.sta[4].active,idxStaRunUna.sta[4].localActive,u1UpHol.initialStep.localActive,u1UpHol.outputTrue.localActive,u1UpHol.onDelay.u,u1UpHol.outputTrue.active,u1DowHol.initialStep.localActive,u1DowHol.outputTrue.localActive,u1DowHol.onDelay.u,u1DowHol.outputTrue.active,$cse1,$cse2,$cse3,$cse4,$cse5,$cse6,$cse7,$cse8,$cse9,$cse10,$cse11,$cse12,$cse13,$cse14,$cse15,$cse16,$cse17,$cse18,$cse19,$cse20,$cse21,$cse22,$cse23,$cse24,$cse25,$cse26,$cse27,$cse28,$cse29,$cse30,$cse31,$cse32,$cse33,$cse34,$cse35,$cse36,$cse37,$cse38,$cse39,$cse40,$cse41,$cse42,$cse43,$cse44,$cse45,$cse46,$cse47,$cse48,$cse49,$cse50,$cse51,$cse52,$whenCondition34,$whenCondition35,$whenCondition31,$whenCondition32,$whenCondition33,$whenCondition28,$whenCondition29,$whenCondition30,$whenCondition25,$whenCondition26,$whenCondition27,$whenCondition22,$whenCondition23,$whenCondition24,$whenCondition19,$whenCondition20,$whenCondition21,$whenCondition16,$whenCondition17,$whenCondition18,$whenCondition13,$whenCondition14,$whenCondition15,$whenCondition10,$whenCondition11,$whenCondition12,$whenCondition9,$whenCondition8,$whenCondition7,$whenCondition4,$whenCondition5,$whenCondition6,$whenCondition1,$whenCondition2,$whenCondition3,ena.y,idxSta.sta0.outPort[2].available,idxSta.sta0.outPort[3].available,idxSta.sta0.outPort[4].available,idxSta.sta0.newActive,idxSta.sta0.oldActive,idxSta.sta0.active,idxSta.sta[1].outPort[2].available,idxSta.sta[1].outPort[3].available,idxSta.sta[1].outPort[4].available,idxSta.sta[1].outPort[5].available,idxSta.sta[1].newActive,idxSta.sta[1].oldActive,idxSta.sta[1].active,idxSta.sta[2].outPort[2].available,idxSta.sta[2].outPort[3].available,idxSta.sta[2].outPort[4].available,idxSta.sta[2].outPort[5].available,idxSta.sta[2].newActive,idxSta.sta[2].oldActive,idxSta.sta[2].active,idxSta.sta[3].outPort[2].available,idxSta.sta[3].outPort[3].available,idxSta.sta[3].outPort[4].available,idxSta.sta[3].outPort[5].available,idxSta.sta[3].newActive,idxSta.sta[3].oldActive,idxSta.sta[3].active,idxSta.sta[4].outPort[2].available,idxSta.sta[4].outPort[3].available,idxSta.sta[4].outPort[4].available,idxSta.sta[4].outPort[5].available,idxSta.sta[4].newActive,idxSta.sta[4].oldActive,idxSta.sta[4].active,idxSta.sta0ToSta[1].enableFire,idxSta.sta0ToSta[1].outPort.occupied,idxSta.sta0ToSta[2].enableFire,idxSta.sta0ToSta[2].outPort.occupied,idxSta.sta0ToSta[3].enableFire,idxSta.sta0ToSta[3].outPort.occupied,idxSta.sta0ToSta[4].enableFire,idxSta.sta0ToSta[4].outPort.occupied,idxSta.stateGraphRoot.activeSteps,idxSta.staToSta[1,1].condition,idxSta.staToSta[1,1].enableFire,idxSta.staToSta[1,2].condition,idxSta.staToSta[1,2].enableFire,idxSta.staToSta[1,3].condition,idxSta.staToSta[1,3].enableFire,idxSta.staToSta[1,4].condition,idxSta.staToSta[1,4].enableFire,idxSta.staToSta[2,1].condition,idxSta.staToSta[2,1].enableFire,idxSta.staToSta[2,1].outPort.occupied,idxSta.staToSta[2,2].condition,idxSta.staToSta[2,2].enableFire,idxSta.staToSta[2,2].outPort.occupied,idxSta.staToSta[2,3].condition,idxSta.staToSta[2,3].enableFire,idxSta.staToSta[2,3].outPort.occupied,idxSta.staToSta[2,4].condition,idxSta.staToSta[2,4].enableFire,idxSta.staToSta[2,4].outPort.occupied,idxSta.staToSta[3,1].condition,idxSta.staToSta[3,1].enableFire,idxSta.staToSta[3,1].outPort.occupied,idxSta.staToSta[3,2].condition,idxSta.staToSta[3,2].enableFire,idxSta.staToSta[3,2].outPort.occupied,idxSta.staToSta[3,3].condition,idxSta.staToSta[3,3].enableFire,idxSta.staToSta[3,3].outPort.occupied,idxSta.staToSta[3,4].condition,idxSta.staToSta[3,4].enableFire,idxSta.staToSta[3,4].outPort.occupied,idxSta.staToSta[4,1].condition,idxSta.staToSta[4,1].enableFire,idxSta.staToSta[4,1].outPort.occupied,idxSta.staToSta[4,2].condition,idxSta.staToSta[4,2].enableFire,idxSta.staToSta[4,2].outPort.occupied,idxSta.staToSta[4,3].condition,idxSta.staToSta[4,3].enableFire,idxSta.staToSta[4,3].outPort.occupied,idxSta.staToSta[4,4].condition,idxSta.staToSta[4,4].enableFire,idxSta.staToSta[4,4].outPort.occupied,idxSta.runAndTrn[1].y,idxSta.runAndTrn[2].y,idxSta.runAndTrn[3].y,idxSta.runAndTrn[4].y,idxSta.rep.y[4],idxSta.staToSta0[1].condition,idxSta.staToSta0[1].enableFire,idxSta.staToSta0[2].condition,idxSta.staToSta0[2].enableFire,idxSta.staToSta0[2].outPort.occupied,idxSta.staToSta0[3].condition,idxSta.staToSta0[3].enableFire,idxSta.staToSta0[3].outPort.occupied,idxSta.staToSta0[4].condition,idxSta.staToSta0[4].enableFire,idxSta.staToSta0[4].outPort.occupied,idxSta.upAndEna.u[3],idxSta.upAndEna.y,idxSta.upAndEna.uTemp[2],idxSta.idxFirAct.booToInt[1].y,idxSta.idxFirAct.booToInt[2].y,idxSta.idxFirAct.booToInt[3].y,idxSta.idxFirAct.booToInt[4].y,idxSta.idxFirAct.mulMin.y,idxSta.idxFirAct.intEqu.y,idxSta.staUna.y,idxSta.maxInt.y,idxSta.dowAndEna.u[3],idxSta.dowAndEna.y,idxSta.dowAndEna.uTemp[2],idxSta.intScaRep.y[4],idxSta.andAva[1].y,idxSta.andAva[2].y,idxSta.andAva[3].y,idxSta.andAva[4].y,idxSta.idxNexLowAva.y,idxSta.idxNexLowAva.booToInt[1].y,idxSta.idxNexLowAva.booToInt[2].y,idxSta.idxNexLowAva.booToInt[3].y,idxSta.idxNexLowAva.booToInt[4].y,idxSta.idxNexHigAva.y,idxSta.idxNexHigAva.booToInt[1].y,idxSta.idxNexHigAva.booToInt[2].y,idxSta.idxNexHigAva.booToInt[3].y,idxSta.idxNexHigAva.booToInt[4].y,idxSta.idxNexHigAva.mulMin.y,idxSta.idxNexHigAva.intEqu.y,idxSta.andAva1[1].y,idxSta.andAva1[2].y,idxSta.andAva1[3].y,idxSta.andAva1[4].y,idxSta.upOrActUna.y,idxSta.truIdxNex.uIdx[1],idxSta.truIdxNex.y1[1],idxSta.truIdxNex.y1[2],idxSta.truIdxNex.y1[3],idxSta.truIdxNex.y1[4],idxSta.truIdxNex.iTru,idxSta.truIdxNex.iIdx,idxSta.rep3[1].y[4],idxSta.rep3[2].y[4],idxSta.rep3[3].y[4],idxSta.rep3[4].y[4],idxSta.rep1.y[4],idxSta.truNexHigAva.u,idxSta.truNexHigAva.y1[1],idxSta.truNexHigAva.y1[2],idxSta.truNexHigAva.y1[3],idxSta.truNexHigAva.y1[4],idxSta.truNexHigAva.iTru,idxSta.truNexHigAva.iIdx,upPul.y,dowPul.y,idxStaUna.sta0.outPort[2].available,idxStaUna.sta0.outPort[3].available,idxStaUna.sta0.outPort[4].available,idxStaUna.sta0.newActive,idxStaUna.sta0.oldActive,idxStaUna.sta0.active,idxStaUna.sta[1].outPort[2].available,idxStaUna.sta[1].outPort[3].available,idxStaUna.sta[1].outPort[4].available,idxStaUna.sta[1].outPort[5].available,idxStaUna.sta[1].newActive,idxStaUna.sta[1].oldActive,idxStaUna.sta[1].active,idxStaUna.sta[2].outPort[2].available,idxStaUna.sta[2].outPort[3].available,idxStaUna.sta[2].outPort[4].available,idxStaUna.sta[2].outPort[5].available,idxStaUna.sta[2].newActive,idxStaUna.sta[2].oldActive,idxStaUna.sta[2].active,idxStaUna.sta[3].outPort[2].available,idxStaUna.sta[3].outPort[3].available,idxStaUna.sta[3].outPort[4].available,idxStaUna.sta[3].outPort[5].available,idxStaUna.sta[3].newActive,idxStaUna.sta[3].oldActive,idxStaUna.sta[3].active,idxStaUna.sta[4].outPort[2].available,idxStaUna.sta[4].outPort[3].available,idxStaUna.sta[4].outPort[4].available,idxStaUna.sta[4].outPort[5].available,idxStaUna.sta[4].newActive,idxStaUna.sta[4].oldActive,idxStaUna.sta[4].active,idxStaUna.sta0ToSta[1].enableFire,idxStaUna.sta0ToSta[1].outPort.occupied,idxStaUna.sta0ToSta[2].enableFire,idxStaUna.sta0ToSta[2].outPort.occupied,idxStaUna.sta0ToSta[3].enableFire,idxStaUna.sta0ToSta[3].outPort.occupied,idxStaUna.sta0ToSta[4].enableFire,idxStaUna.sta0ToSta[4].outPort.occupied,idxStaUna.stateGraphRoot.activeSteps,idxStaUna.staToSta[1,1].condition,idxStaUna.staToSta[1,1].enableFire,idxStaUna.staToSta[1,2].condition,idxStaUna.staToSta[1,2].enableFire,idxStaUna.staToSta[1,3].condition,idxStaUna.staToSta[1,3].enableFire,idxStaUna.staToSta[1,4].condition,idxStaUna.staToSta[1,4].enableFire,idxStaUna.staToSta[2,1].condition,idxStaUna.staToSta[2,1].enableFire,idxStaUna.staToSta[2,1].outPort.occupied,idxStaUna.staToSta[2,2].condition,idxStaUna.staToSta[2,2].enableFire,idxStaUna.staToSta[2,2].outPort.occupied,idxStaUna.staToSta[2,3].condition,idxStaUna.staToSta[2,3].enableFire,idxStaUna.staToSta[2,3].outPort.occupied,idxStaUna.staToSta[2,4].condition,idxStaUna.staToSta[2,4].enableFire,idxStaUna.staToSta[2,4].outPort.occupied,idxStaUna.staToSta[3,1].condition,idxStaUna.staToSta[3,1].enableFire,idxStaUna.staToSta[3,1].outPort.occupied,idxStaUna.staToSta[3,2].condition,idxStaUna.staToSta[3,2].enableFire,idxStaUna.staToSta[3,2].outPort.occupied,idxStaUna.staToSta[3,3].condition,idxStaUna.staToSta[3,3].enableFire,idxStaUna.staToSta[3,3].outPort.occupied,idxStaUna.staToSta[3,4].condition,idxStaUna.staToSta[3,4].enableFire,idxStaUna.staToSta[3,4].outPort.occupied,idxStaUna.staToSta[4,1].condition,idxStaUna.staToSta[4,1].enableFire,idxStaUna.staToSta[4,1].outPort.occupied,idxStaUna.staToSta[4,2].condition,idxStaUna.staToSta[4,2].enableFire,idxStaUna.staToSta[4,2].outPort.occupied,idxStaUna.staToSta[4,3].condition,idxStaUna.staToSta[4,3].enableFire,idxStaUna.staToSta[4,3].outPort.occupied,idxStaUna.staToSta[4,4].condition,idxStaUna.staToSta[4,4].enableFire,idxStaUna.staToSta[4,4].outPort.occupied,idxStaUna.runAndTrn[1].y,idxStaUna.runAndTrn[2].y,idxStaUna.runAndTrn[3].y,idxStaUna.runAndTrn[4].y,idxStaUna.rep.y[4],idxStaUna.staToSta0[1].condition,idxStaUna.staToSta0[1].enableFire,idxStaUna.staToSta0[2].condition,idxStaUna.staToSta0[2].enableFire,idxStaUna.staToSta0[2].outPort.occupied,idxStaUna.staToSta0[3].condition,idxStaUna.staToSta0[3].enableFire,idxStaUna.staToSta0[3].outPort.occupied,idxStaUna.staToSta0[4].condition,idxStaUna.staToSta0[4].enableFire,idxStaUna.staToSta0[4].outPort.occupied,idxStaUna.upAndEna.u[3],idxStaUna.upAndEna.y,idxStaUna.upAndEna.uTemp[2],idxStaUna.idxFirAct.booToInt[1].y,idxStaUna.idxFirAct.booToInt[2].y,idxStaUna.idxFirAct.booToInt[3].y,idxStaUna.idxFirAct.booToInt[4].y,idxStaUna.idxFirAct.mulMin.y,idxStaUna.idxFirAct.intEqu.y,idxStaUna.staUna.u[1],idxStaUna.staUna.u[2],idxStaUna.staUna.u[3],idxStaUna.staUna.u[4],idxStaUna.staUna.y,idxStaUna.maxInt.y,idxStaUna.dowAndEna.u[3],idxStaUna.dowAndEna.y,idxStaUna.dowAndEna.uTemp[2],idxStaUna.intLesEqu[1].y,idxStaUna.intLesEqu[2].y,idxStaUna.intLesEqu[3].y,idxStaUna.intLesEqu[4].y,idxStaUna.intScaRep.y[4],idxStaUna.andAva[1].y,idxStaUna.andAva[2].y,idxStaUna.andAva[3].y,idxStaUna.andAva[4].y,idxStaUna.idxNexLowAva.y,idxStaUna.idxNexLowAva.booToInt[1].y,idxStaUna.idxNexLowAva.booToInt[2].y,idxStaUna.idxNexLowAva.booToInt[3].y,idxStaUna.idxNexLowAva.booToInt[4].y,idxStaUna.idxNexHigAva.y,idxStaUna.idxNexHigAva.booToInt[1].y,idxStaUna.idxNexHigAva.booToInt[2].y,idxStaUna.idxNexHigAva.booToInt[3].y,idxStaUna.idxNexHigAva.booToInt[4].y,idxStaUna.idxNexHigAva.mulMin.y,idxStaUna.idxNexHigAva.intEqu.y,idxStaUna.intGreEqu[1].y,idxStaUna.intGreEqu[2].y,idxStaUna.intGreEqu[3].y,idxStaUna.intGreEqu[4].y,idxStaUna.andAva1[1].y,idxStaUna.andAva1[2].y,idxStaUna.andAva1[3].y,idxStaUna.andAva1[4].y,idxStaUna.upOrActUna.y,idxStaUna.truIdxNex.uIdx[1],idxStaUna.truIdxNex.y1[1],idxStaUna.truIdxNex.y1[2],idxStaUna.truIdxNex.y1[3],idxStaUna.truIdxNex.y1[4],idxStaUna.truIdxNex.iTru,idxStaUna.truIdxNex.iIdx,idxStaUna.rep3[1].y[4],idxStaUna.rep3[2].y[4],idxStaUna.rep3[3].y[4],idxStaUna.rep3[4].y[4],idxStaUna.rep1.y[4],idxStaUna.truNexHigAva.u,idxStaUna.truNexHigAva.y1[1],idxStaUna.truNexHigAva.y1[2],idxStaUna.truNexHigAva.y1[3],idxStaUna.truNexHigAva.y1[4],idxStaUna.truNexHigAva.iTru,idxStaUna.truNexHigAva.iIdx,idxStaRun.sta0.outPort[2].available,idxStaRun.sta0.outPort[3].available,idxStaRun.sta0.outPort[4].available,idxStaRun.sta0.newActive,idxStaRun.sta0.oldActive,idxStaRun.sta0.active,idxStaRun.sta[1].outPort[2].available,idxStaRun.sta[1].outPort[3].available,idxStaRun.sta[1].outPort[4].available,idxStaRun.sta[1].outPort[5].available,idxStaRun.sta[1].newActive,idxStaRun.sta[1].oldActive,idxStaRun.sta[2].outPort[2].available,idxStaRun.sta[2].outPort[3].available,idxStaRun.sta[2].outPort[4].available,idxStaRun.sta[2].outPort[5].available,idxStaRun.sta[2].newActive,idxStaRun.sta[2].oldActive,idxStaRun.sta[3].outPort[2].available,idxStaRun.sta[3].outPort[3].available,idxStaRun.sta[3].outPort[4].available,idxStaRun.sta[3].outPort[5].available,idxStaRun.sta[3].newActive,idxStaRun.sta[3].oldActive,idxStaRun.sta[4].outPort[2].available,idxStaRun.sta[4].outPort[3].available,idxStaRun.sta[4].outPort[4].available,idxStaRun.sta[4].outPort[5].available,idxStaRun.sta[4].newActive,idxStaRun.sta[4].oldActive,idxStaRun.sta0ToSta[1].enableFire,idxStaRun.sta0ToSta[1].outPort.occupied,idxStaRun.sta0ToSta[2].enableFire,idxStaRun.sta0ToSta[2].outPort.occupied,idxStaRun.sta0ToSta[3].enableFire,idxStaRun.sta0ToSta[3].outPort.occupied,idxStaRun.sta0ToSta[4].enableFire,idxStaRun.sta0ToSta[4].outPort.occupied,idxStaRun.stateGraphRoot.activeSteps,idxStaRun.staToSta[1,1].condition,idxStaRun.staToSta[1,1].enableFire,idxStaRun.staToSta[1,2].condition,idxStaRun.staToSta[1,2].enableFire,idxStaRun.staToSta[1,3].condition,idxStaRun.staToSta[1,3].enableFire,idxStaRun.staToSta[1,4].condition,idxStaRun.staToSta[1,4].enableFire,idxStaRun.staToSta[2,1].condition,idxStaRun.staToSta[2,1].enableFire,idxStaRun.staToSta[2,1].outPort.occupied,idxStaRun.staToSta[2,2].condition,idxStaRun.staToSta[2,2].enableFire,idxStaRun.staToSta[2,2].outPort.occupied,idxStaRun.staToSta[2,3].condition,idxStaRun.staToSta[2,3].enableFire,idxStaRun.staToSta[2,3].outPort.occupied,idxStaRun.staToSta[2,4].condition,idxStaRun.staToSta[2,4].enableFire,idxStaRun.staToSta[2,4].outPort.occupied,idxStaRun.staToSta[3,1].condition,idxStaRun.staToSta[3,1].enableFire,idxStaRun.staToSta[3,1].outPort.occupied,idxStaRun.staToSta[3,2].condition,idxStaRun.staToSta[3,2].enableFire,idxStaRun.staToSta[3,2].outPort.occupied,idxStaRun.staToSta[3,3].condition,idxStaRun.staToSta[3,3].enableFire,idxStaRun.staToSta[3,3].outPort.occupied,idxStaRun.staToSta[3,4].condition,idxStaRun.staToSta[3,4].enableFire,idxStaRun.staToSta[3,4].outPort.occupied,idxStaRun.staToSta[4,1].condition,idxStaRun.staToSta[4,1].enableFire,idxStaRun.staToSta[4,1].outPort.occupied,idxStaRun.staToSta[4,2].condition,idxStaRun.staToSta[4,2].enableFire,idxStaRun.staToSta[4,2].outPort.occupied,idxStaRun.staToSta[4,3].condition,idxStaRun.staToSta[4,3].enableFire,idxStaRun.staToSta[4,3].outPort.occupied,idxStaRun.staToSta[4,4].condition,idxStaRun.staToSta[4,4].enableFire,idxStaRun.staToSta[4,4].outPort.occupied,idxStaRun.runAndTrn[1].y,idxStaRun.runAndTrn[2].y,idxStaRun.runAndTrn[3].y,idxStaRun.runAndTrn[4].y,idxStaRun.rep.y[4],idxStaRun.staToSta0[1].condition,idxStaRun.staToSta0[1].enableFire,idxStaRun.staToSta0[2].condition,idxStaRun.staToSta0[2].enableFire,idxStaRun.staToSta0[2].outPort.occupied,idxStaRun.staToSta0[3].condition,idxStaRun.staToSta0[3].enableFire,idxStaRun.staToSta0[3].outPort.occupied,idxStaRun.staToSta0[4].condition,idxStaRun.staToSta0[4].enableFire,idxStaRun.staToSta0[4].outPort.occupied,idxStaRun.upAndEna.u[3],idxStaRun.upAndEna.y,idxStaRun.upAndEna.uTemp[2],idxStaRun.idxFirAct.booToInt[1].y,idxStaRun.idxFirAct.booToInt[2].y,idxStaRun.idxFirAct.booToInt[3].y,idxStaRun.idxFirAct.booToInt[4].y,idxStaRun.idxFirAct.mulMin.y,idxStaRun.idxFirAct.intEqu.y,idxStaRun.staUna.y,idxStaRun.maxInt.y,idxStaRun.tim[1].passed,idxStaRun.tim[1].entryTime,idxStaRun.tim[2].passed,idxStaRun.tim[2].entryTime,idxStaRun.tim[3].passed,idxStaRun.tim[3].entryTime,idxStaRun.tim[4].passed,idxStaRun.tim[4].entryTime,idxStaRun.dowAndEna.u[3],idxStaRun.dowAndEna.y,idxStaRun.dowAndEna.uTemp[2],idxStaRun.intScaRep.y[4],idxStaRun.andAva[1].y,idxStaRun.andAva[2].y,idxStaRun.andAva[3].y,idxStaRun.andAva[4].y,idxStaRun.idxNexLowAva.y,idxStaRun.idxNexLowAva.booToInt[1].y,idxStaRun.idxNexLowAva.booToInt[2].y,idxStaRun.idxNexLowAva.booToInt[3].y,idxStaRun.idxNexLowAva.booToInt[4].y,idxStaRun.idxNexHigAva.y,idxStaRun.idxNexHigAva.booToInt[1].y,idxStaRun.idxNexHigAva.booToInt[2].y,idxStaRun.idxNexHigAva.booToInt[3].y,idxStaRun.idxNexHigAva.booToInt[4].y,idxStaRun.idxNexHigAva.mulMin.y,idxStaRun.idxNexHigAva.intEqu.y,idxStaRun.andAva1[1].y,idxStaRun.andAva1[2].y,idxStaRun.andAva1[3].y,idxStaRun.andAva1[4].y,idxStaRun.upOrActUna.y,idxStaRun.truIdxNex.uIdx[1],idxStaRun.truIdxNex.y1[1],idxStaRun.truIdxNex.y1[2],idxStaRun.truIdxNex.y1[3],idxStaRun.truIdxNex.y1[4],idxStaRun.truIdxNex.iTru,idxStaRun.truIdxNex.iIdx,idxStaRun.rep3[1].y[4],idxStaRun.rep3[2].y[4],idxStaRun.rep3[3].y[4],idxStaRun.rep3[4].y[4],idxStaRun.rep1.y[4],idxStaRun.truNexHigAva.u,idxStaRun.truNexHigAva.y1[1],idxStaRun.truNexHigAva.y1[2],idxStaRun.truNexHigAva.y1[3],idxStaRun.truNexHigAva.y1[4],idxStaRun.truNexHigAva.iTru,idxStaRun.truNexHigAva.iIdx,idxStaRunUna.sta0.outPort[2].available,idxStaRunUna.sta0.outPort[3].available,idxStaRunUna.sta0.outPort[4].available,idxStaRunUna.sta0.newActive,idxStaRunUna.sta0.oldActive,idxStaRunUna.sta0.active,idxStaRunUna.sta[1].outPort[2].available,idxStaRunUna.sta[1].outPort[3].available,idxStaRunUna.sta[1].outPort[4].available,idxStaRunUna.sta[1].outPort[5].available,idxStaRunUna.sta[1].newActive,idxStaRunUna.sta[1].oldActive,idxStaRunUna.sta[2].outPort[2].available,idxStaRunUna.sta[2].outPort[3].available,idxStaRunUna.sta[2].outPort[4].available,idxStaRunUna.sta[2].outPort[5].available,idxStaRunUna.sta[2].newActive,idxStaRunUna.sta[2].oldActive,idxStaRunUna.sta[3].outPort[2].available,idxStaRunUna.sta[3].outPort[3].available,idxStaRunUna.sta[3].outPort[4].available,idxStaRunUna.sta[3].outPort[5].available,idxStaRunUna.sta[3].newActive,idxStaRunUna.sta[3].oldActive,idxStaRunUna.sta[4].outPort[2].available,idxStaRunUna.sta[4].outPort[3].available,idxStaRunUna.sta[4].outPort[4].available,idxStaRunUna.sta[4].outPort[5].available,idxStaRunUna.sta[4].newActive,idxStaRunUna.sta[4].oldActive,idxStaRunUna.sta0ToSta[1].enableFire,idxStaRunUna.sta0ToSta[1].outPort.occupied,idxStaRunUna.sta0ToSta[2].enableFire,idxStaRunUna.sta0ToSta[2].outPort.occupied,idxStaRunUna.sta0ToSta[3].enableFire,idxStaRunUna.sta0ToSta[3].outPort.occupied,idxStaRunUna.sta0ToSta[4].enableFire,idxStaRunUna.sta0ToSta[4].outPort.occupied,idxStaRunUna.stateGraphRoot.activeSteps,idxStaRunUna.staToSta[1,1].condition,idxStaRunUna.staToSta[1,1].enableFire,idxStaRunUna.staToSta[1,2].condition,idxStaRunUna.staToSta[1,2].enableFire,idxStaRunUna.staToSta[1,3].condition,idxStaRunUna.staToSta[1,3].enableFire,idxStaRunUna.staToSta[1,4].condition,idxStaRunUna.staToSta[1,4].enableFire,idxStaRunUna.staToSta[2,1].condition,idxStaRunUna.staToSta[2,1].enableFire,idxStaRunUna.staToSta[2,1].outPort.occupied,idxStaRunUna.staToSta[2,2].condition,idxStaRunUna.staToSta[2,2].enableFire,idxStaRunUna.staToSta[2,2].outPort.occupied,idxStaRunUna.staToSta[2,3].condition,idxStaRunUna.staToSta[2,3].enableFire,idxStaRunUna.staToSta[2,3].outPort.occupied,idxStaRunUna.staToSta[2,4].condition,idxStaRunUna.staToSta[2,4].enableFire,idxStaRunUna.staToSta[2,4].outPort.occupied,idxStaRunUna.staToSta[3,1].condition,idxStaRunUna.staToSta[3,1].enableFire,idxStaRunUna.staToSta[3,1].outPort.occupied,idxStaRunUna.staToSta[3,2].condition,idxStaRunUna.staToSta[3,2].enableFire,idxStaRunUna.staToSta[3,2].outPort.occupied,idxStaRunUna.staToSta[3,3].condition,idxStaRunUna.staToSta[3,3].enableFire,idxStaRunUna.staToSta[3,3].outPort.occupied,idxStaRunUna.staToSta[3,4].condition,idxStaRunUna.staToSta[3,4].enableFire,idxStaRunUna.staToSta[3,4].outPort.occupied,idxStaRunUna.staToSta[4,1].condition,idxStaRunUna.staToSta[4,1].enableFire,idxStaRunUna.staToSta[4,1].outPort.occupied,idxStaRunUna.staToSta[4,2].condition,idxStaRunUna.staToSta[4,2].enableFire,idxStaRunUna.staToSta[4,2].outPort.occupied,idxStaRunUna.staToSta[4,3].condition,idxStaRunUna.staToSta[4,3].enableFire,idxStaRunUna.staToSta[4,3].outPort.occupied,idxStaRunUna.staToSta[4,4].condition,idxStaRunUna.staToSta[4,4].enableFire,idxStaRunUna.staToSta[4,4].outPort.occupied,idxStaRunUna.runAndTrn[1].y,idxStaRunUna.runAndTrn[2].y,idxStaRunUna.runAndTrn[3].y,idxStaRunUna.runAndTrn[4].y,idxStaRunUna.rep.y[4],idxStaRunUna.staToSta0[1].condition,idxStaRunUna.staToSta0[1].enableFire,idxStaRunUna.staToSta0[2].condition,idxStaRunUna.staToSta0[2].enableFire,idxStaRunUna.staToSta0[2].outPort.occupied,idxStaRunUna.staToSta0[3].condition,idxStaRunUna.staToSta0[3].enableFire,idxStaRunUna.staToSta0[3].outPort.occupied,idxStaRunUna.staToSta0[4].condition,idxStaRunUna.staToSta0[4].enableFire,idxStaRunUna.staToSta0[4].outPort.occupied,idxStaRunUna.upAndEna.u[3],idxStaRunUna.upAndEna.y,idxStaRunUna.upAndEna.uTemp[2],idxStaRunUna.idxFirAct.booToInt[1].y,idxStaRunUna.idxFirAct.booToInt[2].y,idxStaRunUna.idxFirAct.booToInt[3].y,idxStaRunUna.idxFirAct.booToInt[4].y,idxStaRunUna.idxFirAct.mulMin.y,idxStaRunUna.idxFirAct.intEqu.y,idxStaRunUna.staUna.u[1],idxStaRunUna.staUna.u[2],idxStaRunUna.staUna.u[3],idxStaRunUna.staUna.u[4],idxStaRunUna.staUna.y,idxStaRunUna.maxInt.y,idxStaRunUna.tim[1].passed,idxStaRunUna.tim[1].entryTime,idxStaRunUna.tim[2].passed,idxStaRunUna.tim[2].entryTime,idxStaRunUna.tim[3].passed,idxStaRunUna.tim[3].entryTime,idxStaRunUna.tim[4].passed,idxStaRunUna.tim[4].entryTime,idxStaRunUna.dowAndEna.u[3],idxStaRunUna.dowAndEna.y,idxStaRunUna.dowAndEna.uTemp[2],idxStaRunUna.intLesEqu[1].y,idxStaRunUna.intLesEqu[2].y,idxStaRunUna.intLesEqu[3].y,idxStaRunUna.intLesEqu[4].y,idxStaRunUna.intScaRep.y[4],idxStaRunUna.andAva[1].y,idxStaRunUna.andAva[2].y,idxStaRunUna.andAva[3].y,idxStaRunUna.andAva[4].y,idxStaRunUna.idxNexLowAva.y,idxStaRunUna.idxNexLowAva.booToInt[1].y,idxStaRunUna.idxNexLowAva.booToInt[2].y,idxStaRunUna.idxNexLowAva.booToInt[3].y,idxStaRunUna.idxNexLowAva.booToInt[4].y,idxStaRunUna.idxNexHigAva.y,idxStaRunUna.idxNexHigAva.booToInt[1].y,idxStaRunUna.idxNexHigAva.booToInt[2].y,idxStaRunUna.idxNexHigAva.booToInt[3].y,idxStaRunUna.idxNexHigAva.booToInt[4].y,idxStaRunUna.idxNexHigAva.mulMin.y,idxStaRunUna.idxNexHigAva.intEqu.y,idxStaRunUna.intGreEqu[1].y,idxStaRunUna.intGreEqu[2].y,idxStaRunUna.intGreEqu[3].y,idxStaRunUna.intGreEqu[4].y,idxStaRunUna.andAva1[1].y,idxStaRunUna.andAva1[2].y,idxStaRunUna.andAva1[3].y,idxStaRunUna.andAva1[4].y,idxStaRunUna.upOrActUna.y,idxStaRunUna.truIdxNex.uIdx[1],idxStaRunUna.truIdxNex.y1[1],idxStaRunUna.truIdxNex.y1[2],idxStaRunUna.truIdxNex.y1[3],idxStaRunUna.truIdxNex.y1[4],idxStaRunUna.truIdxNex.iTru,idxStaRunUna.truIdxNex.iIdx,idxStaRunUna.rep3[1].y[4],idxStaRunUna.rep3[2].y[4],idxStaRunUna.rep3[3].y[4],idxStaRunUna.rep3[4].y[4],idxStaRunUna.rep1.y[4],idxStaRunUna.truNexHigAva.u,idxStaRunUna.truNexHigAva.y1[1],idxStaRunUna.truNexHigAva.y1[2],idxStaRunUna.truNexHigAva.y1[3],idxStaRunUna.truNexHigAva.y1[4],idxStaRunUna.truNexHigAva.iTru,idxStaRunUna.truNexHigAva.iIdx,booTimTab.y[1],booTimTab.y[2],booTimTab.intTimTab.y[1],booTimTab.intTimTab.y[2],booTimTab.intTimTab.idx,u1UpHol.u,u1UpHol.stateGraphRoot.activeSteps,u1UpHol.onDelay.y,u1UpHol.onDelay.t_next,u1UpHol.initialStep.active,u1UpHol.initialStep.newActive,u1UpHol.initialStep.oldActive,u1UpHol.outputTrue.newActive,u1UpHol.outputTrue.oldActive,u1UpHol.toOutputTrue.enableFire,u1UpHol.toInitial.enableFire,u1DowHol.u,u1DowHol.stateGraphRoot.activeSteps,u1DowHol.onDelay.y,u1DowHol.onDelay.t_next,u1DowHol.initialStep.active,u1DowHol.initialStep.newActive,u1DowHol.initialStep.oldActive,u1DowHol.outputTrue.newActive,u1DowHol.outputTrue.oldActive,u1DowHol.toOutputTrue.enableFire,u1DowHol.toInitial.enableFire,idxSta.truNexHigAva.uIdx[1],idxSta.idxFirAva.intEqu.y,idxStaUna.truNexHigAva.uIdx[1],idxStaUna.idxFirAva.intEqu.y,idxStaRun.truNexHigAva.uIdx[1],idxStaRun.idxFirAva.intEqu.y,idxStaRunUna.truNexHigAva.uIdx[1],idxStaRunUna.idxFirAva.intEqu.y) * Number of discrete states: 182 (u1UpHol.onDelay.t_next,u1DowHol.onDelay.t_next,u1DowHol.outputTrue.newActive,u1DowHol.initialStep.newActive,u1UpHol.outputTrue.newActive,u1UpHol.initialStep.newActive,idxStaRunUna.sta[4].newActive,idxStaRunUna.tim[4].entryTime,idxStaRunUna.sta[3].newActive,idxStaRunUna.tim[3].entryTime,idxStaRunUna.sta[2].newActive,idxStaRunUna.tim[2].entryTime,idxStaRunUna.sta[1].newActive,idxStaRunUna.tim[1].entryTime,idxStaRunUna.sta0.newActive,idxStaRun.sta[4].newActive,idxStaRun.tim[4].entryTime,idxStaRun.sta[3].newActive,idxStaRun.tim[3].entryTime,idxStaRun.sta[2].newActive,idxStaRun.tim[2].entryTime,idxStaRun.sta[1].newActive,idxStaRun.tim[1].entryTime,idxStaRun.sta0.newActive,idxStaUna.sta[4].newActive,idxStaUna.sta[3].newActive,idxStaUna.sta[2].newActive,idxStaUna.sta[1].newActive,idxStaUna.sta0.newActive,idxSta.sta[4].newActive,idxSta.sta[3].newActive,idxSta.sta[2].newActive,idxSta.sta[1].newActive,idxSta.sta0.newActive,idxStaRunUna.truNexHigAva.y1[4],idxStaRunUna.truNexHigAva.y1[3],idxStaRunUna.truNexHigAva.y1[2],idxStaRunUna.truNexHigAva.y1[1],idxStaRunUna.truNexHigAva.iIdx,idxStaRunUna.truNexHigAva.iTru,idxStaRunUna.truIdxNex.y1[4],idxStaRunUna.truIdxNex.y1[3],idxStaRunUna.truIdxNex.y1[2],idxStaRunUna.truIdxNex.y1[1],idxStaRunUna.truIdxNex.iIdx,idxStaRunUna.truIdxNex.iTru,idxStaRun.truNexHigAva.y1[4],idxStaRun.truNexHigAva.y1[3],idxStaRun.truNexHigAva.y1[2],idxStaRun.truNexHigAva.y1[1],idxStaRun.truNexHigAva.iIdx,idxStaRun.truNexHigAva.iTru,idxStaRun.truIdxNex.y1[4],idxStaRun.truIdxNex.y1[3],idxStaRun.truIdxNex.y1[2],idxStaRun.truIdxNex.y1[1],idxStaRun.truIdxNex.iIdx,idxStaRun.truIdxNex.iTru,idxStaUna.truNexHigAva.y1[4],idxStaUna.truNexHigAva.y1[3],idxStaUna.truNexHigAva.y1[2],idxStaUna.truNexHigAva.y1[1],idxStaUna.truNexHigAva.iIdx,idxStaUna.truNexHigAva.iTru,idxStaUna.truIdxNex.y1[4],idxStaUna.truIdxNex.y1[3],idxStaUna.truIdxNex.y1[2],idxStaUna.truIdxNex.y1[1],idxStaUna.truIdxNex.iIdx,idxStaUna.truIdxNex.iTru,idxSta.truNexHigAva.y1[4],idxSta.truNexHigAva.y1[3],idxSta.truNexHigAva.y1[2],idxSta.truNexHigAva.y1[1],idxSta.truNexHigAva.iIdx,idxSta.truNexHigAva.iTru,idxSta.truIdxNex.y1[4],idxSta.truIdxNex.y1[3],idxSta.truIdxNex.y1[2],idxSta.truIdxNex.y1[1],idxSta.truIdxNex.iIdx,idxSta.truIdxNex.iTru,idxSta.sta0ToSta[1].t_start,idxSta.sta0ToSta[2].t_start,idxSta.sta0ToSta[3].t_start,idxSta.sta0ToSta[4].t_start,idxSta.staToSta[1,1].t_start,idxSta.staToSta[1,2].t_start,idxSta.staToSta[1,3].t_start,idxSta.staToSta[1,4].t_start,idxSta.staToSta[2,1].t_start,idxSta.staToSta[2,2].t_start,idxSta.staToSta[2,3].t_start,idxSta.staToSta[2,4].t_start,idxSta.staToSta[3,1].t_start,idxSta.staToSta[3,2].t_start,idxSta.staToSta[3,3].t_start,idxSta.staToSta[3,4].t_start,idxSta.staToSta[4,1].t_start,idxSta.staToSta[4,2].t_start,idxSta.staToSta[4,3].t_start,idxSta.staToSta[4,4].t_start,idxSta.staToSta0[1].t_start,idxSta.staToSta0[2].t_start,idxSta.staToSta0[3].t_start,idxSta.staToSta0[4].t_start,idxStaUna.sta0ToSta[1].t_start,idxStaUna.sta0ToSta[2].t_start,idxStaUna.sta0ToSta[3].t_start,idxStaUna.sta0ToSta[4].t_start,idxStaUna.staToSta[1,1].t_start,idxStaUna.staToSta[1,2].t_start,idxStaUna.staToSta[1,3].t_start,idxStaUna.staToSta[1,4].t_start,idxStaUna.staToSta[2,1].t_start,idxStaUna.staToSta[2,2].t_start,idxStaUna.staToSta[2,3].t_start,idxStaUna.staToSta[2,4].t_start,idxStaUna.staToSta[3,1].t_start,idxStaUna.staToSta[3,2].t_start,idxStaUna.staToSta[3,3].t_start,idxStaUna.staToSta[3,4].t_start,idxStaUna.staToSta[4,1].t_start,idxStaUna.staToSta[4,2].t_start,idxStaUna.staToSta[4,3].t_start,idxStaUna.staToSta[4,4].t_start,idxStaUna.staToSta0[1].t_start,idxStaUna.staToSta0[2].t_start,idxStaUna.staToSta0[3].t_start,idxStaUna.staToSta0[4].t_start,idxStaRun.sta0ToSta[1].t_start,idxStaRun.sta0ToSta[2].t_start,idxStaRun.sta0ToSta[3].t_start,idxStaRun.sta0ToSta[4].t_start,idxStaRun.staToSta[1,1].t_start,idxStaRun.staToSta[1,2].t_start,idxStaRun.staToSta[1,3].t_start,idxStaRun.staToSta[1,4].t_start,idxStaRun.staToSta[2,1].t_start,idxStaRun.staToSta[2,2].t_start,idxStaRun.staToSta[2,3].t_start,idxStaRun.staToSta[2,4].t_start,idxStaRun.staToSta[3,1].t_start,idxStaRun.staToSta[3,2].t_start,idxStaRun.staToSta[3,3].t_start,idxStaRun.staToSta[3,4].t_start,idxStaRun.staToSta[4,1].t_start,idxStaRun.staToSta[4,2].t_start,idxStaRun.staToSta[4,3].t_start,idxStaRun.staToSta[4,4].t_start,idxStaRun.staToSta0[1].t_start,idxStaRun.staToSta0[2].t_start,idxStaRun.staToSta0[3].t_start,idxStaRun.staToSta0[4].t_start,idxStaRunUna.sta0ToSta[1].t_start,idxStaRunUna.sta0ToSta[2].t_start,idxStaRunUna.sta0ToSta[3].t_start,idxStaRunUna.sta0ToSta[4].t_start,idxStaRunUna.staToSta[1,1].t_start,idxStaRunUna.staToSta[1,2].t_start,idxStaRunUna.staToSta[1,3].t_start,idxStaRunUna.staToSta[1,4].t_start,idxStaRunUna.staToSta[2,1].t_start,idxStaRunUna.staToSta[2,2].t_start,idxStaRunUna.staToSta[2,3].t_start,idxStaRunUna.staToSta[2,4].t_start,idxStaRunUna.staToSta[3,1].t_start,idxStaRunUna.staToSta[3,2].t_start,idxStaRunUna.staToSta[3,3].t_start,idxStaRunUna.staToSta[3,4].t_start,idxStaRunUna.staToSta[4,1].t_start,idxStaRunUna.staToSta[4,2].t_start,idxStaRunUna.staToSta[4,3].t_start,idxStaRunUna.staToSta[4,4].t_start,idxStaRunUna.staToSta0[1].t_start,idxStaRunUna.staToSta0[2].t_start,idxStaRunUna.staToSta0[3].t_start,idxStaRunUna.staToSta0[4].t_start,u1UpHol.toOutputTrue.t_start,u1UpHol.toInitial.t_start,u1DowHol.toOutputTrue.t_start,u1DowHol.toInitial.t_start) * Number of clocked states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for simulation (923): * Single equations (assignments): 767 * Array equations: 0 * Algorithm blocks: 8 * Record equations: 0 * When equations: 148 * If-equations: 0 * Equation systems (linear and non-linear blocks): 0 * Torn equation systems: 0 * Mixed (continuous/discrete) equation systems: 0 Notification: Performance of Backend phase and start with SimCode phase: time 0.002603/1.845, allocations: 1.567 MB / 1.403 GB, free: 33.54 MB / 0.9981 GB Notification: Performance of simCode: created initialization part: time 0.0217/1.867, allocations: 13.8 MB / 1.417 GB, free: 19.64 MB / 0.9981 GB Notification: Performance of simCode: created event and clocks part: time 1.997e-05/1.867, allocations: 4 kB / 1.417 GB, free: 19.63 MB / 0.9981 GB Notification: Performance of simCode: created simulation system equations: time 0.01162/1.879, allocations: 6.877 MB / 1.424 GB, free: 12.68 MB / 0.9981 GB Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.007658/1.886, allocations: 1.06 MB / 1.425 GB, free: 11.62 MB / 0.9981 GB Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.05012/1.937, allocations: 25.64 MB / 1.45 GB, free: 1.605 MB / 1.014 GB Notification: Performance of simCode: some other stuff during SimCode phase: time 0.01334/1.95, allocations: 5.895 MB / 1.455 GB, free: 11.68 MB / 1.029 GB Notification: Performance of simCode: alias equations: time 0.01092/1.961, allocations: 3.383 MB / 1.459 GB, free: 8.281 MB / 1.029 GB Notification: Performance of simCode: all other stuff during SimCode phase: time 0.004049/1.965, allocations: 0.5657 MB / 1.459 GB, free: 7.715 MB / 1.029 GB Notification: Performance of SimCode: time 1.462e-06/1.965, allocations: 0 / 1.459 GB, free: 7.715 MB / 1.029 GB Notification: Performance of Templates: time 0.167/2.132, allocations: 80.93 MB / 1.538 GB, free: 7.27 MB / 1.107 GB make -j1 -f Buildings_latest_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex.makefile (rm -f Buildings_latest_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex.pipe ; mkfifo Buildings_latest_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex.pipe ; head -c 1048576 < Buildings_latest_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex.pipe >> ../files/Buildings_latest_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex.sim & ./Buildings_latest_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex -abortSlowSimulation -alarm=480 -lv LOG_STATS > Buildings_latest_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex.pipe 2>&1)