Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Buildings_12_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo): time 0.0008719/0.0008719, allocations: 81.95 kB / 21.47 MB, free: 3.031 MB / 18.57 MB " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo): time 0.001577/0.001577, allocations: 165.6 kB / 24.87 MB, free: 8.891 MB / 18.57 MB " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo): time 0.9742/0.9742, allocations: 177.1 MB / 205.3 MB, free: 5.48 MB / 186.7 MB " [Timeout remaining time 179] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 12.1.2-maint.12.x/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 12.1.2-maint.12.x/package.mo): time 1.991/1.991, allocations: 377.9 MB / 0.6247 GB, free: 8.422 MB / 0.5886 GB " [Timeout remaining time 177] Using package Buildings with version 12.1.2 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 12.1.2-maint.12.x/package.mo) Using package Modelica with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo) Using package Complex with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo) Using package ModelicaServices with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo) Running command: translateModel(Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex,tolerance=1e-06,outputFormat="mat",numberOfIntervals=2500,variableFilter="time|ena.y|u1UpHol.y|u1DowHol.y|u1AvaSta.[0-9,]+..y|idxSta.y|idxStaUna.y|idxStaRun.y|idxStaRunUna.y",fileNamePrefix="Buildings_12_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex") translateModel(Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex,tolerance=1e-06,outputFormat="mat",numberOfIntervals=2500,variableFilter="time|ena.y|u1UpHol.y|u1DowHol.y|u1AvaSta.[0-9,]+..y|idxSta.y|idxStaUna.y|idxStaRun.y|idxStaRunUna.y",fileNamePrefix="Buildings_12_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex") [Timeout 300] "Notification: Performance of FrontEnd - loaded program: time 1.964e-06/1.964e-06, allocations: 0 / 0.8128 GB, free: 1.48 MB / 0.7605 GB Notification: Performance of FrontEnd - Absyn->SCode: time 3.075e-05/3.271e-05, allocations: 5.125 kB / 0.8128 GB, free: 1.477 MB / 0.7605 GB [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 12.1.2-maint.12.x/Templates/Plants/Controls/Utilities/PlaceholderLogical.mo:9:3-11:47:writable] Warning: Parameter idxSta.pas.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 12.1.2-maint.12.x/Templates/Plants/Controls/Utilities/PlaceholderLogical.mo:9:3-11:47:writable] Warning: Parameter idxStaUna.pas.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 12.1.2-maint.12.x/Templates/Plants/Controls/Utilities/PlaceholderLogical.mo:9:3-11:47:writable] Warning: Parameter idxStaRun.pas.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 12.1.2-maint.12.x/Templates/Plants/Controls/Utilities/PlaceholderLogical.mo:9:3-11:47:writable] Warning: Parameter idxStaRunUna.pas.u_internal has no value, and is fixed during initialization (fixed=true), using available start value (start=true) as default value. Notification: Performance of NFInst.instantiate(Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex): time 0.007359/0.007392, allocations: 6.899 MB / 0.8195 GB, free: 10.56 MB / 0.7761 GB Notification: Performance of NFInst.instExpressions: time 0.006438/0.01383, allocations: 4.249 MB / 0.8237 GB, free: 6.301 MB / 0.7761 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.00157/0.0154, allocations: 135 kB / 0.8238 GB, free: 6.168 MB / 0.7761 GB Notification: Performance of NFTyping.typeComponents: time 0.00145/0.01685, allocations: 0.7606 MB / 0.8245 GB, free: 5.402 MB / 0.7761 GB Notification: Performance of NFTyping.typeBindings: time 0.0009509/0.0178, allocations: 373.5 kB / 0.8249 GB, free: 5.035 MB / 0.7761 GB Notification: Performance of NFTyping.typeClassSections: time 0.002994/0.0208, allocations: 1.951 MB / 0.8268 GB, free: 3.086 MB / 0.7761 GB Notification: Performance of NFFlatten.flatten: time 0.01046/0.03125, allocations: 14.64 MB / 0.8411 GB, free: 4.41 MB / 0.7917 GB Notification: Performance of NFFlatten.resolveConnections: time 0.01516/0.04641, allocations: 12.75 MB / 0.8535 GB, free: 7.547 MB / 0.8073 GB Notification: Performance of NFEvalConstants.evaluate: time 0.0112/0.05761, allocations: 8.935 MB / 0.8623 GB, free: 14.6 MB / 0.823 GB Notification: Performance of NFSimplifyModel.simplify: time 0.006917/0.06453, allocations: 5.383 MB / 0.8675 GB, free: 9.203 MB / 0.823 GB Notification: Performance of NFPackage.collectConstants: time 0.003262/0.06779, allocations: 1.535 MB / 0.869 GB, free: 7.668 MB / 0.823 GB Notification: Performance of NFFlatten.collectFunctions: time 0.002795/0.07059, allocations: 1.574 MB / 0.8706 GB, free: 6.094 MB / 0.823 GB Notification: Performance of NFScalarize.scalarize: time 0.004395/0.07498, allocations: 3.876 MB / 0.8743 GB, free: 2.207 MB / 0.823 GB Notification: Performance of NFVerifyModel.verify: time 0.006735/0.08172, allocations: 4.252 MB / 0.8785 GB, free: 13.95 MB / 0.8386 GB Notification: Performance of NFConvertDAE.convert: time 0.01283/0.09455, allocations: 12.86 MB / 0.8911 GB, free: 1.039 MB / 0.8386 GB Notification: Performance of FrontEnd - DAE generated: time 5.821e-06/0.09456, allocations: 0 / 0.8911 GB, free: 1.039 MB / 0.8386 GB Notification: Performance of FrontEnd: time 1.483e-06/0.09456, allocations: 0 / 0.8911 GB, free: 1.039 MB / 0.8386 GB Notification: Performance of Transformations before backend: time 0.0004535/0.09501, allocations: 0 / 0.8911 GB, free: 1.039 MB / 0.8386 GB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 3338 * Number of variables: 3338 Notification: Performance of Generate backend data structure: time 0.01989/0.1149, allocations: 15.04 MB / 0.9057 GB, free: 1.59 MB / 0.8542 GB Notification: Performance of prepare preOptimizeDAE: time 4.789e-05/0.115, allocations: 11.97 kB / 0.9058 GB, free: 1.578 MB / 0.8542 GB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.006053/0.121, allocations: 2.547 MB / 0.9082 GB, free: 15.02 MB / 0.8698 GB Notification: Performance of preOpt evaluateParameters (simulation): time 0.009885/0.1309, allocations: 5.571 MB / 0.9137 GB, free: 9.352 MB / 0.8698 GB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.0009713/0.1319, allocations: 1.158 MB / 0.9148 GB, free: 8.191 MB / 0.8698 GB Notification: Performance of preOpt expandDerOperator (simulation): time 0.002616/0.1345, allocations: 1.367 MB / 0.9162 GB, free: 6.824 MB / 0.8698 GB Notification: Performance of preOpt clockPartitioning (simulation): time 0.02294/0.1574, allocations: 12.19 MB / 0.9281 GB, free: 9.27 MB / 0.8855 GB Notification: Performance of preOpt findStateOrder (simulation): time 0.0002935/0.1577, allocations: 43.75 kB / 0.9281 GB, free: 9.227 MB / 0.8855 GB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.001701/0.1594, allocations: 0.5627 MB / 0.9286 GB, free: 8.664 MB / 0.8855 GB Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.0002066/0.1596, allocations: 331.9 kB / 0.929 GB, free: 8.34 MB / 0.8855 GB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.01448/0.1741, allocations: 4.551 MB / 0.9334 GB, free: 3.727 MB / 0.8855 GB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.07694/0.251, allocations: 64.91 MB / 0.9968 GB, free: 0.9844 MB / 0.948 GB Notification: Performance of preOpt comSubExp (simulation): time 0.007477/0.2585, allocations: 7.567 MB / 1.004 GB, free: 8.141 MB / 0.9636 GB Notification: Performance of preOpt resolveLoops (simulation): time 0.002981/0.2615, allocations: 2.507 MB / 1.007 GB, free: 5.168 MB / 0.9636 GB Notification: Performance of preOpt evalFunc (simulation): time 0.0002717/0.2618, allocations: 185.4 kB / 1.007 GB, free: 4.984 MB / 0.9636 GB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.004674/0.2664, allocations: 5.336 MB / 1.012 GB, free: 14.95 MB / 0.9792 GB Notification: Performance of pre-optimization done (n=883): time 1.706e-05/0.2665, allocations: 0 / 1.012 GB, free: 14.95 MB / 0.9792 GB Notification: Performance of matching and sorting (n=883): time 0.008721/0.2752, allocations: 7.115 MB / 1.019 GB, free: 7.656 MB / 0.9792 GB Notification: Performance of inlineWhenForInitialization (initialization): time 0.001077/0.2763, allocations: 3.029 MB / 1.022 GB, free: 3.973 MB / 0.9792 GB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.007878/0.2841, allocations: 5.947 MB / 1.028 GB, free: 13.98 MB / 0.9948 GB Notification: Performance of collectPreVariables (initialization): time 0.001282/0.2854, allocations: 0.5872 MB / 1.028 GB, free: 13.39 MB / 0.9948 GB Notification: Performance of collectInitialEqns (initialization): time 0.00347/0.2889, allocations: 4.484 MB / 1.033 GB, free: 8.871 MB / 0.9948 GB Notification: Performance of collectInitialBindings (initialization): time 0.002619/0.2915, allocations: 2.344 MB / 1.035 GB, free: 6.512 MB / 0.9948 GB Notification: Performance of simplifyInitialFunctions (initialization): time 0.004877/0.2964, allocations: 4.447 MB / 1.039 GB, free: 2.043 MB / 0.9948 GB Notification: Performance of setup shared object (initialization): time 0.0001213/0.2965, allocations: 480.7 kB / 1.04 GB, free: 1.57 MB / 0.9948 GB Notification: Performance of preBalanceInitialSystem (initialization): time 0.002436/0.2989, allocations: 1.661 MB / 1.041 GB, free: 15.85 MB / 1.01 GB Notification: Performance of partitionIndependentBlocks (initialization): time 0.004587/0.3035, allocations: 7.207 MB / 1.048 GB, free: 6.48 MB / 1.01 GB Notification: Performance of analyzeInitialSystem (initialization): time 0.3921/0.6956, allocations: 8.288 MB / 1.057 GB, free: 248.2 MB / 1.01 GB Notification: Performance of solveInitialSystemEqSystem (initialization): time 0.0001113/0.6957, allocations: 31.88 kB / 1.057 GB, free: 248.2 MB / 1.01 GB Notification: Performance of matching and sorting (n=1472) (initialization): time 0.01238/0.7081, allocations: 7.94 MB / 1.064 GB, free: 246.7 MB / 1.01 GB Notification: Performance of prepare postOptimizeDAE: time 0.0001634/0.7083, allocations: 366.7 kB / 1.065 GB, free: 246.4 MB / 1.01 GB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 0.0001154/0.7084, allocations: 104.4 kB / 1.065 GB, free: 246.4 MB / 1.01 GB Notification: Performance of postOpt tearingSystem (initialization): time 0.0001344/0.7085, allocations: 161.1 kB / 1.065 GB, free: 246.4 MB / 1.01 GB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.002454/0.711, allocations: 1.366 MB / 1.066 GB, free: 246.3 MB / 1.01 GB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 0.0001817/0.7112, allocations: 231.7 kB / 1.066 GB, free: 246.2 MB / 1.01 GB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.003677/0.7149, allocations: 1.044 MB / 1.067 GB, free: 246.2 MB / 1.01 GB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.0006536/0.7155, allocations: 445.4 kB / 1.068 GB, free: 246.2 MB / 1.01 GB Notification: Model statistics after passing the back-end for initialization: * Number of independent subsystems: 469 * Number of states: 0 () * Number of discrete variables: 1239 ($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,$whenCondition34,$whenCondition35,$whenCondition9,$whenCondition8,$whenCondition7,idxSta.sta0ToSta[1].t_start,$PRE.idxSta.sta0ToSta[1].t_start,idxSta.sta0ToSta[2].t_start,$PRE.idxSta.sta0ToSta[2].t_start,idxSta.sta0ToSta[3].t_start,$PRE.idxSta.sta0ToSta[3].t_start,idxSta.sta0ToSta[4].t_start,$PRE.idxSta.sta0ToSta[4].t_start,idxSta.staToSta[1,1].t_start,$PRE.idxSta.staToSta[1,1].t_start,idxSta.staToSta[1,2].t_start,$PRE.idxSta.staToSta[1,2].t_start,idxSta.staToSta[1,3].t_start,$PRE.idxSta.staToSta[1,3].t_start,idxSta.staToSta[1,4].t_start,$PRE.idxSta.staToSta[1,4].t_start,idxSta.staToSta[2,1].t_start,$PRE.idxSta.staToSta[2,1].t_start,idxSta.staToSta[2,2].t_start,$PRE.idxSta.staToSta[2,2].t_start,idxSta.staToSta[2,3].t_start,$PRE.idxSta.staToSta[2,3].t_start,idxSta.staToSta[2,4].t_start,$PRE.idxSta.staToSta[2,4].t_start,idxSta.staToSta[3,1].t_start,$PRE.idxSta.staToSta[3,1].t_start,idxSta.staToSta[3,2].t_start,$PRE.idxSta.staToSta[3,2].t_start,idxSta.staToSta[3,3].t_start,$PRE.idxSta.staToSta[3,3].t_start,idxSta.staToSta[3,4].t_start,$PRE.idxSta.staToSta[3,4].t_start,idxSta.staToSta[4,1].t_start,$PRE.idxSta.staToSta[4,1].t_start,idxSta.staToSta[4,2].t_start,$PRE.idxSta.staToSta[4,2].t_start,idxSta.staToSta[4,3].t_start,$PRE.idxSta.staToSta[4,3].t_start,idxSta.staToSta[4,4].t_start,$PRE.idxSta.staToSta[4,4].t_start,idxSta.staToSta0[1].t_start,$PRE.idxSta.staToSta0[1].t_start,idxSta.staToSta0[2].t_start,$PRE.idxSta.staToSta0[2].t_start,idxSta.staToSta0[3].t_start,$PRE.idxSta.staToSta0[3].t_start,idxSta.staToSta0[4].t_start,$PRE.idxSta.staToSta0[4].t_start,idxStaUna.sta0ToSta[1].t_start,$PRE.idxStaUna.sta0ToSta[1].t_start,idxStaUna.sta0ToSta[2].t_start,$PRE.idxStaUna.sta0ToSta[2].t_start,idxStaUna.sta0ToSta[3].t_start,$PRE.idxStaUna.sta0ToSta[3].t_start,idxStaUna.sta0ToSta[4].t_start,$PRE.idxStaUna.sta0ToSta[4].t_start,idxStaUna.staToSta[1,1].t_start,$PRE.idxStaUna.staToSta[1,1].t_start,idxStaUna.staToSta[1,2].t_start,$PRE.idxStaUna.staToSta[1,2].t_start,idxStaUna.staToSta[1,3].t_start,$PRE.idxStaUna.staToSta[1,3].t_start,idxStaUna.staToSta[1,4].t_start,$PRE.idxStaUna.staToSta[1,4].t_start,idxStaUna.staToSta[2,1].t_start,$PRE.idxStaUna.staToSta[2,1].t_start,idxStaUna.staToSta[2,2].t_start,$PRE.idxStaUna.staToSta[2,2].t_start,idxStaUna.staToSta[2,3].t_start,$PRE.idxStaUna.staToSta[2,3].t_start,idxStaUna.staToSta[2,4].t_start,$PRE.idxStaUna.staToSta[2,4].t_start,idxStaUna.staToSta[3,1].t_start,$PRE.idxStaUna.staToSta[3,1].t_start,idxStaUna.staToSta[3,2].t_start,$PRE.idxStaUna.staToSta[3,2].t_start,idxStaUna.staToSta[3,3].t_start,$PRE.idxStaUna.staToSta[3,3].t_start,idxStaUna.staToSta[3,4].t_start,$PRE.idxStaUna.staToSta[3,4].t_start,idxStaUna.staToSta[4,1].t_start,$PRE.idxStaUna.staToSta[4,1].t_start,idxStaUna.staToSta[4,2].t_start,$PRE.idxStaUna.staToSta[4,2].t_start,idxStaUna.staToSta[4,3].t_start,$PRE.idxStaUna.staToSta[4,3].t_start,idxStaUna.staToSta[4,4].t_start,$PRE.idxStaUna.staToSta[4,4].t_start,idxStaUna.staToSta0[1].t_start,$PRE.idxStaUna.staToSta0[1].t_start,idxStaUna.staToSta0[2].t_start,$PRE.idxStaUna.staToSta0[2].t_start,idxStaUna.staToSta0[3].t_start,$PRE.idxStaUna.staToSta0[3].t_start,idxStaUna.staToSta0[4].t_start,$PRE.idxStaUna.staToSta0[4].t_start,idxStaRun.sta0ToSta[1].t_start,$PRE.idxStaRun.sta0ToSta[1].t_start,idxStaRun.sta0ToSta[2].t_start,$PRE.idxStaRun.sta0ToSta[2].t_start,idxStaRun.sta0ToSta[3].t_start,$PRE.idxStaRun.sta0ToSta[3].t_start,idxStaRun.sta0ToSta[4].t_start,$PRE.idxStaRun.sta0ToSta[4].t_start,idxStaRun.staToSta[1,1].t_start,$PRE.idxStaRun.staToSta[1,1].t_start,idxStaRun.staToSta[1,2].t_start,$PRE.idxStaRun.staToSta[1,2].t_start,idxStaRun.staToSta[1,3].t_start,$PRE.idxStaRun.staToSta[1,3].t_start,idxStaRun.staToSta[1,4].t_start,$PRE.idxStaRun.staToSta[1,4].t_start,idxStaRun.staToSta[2,1].t_start,$PRE.idxStaRun.staToSta[2,1].t_start,idxStaRun.staToSta[2,2].t_start,$PRE.idxStaRun.staToSta[2,2].t_start,idxStaRun.staToSta[2,3].t_start,$PRE.idxStaRun.staToSta[2,3].t_start,idxStaRun.staToSta[2,4].t_start,$PRE.idxStaRun.staToSta[2,4].t_start,idxStaRun.staToSta[3,1].t_start,$PRE.idxStaRun.staToSta[3,1].t_start,idxStaRun.staToSta[3,2].t_start,$PRE.idxStaRun.staToSta[3,2].t_start,idxStaRun.staToSta[3,3].t_start,$PRE.idxStaRun.staToSta[3,3].t_start,idxStaRun.staToSta[3,4].t_start,$PRE.idxStaRun.staToSta[3,4].t_start,idxStaRun.staToSta[4,1].t_start,$PRE.idxStaRun.staToSta[4,1].t_start,idxStaRun.staToSta[4,2].t_start,$PRE.idxStaRun.staToSta[4,2].t_start,idxStaRun.staToSta[4,3].t_start,$PRE.idxStaRun.staToSta[4,3].t_start,idxStaRun.staToSta[4,4].t_start,$PRE.idxStaRun.staToSta[4,4].t_start,idxStaRun.staToSta0[1].t_start,$PRE.idxStaRun.staToSta0[1].t_start,idxStaRun.staToSta0[2].t_start,$PRE.idxStaRun.staToSta0[2].t_start,idxStaRun.staToSta0[3].t_start,$PRE.idxStaRun.staToSta0[3].t_start,idxStaRun.staToSta0[4].t_start,$PRE.idxStaRun.staToSta0[4].t_start,idxStaRunUna.sta0ToSta[1].t_start,$PRE.idxStaRunUna.sta0ToSta[1].t_start,idxStaRunUna.sta0ToSta[2].t_start,$PRE.idxStaRunUna.sta0ToSta[2].t_start,idxStaRunUna.sta0ToSta[3].t_start,$PRE.idxStaRunUna.sta0ToSta[3].t_start,idxStaRunUna.sta0ToSta[4].t_start,$PRE.idxStaRunUna.sta0ToSta[4].t_start,idxStaRunUna.staToSta[1,1].t_start,$PRE.idxStaRunUna.staToSta[1,1].t_start,idxStaRunUna.staToSta[1,2].t_start,$PRE.idxStaRunUna.staToSta[1,2].t_start,idxStaRunUna.staToSta[1,3].t_start,$PRE.idxStaRunUna.staToSta[1,3].t_start,idxStaRunUna.staToSta[1,4].t_start,$PRE.idxStaRunUna.staToSta[1,4].t_start,idxStaRunUna.staToSta[2,1].t_start,$PRE.idxStaRunUna.staToSta[2,1].t_start,idxStaRunUna.staToSta[2,2].t_start,$PRE.idxStaRunUna.staToSta[2,2].t_start,idxStaRunUna.staToSta[2,3].t_start,$PRE.idxStaRunUna.staToSta[2,3].t_start,idxStaRunUna.staToSta[2,4].t_start,$PRE.idxStaRunUna.staToSta[2,4].t_start,idxStaRunUna.staToSta[3,1].t_start,$PRE.idxStaRunUna.staToSta[3,1].t_start,idxStaRunUna.staToSta[3,2].t_start,$PRE.idxStaRunUna.staToSta[3,2].t_start,idxStaRunUna.staToSta[3,3].t_start,$PRE.idxStaRunUna.staToSta[3,3].t_start,idxStaRunUna.staToSta[3,4].t_start,$PRE.idxStaRunUna.staToSta[3,4].t_start,idxStaRunUna.staToSta[4,1].t_start,$PRE.idxStaRunUna.staToSta[4,1].t_start,idxStaRunUna.staToSta[4,2].t_start,$PRE.idxStaRunUna.staToSta[4,2].t_start,idxStaRunUna.staToSta[4,3].t_start,$PRE.idxStaRunUna.staToSta[4,3].t_start,idxStaRunUna.staToSta[4,4].t_start,$PRE.idxStaRunUna.staToSta[4,4].t_start,idxStaRunUna.staToSta0[1].t_start,$PRE.idxStaRunUna.staToSta0[1].t_start,idxStaRunUna.staToSta0[2].t_start,$PRE.idxStaRunUna.staToSta0[2].t_start,idxStaRunUna.staToSta0[3].t_start,$PRE.idxStaRunUna.staToSta0[3].t_start,idxStaRunUna.staToSta0[4].t_start,$PRE.idxStaRunUna.staToSta0[4].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,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,idxStaUna.idxFirAva.booToInt[1].y,idxStaUna.idxFirAva.booToInt[2].y,idxStaUna.idxFirAva.booToInt[3].y,idxStaUna.idxFirAva.booToInt[4].y,idxStaUna.idxLasAva.booToInt[1].y,idxStaUna.idxLasAva.booToInt[2].y,idxStaUna.idxLasAva.booToInt[3].y,idxStaUna.idxLasAva.booToInt[4].y,idxStaRunUna.idxFirAva.booToInt[1].y,idxStaRunUna.idxFirAva.booToInt[2].y,idxStaRunUna.idxFirAva.booToInt[3].y,idxStaRunUna.idxFirAva.booToInt[4].y,idxStaRunUna.idxLasAva.booToInt[1].y,idxStaRunUna.idxLasAva.booToInt[2].y,idxStaRunUna.idxLasAva.booToInt[3].y,idxStaRunUna.idxLasAva.booToInt[4].y,idxStaRunUna.truIdxNex.u,idxStaRun.staUna.u[4],idxStaRun.staUna.u[3],idxStaRun.staUna.u[2],idxStaRun.staUna.u[1],idxStaRun.truIdxNex.u,idxStaUna.truIdxNex.u,idxSta.staUna.u[4],idxSta.staUna.u[3],idxSta.staUna.u[2],idxSta.staUna.u[1],idxSta.truIdxNex.u,idxStaRunUna.idxLasAva.y,idxStaRunUna.idxFirAva.mulMin.y,idxStaUna.idxLasAva.y,idxStaUna.idxFirAva.mulMin.y,u1DowHol.entryTimeFalse,$PRE.u1DowHol.entryTimeFalse,u1DowHol.entryTimeTrue,$PRE.u1DowHol.entryTimeTrue,u1DowHol.not_y,$PRE.u1DowHol.not_y,u1DowHol.not_u,$PRE.u1DowHol.not_u,u1DowHol.y,$PRE.u1DowHol.y,u1DowHol.u,$PRE.u1DowHol.u,u1UpHol.entryTimeFalse,$PRE.u1UpHol.entryTimeFalse,u1UpHol.entryTimeTrue,$PRE.u1UpHol.entryTimeTrue,u1UpHol.not_y,$PRE.u1UpHol.not_y,u1UpHol.not_u,$PRE.u1UpHol.not_u,u1UpHol.y,$PRE.u1UpHol.y,u1UpHol.u,$PRE.u1UpHol.u,booTimTab.intTimTab.idx,$PRE.booTimTab.intTimTab.idx,booTimTab.intTimTab.y[2],$PRE.booTimTab.intTimTab.y[2],booTimTab.intTimTab.y[1],$PRE.booTimTab.intTimTab.y[1],booTimTab.y[2],booTimTab.y[1],idxStaRunUna.truNexHigAva.iIdx,idxStaRunUna.truNexHigAva.iTru,idxStaRunUna.truNexHigAva.y1[4],idxStaRunUna.truNexHigAva.y1[3],idxStaRunUna.truNexHigAva.y1[2],idxStaRunUna.truNexHigAva.y1[1],idxStaRunUna.truNexHigAva.uIdx[1],idxStaRunUna.truNexHigAva.u,idxStaRunUna.rep1.y[4],idxStaRunUna.rep3[4].y[4],idxStaRunUna.rep3[3].y[4],idxStaRunUna.rep3[2].y[4],idxStaRunUna.rep3[1].y[4],idxStaRunUna.truIdxNex.iIdx,idxStaRunUna.truIdxNex.iTru,idxStaRunUna.truIdxNex.y1[4],idxStaRunUna.truIdxNex.y1[3],idxStaRunUna.truIdxNex.y1[2],idxStaRunUna.truIdxNex.y1[1],idxStaRunUna.truIdxNex.uIdx[1],idxStaRunUna.upOrActUna.y,idxStaRunUna.andAva1[4].y,idxStaRunUna.andAva1[3].y,idxStaRunUna.andAva1[2].y,idxStaRunUna.andAva1[1].y,idxStaRunUna.intGreEqu[4].y,idxStaRunUna.intGreEqu[3].y,idxStaRunUna.intGreEqu[2].y,idxStaRunUna.intGreEqu[1].y,idxStaRunUna.idxNexHigAva.intEqu.y,idxStaRunUna.idxNexHigAva.mulMin.y,idxStaRunUna.idxNexHigAva.booToInt[4].y,idxStaRunUna.idxNexHigAva.booToInt[3].y,idxStaRunUna.idxNexHigAva.booToInt[2].y,idxStaRunUna.idxNexHigAva.booToInt[1].y,idxStaRunUna.idxNexHigAva.y,idxStaRunUna.idxNexLowAva.booToInt[4].y,idxStaRunUna.idxNexLowAva.booToInt[3].y,idxStaRunUna.idxNexLowAva.booToInt[2].y,idxStaRunUna.idxNexLowAva.booToInt[1].y,idxStaRunUna.idxNexLowAva.y,idxStaRunUna.andAva[4].y,idxStaRunUna.andAva[3].y,idxStaRunUna.andAva[2].y,idxStaRunUna.andAva[1].y,idxStaRunUna.intScaRep.y[4],idxStaRunUna.intLesEqu[4].y,idxStaRunUna.intLesEqu[3].y,idxStaRunUna.intLesEqu[2].y,idxStaRunUna.intLesEqu[1].y,idxStaRunUna.dowAndEna.uTemp[2],idxStaRunUna.dowAndEna.y,idxStaRunUna.dowAndEna.u[3],idxStaRunUna.tim[4].entryTime,$PRE.idxStaRunUna.tim[4].entryTime,idxStaRunUna.tim[4].passed,$PRE.idxStaRunUna.tim[4].passed,idxStaRunUna.tim[3].entryTime,$PRE.idxStaRunUna.tim[3].entryTime,idxStaRunUna.tim[3].passed,$PRE.idxStaRunUna.tim[3].passed,idxStaRunUna.tim[2].entryTime,$PRE.idxStaRunUna.tim[2].entryTime,idxStaRunUna.tim[2].passed,$PRE.idxStaRunUna.tim[2].passed,idxStaRunUna.tim[1].entryTime,$PRE.idxStaRunUna.tim[1].entryTime,idxStaRunUna.tim[1].passed,$PRE.idxStaRunUna.tim[1].passed,idxStaRunUna.idxFirAva.intEqu.y,idxStaRunUna.maxInt.y,idxStaRunUna.staUna.y,idxStaRunUna.staUna.u[4],idxStaRunUna.staUna.u[3],idxStaRunUna.staUna.u[2],idxStaRunUna.staUna.u[1],idxStaRunUna.idxFirAct.intEqu.y,idxStaRunUna.idxFirAct.mulMin.y,idxStaRunUna.idxFirAct.booToInt[4].y,idxStaRunUna.idxFirAct.booToInt[3].y,idxStaRunUna.idxFirAct.booToInt[2].y,idxStaRunUna.idxFirAct.booToInt[1].y,idxStaRunUna.upAndEna.uTemp[2],idxStaRunUna.upAndEna.y,idxStaRunUna.upAndEna.u[3],idxStaRunUna.staToSta0[4].outPort.occupied,idxStaRunUna.staToSta0[4].enableFire,idxStaRunUna.staToSta0[4].localCondition,idxStaRunUna.staToSta0[3].outPort.occupied,idxStaRunUna.staToSta0[3].enableFire,idxStaRunUna.staToSta0[3].localCondition,idxStaRunUna.staToSta0[2].outPort.occupied,idxStaRunUna.staToSta0[2].enableFire,idxStaRunUna.staToSta0[2].localCondition,idxStaRunUna.staToSta0[1].enableFire,idxStaRunUna.staToSta0[1].localCondition,idxStaRunUna.rep.y[4],idxStaRunUna.runAndTrn[4].y,idxStaRunUna.runAndTrn[3].y,idxStaRunUna.runAndTrn[2].y,idxStaRunUna.runAndTrn[1].y,idxStaRunUna.staToSta[4,4].outPort.occupied,idxStaRunUna.staToSta[4,4].enableFire,idxStaRunUna.staToSta[4,4].localCondition,idxStaRunUna.staToSta[4,3].outPort.occupied,idxStaRunUna.staToSta[4,3].enableFire,idxStaRunUna.staToSta[4,3].localCondition,idxStaRunUna.staToSta[4,2].outPort.occupied,idxStaRunUna.staToSta[4,2].enableFire,idxStaRunUna.staToSta[4,2].localCondition,idxStaRunUna.staToSta[4,1].outPort.occupied,idxStaRunUna.staToSta[4,1].enableFire,idxStaRunUna.staToSta[4,1].localCondition,idxStaRunUna.staToSta[3,4].outPort.occupied,idxStaRunUna.staToSta[3,4].enableFire,idxStaRunUna.staToSta[3,4].localCondition,idxStaRunUna.staToSta[3,3].outPort.occupied,idxStaRunUna.staToSta[3,3].enableFire,idxStaRunUna.staToSta[3,3].localCondition,idxStaRunUna.staToSta[3,2].outPort.occupied,idxStaRunUna.staToSta[3,2].enableFire,idxStaRunUna.staToSta[3,2].localCondition,idxStaRunUna.staToSta[3,1].outPort.occupied,idxStaRunUna.staToSta[3,1].enableFire,idxStaRunUna.staToSta[3,1].localCondition,idxStaRunUna.staToSta[2,4].outPort.occupied,idxStaRunUna.staToSta[2,4].enableFire,idxStaRunUna.staToSta[2,4].localCondition,idxStaRunUna.staToSta[2,3].outPort.occupied,idxStaRunUna.staToSta[2,3].enableFire,idxStaRunUna.staToSta[2,3].localCondition,idxStaRunUna.staToSta[2,2].outPort.occupied,idxStaRunUna.staToSta[2,2].enableFire,idxStaRunUna.staToSta[2,2].localCondition,idxStaRunUna.staToSta[2,1].outPort.occupied,idxStaRunUna.staToSta[2,1].enableFire,idxStaRunUna.staToSta[2,1].localCondition,idxStaRunUna.staToSta[1,4].enableFire,idxStaRunUna.staToSta[1,4].localCondition,idxStaRunUna.staToSta[1,3].enableFire,idxStaRunUna.staToSta[1,3].localCondition,idxStaRunUna.staToSta[1,2].enableFire,idxStaRunUna.staToSta[1,2].localCondition,idxStaRunUna.staToSta[1,1].enableFire,idxStaRunUna.staToSta[1,1].localCondition,idxStaRunUna.stateGraphRoot.activeSteps,idxStaRunUna.sta0ToSta[4].outPort.occupied,idxStaRunUna.sta0ToSta[4].enableFire,idxStaRunUna.sta0ToSta[3].outPort.occupied,idxStaRunUna.sta0ToSta[3].enableFire,idxStaRunUna.sta0ToSta[2].outPort.occupied,idxStaRunUna.sta0ToSta[2].enableFire,idxStaRunUna.sta0ToSta[1].outPort.occupied,idxStaRunUna.sta0ToSta[1].enableFire,idxStaRunUna.sta[4].active,idxStaRunUna.sta[4].oldActive,$PRE.idxStaRunUna.sta[4].oldActive,idxStaRunUna.sta[4].newActive,$PRE.idxStaRunUna.sta[4].newActive,idxStaRunUna.sta[4].outPort[5].available,idxStaRunUna.sta[4].outPort[4].available,idxStaRunUna.sta[4].outPort[3].available,idxStaRunUna.sta[4].outPort[2].available,idxStaRunUna.sta[4].localActive,$PRE.idxStaRunUna.sta[4].localActive,idxStaRunUna.sta[3].active,idxStaRunUna.sta[3].oldActive,$PRE.idxStaRunUna.sta[3].oldActive,idxStaRunUna.sta[3].newActive,$PRE.idxStaRunUna.sta[3].newActive,idxStaRunUna.sta[3].outPort[5].available,idxStaRunUna.sta[3].outPort[4].available,idxStaRunUna.sta[3].outPort[3].available,idxStaRunUna.sta[3].outPort[2].available,idxStaRunUna.sta[3].localActive,$PRE.idxStaRunUna.sta[3].localActive,idxStaRunUna.sta[2].active,idxStaRunUna.sta[2].oldActive,$PRE.idxStaRunUna.sta[2].oldActive,idxStaRunUna.sta[2].newActive,$PRE.idxStaRunUna.sta[2].newActive,idxStaRunUna.sta[2].outPort[5].available,idxStaRunUna.sta[2].outPort[4].available,idxStaRunUna.sta[2].outPort[3].available,idxStaRunUna.sta[2].outPort[2].available,idxStaRunUna.sta[2].localActive,$PRE.idxStaRunUna.sta[2].localActive,idxStaRunUna.sta[1].active,idxStaRunUna.sta[1].oldActive,$PRE.idxStaRunUna.sta[1].oldActive,idxStaRunUna.sta[1].newActive,$PRE.idxStaRunUna.sta[1].newActive,idxStaRunUna.sta[1].outPort[5].available,idxStaRunUna.sta[1].outPort[4].available,idxStaRunUna.sta[1].outPort[3].available,idxStaRunUna.sta[1].outPort[2].available,idxStaRunUna.sta[1].localActive,$PRE.idxStaRunUna.sta[1].localActive,idxStaRunUna.sta0.active,idxStaRunUna.sta0.oldActive,$PRE.idxStaRunUna.sta0.oldActive,idxStaRunUna.sta0.newActive,$PRE.idxStaRunUna.sta0.newActive,idxStaRunUna.sta0.outPort[4].available,idxStaRunUna.sta0.outPort[3].available,idxStaRunUna.sta0.outPort[2].available,idxStaRunUna.sta0.localActive,$PRE.idxStaRunUna.sta0.localActive,idxStaRun.truNexHigAva.iIdx,idxStaRun.truNexHigAva.iTru,idxStaRun.truNexHigAva.y1[4],idxStaRun.truNexHigAva.y1[3],idxStaRun.truNexHigAva.y1[2],idxStaRun.truNexHigAva.y1[1],idxStaRun.truNexHigAva.uIdx[1],idxStaRun.truNexHigAva.u,idxStaRun.rep1.y[4],idxStaRun.rep3[4].y[4],idxStaRun.rep3[3].y[4],idxStaRun.rep3[2].y[4],idxStaRun.rep3[1].y[4],idxStaRun.truIdxNex.iIdx,idxStaRun.truIdxNex.iTru,idxStaRun.truIdxNex.y1[4],idxStaRun.truIdxNex.y1[3],idxStaRun.truIdxNex.y1[2],idxStaRun.truIdxNex.y1[1],idxStaRun.truIdxNex.uIdx[1],idxStaRun.upOrActUna.y,idxStaRun.andAva1[4].y,idxStaRun.andAva1[3].y,idxStaRun.andAva1[2].y,idxStaRun.andAva1[1].y,idxStaRun.idxNexHigAva.intEqu.y,idxStaRun.idxNexHigAva.mulMin.y,idxStaRun.idxNexHigAva.booToInt[4].y,idxStaRun.idxNexHigAva.booToInt[3].y,idxStaRun.idxNexHigAva.booToInt[2].y,idxStaRun.idxNexHigAva.booToInt[1].y,idxStaRun.idxNexHigAva.y,idxStaRun.idxNexLowAva.booToInt[4].y,idxStaRun.idxNexLowAva.booToInt[3].y,idxStaRun.idxNexLowAva.booToInt[2].y,idxStaRun.idxNexLowAva.booToInt[1].y,idxStaRun.idxNexLowAva.y,idxStaRun.andAva[4].y,idxStaRun.andAva[3].y,idxStaRun.andAva[2].y,idxStaRun.andAva[1].y,idxStaRun.intScaRep.y[4],idxStaRun.dowAndEna.uTemp[2],idxStaRun.dowAndEna.y,idxStaRun.dowAndEna.u[3],idxStaRun.tim[4].entryTime,$PRE.idxStaRun.tim[4].entryTime,idxStaRun.tim[4].passed,$PRE.idxStaRun.tim[4].passed,idxStaRun.tim[3].entryTime,$PRE.idxStaRun.tim[3].entryTime,idxStaRun.tim[3].passed,$PRE.idxStaRun.tim[3].passed,idxStaRun.tim[2].entryTime,$PRE.idxStaRun.tim[2].entryTime,idxStaRun.tim[2].passed,$PRE.idxStaRun.tim[2].passed,idxStaRun.tim[1].entryTime,$PRE.idxStaRun.tim[1].entryTime,idxStaRun.tim[1].passed,$PRE.idxStaRun.tim[1].passed,idxStaRun.idxFirAva.intEqu.y,idxStaRun.maxInt.y,idxStaRun.staUna.y,idxStaRun.idxFirAct.intEqu.y,idxStaRun.idxFirAct.mulMin.y,idxStaRun.idxFirAct.booToInt[4].y,idxStaRun.idxFirAct.booToInt[3].y,idxStaRun.idxFirAct.booToInt[2].y,idxStaRun.idxFirAct.booToInt[1].y,idxStaRun.upAndEna.uTemp[2],idxStaRun.upAndEna.y,idxStaRun.upAndEna.u[3],idxStaRun.staToSta0[4].outPort.occupied,idxStaRun.staToSta0[4].enableFire,idxStaRun.staToSta0[4].localCondition,idxStaRun.staToSta0[3].outPort.occupied,idxStaRun.staToSta0[3].enableFire,idxStaRun.staToSta0[3].localCondition,idxStaRun.staToSta0[2].outPort.occupied,idxStaRun.staToSta0[2].enableFire,idxStaRun.staToSta0[2].localCondition,idxStaRun.staToSta0[1].enableFire,idxStaRun.staToSta0[1].localCondition,idxStaRun.rep.y[4],idxStaRun.runAndTrn[4].y,idxStaRun.runAndTrn[3].y,idxStaRun.runAndTrn[2].y,idxStaRun.runAndTrn[1].y,idxStaRun.staToSta[4,4].outPort.occupied,idxStaRun.staToSta[4,4].enableFire,idxStaRun.staToSta[4,4].localCondition,idxStaRun.staToSta[4,3].outPort.occupied,idxStaRun.staToSta[4,3].enableFire,idxStaRun.staToSta[4,3].localCondition,idxStaRun.staToSta[4,2].outPort.occupied,idxStaRun.staToSta[4,2].enableFire,idxStaRun.staToSta[4,2].localCondition,idxStaRun.staToSta[4,1].outPort.occupied,idxStaRun.staToSta[4,1].enableFire,idxStaRun.staToSta[4,1].localCondition,idxStaRun.staToSta[3,4].outPort.occupied,idxStaRun.staToSta[3,4].enableFire,idxStaRun.staToSta[3,4].localCondition,idxStaRun.staToSta[3,3].outPort.occupied,idxStaRun.staToSta[3,3].enableFire,idxStaRun.staToSta[3,3].localCondition,idxStaRun.staToSta[3,2].outPort.occupied,idxStaRun.staToSta[3,2].enableFire,idxStaRun.staToSta[3,2].localCondition,idxStaRun.staToSta[3,1].outPort.occupied,idxStaRun.staToSta[3,1].enableFire,idxStaRun.staToSta[3,1].localCondition,idxStaRun.staToSta[2,4].outPort.occupied,idxStaRun.staToSta[2,4].enableFire,idxStaRun.staToSta[2,4].localCondition,idxStaRun.staToSta[2,3].outPort.occupied,idxStaRun.staToSta[2,3].enableFire,idxStaRun.staToSta[2,3].localCondition,idxStaRun.staToSta[2,2].outPort.occupied,idxStaRun.staToSta[2,2].enableFire,idxStaRun.staToSta[2,2].localCondition,idxStaRun.staToSta[2,1].outPort.occupied,idxStaRun.staToSta[2,1].enableFire,idxStaRun.staToSta[2,1].localCondition,idxStaRun.staToSta[1,4].enableFire,idxStaRun.staToSta[1,4].localCondition,idxStaRun.staToSta[1,3].enableFire,idxStaRun.staToSta[1,3].localCondition,idxStaRun.staToSta[1,2].enableFire,idxStaRun.staToSta[1,2].localCondition,idxStaRun.staToSta[1,1].enableFire,idxStaRun.staToSta[1,1].localCondition,idxStaRun.stateGraphRoot.activeSteps,idxStaRun.sta0ToSta[4].outPort.occupied,idxStaRun.sta0ToSta[4].enableFire,idxStaRun.sta0ToSta[3].outPort.occupied,idxStaRun.sta0ToSta[3].enableFire,idxStaRun.sta0ToSta[2].outPort.occupied,idxStaRun.sta0ToSta[2].enableFire,idxStaRun.sta0ToSta[1].outPort.occupied,idxStaRun.sta0ToSta[1].enableFire,idxStaRun.sta[4].active,idxStaRun.sta[4].oldActive,$PRE.idxStaRun.sta[4].oldActive,idxStaRun.sta[4].newActive,$PRE.idxStaRun.sta[4].newActive,idxStaRun.sta[4].outPort[5].available,idxStaRun.sta[4].outPort[4].available,idxStaRun.sta[4].outPort[3].available,idxStaRun.sta[4].outPort[2].available,idxStaRun.sta[4].localActive,$PRE.idxStaRun.sta[4].localActive,idxStaRun.sta[3].active,idxStaRun.sta[3].oldActive,$PRE.idxStaRun.sta[3].oldActive,idxStaRun.sta[3].newActive,$PRE.idxStaRun.sta[3].newActive,idxStaRun.sta[3].outPort[5].available,idxStaRun.sta[3].outPort[4].available,idxStaRun.sta[3].outPort[3].available,idxStaRun.sta[3].outPort[2].available,idxStaRun.sta[3].localActive,$PRE.idxStaRun.sta[3].localActive,idxStaRun.sta[2].active,idxStaRun.sta[2].oldActive,$PRE.idxStaRun.sta[2].oldActive,idxStaRun.sta[2].newActive,$PRE.idxStaRun.sta[2].newActive,idxStaRun.sta[2].outPort[5].available,idxStaRun.sta[2].outPort[4].available,idxStaRun.sta[2].outPort[3].available,idxStaRun.sta[2].outPort[2].available,idxStaRun.sta[2].localActive,$PRE.idxStaRun.sta[2].localActive,idxStaRun.sta[1].active,idxStaRun.sta[1].oldActive,$PRE.idxStaRun.sta[1].oldActive,idxStaRun.sta[1].newActive,$PRE.idxStaRun.sta[1].newActive,idxStaRun.sta[1].outPort[5].available,idxStaRun.sta[1].outPort[4].available,idxStaRun.sta[1].outPort[3].available,idxStaRun.sta[1].outPort[2].available,idxStaRun.sta[1].localActive,$PRE.idxStaRun.sta[1].localActive,idxStaRun.sta0.active,idxStaRun.sta0.oldActive,$PRE.idxStaRun.sta0.oldActive,idxStaRun.sta0.newActive,$PRE.idxStaRun.sta0.newActive,idxStaRun.sta0.outPort[4].available,idxStaRun.sta0.outPort[3].available,idxStaRun.sta0.outPort[2].available,idxStaRun.sta0.localActive,$PRE.idxStaRun.sta0.localActive,idxStaUna.truNexHigAva.iIdx,idxStaUna.truNexHigAva.iTru,idxStaUna.truNexHigAva.y1[4],idxStaUna.truNexHigAva.y1[3],idxStaUna.truNexHigAva.y1[2],idxStaUna.truNexHigAva.y1[1],idxStaUna.truNexHigAva.uIdx[1],idxStaUna.truNexHigAva.u,idxStaUna.rep1.y[4],idxStaUna.rep3[4].y[4],idxStaUna.rep3[3].y[4],idxStaUna.rep3[2].y[4],idxStaUna.rep3[1].y[4],idxStaUna.truIdxNex.iIdx,idxStaUna.truIdxNex.iTru,idxStaUna.truIdxNex.y1[4],idxStaUna.truIdxNex.y1[3],idxStaUna.truIdxNex.y1[2],idxStaUna.truIdxNex.y1[1],idxStaUna.truIdxNex.uIdx[1],idxStaUna.upOrActUna.y,idxStaUna.andAva1[4].y,idxStaUna.andAva1[3].y,idxStaUna.andAva1[2].y,idxStaUna.andAva1[1].y,idxStaUna.intGreEqu[4].y,idxStaUna.intGreEqu[3].y,idxStaUna.intGreEqu[2].y,idxStaUna.intGreEqu[1].y,idxStaUna.idxNexHigAva.intEqu.y,idxStaUna.idxNexHigAva.mulMin.y,idxStaUna.idxNexHigAva.booToInt[4].y,idxStaUna.idxNexHigAva.booToInt[3].y,idxStaUna.idxNexHigAva.booToInt[2].y,idxStaUna.idxNexHigAva.booToInt[1].y,idxStaUna.idxNexHigAva.y,idxStaUna.idxNexLowAva.booToInt[4].y,idxStaUna.idxNexLowAva.booToInt[3].y,idxStaUna.idxNexLowAva.booToInt[2].y,idxStaUna.idxNexLowAva.booToInt[1].y,idxStaUna.idxNexLowAva.y,idxStaUna.andAva[4].y,idxStaUna.andAva[3].y,idxStaUna.andAva[2].y,idxStaUna.andAva[1].y,idxStaUna.intScaRep.y[4],idxStaUna.intLesEqu[4].y,idxStaUna.intLesEqu[3].y,idxStaUna.intLesEqu[2].y,idxStaUna.intLesEqu[1].y,idxStaUna.dowAndEna.uTemp[2],idxStaUna.dowAndEna.y,idxStaUna.dowAndEna.u[3],idxStaUna.idxFirAva.intEqu.y,idxStaUna.maxInt.y,idxStaUna.staUna.y,idxStaUna.staUna.u[4],idxStaUna.staUna.u[3],idxStaUna.staUna.u[2],idxStaUna.staUna.u[1],idxStaUna.idxFirAct.intEqu.y,idxStaUna.idxFirAct.mulMin.y,idxStaUna.idxFirAct.booToInt[4].y,idxStaUna.idxFirAct.booToInt[3].y,idxStaUna.idxFirAct.booToInt[2].y,idxStaUna.idxFirAct.booToInt[1].y,idxStaUna.upAndEna.uTemp[2],idxStaUna.upAndEna.y,idxStaUna.upAndEna.u[3],idxStaUna.staToSta0[4].outPort.occupied,idxStaUna.staToSta0[4].enableFire,idxStaUna.staToSta0[4].localCondition,idxStaUna.staToSta0[3].outPort.occupied,idxStaUna.staToSta0[3].enableFire,idxStaUna.staToSta0[3].localCondition,idxStaUna.staToSta0[2].outPort.occupied,idxStaUna.staToSta0[2].enableFire,idxStaUna.staToSta0[2].localCondition,idxStaUna.staToSta0[1].enableFire,idxStaUna.staToSta0[1].localCondition,idxStaUna.rep.y[4],idxStaUna.runAndTrn[4].y,idxStaUna.runAndTrn[3].y,idxStaUna.runAndTrn[2].y,idxStaUna.runAndTrn[1].y,idxStaUna.staToSta[4,4].outPort.occupied,idxStaUna.staToSta[4,4].enableFire,idxStaUna.staToSta[4,4].localCondition,idxStaUna.staToSta[4,3].outPort.occupied,idxStaUna.staToSta[4,3].enableFire,idxStaUna.staToSta[4,3].localCondition,idxStaUna.staToSta[4,2].outPort.occupied,idxStaUna.staToSta[4,2].enableFire,idxStaUna.staToSta[4,2].localCondition,idxStaUna.staToSta[4,1].outPort.occupied,idxStaUna.staToSta[4,1].enableFire,idxStaUna.staToSta[4,1].localCondition,idxStaUna.staToSta[3,4].outPort.occupied,idxStaUna.staToSta[3,4].enableFire,idxStaUna.staToSta[3,4].localCondition,idxStaUna.staToSta[3,3].outPort.occupied,idxStaUna.staToSta[3,3].enableFire,idxStaUna.staToSta[3,3].localCondition,idxStaUna.staToSta[3,2].outPort.occupied,idxStaUna.staToSta[3,2].enableFire,idxStaUna.staToSta[3,2].localCondition,idxStaUna.staToSta[3,1].outPort.occupied,idxStaUna.staToSta[3,1].enableFire,idxStaUna.staToSta[3,1].localCondition,idxStaUna.staToSta[2,4].outPort.occupied,idxStaUna.staToSta[2,4].enableFire,idxStaUna.staToSta[2,4].localCondition,idxStaUna.staToSta[2,3].outPort.occupied,idxStaUna.staToSta[2,3].enableFire,idxStaUna.staToSta[2,3].localCondition,idxStaUna.staToSta[2,2].outPort.occupied,idxStaUna.staToSta[2,2].enableFire,idxStaUna.staToSta[2,2].localCondition,idxStaUna.staToSta[2,1].outPort.occupied,idxStaUna.staToSta[2,1].enableFire,idxStaUna.staToSta[2,1].localCondition,idxStaUna.staToSta[1,4].enableFire,idxStaUna.staToSta[1,4].localCondition,idxStaUna.staToSta[1,3].enableFire,idxStaUna.staToSta[1,3].localCondition,idxStaUna.staToSta[1,2].enableFire,idxStaUna.staToSta[1,2].localCondition,idxStaUna.staToSta[1,1].enableFire,idxStaUna.staToSta[1,1].localCondition,idxStaUna.stateGraphRoot.activeSteps,idxStaUna.sta0ToSta[4].outPort.occupied,idxStaUna.sta0ToSta[4].enableFire,idxStaUna.sta0ToSta[3].outPort.occupied,idxStaUna.sta0ToSta[3].enableFire,idxStaUna.sta0ToSta[2].outPort.occupied,idxStaUna.sta0ToSta[2].enableFire,idxStaUna.sta0ToSta[1].outPort.occupied,idxStaUna.sta0ToSta[1].enableFire,idxStaUna.sta[4].active,idxStaUna.sta[4].oldActive,$PRE.idxStaUna.sta[4].oldActive,idxStaUna.sta[4].newActive,$PRE.idxStaUna.sta[4].newActive,idxStaUna.sta[4].outPort[5].available,idxStaUna.sta[4].outPort[4].available,idxStaUna.sta[4].outPort[3].available,idxStaUna.sta[4].outPort[2].available,idxStaUna.sta[4].localActive,$PRE.idxStaUna.sta[4].localActive,idxStaUna.sta[3].active,idxStaUna.sta[3].oldActive,$PRE.idxStaUna.sta[3].oldActive,idxStaUna.sta[3].newActive,$PRE.idxStaUna.sta[3].newActive,idxStaUna.sta[3].outPort[5].available,idxStaUna.sta[3].outPort[4].available,idxStaUna.sta[3].outPort[3].available,idxStaUna.sta[3].outPort[2].available,idxStaUna.sta[3].localActive,$PRE.idxStaUna.sta[3].localActive,idxStaUna.sta[2].active,idxStaUna.sta[2].oldActive,$PRE.idxStaUna.sta[2].oldActive,idxStaUna.sta[2].newActive,$PRE.idxStaUna.sta[2].newActive,idxStaUna.sta[2].outPort[5].available,idxStaUna.sta[2].outPort[4].available,idxStaUna.sta[2].outPort[3].available,idxStaUna.sta[2].outPort[2].available,idxStaUna.sta[2].localActive,$PRE.idxStaUna.sta[2].localActive,idxStaUna.sta[1].active,idxStaUna.sta[1].oldActive,$PRE.idxStaUna.sta[1].oldActive,idxStaUna.sta[1].newActive,$PRE.idxStaUna.sta[1].newActive,idxStaUna.sta[1].outPort[5].available,idxStaUna.sta[1].outPort[4].available,idxStaUna.sta[1].outPort[3].available,idxStaUna.sta[1].outPort[2].available,idxStaUna.sta[1].localActive,$PRE.idxStaUna.sta[1].localActive,idxStaUna.sta0.active,idxStaUna.sta0.oldActive,$PRE.idxStaUna.sta0.oldActive,idxStaUna.sta0.newActive,$PRE.idxStaUna.sta0.newActive,idxStaUna.sta0.outPort[4].available,idxStaUna.sta0.outPort[3].available,idxStaUna.sta0.outPort[2].available,idxStaUna.sta0.localActive,$PRE.idxStaUna.sta0.localActive,dowPul.y,upPul.y,idxSta.truNexHigAva.iIdx,idxSta.truNexHigAva.iTru,idxSta.truNexHigAva.y1[4],idxSta.truNexHigAva.y1[3],idxSta.truNexHigAva.y1[2],idxSta.truNexHigAva.y1[1],idxSta.truNexHigAva.uIdx[1],idxSta.truNexHigAva.u,idxSta.rep1.y[4],idxSta.rep3[4].y[4],idxSta.rep3[3].y[4],idxSta.rep3[2].y[4],idxSta.rep3[1].y[4],idxSta.truIdxNex.iIdx,idxSta.truIdxNex.iTru,idxSta.truIdxNex.y1[4],idxSta.truIdxNex.y1[3],idxSta.truIdxNex.y1[2],idxSta.truIdxNex.y1[1],idxSta.truIdxNex.uIdx[1],idxSta.upOrActUna.y,idxSta.andAva1[4].y,idxSta.andAva1[3].y,idxSta.andAva1[2].y,idxSta.andAva1[1].y,idxSta.idxNexHigAva.intEqu.y,idxSta.idxNexHigAva.mulMin.y,idxSta.idxNexHigAva.booToInt[4].y,idxSta.idxNexHigAva.booToInt[3].y,idxSta.idxNexHigAva.booToInt[2].y,idxSta.idxNexHigAva.booToInt[1].y,idxSta.idxNexHigAva.y,idxSta.idxNexLowAva.booToInt[4].y,idxSta.idxNexLowAva.booToInt[3].y,idxSta.idxNexLowAva.booToInt[2].y,idxSta.idxNexLowAva.booToInt[1].y,idxSta.idxNexLowAva.y,idxSta.andAva[4].y,idxSta.andAva[3].y,idxSta.andAva[2].y,idxSta.andAva[1].y,idxSta.intScaRep.y[4],idxSta.dowAndEna.uTemp[2],idxSta.dowAndEna.y,idxSta.dowAndEna.u[3],idxSta.idxFirAva.intEqu.y,idxSta.maxInt.y,idxSta.staUna.y,idxSta.idxFirAct.intEqu.y,idxSta.idxFirAct.mulMin.y,idxSta.idxFirAct.booToInt[4].y,idxSta.idxFirAct.booToInt[3].y,idxSta.idxFirAct.booToInt[2].y,idxSta.idxFirAct.booToInt[1].y,idxSta.upAndEna.uTemp[2],idxSta.upAndEna.y,idxSta.upAndEna.u[3],idxSta.staToSta0[4].outPort.occupied,idxSta.staToSta0[4].enableFire,idxSta.staToSta0[4].localCondition,idxSta.staToSta0[3].outPort.occupied,idxSta.staToSta0[3].enableFire,idxSta.staToSta0[3].localCondition,idxSta.staToSta0[2].outPort.occupied,idxSta.staToSta0[2].enableFire,idxSta.staToSta0[2].localCondition,idxSta.staToSta0[1].enableFire,idxSta.staToSta0[1].localCondition,idxSta.rep.y[4],idxSta.runAndTrn[4].y,idxSta.runAndTrn[3].y,idxSta.runAndTrn[2].y,idxSta.runAndTrn[1].y,idxSta.staToSta[4,4].outPort.occupied,idxSta.staToSta[4,4].enableFire,idxSta.staToSta[4,4].localCondition,idxSta.staToSta[4,3].outPort.occupied,idxSta.staToSta[4,3].enableFire,idxSta.staToSta[4,3].localCondition,idxSta.staToSta[4,2].outPort.occupied,idxSta.staToSta[4,2].enableFire,idxSta.staToSta[4,2].localCondition,idxSta.staToSta[4,1].outPort.occupied,idxSta.staToSta[4,1].enableFire,idxSta.staToSta[4,1].localCondition,idxSta.staToSta[3,4].outPort.occupied,idxSta.staToSta[3,4].enableFire,idxSta.staToSta[3,4].localCondition,idxSta.staToSta[3,3].outPort.occupied,idxSta.staToSta[3,3].enableFire,idxSta.staToSta[3,3].localCondition,idxSta.staToSta[3,2].outPort.occupied,idxSta.staToSta[3,2].enableFire,idxSta.staToSta[3,2].localCondition,idxSta.staToSta[3,1].outPort.occupied,idxSta.staToSta[3,1].enableFire,idxSta.staToSta[3,1].localCondition,idxSta.staToSta[2,4].outPort.occupied,idxSta.staToSta[2,4].enableFire,idxSta.staToSta[2,4].localCondition,idxSta.staToSta[2,3].outPort.occupied,idxSta.staToSta[2,3].enableFire,idxSta.staToSta[2,3].localCondition,idxSta.staToSta[2,2].outPort.occupied,idxSta.staToSta[2,2].enableFire,idxSta.staToSta[2,2].localCondition,idxSta.staToSta[2,1].outPort.occupied,idxSta.staToSta[2,1].enableFire,idxSta.staToSta[2,1].localCondition,idxSta.staToSta[1,4].enableFire,idxSta.staToSta[1,4].localCondition,idxSta.staToSta[1,3].enableFire,idxSta.staToSta[1,3].localCondition,idxSta.staToSta[1,2].enableFire,idxSta.staToSta[1,2].localCondition,idxSta.staToSta[1,1].enableFire,idxSta.staToSta[1,1].localCondition,idxSta.stateGraphRoot.activeSteps,idxSta.sta0ToSta[4].outPort.occupied,idxSta.sta0ToSta[4].enableFire,idxSta.sta0ToSta[3].outPort.occupied,idxSta.sta0ToSta[3].enableFire,idxSta.sta0ToSta[2].outPort.occupied,idxSta.sta0ToSta[2].enableFire,idxSta.sta0ToSta[1].outPort.occupied,idxSta.sta0ToSta[1].enableFire,idxSta.sta[4].active,idxSta.sta[4].oldActive,$PRE.idxSta.sta[4].oldActive,idxSta.sta[4].newActive,$PRE.idxSta.sta[4].newActive,idxSta.sta[4].outPort[5].available,idxSta.sta[4].outPort[4].available,idxSta.sta[4].outPort[3].available,idxSta.sta[4].outPort[2].available,idxSta.sta[4].localActive,$PRE.idxSta.sta[4].localActive,idxSta.sta[3].active,idxSta.sta[3].oldActive,$PRE.idxSta.sta[3].oldActive,idxSta.sta[3].newActive,$PRE.idxSta.sta[3].newActive,idxSta.sta[3].outPort[5].available,idxSta.sta[3].outPort[4].available,idxSta.sta[3].outPort[3].available,idxSta.sta[3].outPort[2].available,idxSta.sta[3].localActive,$PRE.idxSta.sta[3].localActive,idxSta.sta[2].active,idxSta.sta[2].oldActive,$PRE.idxSta.sta[2].oldActive,idxSta.sta[2].newActive,$PRE.idxSta.sta[2].newActive,idxSta.sta[2].outPort[5].available,idxSta.sta[2].outPort[4].available,idxSta.sta[2].outPort[3].available,idxSta.sta[2].outPort[2].available,idxSta.sta[2].localActive,$PRE.idxSta.sta[2].localActive,idxSta.sta[1].active,idxSta.sta[1].oldActive,$PRE.idxSta.sta[1].oldActive,idxSta.sta[1].newActive,$PRE.idxSta.sta[1].newActive,idxSta.sta[1].outPort[5].available,idxSta.sta[1].outPort[4].available,idxSta.sta[1].outPort[3].available,idxSta.sta[1].outPort[2].available,idxSta.sta[1].localActive,$PRE.idxSta.sta[1].localActive,idxSta.sta0.active,idxSta.sta0.oldActive,$PRE.idxSta.sta0.oldActive,idxSta.sta0.newActive,$PRE.idxSta.sta0.newActive,idxSta.sta0.outPort[4].available,idxSta.sta0.outPort[3].available,idxSta.sta0.outPort[2].available,idxSta.sta0.localActive,$PRE.idxSta.sta0.localActive,ena.y,$PRE.ena.y,$whenCondition1,$whenCondition2,$whenCondition3,$whenCondition4,$whenCondition5,$whenCondition6,$whenCondition12,$whenCondition11,$whenCondition10,$whenCondition15,$whenCondition14,$whenCondition13,$whenCondition18,$whenCondition17,$whenCondition16,$whenCondition21,$whenCondition20,$whenCondition19,$whenCondition24,$whenCondition23,$whenCondition22,$whenCondition27,$whenCondition26,$whenCondition25,$whenCondition30,$whenCondition29,$whenCondition28,$whenCondition33,$whenCondition32,$whenCondition31,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 (1430): * Single equations (assignments): 1421 * Array equations: 0 * Algorithm blocks: 9 * Record equations: 0 * When equations: 0 * If-equations: 0 * Equation systems (not torn): 0 * Torn equation systems: 0 * Mixed (continuous/discrete) equation systems: 0 Notification: Performance of prepare postOptimizeDAE: time 0.004528/0.72, allocations: 2.397 MB / 1.07 GB, free: 245.2 MB / 1.01 GB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.001628/0.7217, allocations: 0.9748 MB / 1.071 GB, free: 245.2 MB / 1.01 GB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.00571/0.7274, allocations: 5.35 MB / 1.076 GB, free: 244.4 MB / 1.01 GB Notification: Performance of postOpt inlineArrayEqn (simulation): time 5.515e-05/0.7274, allocations: 102.1 kB / 1.077 GB, free: 244.4 MB / 1.01 GB Notification: Performance of postOpt constantLinearSystem (simulation): time 2.507e-05/0.7275, allocations: 30.25 kB / 1.077 GB, free: 244.4 MB / 1.01 GB Notification: Performance of postOpt simplifysemiLinear (simulation): time 5.136e-05/0.7275, allocations: 71.23 kB / 1.077 GB, free: 244.4 MB / 1.01 GB Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.01967/0.7472, allocations: 12.47 MB / 1.089 GB, free: 242.6 MB / 1.01 GB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 6.696e-05/0.7472, allocations: 22.5 kB / 1.089 GB, free: 242.6 MB / 1.01 GB Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.0009446/0.7482, allocations: 455.4 kB / 1.089 GB, free: 242.5 MB / 1.01 GB Notification: Performance of postOpt tearingSystem (simulation): time 8.365e-05/0.7483, allocations: 53.38 kB / 1.089 GB, free: 242.5 MB / 1.01 GB Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.0005023/0.7488, allocations: 220.7 kB / 1.09 GB, free: 242.4 MB / 1.01 GB Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 5.353e-05/0.7488, allocations: 64.22 kB / 1.09 GB, free: 242.4 MB / 1.01 GB Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 2.227e-05/0.7488, allocations: 41.86 kB / 1.09 GB, free: 242.4 MB / 1.01 GB Notification: Performance of postOpt symbolicJacobian (simulation): time 0.008953/0.7578, allocations: 7.159 MB / 1.097 GB, free: 239.3 MB / 1.01 GB Notification: Performance of postOpt removeConstants (simulation): time 0.001238/0.759, allocations: 0.6298 MB / 1.097 GB, free: 239 MB / 1.01 GB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.001213/0.7603, allocations: 480.2 kB / 1.098 GB, free: 238.8 MB / 1.01 GB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.001595/0.7618, allocations: 257.6 kB / 1.098 GB, free: 238.7 MB / 1.01 GB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.002072/0.7639, allocations: 0.82 MB / 1.099 GB, free: 238.6 MB / 1.01 GB Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.0004951/0.7644, allocations: 264.9 kB / 1.099 GB, free: 238.5 MB / 1.01 GB Notification: Performance of sorting global known variables: time 0.001572/0.766, allocations: 1.568 MB / 1.101 GB, free: 238.1 MB / 1.01 GB Notification: Performance of sort global known variables: time 1.81e-07/0.766, allocations: 1.312 kB / 1.101 GB, free: 238.1 MB / 1.01 GB Notification: Performance of remove unused functions: time 0.007353/0.7733, allocations: 2.852 MB / 1.103 GB, free: 237.1 MB / 1.01 GB Notification: Model statistics after passing the back-end for simulation: * Number of independent subsystems: 105 * Number of states: 0 () * Number of discrete variables: 859 (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.active,idxSta.sta[1].active,idxSta.sta[2].active,idxSta.sta[3].active,idxSta.sta[4].active,idxStaUna.sta0.active,idxStaUna.sta[1].active,idxStaUna.sta[2].active,idxStaUna.sta[3].active,idxStaUna.sta[4].active,idxStaRun.sta0.active,idxStaRun.sta[1].localActive,idxStaRun.sta[1].active,idxStaRun.sta[2].localActive,idxStaRun.sta[2].active,idxStaRun.sta[3].localActive,idxStaRun.sta[3].active,idxStaRun.sta[4].localActive,idxStaRun.sta[4].active,idxStaRunUna.sta0.active,idxStaRunUna.sta[1].localActive,idxStaRunUna.sta[1].active,idxStaRunUna.sta[2].localActive,idxStaRunUna.sta[2].active,idxStaRunUna.sta[3].localActive,idxStaRunUna.sta[3].active,idxStaRunUna.sta[4].localActive,idxStaRunUna.sta[4].active,$cse1,$cse2,$cse3,$cse4,$cse5,$cse6,$cse7,$cse8,$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,$whenCondition6,$whenCondition5,$whenCondition4,$whenCondition3,$whenCondition2,$whenCondition1,ena.y,idxSta.sta0.localActive,idxSta.sta0.outPort[2].available,idxSta.sta0.outPort[3].available,idxSta.sta0.outPort[4].available,idxSta.sta0.newActive,idxSta.sta0.oldActive,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,idxSta.sta[1].newActive,idxSta.sta[1].oldActive,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,idxSta.sta[2].newActive,idxSta.sta[2].oldActive,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,idxSta.sta[3].newActive,idxSta.sta[3].oldActive,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,idxSta.sta[4].newActive,idxSta.sta[4].oldActive,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].localCondition,idxSta.staToSta[1,1].enableFire,idxSta.staToSta[1,2].localCondition,idxSta.staToSta[1,2].enableFire,idxSta.staToSta[1,3].localCondition,idxSta.staToSta[1,3].enableFire,idxSta.staToSta[1,4].localCondition,idxSta.staToSta[1,4].enableFire,idxSta.staToSta[2,1].localCondition,idxSta.staToSta[2,1].enableFire,idxSta.staToSta[2,1].outPort.occupied,idxSta.staToSta[2,2].localCondition,idxSta.staToSta[2,2].enableFire,idxSta.staToSta[2,2].outPort.occupied,idxSta.staToSta[2,3].localCondition,idxSta.staToSta[2,3].enableFire,idxSta.staToSta[2,3].outPort.occupied,idxSta.staToSta[2,4].localCondition,idxSta.staToSta[2,4].enableFire,idxSta.staToSta[2,4].outPort.occupied,idxSta.staToSta[3,1].localCondition,idxSta.staToSta[3,1].enableFire,idxSta.staToSta[3,1].outPort.occupied,idxSta.staToSta[3,2].localCondition,idxSta.staToSta[3,2].enableFire,idxSta.staToSta[3,2].outPort.occupied,idxSta.staToSta[3,3].localCondition,idxSta.staToSta[3,3].enableFire,idxSta.staToSta[3,3].outPort.occupied,idxSta.staToSta[3,4].localCondition,idxSta.staToSta[3,4].enableFire,idxSta.staToSta[3,4].outPort.occupied,idxSta.staToSta[4,1].localCondition,idxSta.staToSta[4,1].enableFire,idxSta.staToSta[4,1].outPort.occupied,idxSta.staToSta[4,2].localCondition,idxSta.staToSta[4,2].enableFire,idxSta.staToSta[4,2].outPort.occupied,idxSta.staToSta[4,3].localCondition,idxSta.staToSta[4,3].enableFire,idxSta.staToSta[4,3].outPort.occupied,idxSta.staToSta[4,4].localCondition,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].localCondition,idxSta.staToSta0[1].enableFire,idxSta.staToSta0[2].localCondition,idxSta.staToSta0[2].enableFire,idxSta.staToSta0[2].outPort.occupied,idxSta.staToSta0[3].localCondition,idxSta.staToSta0[3].enableFire,idxSta.staToSta0[3].outPort.occupied,idxSta.staToSta0[4].localCondition,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.localActive,idxStaUna.sta0.outPort[2].available,idxStaUna.sta0.outPort[3].available,idxStaUna.sta0.outPort[4].available,idxStaUna.sta0.newActive,idxStaUna.sta0.oldActive,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,idxStaUna.sta[1].newActive,idxStaUna.sta[1].oldActive,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,idxStaUna.sta[2].newActive,idxStaUna.sta[2].oldActive,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,idxStaUna.sta[3].newActive,idxStaUna.sta[3].oldActive,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,idxStaUna.sta[4].newActive,idxStaUna.sta[4].oldActive,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].localCondition,idxStaUna.staToSta[1,1].enableFire,idxStaUna.staToSta[1,2].localCondition,idxStaUna.staToSta[1,2].enableFire,idxStaUna.staToSta[1,3].localCondition,idxStaUna.staToSta[1,3].enableFire,idxStaUna.staToSta[1,4].localCondition,idxStaUna.staToSta[1,4].enableFire,idxStaUna.staToSta[2,1].localCondition,idxStaUna.staToSta[2,1].enableFire,idxStaUna.staToSta[2,1].outPort.occupied,idxStaUna.staToSta[2,2].localCondition,idxStaUna.staToSta[2,2].enableFire,idxStaUna.staToSta[2,2].outPort.occupied,idxStaUna.staToSta[2,3].localCondition,idxStaUna.staToSta[2,3].enableFire,idxStaUna.staToSta[2,3].outPort.occupied,idxStaUna.staToSta[2,4].localCondition,idxStaUna.staToSta[2,4].enableFire,idxStaUna.staToSta[2,4].outPort.occupied,idxStaUna.staToSta[3,1].localCondition,idxStaUna.staToSta[3,1].enableFire,idxStaUna.staToSta[3,1].outPort.occupied,idxStaUna.staToSta[3,2].localCondition,idxStaUna.staToSta[3,2].enableFire,idxStaUna.staToSta[3,2].outPort.occupied,idxStaUna.staToSta[3,3].localCondition,idxStaUna.staToSta[3,3].enableFire,idxStaUna.staToSta[3,3].outPort.occupied,idxStaUna.staToSta[3,4].localCondition,idxStaUna.staToSta[3,4].enableFire,idxStaUna.staToSta[3,4].outPort.occupied,idxStaUna.staToSta[4,1].localCondition,idxStaUna.staToSta[4,1].enableFire,idxStaUna.staToSta[4,1].outPort.occupied,idxStaUna.staToSta[4,2].localCondition,idxStaUna.staToSta[4,2].enableFire,idxStaUna.staToSta[4,2].outPort.occupied,idxStaUna.staToSta[4,3].localCondition,idxStaUna.staToSta[4,3].enableFire,idxStaUna.staToSta[4,3].outPort.occupied,idxStaUna.staToSta[4,4].localCondition,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].localCondition,idxStaUna.staToSta0[1].enableFire,idxStaUna.staToSta0[2].localCondition,idxStaUna.staToSta0[2].enableFire,idxStaUna.staToSta0[2].outPort.occupied,idxStaUna.staToSta0[3].localCondition,idxStaUna.staToSta0[3].enableFire,idxStaUna.staToSta0[3].outPort.occupied,idxStaUna.staToSta0[4].localCondition,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.localActive,idxStaRun.sta0.outPort[2].available,idxStaRun.sta0.outPort[3].available,idxStaRun.sta0.outPort[4].available,idxStaRun.sta0.newActive,idxStaRun.sta0.oldActive,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].localCondition,idxStaRun.staToSta[1,1].enableFire,idxStaRun.staToSta[1,2].localCondition,idxStaRun.staToSta[1,2].enableFire,idxStaRun.staToSta[1,3].localCondition,idxStaRun.staToSta[1,3].enableFire,idxStaRun.staToSta[1,4].localCondition,idxStaRun.staToSta[1,4].enableFire,idxStaRun.staToSta[2,1].localCondition,idxStaRun.staToSta[2,1].enableFire,idxStaRun.staToSta[2,1].outPort.occupied,idxStaRun.staToSta[2,2].localCondition,idxStaRun.staToSta[2,2].enableFire,idxStaRun.staToSta[2,2].outPort.occupied,idxStaRun.staToSta[2,3].localCondition,idxStaRun.staToSta[2,3].enableFire,idxStaRun.staToSta[2,3].outPort.occupied,idxStaRun.staToSta[2,4].localCondition,idxStaRun.staToSta[2,4].enableFire,idxStaRun.staToSta[2,4].outPort.occupied,idxStaRun.staToSta[3,1].localCondition,idxStaRun.staToSta[3,1].enableFire,idxStaRun.staToSta[3,1].outPort.occupied,idxStaRun.staToSta[3,2].localCondition,idxStaRun.staToSta[3,2].enableFire,idxStaRun.staToSta[3,2].outPort.occupied,idxStaRun.staToSta[3,3].localCondition,idxStaRun.staToSta[3,3].enableFire,idxStaRun.staToSta[3,3].outPort.occupied,idxStaRun.staToSta[3,4].localCondition,idxStaRun.staToSta[3,4].enableFire,idxStaRun.staToSta[3,4].outPort.occupied,idxStaRun.staToSta[4,1].localCondition,idxStaRun.staToSta[4,1].enableFire,idxStaRun.staToSta[4,1].outPort.occupied,idxStaRun.staToSta[4,2].localCondition,idxStaRun.staToSta[4,2].enableFire,idxStaRun.staToSta[4,2].outPort.occupied,idxStaRun.staToSta[4,3].localCondition,idxStaRun.staToSta[4,3].enableFire,idxStaRun.staToSta[4,3].outPort.occupied,idxStaRun.staToSta[4,4].localCondition,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].localCondition,idxStaRun.staToSta0[1].enableFire,idxStaRun.staToSta0[2].localCondition,idxStaRun.staToSta0[2].enableFire,idxStaRun.staToSta0[2].outPort.occupied,idxStaRun.staToSta0[3].localCondition,idxStaRun.staToSta0[3].enableFire,idxStaRun.staToSta0[3].outPort.occupied,idxStaRun.staToSta0[4].localCondition,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.localActive,idxStaRunUna.sta0.outPort[2].available,idxStaRunUna.sta0.outPort[3].available,idxStaRunUna.sta0.outPort[4].available,idxStaRunUna.sta0.newActive,idxStaRunUna.sta0.oldActive,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].localCondition,idxStaRunUna.staToSta[1,1].enableFire,idxStaRunUna.staToSta[1,2].localCondition,idxStaRunUna.staToSta[1,2].enableFire,idxStaRunUna.staToSta[1,3].localCondition,idxStaRunUna.staToSta[1,3].enableFire,idxStaRunUna.staToSta[1,4].localCondition,idxStaRunUna.staToSta[1,4].enableFire,idxStaRunUna.staToSta[2,1].localCondition,idxStaRunUna.staToSta[2,1].enableFire,idxStaRunUna.staToSta[2,1].outPort.occupied,idxStaRunUna.staToSta[2,2].localCondition,idxStaRunUna.staToSta[2,2].enableFire,idxStaRunUna.staToSta[2,2].outPort.occupied,idxStaRunUna.staToSta[2,3].localCondition,idxStaRunUna.staToSta[2,3].enableFire,idxStaRunUna.staToSta[2,3].outPort.occupied,idxStaRunUna.staToSta[2,4].localCondition,idxStaRunUna.staToSta[2,4].enableFire,idxStaRunUna.staToSta[2,4].outPort.occupied,idxStaRunUna.staToSta[3,1].localCondition,idxStaRunUna.staToSta[3,1].enableFire,idxStaRunUna.staToSta[3,1].outPort.occupied,idxStaRunUna.staToSta[3,2].localCondition,idxStaRunUna.staToSta[3,2].enableFire,idxStaRunUna.staToSta[3,2].outPort.occupied,idxStaRunUna.staToSta[3,3].localCondition,idxStaRunUna.staToSta[3,3].enableFire,idxStaRunUna.staToSta[3,3].outPort.occupied,idxStaRunUna.staToSta[3,4].localCondition,idxStaRunUna.staToSta[3,4].enableFire,idxStaRunUna.staToSta[3,4].outPort.occupied,idxStaRunUna.staToSta[4,1].localCondition,idxStaRunUna.staToSta[4,1].enableFire,idxStaRunUna.staToSta[4,1].outPort.occupied,idxStaRunUna.staToSta[4,2].localCondition,idxStaRunUna.staToSta[4,2].enableFire,idxStaRunUna.staToSta[4,2].outPort.occupied,idxStaRunUna.staToSta[4,3].localCondition,idxStaRunUna.staToSta[4,3].enableFire,idxStaRunUna.staToSta[4,3].outPort.occupied,idxStaRunUna.staToSta[4,4].localCondition,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].localCondition,idxStaRunUna.staToSta0[1].enableFire,idxStaRunUna.staToSta0[2].localCondition,idxStaRunUna.staToSta0[2].enableFire,idxStaRunUna.staToSta0[2].outPort.occupied,idxStaRunUna.staToSta0[3].localCondition,idxStaRunUna.staToSta0[3].enableFire,idxStaRunUna.staToSta0[3].outPort.occupied,idxStaRunUna.staToSta0[4].localCondition,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.y,u1UpHol.not_u,u1UpHol.not_y,u1UpHol.entryTimeTrue,u1UpHol.entryTimeFalse,u1DowHol.u,u1DowHol.y,u1DowHol.not_u,u1DowHol.not_y,u1DowHol.entryTimeTrue,u1DowHol.entryTimeFalse,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: 184 (u1UpHol.entryTimeFalse,u1UpHol.entryTimeTrue,u1DowHol.entryTimeFalse,u1DowHol.entryTimeTrue,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,u1DowHol.u,u1DowHol.not_u,u1DowHol.y,u1DowHol.not_y,u1UpHol.u,u1UpHol.not_u,u1UpHol.y,u1UpHol.not_y,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) * Number of clocked states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for simulation (851): * Single equations (assignments): 701 * Array equations: 0 * Algorithm blocks: 8 * Record equations: 0 * When equations: 142 * If-equations: 0 * Equation systems (not torn): 0 * Torn equation systems: 0 * Mixed (continuous/discrete) equation systems: 0 Notification: Performance of Backend phase and start with SimCode phase: time 0.001843/0.7752, allocations: 1.501 MB / 1.105 GB, free: 236.5 MB / 1.01 GB Notification: Performance of simCode: created initialization part: time 0.009214/0.7844, allocations: 7.106 MB / 1.112 GB, free: 234.2 MB / 1.01 GB Notification: Performance of simCode: created event and clocks part: time 2.021e-05/0.7844, allocations: 3.625 kB / 1.112 GB, free: 234.2 MB / 1.01 GB Notification: Performance of simCode: created simulation system equations: time 0.004788/0.7892, allocations: 3.483 MB / 1.115 GB, free: 232.8 MB / 1.01 GB Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.003908/0.7931, allocations: 1.093 MB / 1.116 GB, free: 232.4 MB / 1.01 GB Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.02435/0.8175, allocations: 18.22 MB / 1.134 GB, free: 216.1 MB / 1.01 GB Notification: Performance of simCode: some other stuff during SimCode phase: time 0.002141/0.8196, allocations: 1.718 MB / 1.136 GB, free: 214.9 MB / 1.01 GB Notification: Performance of simCode: alias equations: time 0.003172/0.8228, allocations: 0.7864 MB / 1.136 GB, free: 214.3 MB / 1.01 GB Notification: Performance of simCode: all other stuff during SimCode phase: time 0.00297/0.8257, allocations: 1.453 MB / 1.138 GB, free: 213 MB / 1.01 GB Notification: Performance of SimCode: time 2.114e-06/0.8257, allocations: 0 / 1.138 GB, free: 213 MB / 1.01 GB Notification: Performance of Templates: time 0.1073/0.933, allocations: 79 MB / 1.215 GB, free: 139.6 MB / 1.01 GB " [Timeout remaining time 299] make -j1 -f Buildings_12_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex.makefile [Timeout 300] (rm -f Buildings_12_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex.pipe ; mkfifo Buildings_12_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex.pipe ; head -c 1048576 < Buildings_12_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex.pipe >> ../files/Buildings_12_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex.sim & ./Buildings_12_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex -abortSlowSimulation -alarm=240 -emit_protected -lv LOG_STATS > Buildings_12_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex.pipe 2>&1) [Timeout 240] diffSimulationResults("Buildings_12_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex_res.mat","/mnt/ReferenceFiles/Buildings/csv/maint_12.x/Buildings_Templates_Plants_Controls_Utilities_Validation_StageIndex.csv","",relTol=0.003,relTolDiffMinMax=0.003,rangeDelta=0.001) [Timeout 300] "" [Timeout remaining time 300] Reference file matches [Calling sys.exit(0), Time elapsed: 8.037777359131724]