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) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001443/0.001443, allocations: 115.7 kB / 18.89 MB, free: 2.898 MB / 14.72 MB " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo): time 0.00159/0.00159, allocations: 200.6 kB / 22.17 MB, free: 5.207 MB / 14.72 MB " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo): time 1.328/1.328, allocations: 225.6 MB / 250.9 MB, free: 13.24 MB / 206.1 MB " [Timeout remaining time 179] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 12.0.0-master/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 12.0.0-master/package.mo): time 2.905/2.905, allocations: 497.2 MB / 0.7845 GB, free: 33.55 MB / 0.6231 GB " [Timeout remaining time 177] Using package Buildings with version 12.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 12.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="mat",numberOfIntervals=2500,variableFilter="time|ena.y|u1UpHol.y|u1DowHol.y|u1AvaSta.1..y|u1AvaSta.2..y|u1AvaSta.3..y|u1AvaSta.4..y|idxSta.y|idxStaUna.y|idxStaRun.y|idxStaRunUna.y",fileNamePrefix="Buildings_latest_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.1..y|u1AvaSta.2..y|u1AvaSta.3..y|u1AvaSta.4..y|idxSta.y|idxStaUna.y|idxStaRun.y|idxStaRunUna.y",fileNamePrefix="Buildings_latest_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex") [Timeout 300] "Notification: Performance of FrontEnd - loaded program: time 0.001827/0.001827, allocations: 70.42 kB / 1.139 GB, free: 33.2 MB / 0.9044 GB Notification: Performance of FrontEnd - Absyn->SCode: time 0.2896/0.2914, allocations: 173.9 MB / 1.309 GB, free: 15.96 MB / 1.014 GB [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 12.0.0-master/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.0.0-master/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.0.0-master/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.0.0-master/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.009748/0.3011, allocations: 7.369 MB / 1.316 GB, free: 8.547 MB / 1.014 GB Notification: Performance of NFInst.instExpressions: time 0.007214/0.3084, allocations: 4.193 MB / 1.321 GB, free: 4.336 MB / 1.014 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.001711/0.3101, allocations: 95.56 kB / 1.321 GB, free: 4.242 MB / 1.014 GB Notification: Performance of NFTyping.typeComponents: time 0.001799/0.3119, allocations: 0.7553 MB / 1.321 GB, free: 3.48 MB / 1.014 GB Notification: Performance of NFTyping.typeBindings: time 0.001165/0.313, allocations: 348.7 kB / 1.322 GB, free: 3.137 MB / 1.014 GB Notification: Performance of NFTyping.typeClassSections: time 0.00375/0.3168, allocations: 1.913 MB / 1.324 GB, free: 1.227 MB / 1.014 GB Notification: Performance of NFFlatten.flatten: time 0.01413/0.3309, allocations: 14.44 MB / 1.338 GB, free: 2.75 MB / 1.029 GB Notification: Performance of NFFlatten.resolveConnections: time 0.01712/0.348, allocations: 12.19 MB / 1.35 GB, free: 6.398 MB / 1.045 GB Notification: Performance of NFEvalConstants.evaluate: time 0.00816/0.3562, allocations: 5.824 MB / 1.355 GB, free: 0.5586 MB / 1.045 GB Notification: Performance of NFSimplifyModel.simplify: time 0.007885/0.3641, allocations: 5.84 MB / 1.361 GB, free: 10.69 MB / 1.061 GB Notification: Performance of NFPackage.collectConstants: time 0.00362/0.3677, allocations: 1.59 MB / 1.363 GB, free: 9.102 MB / 1.061 GB Notification: Performance of NFFlatten.collectFunctions: time 0.002933/0.3706, allocations: 1.625 MB / 1.364 GB, free: 7.477 MB / 1.061 GB Notification: Performance of NFScalarize.scalarize: time 0.003882/0.3745, allocations: 3.9 MB / 1.368 GB, free: 3.566 MB / 1.061 GB Notification: Performance of NFVerifyModel.verify: time 0.008345/0.3828, allocations: 6.431 MB / 1.374 GB, free: 13.11 MB / 1.076 GB Notification: Performance of NFConvertDAE.convert: time 0.02198/0.4048, allocations: 21.46 MB / 1.395 GB, free: 7.57 MB / 1.092 GB Notification: Performance of FrontEnd - DAE generated: time 5.84e-06/0.4048, allocations: 3.938 kB / 1.395 GB, free: 7.566 MB / 1.092 GB Notification: Performance of FrontEnd: time 1.603e-06/0.4048, allocations: 0 / 1.395 GB, free: 7.566 MB / 1.092 GB Notification: Performance of Transformations before backend: time 0.0005724/0.4054, allocations: 0 / 1.395 GB, free: 7.566 MB / 1.092 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.03359/0.439, allocations: 15.19 MB / 1.41 GB, free: 7.965 MB / 1.107 GB Notification: Performance of prepare preOptimizeDAE: time 4.219e-05/0.439, allocations: 8.625 kB / 1.41 GB, free: 7.957 MB / 1.107 GB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.004097/0.4431, allocations: 1.352 MB / 1.411 GB, free: 6.598 MB / 1.107 GB Notification: Performance of preOpt evaluateParameters (simulation): time 0.01623/0.4594, allocations: 6.923 MB / 1.418 GB, free: 15.6 MB / 1.123 GB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.001202/0.4606, allocations: 1.162 MB / 1.419 GB, free: 14.43 MB / 1.123 GB Notification: Performance of preOpt expandDerOperator (simulation): time 0.003979/0.4646, allocations: 1.375 MB / 1.421 GB, free: 13.06 MB / 1.123 GB Notification: Performance of preOpt clockPartitioning (simulation): time 0.04429/0.5088, allocations: 19.61 MB / 1.44 GB, free: 8.492 MB / 1.139 GB Notification: Performance of preOpt findStateOrder (simulation): time 0.0006044/0.5094, allocations: 43.56 kB / 1.44 GB, free: 8.449 MB / 1.139 GB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.00509/0.5145, allocations: 0.5624 MB / 1.44 GB, free: 7.887 MB / 1.139 GB Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.00033/0.5149, allocations: 328 kB / 1.441 GB, free: 7.566 MB / 1.139 GB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.03562/0.5505, allocations: 15.77 MB / 1.456 GB, free: 7.785 MB / 1.154 GB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.1109/0.6613, allocations: 63.52 MB / 1.518 GB, free: 6.832 MB / 1.217 GB Notification: Performance of preOpt comSubExp (simulation): time 0.01811/0.6795, allocations: 11.09 MB / 1.529 GB, free: 10.84 MB / 1.232 GB Notification: Performance of preOpt resolveLoops (simulation): time 0.008774/0.6882, allocations: 5.015 MB / 1.534 GB, free: 5.512 MB / 1.232 GB Notification: Performance of preOpt evalFunc (simulation): time 0.0004533/0.6887, allocations: 137.3 kB / 1.534 GB, free: 5.375 MB / 1.232 GB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.01273/0.7014, allocations: 7.511 MB / 1.541 GB, free: 13.35 MB / 1.248 GB Notification: Performance of pre-optimization done (n=883): time 2.271e-05/0.7014, allocations: 0 / 1.541 GB, free: 13.35 MB / 1.248 GB Notification: Performance of matching and sorting (n=883): time 0.02697/0.7284, allocations: 13.72 MB / 1.555 GB, free: 15.55 MB / 1.264 GB Notification: Performance of inlineWhenForInitialization (initialization): time 0.001902/0.7303, allocations: 3.064 MB / 1.558 GB, free: 11.83 MB / 1.264 GB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.01113/0.7414, allocations: 5.908 MB / 1.563 GB, free: 5.902 MB / 1.264 GB Notification: Performance of collectPreVariables (initialization): time 0.002088/0.7435, allocations: 0.6185 MB / 1.564 GB, free: 5.277 MB / 1.264 GB Notification: Performance of collectInitialEqns (initialization): time 0.005675/0.7492, allocations: 4.319 MB / 1.568 GB, free: 0.9297 MB / 1.264 GB Notification: Performance of collectInitialBindings (initialization): time 0.003637/0.7528, allocations: 2.11 MB / 1.57 GB, free: 14.8 MB / 1.279 GB Notification: Performance of simplifyInitialFunctions (initialization): time 0.008166/0.761, allocations: 3.312 MB / 1.574 GB, free: 11.48 MB / 1.279 GB Notification: Performance of setup shared object (initialization): time 0.0001346/0.7611, allocations: 305.1 kB / 1.574 GB, free: 11.18 MB / 1.279 GB Notification: Performance of preBalanceInitialSystem (initialization): time 0.009866/0.771, allocations: 5.374 MB / 1.579 GB, free: 5.797 MB / 1.279 GB Notification: Performance of partitionIndependentBlocks (initialization): time 0.01411/0.7851, allocations: 8.908 MB / 1.588 GB, free: 11.41 MB / 1.295 GB Notification: Performance of analyzeInitialSystem (initialization): time 0.01831/0.8034, allocations: 11.31 MB / 1.599 GB, free: 14.52 MB / 1.311 GB Notification: Performance of solveInitialSystemEqSystem (initialization): time 0.0001269/0.8036, allocations: 28 kB / 1.599 GB, free: 14.5 MB / 1.311 GB Notification: Performance of matching and sorting (n=1472) (initialization): time 0.0266/0.8301, allocations: 13.44 MB / 1.612 GB, free: 0.9766 MB / 1.311 GB Notification: Performance of prepare postOptimizeDAE: time 0.0004188/0.8306, allocations: 383.2 kB / 1.612 GB, free: 0.5469 MB / 1.311 GB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 0.0002201/0.8308, allocations: 104 kB / 1.612 GB, free: 456 kB / 1.311 GB Notification: Performance of postOpt tearingSystem (initialization): time 0.0002452/0.831, allocations: 167.8 kB / 1.613 GB, free: 292 kB / 1.311 GB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.619/1.45, allocations: 1.26 MB / 1.614 GB, free: 272.5 MB / 1.311 GB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 0.000237/1.45, allocations: 231.4 kB / 1.614 GB, free: 272.5 MB / 1.311 GB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.005646/1.456, allocations: 1.175 MB / 1.615 GB, free: 272.4 MB / 1.311 GB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.001141/1.457, allocations: 0.5627 MB / 1.616 GB, free: 272.4 MB / 1.311 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,$whenCondition2,$whenCondition3,$whenCondition1,$whenCondition5,$whenCondition6,$whenCondition4,$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.007718/1.465, allocations: 5.738 MB / 1.621 GB, free: 271.5 MB / 1.311 GB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.002237/1.467, allocations: 0.6922 MB / 1.622 GB, free: 271.5 MB / 1.311 GB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.01516/1.482, allocations: 10.04 MB / 1.632 GB, free: 268.3 MB / 1.311 GB Notification: Performance of postOpt inlineArrayEqn (simulation): time 9.185e-05/1.482, allocations: 105.7 kB / 1.632 GB, free: 268.3 MB / 1.311 GB Notification: Performance of postOpt constantLinearSystem (simulation): time 4e-05/1.482, allocations: 32.67 kB / 1.632 GB, free: 268.3 MB / 1.311 GB Notification: Performance of postOpt simplifysemiLinear (simulation): time 9.609e-05/1.482, allocations: 65.19 kB / 1.632 GB, free: 268.3 MB / 1.311 GB Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.04048/1.523, allocations: 23.91 MB / 1.655 GB, free: 259.7 MB / 1.311 GB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 6.995e-05/1.523, allocations: 27.03 kB / 1.655 GB, free: 259.7 MB / 1.311 GB Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.001646/1.525, allocations: 486.8 kB / 1.656 GB, free: 259.6 MB / 1.311 GB Notification: Performance of postOpt tearingSystem (simulation): time 6.564e-05/1.525, allocations: 55.91 kB / 1.656 GB, free: 259.6 MB / 1.311 GB Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.0007804/1.525, allocations: 236.8 kB / 1.656 GB, free: 259.5 MB / 1.311 GB Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 6.142e-05/1.525, allocations: 73.31 kB / 1.656 GB, free: 259.4 MB / 1.311 GB Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 1.699e-05/1.525, allocations: 38.53 kB / 1.656 GB, free: 259.4 MB / 1.311 GB Notification: Performance of postOpt symbolicJacobian (simulation): time 0.01326/1.539, allocations: 10.9 MB / 1.667 GB, free: 252.5 MB / 1.311 GB Notification: Performance of postOpt removeConstants (simulation): time 0.001111/1.54, allocations: 0.8003 MB / 1.668 GB, free: 252 MB / 1.311 GB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.001428/1.541, allocations: 0.4997 MB / 1.668 GB, free: 251.6 MB / 1.311 GB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.002618/1.544, allocations: 339.5 kB / 1.668 GB, free: 251.4 MB / 1.311 GB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.002787/1.547, allocations: 2.075 MB / 1.671 GB, free: 249.7 MB / 1.311 GB Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.0006789/1.547, allocations: 367.8 kB / 1.671 GB, free: 249.3 MB / 1.311 GB Notification: Performance of sorting global known variables: time 0.003815/1.551, allocations: 2.897 MB / 1.674 GB, free: 246.4 MB / 1.311 GB Notification: Performance of sort global known variables: time 9e-08/1.551, allocations: 0 / 1.674 GB, free: 246.4 MB / 1.311 GB Notification: Performance of remove unused functions: time 0.006964/1.558, allocations: 2.821 MB / 1.676 GB, free: 243.7 MB / 1.311 GB Notification: Model statistics after passing the back-end for simulation: * Number of independent subsystems: 105 * Number of states: 0 () * Number of discrete variables: 899 (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,$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,$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,$whenCondition6,$whenCondition5,$whenCondition1,$whenCondition3,$whenCondition2,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 (891): * Single equations (assignments): 741 * 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.001777/1.56, allocations: 1.546 MB / 1.678 GB, free: 242.1 MB / 1.311 GB Notification: Performance of simCode: created initialization part: time 0.01538/1.575, allocations: 12.87 MB / 1.691 GB, free: 229.1 MB / 1.311 GB Notification: Performance of simCode: created event and clocks part: time 1.861e-05/1.575, allocations: 4 kB / 1.691 GB, free: 229.1 MB / 1.311 GB Notification: Performance of simCode: created simulation system equations: time 0.007543/1.583, allocations: 5.941 MB / 1.696 GB, free: 223.1 MB / 1.311 GB Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.005083/1.588, allocations: 1.049 MB / 1.697 GB, free: 222.1 MB / 1.311 GB Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.03034/1.618, allocations: 22.58 MB / 1.719 GB, free: 199.1 MB / 1.311 GB Notification: Performance of simCode: some other stuff during SimCode phase: time 0.007022/1.625, allocations: 5.77 MB / 1.725 GB, free: 193.3 MB / 1.311 GB Notification: Performance of simCode: alias equations: time 0.007235/1.633, allocations: 3.439 MB / 1.728 GB, free: 189.8 MB / 1.311 GB Notification: Performance of simCode: all other stuff during SimCode phase: time 0.002854/1.635, allocations: 0.5384 MB / 1.729 GB, free: 189.3 MB / 1.311 GB Notification: Performance of SimCode: time 1.042e-06/1.635, allocations: 0 / 1.729 GB, free: 189.3 MB / 1.311 GB Notification: Performance of Templates: time 0.1223/1.758, allocations: 80.03 MB / 1.807 GB, free: 109.9 MB / 1.311 GB " [Timeout remaining time 298] make -j1 -f Buildings_latest_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex.makefile [Timeout 300] (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=800 -s gbode -emit_protected -lv LOG_STATS > Buildings_latest_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex.pipe 2>&1) [Timeout 800] diffSimulationResults("Buildings_latest_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex_res.mat","/mnt/ReferenceFiles/Buildings/csv/master/Buildings_Templates_Plants_Controls_Utilities_Validation_StageIndex.csv","/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork_2/OpenModelicaLibraryTesting/files/Buildings_latest_Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex.diff",relTol=0.003,relTolDiffMinMax=0.003,rangeDelta=0.001) [Timeout 300] "" [Timeout remaining time 300] "" Variables in the reference:time,ena.y,u1UpHol.y,u1DowHol.y,u1AvaSta[1].y,u1AvaSta[2].y,u1AvaSta[3].y,u1AvaSta[4].y,idxSta.y,idxStaUna.y,idxStaRun.y,idxStaRunUna.y Variables in the result:booTimTab.intGreThr[1].t,booTimTab.intGreThr[2].t,booTimTab.intTimTab.nT,booTimTab.intTimTab.nout,booTimTab.intTimTab.period,booTimTab.intTimTab.t0,booTimTab.intTimTab.table[1,1],booTimTab.intTimTab.table[1,2],booTimTab.intTimTab.table[1,3],booTimTab.intTimTab.table[2,1],booTimTab.intTimTab.table[2,2],booTimTab.intTimTab.table[2,3],booTimTab.intTimTab.table[3,1],booTimTab.intTimTab.table[3,2],booTimTab.intTimTab.table[3,3],booTimTab.intTimTab.timeScale,booTimTab.intTimTab.timeStamps[1],booTimTab.intTimTab.timeStamps[2],booTimTab.intTimTab.timeStamps[3],booTimTab.intTimTab.val[1,1],booTimTab.intTimTab.val[1,2],booTimTab.intTimTab.val[2,1],booTimTab.intTimTab.val[2,2],booTimTab.intTimTab.val[3,1],booTimTab.intTimTab.val[3,2],booTimTab.nT,booTimTab.nout,booTimTab.period,booTimTab.table[1,1],booTimTab.table[1,2],booTimTab.table[1,3],booTimTab.table[2,1],booTimTab.table[2,2],booTimTab.table[2,3],booTimTab.table[3,1],booTimTab.table[3,2],booTimTab.table[3,3],booTimTab.timeScale,dowPul.period,dowPul.shift,dowPul.t0,ena.period,ena.shift,ena.t0,ena.t1,ena.width,ena.y,idxSta.booToInt.integerFalse,idxSta.booToInt.integerTrue,idxSta.dtRun,idxSta.have_inpAva,idxSta.idxFirAct.booToInt[1].integerFalse,idxSta.idxFirAct.booToInt[1].integerTrue,idxSta.idxFirAct.booToInt[2].integerFalse,idxSta.idxFirAct.booToInt[2].integerTrue,idxSta.idxFirAct.booToInt[3].integerFalse,idxSta.idxFirAct.booToInt[3].integerTrue,idxSta.idxFirAct.booToInt[4].integerFalse,idxSta.idxFirAct.booToInt[4].integerTrue,idxSta.idxFirAct.conInt.k,idxSta.idxFirAct.conInt.y,idxSta.idxFirAct.intEqu.u2,idxSta.idxFirAct.intSwi.u1,idxSta.idxFirAct.zer.k,idxSta.idxFirAct.zer.y,idxSta.idxFirAva.booToInt[1].integerFalse,idxSta.idxFirAva.booToInt[1].integerTrue,idxSta.idxFirAva.booToInt[2].integerFalse,idxSta.idxFirAva.booToInt[2].integerTrue,idxSta.idxFirAva.booToInt[3].integerFalse,idxSta.idxFirAva.booToInt[3].integerTrue,idxSta.idxFirAva.booToInt[4].integerFalse,idxSta.idxFirAva.booToInt[4].integerTrue,idxSta.idxFirAva.conInt.k,idxSta.idxFirAva.conInt.y,idxSta.idxFirAva.intEqu.u2,idxSta.idxFirAva.intSwi.u1,idxSta.idxFirAva.zer.k,idxSta.idxFirAva.zer.y,idxSta.idxLasAva.booToInt[1].integerFalse,idxSta.idxLasAva.booToInt[1].integerTrue,idxSta.idxLasAva.booToInt[2].integerFalse,idxSta.idxLasAva.booToInt[2].integerTrue,idxSta.idxLasAva.booToInt[3].integerFalse,idxSta.idxLasAva.booToInt[3].integerTrue,idxSta.idxLasAva.booToInt[4].integerFalse,idxSta.idxLasAva.booToInt[4].integerTrue,idxSta.idxNexHigAva.booToInt[1].integerFalse,idxSta.idxNexHigAva.booToInt[1].integerTrue,idxSta.idxNexHigAva.booToInt[2].integerFalse,idxSta.idxNexHigAva.booToInt[2].integerTrue,idxSta.idxNexHigAva.booToInt[3].integerFalse,idxSta.idxNexHigAva.booToInt[3].integerTrue,idxSta.idxNexHigAva.booToInt[4].integerFalse,idxSta.idxNexHigAva.booToInt[4].integerTrue,idxSta.idxNexHigAva.conInt.k,idxSta.idxNexHigAva.conInt.y,idxSta.idxNexHigAva.intEqu.u2,idxSta.idxNexHigAva.intSwi.u1,idxSta.idxNexHigAva.zer.k,idxSta.idxNexHigAva.zer.y,idxSta.idxNexLowAva.booToInt[1].integerFalse,idxSta.idxNexLowAva.booToInt[1].integerTrue,idxSta.idxNexLowAva.booToInt[2].integerFalse,idxSta.idxNexLowAva.booToInt[2].integerTrue,idxSta.idxNexLowAva.booToInt[3].integerFalse,idxSta.idxNexLowAva.booToInt[3].integerTrue,idxSta.idxNexLowAva.booToInt[4].integerFalse,idxSta.idxNexLowAva.booToInt[4].integerTrue,idxSta.idxStaAll[1].k,idxSta.idxStaAll[2].k,idxSta.idxStaAll[3].k,idxSta.idxStaAll[4].k,idxSta.intScaRep.nout,idxSta.intScaRep.y[4],idxSta.nSta,idxSta.one.k,idxSta.pas[1].have_inp,idxSta.pas[1].have_inpPh,idxSta.pas[1].u_internal,idxSta.pas[2].have_inp,idxSta.pas[2].have_inpPh,idxSta.pas[2].u_internal,idxSta.pas[3].have_inp,idxSta.pas[3].have_inpPh,idxSta.pas[3].u_internal,idxSta.pas[4].have_inp,idxSta.pas[4].have_inpPh,idxSta.pas[4].u_internal,idxSta.phAvaSta[1].have_inp,idxSta.phAvaSta[1].have_inpPh,idxSta.phAvaSta[1].ph.k,idxSta.phAvaSta[1].u_internal,idxSta.phAvaSta[2].have_inp,idxSta.phAvaSta[2].have_inpPh,idxSta.phAvaSta[2].ph.k,idxSta.phAvaSta[2].u_internal,idxSta.phAvaSta[3].have_inp,idxSta.phAvaSta[3].have_inpPh,idxSta.phAvaSta[3].ph.k,idxSta.phAvaSta[3].u_internal,idxSta.phAvaSta[4].have_inp,idxSta.phAvaSta[4].have_inpPh,idxSta.phAvaSta[4].ph.k,idxSta.phAvaSta[4].u_internal,idxSta.rep.nout,idxSta.rep1.nout,idxSta.rep2.nout,idxSta.rep3[1].nout,idxSta.rep3[2].nout,idxSta.rep3[3].nout,idxSta.rep3[4].nout,idxSta.repVec.nin,idxSta.repVec.nout,idxSta.sta0ToSta[1].enableTimer,idxSta.sta0ToSta[1].waitTime,idxSta.sta0ToSta[2].enableTimer,idxSta.sta0ToSta[2].waitTime,idxSta.sta0ToSta[3].enableTimer,idxSta.sta0ToSta[3].waitTime,idxSta.sta0ToSta[4].enableTimer,idxSta.sta0ToSta[4].waitTime,idxSta.staToSta0[1].enableTimer,idxSta.staToSta0[1].waitTime,idxSta.staToSta0[2].enableTimer,idxSta.staToSta0[2].waitTime,idxSta.staToSta0[3].enableTimer,idxSta.staToSta0[3].waitTime,idxSta.staToSta0[4].enableTimer,idxSta.staToSta0[4].waitTime,idxSta.staToSta[1,1].enableTimer,idxSta.staToSta[1,1].waitTime,idxSta.staToSta[1,2].enableTimer,idxSta.staToSta[1,2].waitTime,idxSta.staToSta[1,3].enableTimer,idxSta.staToSta[1,3].waitTime,idxSta.staToSta[1,4].enableTimer,idxSta.staToSta[1,4].waitTime,idxSta.staToSta[2,1].enableTimer,idxSta.staToSta[2,1].waitTime,idxSta.staToSta[2,2].enableTimer,idxSta.staToSta[2,2].waitTime,idxSta.staToSta[2,3].enableTimer,idxSta.staToSta[2,3].waitTime,idxSta.staToSta[2,4].enableTimer,idxSta.staToSta[2,4].waitTime,idxSta.staToSta[3,1].enableTimer,idxSta.staToSta[3,1].waitTime,idxSta.staToSta[3,2].enableTimer,idxSta.staToSta[3,2].waitTime,idxSta.staToSta[3,3].enableTimer,idxSta.staToSta[3,3].waitTime,idxSta.staToSta[3,4].enableTimer,idxSta.staToSta[3,4].waitTime,idxSta.staToSta[4,1].enableTimer,idxSta.staToSta[4,1].waitTime,idxSta.staToSta[4,2].enableTimer,idxSta.staToSta[4,2].waitTime,idxSta.staToSta[4,3].enableTimer,idxSta.staToSta[4,3].waitTime,idxSta.staToSta[4,4].enableTimer,idxSta.staToSta[4,4].waitTime,idxSta.staUna.nin,idxSta.truIdxNex.nout,idxSta.truNexHigAva.nout,idxSta.y,idxStaRun.booToInt.integerFalse,idxStaRun.booToInt.integerTrue,idxStaRun.dtRun,idxStaRun.have_inpAva,idxStaRun.idxFirAct.booToInt[1].integerFalse,idxStaRun.idxFirAct.booToInt[1].integerTrue,idxStaRun.idxFirAct.booToInt[2].integerFalse,idxStaRun.idxFirAct.booToInt[2].integerTrue,idxStaRun.idxFirAct.booToInt[3].integerFalse,idxStaRun.idxFirAct.booToInt[3].integerTrue,idxStaRun.idxFirAct.booToInt[4].integerFalse,idxStaRun.idxFirAct.booToInt[4].integerTrue,idxStaRun.idxFirAct.conInt.k,idxStaRun.idxFirAct.conInt.y,idxStaRun.idxFirAct.intEqu.u2,idxStaRun.idxFirAct.intSwi.u1,idxStaRun.idxFirAct.zer.k,idxStaRun.idxFirAct.zer.y,idxStaRun.idxFirAva.booToInt[1].integerFalse,idxStaRun.idxFirAva.booToInt[1].integerTrue,idxStaRun.idxFirAva.booToInt[2].integerFalse,idxStaRun.idxFirAva.booToInt[2].integerTrue,idxStaRun.idxFirAva.booToInt[3].integerFalse,idxStaRun.idxFirAva.booToInt[3].integerTrue,idxStaRun.idxFirAva.booToInt[4].integerFalse,idxStaRun.idxFirAva.booToInt[4].integerTrue,idxStaRun.idxFirAva.conInt.k,idxStaRun.idxFirAva.conInt.y,idxStaRun.idxFirAva.intEqu.u2,idxStaRun.idxFirAva.intSwi.u1,idxStaRun.idxFirAva.zer.k,idxStaRun.idxFirAva.zer.y,idxStaRun.idxLasAva.booToInt[1].integerFalse,idxStaRun.idxLasAva.booToInt[1].integerTrue,idxStaRun.idxLasAva.booToInt[2].integerFalse,idxStaRun.idxLasAva.booToInt[2].integerTrue,idxStaRun.idxLasAva.booToInt[3].integerFalse,idxStaRun.idxLasAva.booToInt[3].integerTrue,idxStaRun.idxLasAva.booToInt[4].integerFalse,idxStaRun.idxLasAva.booToInt[4].integerTrue,idxStaRun.idxNexHigAva.booToInt[1].integerFalse,idxStaRun.idxNexHigAva.booToInt[1].integerTrue,idxStaRun.idxNexHigAva.booToInt[2].integerFalse,idxStaRun.idxNexHigAva.booToInt[2].integerTrue,idxStaRun.idxNexHigAva.booToInt[3].integerFalse,idxStaRun.idxNexHigAva.booToInt[3].integerTrue,idxStaRun.idxNexHigAva.booToInt[4].integerFalse,idxStaRun.idxNexHigAva.booToInt[4].integerTrue,idxStaRun.idxNexHigAva.conInt.k,idxStaRun.idxNexHigAva.conInt.y,idxStaRun.idxNexHigAva.intEqu.u2,idxStaRun.idxNexHigAva.intSwi.u1,idxStaRun.idxNexHigAva.zer.k,idxStaRun.idxNexHigAva.zer.y,idxStaRun.idxNexLowAva.booToInt[1].integerFalse,idxStaRun.idxNexLowAva.booToInt[1].integerTrue,idxStaRun.idxNexLowAva.booToInt[2].integerFalse,idxStaRun.idxNexLowAva.booToInt[2].integerTrue,idxStaRun.idxNexLowAva.booToInt[3].integerFalse,idxStaRun.idxNexLowAva.booToInt[3].integerTrue,idxStaRun.idxNexLowAva.booToInt[4].integerFalse,idxStaRun.idxNexLowAva.booToInt[4].integerTrue,idxStaRun.idxStaAll[1].k,idxStaRun.idxStaAll[2].k,idxStaRun.idxStaAll[3].k,idxStaRun.idxStaAll[4].k,idxStaRun.intScaRep.nout,idxStaRun.intScaRep.y[4],idxStaRun.nSta,idxStaRun.one.k,idxStaRun.pas[1].have_inp,idxStaRun.pas[1].have_inpPh,idxStaRun.pas[1].u_internal,idxStaRun.pas[2].have_inp,idxStaRun.pas[2].have_inpPh,idxStaRun.pas[2].u_internal,idxStaRun.pas[3].have_inp,idxStaRun.pas[3].have_inpPh,idxStaRun.pas[3].u_internal,idxStaRun.pas[4].have_inp,idxStaRun.pas[4].have_inpPh,idxStaRun.pas[4].u_internal,idxStaRun.phAvaSta[1].have_inp,idxStaRun.phAvaSta[1].have_inpPh,idxStaRun.phAvaSta[1].ph.k,idxStaRun.phAvaSta[1].u_internal,idxStaRun.phAvaSta[2].have_inp,idxStaRun.phAvaSta[2].have_inpPh,idxStaRun.phAvaSta[2].ph.k,idxStaRun.phAvaSta[2].u_internal,idxStaRun.phAvaSta[3].have_inp,idxStaRun.phAvaSta[3].have_inpPh,idxStaRun.phAvaSta[3].ph.k,idxStaRun.phAvaSta[3].u_internal,idxStaRun.phAvaSta[4].have_inp,idxStaRun.phAvaSta[4].have_inpPh,idxStaRun.phAvaSta[4].ph.k,idxStaRun.phAvaSta[4].u_internal,idxStaRun.rep.nout,idxStaRun.rep1.nout,idxStaRun.rep2.nout,idxStaRun.rep3[1].nout,idxStaRun.rep3[2].nout,idxStaRun.rep3[3].nout,idxStaRun.rep3[4].nout,idxStaRun.repVec.nin,idxStaRun.repVec.nout,idxStaRun.sta0ToSta[1].enableTimer,idxStaRun.sta0ToSta[1].waitTime,idxStaRun.sta0ToSta[2].enableTimer,idxStaRun.sta0ToSta[2].waitTime,idxStaRun.sta0ToSta[3].enableTimer,idxStaRun.sta0ToSta[3].waitTime,idxStaRun.sta0ToSta[4].enableTimer,idxStaRun.sta0ToSta[4].waitTime,idxStaRun.staToSta0[1].enableTimer,idxStaRun.staToSta0[1].waitTime,idxStaRun.staToSta0[2].enableTimer,idxStaRun.staToSta0[2].waitTime,idxStaRun.staToSta0[3].enableTimer,idxStaRun.staToSta0[3].waitTime,idxStaRun.staToSta0[4].enableTimer,idxStaRun.staToSta0[4].waitTime,idxStaRun.staToSta[1,1].enableTimer,idxStaRun.staToSta[1,1].waitTime,idxStaRun.staToSta[1,2].enableTimer,idxStaRun.staToSta[1,2].waitTime,idxStaRun.staToSta[1,3].enableTimer,idxStaRun.staToSta[1,3].waitTime,idxStaRun.staToSta[1,4].enableTimer,idxStaRun.staToSta[1,4].waitTime,idxStaRun.staToSta[2,1].enableTimer,idxStaRun.staToSta[2,1].waitTime,idxStaRun.staToSta[2,2].enableTimer,idxStaRun.staToSta[2,2].waitTime,idxStaRun.staToSta[2,3].enableTimer,idxStaRun.staToSta[2,3].waitTime,idxStaRun.staToSta[2,4].enableTimer,idxStaRun.staToSta[2,4].waitTime,idxStaRun.staToSta[3,1].enableTimer,idxStaRun.staToSta[3,1].waitTime,idxStaRun.staToSta[3,2].enableTimer,idxStaRun.staToSta[3,2].waitTime,idxStaRun.staToSta[3,3].enableTimer,idxStaRun.staToSta[3,3].waitTime,idxStaRun.staToSta[3,4].enableTimer,idxStaRun.staToSta[3,4].waitTime,idxStaRun.staToSta[4,1].enableTimer,idxStaRun.staToSta[4,1].waitTime,idxStaRun.staToSta[4,2].enableTimer,idxStaRun.staToSta[4,2].waitTime,idxStaRun.staToSta[4,3].enableTimer,idxStaRun.staToSta[4,3].waitTime,idxStaRun.staToSta[4,4].enableTimer,idxStaRun.staToSta[4,4].waitTime,idxStaRun.staUna.nin,idxStaRun.tim[1].t,idxStaRun.tim[2].t,idxStaRun.tim[3].t,idxStaRun.tim[4].t,idxStaRun.truIdxNex.nout,idxStaRun.truNexHigAva.nout,idxStaRun.y,idxStaRunUna.andAva1[1].u2,idxStaRunUna.andAva1[2].u2,idxStaRunUna.andAva1[3].u2,idxStaRunUna.andAva1[4].u2,idxStaRunUna.andAva[1].u2,idxStaRunUna.andAva[2].u2,idxStaRunUna.andAva[3].u2,idxStaRunUna.andAva[4].u2,idxStaRunUna.booToInt.integerFalse,idxStaRunUna.booToInt.integerTrue,idxStaRunUna.dtRun,idxStaRunUna.have_inpAva,idxStaRunUna.idxFirAct.booToInt[1].integerFalse,idxStaRunUna.idxFirAct.booToInt[1].integerTrue,idxStaRunUna.idxFirAct.booToInt[2].integerFalse,idxStaRunUna.idxFirAct.booToInt[2].integerTrue,idxStaRunUna.idxFirAct.booToInt[3].integerFalse,idxStaRunUna.idxFirAct.booToInt[3].integerTrue,idxStaRunUna.idxFirAct.booToInt[4].integerFalse,idxStaRunUna.idxFirAct.booToInt[4].integerTrue,idxStaRunUna.idxFirAct.conInt.k,idxStaRunUna.idxFirAct.conInt.y,idxStaRunUna.idxFirAct.intEqu.u2,idxStaRunUna.idxFirAct.intSwi.u1,idxStaRunUna.idxFirAct.zer.k,idxStaRunUna.idxFirAct.zer.y,idxStaRunUna.idxFirAva.booToInt[1].integerFalse,idxStaRunUna.idxFirAva.booToInt[1].integerTrue,idxStaRunUna.idxFirAva.booToInt[1].u,idxStaRunUna.idxFirAva.booToInt[2].integerFalse,idxStaRunUna.idxFirAva.booToInt[2].integerTrue,idxStaRunUna.idxFirAva.booToInt[2].u,idxStaRunUna.idxFirAva.booToInt[3].integerFalse,idxStaRunUna.idxFirAva.booToInt[3].integerTrue,idxStaRunUna.idxFirAva.booToInt[3].u,idxStaRunUna.idxFirAva.booToInt[4].integerFalse,idxStaRunUna.idxFirAva.booToInt[4].integerTrue,idxStaRunUna.idxFirAva.booToInt[4].u,idxStaRunUna.idxFirAva.conInt.k,idxStaRunUna.idxFirAva.conInt.y,idxStaRunUna.idxFirAva.intEqu.u2,idxStaRunUna.idxFirAva.intSwi.u1,idxStaRunUna.idxFirAva.u1[1],idxStaRunUna.idxFirAva.u1[2],idxStaRunUna.idxFirAva.u1[3],idxStaRunUna.idxFirAva.u1[4],idxStaRunUna.idxFirAva.zer.k,idxStaRunUna.idxFirAva.zer.y,idxStaRunUna.idxLasAva.booToInt[1].integerFalse,idxStaRunUna.idxLasAva.booToInt[1].integerTrue,idxStaRunUna.idxLasAva.booToInt[1].u,idxStaRunUna.idxLasAva.booToInt[2].integerFalse,idxStaRunUna.idxLasAva.booToInt[2].integerTrue,idxStaRunUna.idxLasAva.booToInt[2].u,idxStaRunUna.idxLasAva.booToInt[3].integerFalse,idxStaRunUna.idxLasAva.booToInt[3].integerTrue,idxStaRunUna.idxLasAva.booToInt[3].u,idxStaRunUna.idxLasAva.booToInt[4].integerFalse,idxStaRunUna.idxLasAva.booToInt[4].integerTrue,idxStaRunUna.idxLasAva.booToInt[4].u,idxStaRunUna.idxLasAva.u1[1],idxStaRunUna.idxLasAva.u1[2],idxStaRunUna.idxLasAva.u1[3],idxStaRunUna.idxLasAva.u1[4],idxStaRunUna.idxNexHigAva.booToInt[1].integerFalse,idxStaRunUna.idxNexHigAva.booToInt[1].integerTrue,idxStaRunUna.idxNexHigAva.booToInt[2].integerFalse,idxStaRunUna.idxNexHigAva.booToInt[2].integerTrue,idxStaRunUna.idxNexHigAva.booToInt[3].integerFalse,idxStaRunUna.idxNexHigAva.booToInt[3].integerTrue,idxStaRunUna.idxNexHigAva.booToInt[4].integerFalse,idxStaRunUna.idxNexHigAva.booToInt[4].integerTrue,idxStaRunUna.idxNexHigAva.conInt.k,idxStaRunUna.idxNexHigAva.conInt.y,idxStaRunUna.idxNexHigAva.intEqu.u2,idxStaRunUna.idxNexHigAva.intSwi.u1,idxStaRunUna.idxNexHigAva.zer.k,idxStaRunUna.idxNexHigAva.zer.y,idxStaRunUna.idxNexLowAva.booToInt[1].integerFalse,idxStaRunUna.idxNexLowAva.booToInt[1].integerTrue,idxStaRunUna.idxNexLowAva.booToInt[2].integerFalse,idxStaRunUna.idxNexLowAva.booToInt[2].integerTrue,idxStaRunUna.idxNexLowAva.booToInt[3].integerFalse,idxStaRunUna.idxNexLowAva.booToInt[3].integerTrue,idxStaRunUna.idxNexLowAva.booToInt[4].integerFalse,idxStaRunUna.idxNexLowAva.booToInt[4].integerTrue,idxStaRunUna.idxStaAll[1].k,idxStaRunUna.idxStaAll[2].k,idxStaRunUna.idxStaAll[3].k,idxStaRunUna.idxStaAll[4].k,idxStaRunUna.intScaRep.nout,idxStaRunUna.intScaRep.y[4],idxStaRunUna.nSta,idxStaRunUna.one.k,idxStaRunUna.pas[1].have_inp,idxStaRunUna.pas[1].have_inpPh,idxStaRunUna.pas[1].u_internal,idxStaRunUna.pas[2].have_inp,idxStaRunUna.pas[2].have_inpPh,idxStaRunUna.pas[2].u_internal,idxStaRunUna.pas[3].have_inp,idxStaRunUna.pas[3].have_inpPh,idxStaRunUna.pas[3].u_internal,idxStaRunUna.pas[4].have_inp,idxStaRunUna.pas[4].have_inpPh,idxStaRunUna.pas[4].u_internal,idxStaRunUna.phAvaSta[1].have_inp,idxStaRunUna.phAvaSta[1].have_inpPh,idxStaRunUna.phAvaSta[1].u,idxStaRunUna.phAvaSta[1].u_internal,idxStaRunUna.phAvaSta[1].y,idxStaRunUna.phAvaSta[2].have_inp,idxStaRunUna.phAvaSta[2].have_inpPh,idxStaRunUna.phAvaSta[2].u,idxStaRunUna.phAvaSta[2].u_internal,idxStaRunUna.phAvaSta[2].y,idxStaRunUna.phAvaSta[3].have_inp,idxStaRunUna.phAvaSta[3].have_inpPh,idxStaRunUna.phAvaSta[3].u,idxStaRunUna.phAvaSta[3].u_internal,idxStaRunUna.phAvaSta[3].y,idxStaRunUna.phAvaSta[4].have_inp,idxStaRunUna.phAvaSta[4].have_inpPh,idxStaRunUna.phAvaSta[4].u,idxStaRunUna.phAvaSta[4].u_internal,idxStaRunUna.phAvaSta[4].y,idxStaRunUna.rep.nout,idxStaRunUna.rep1.nout,idxStaRunUna.rep2.nout,idxStaRunUna.rep3[1].nout,idxStaRunUna.rep3[2].nout,idxStaRunUna.rep3[3].nout,idxStaRunUna.rep3[4].nout,idxStaRunUna.repVec.nin,idxStaRunUna.repVec.nout,idxStaRunUna.sta0ToSta[1].enableTimer,idxStaRunUna.sta0ToSta[1].waitTime,idxStaRunUna.sta0ToSta[2].enableTimer,idxStaRunUna.sta0ToSta[2].waitTime,idxStaRunUna.sta0ToSta[3].enableTimer,idxStaRunUna.sta0ToSta[3].waitTime,idxStaRunUna.sta0ToSta[4].enableTimer,idxStaRunUna.sta0ToSta[4].waitTime,idxStaRunUna.staToSta0[1].enableTimer,idxStaRunUna.staToSta0[1].waitTime,idxStaRunUna.staToSta0[2].enableTimer,idxStaRunUna.staToSta0[2].waitTime,idxStaRunUna.staToSta0[3].enableTimer,idxStaRunUna.staToSta0[3].waitTime,idxStaRunUna.staToSta0[4].enableTimer,idxStaRunUna.staToSta0[4].waitTime,idxStaRunUna.staToSta[1,1].enableTimer,idxStaRunUna.staToSta[1,1].waitTime,idxStaRunUna.staToSta[1,2].enableTimer,idxStaRunUna.staToSta[1,2].waitTime,idxStaRunUna.staToSta[1,3].enableTimer,idxStaRunUna.staToSta[1,3].waitTime,idxStaRunUna.staToSta[1,4].enableTimer,idxStaRunUna.staToSta[1,4].waitTime,idxStaRunUna.staToSta[2,1].enableTimer,idxStaRunUna.staToSta[2,1].waitTime,idxStaRunUna.staToSta[2,2].enableTimer,idxStaRunUna.staToSta[2,2].waitTime,idxStaRunUna.staToSta[2,3].enableTimer,idxStaRunUna.staToSta[2,3].waitTime,idxStaRunUna.staToSta[2,4].enableTimer,idxStaRunUna.staToSta[2,4].waitTime,idxStaRunUna.staToSta[3,1].enableTimer,idxStaRunUna.staToSta[3,1].waitTime,idxStaRunUna.staToSta[3,2].enableTimer,idxStaRunUna.staToSta[3,2].waitTime,idxStaRunUna.staToSta[3,3].enableTimer,idxStaRunUna.staToSta[3,3].waitTime,idxStaRunUna.staToSta[3,4].enableTimer,idxStaRunUna.staToSta[3,4].waitTime,idxStaRunUna.staToSta[4,1].enableTimer,idxStaRunUna.staToSta[4,1].waitTime,idxStaRunUna.staToSta[4,2].enableTimer,idxStaRunUna.staToSta[4,2].waitTime,idxStaRunUna.staToSta[4,3].enableTimer,idxStaRunUna.staToSta[4,3].waitTime,idxStaRunUna.staToSta[4,4].enableTimer,idxStaRunUna.staToSta[4,4].waitTime,idxStaRunUna.staUna.nin,idxStaRunUna.tim[1].t,idxStaRunUna.tim[2].t,idxStaRunUna.tim[3].t,idxStaRunUna.tim[4].t,idxStaRunUna.truIdxNex.nout,idxStaRunUna.truNexHigAva.nout,idxStaRunUna.u1AvaSta[1],idxStaRunUna.u1AvaSta[2],idxStaRunUna.u1AvaSta[3],idxStaRunUna.u1AvaSta[4],idxStaRunUna.una[1].u,idxStaRunUna.una[1].y,idxStaRunUna.una[2].u,idxStaRunUna.una[2].y,idxStaRunUna.una[3].u,idxStaRunUna.una[3].y,idxStaRunUna.una[4].u,idxStaRunUna.una[4].y,idxStaRunUna.y,idxStaUna.andAva1[1].u2,idxStaUna.andAva1[2].u2,idxStaUna.andAva1[3].u2,idxStaUna.andAva1[4].u2,idxStaUna.andAva[1].u2,idxStaUna.andAva[2].u2,idxStaUna.andAva[3].u2,idxStaUna.andAva[4].u2,idxStaUna.booToInt.integerFalse,idxStaUna.booToInt.integerTrue,idxStaUna.dtRun,idxStaUna.have_inpAva,idxStaUna.idxFirAct.booToInt[1].integerFalse,idxStaUna.idxFirAct.booToInt[1].integerTrue,idxStaUna.idxFirAct.booToInt[2].integerFalse,idxStaUna.idxFirAct.booToInt[2].integerTrue,idxStaUna.idxFirAct.booToInt[3].integerFalse,idxStaUna.idxFirAct.booToInt[3].integerTrue,idxStaUna.idxFirAct.booToInt[4].integerFalse,idxStaUna.idxFirAct.booToInt[4].integerTrue,idxStaUna.idxFirAct.conInt.k,idxStaUna.idxFirAct.conInt.y,idxStaUna.idxFirAct.intEqu.u2,idxStaUna.idxFirAct.intSwi.u1,idxStaUna.idxFirAct.zer.k,idxStaUna.idxFirAct.zer.y,idxStaUna.idxFirAva.booToInt[1].integerFalse,idxStaUna.idxFirAva.booToInt[1].integerTrue,idxStaUna.idxFirAva.booToInt[1].u,idxStaUna.idxFirAva.booToInt[2].integerFalse,idxStaUna.idxFirAva.booToInt[2].integerTrue,idxStaUna.idxFirAva.booToInt[2].u,idxStaUna.idxFirAva.booToInt[3].integerFalse,idxStaUna.idxFirAva.booToInt[3].integerTrue,idxStaUna.idxFirAva.booToInt[3].u,idxStaUna.idxFirAva.booToInt[4].integerFalse,idxStaUna.idxFirAva.booToInt[4].integerTrue,idxStaUna.idxFirAva.booToInt[4].u,idxStaUna.idxFirAva.conInt.k,idxStaUna.idxFirAva.conInt.y,idxStaUna.idxFirAva.intEqu.u2,idxStaUna.idxFirAva.intSwi.u1,idxStaUna.idxFirAva.u1[1],idxStaUna.idxFirAva.u1[2],idxStaUna.idxFirAva.u1[3],idxStaUna.idxFirAva.u1[4],idxStaUna.idxFirAva.zer.k,idxStaUna.idxFirAva.zer.y,idxStaUna.idxLasAva.booToInt[1].integerFalse,idxStaUna.idxLasAva.booToInt[1].integerTrue,idxStaUna.idxLasAva.booToInt[1].u,idxStaUna.idxLasAva.booToInt[2].integerFalse,idxStaUna.idxLasAva.booToInt[2].integerTrue,idxStaUna.idxLasAva.booToInt[2].u,idxStaUna.idxLasAva.booToInt[3].integerFalse,idxStaUna.idxLasAva.booToInt[3].integerTrue,idxStaUna.idxLasAva.booToInt[3].u,idxStaUna.idxLasAva.booToInt[4].integerFalse,idxStaUna.idxLasAva.booToInt[4].integerTrue,idxStaUna.idxLasAva.booToInt[4].u,idxStaUna.idxLasAva.u1[1],idxStaUna.idxLasAva.u1[2],idxStaUna.idxLasAva.u1[3],idxStaUna.idxLasAva.u1[4],idxStaUna.idxNexHigAva.booToInt[1].integerFalse,idxStaUna.idxNexHigAva.booToInt[1].integerTrue,idxStaUna.idxNexHigAva.booToInt[2].integerFalse,idxStaUna.idxNexHigAva.booToInt[2].integerTrue,idxStaUna.idxNexHigAva.booToInt[3].integerFalse,idxStaUna.idxNexHigAva.booToInt[3].integerTrue,idxStaUna.idxNexHigAva.booToInt[4].integerFalse,idxStaUna.idxNexHigAva.booToInt[4].integerTrue,idxStaUna.idxNexHigAva.conInt.k,idxStaUna.idxNexHigAva.conInt.y,idxStaUna.idxNexHigAva.intEqu.u2,idxStaUna.idxNexHigAva.intSwi.u1,idxStaUna.idxNexHigAva.zer.k,idxStaUna.idxNexHigAva.zer.y,idxStaUna.idxNexLowAva.booToInt[1].integerFalse,idxStaUna.idxNexLowAva.booToInt[1].integerTrue,idxStaUna.idxNexLowAva.booToInt[2].integerFalse,idxStaUna.idxNexLowAva.booToInt[2].integerTrue,idxStaUna.idxNexLowAva.booToInt[3].integerFalse,idxStaUna.idxNexLowAva.booToInt[3].integerTrue,idxStaUna.idxNexLowAva.booToInt[4].integerFalse,idxStaUna.idxNexLowAva.booToInt[4].integerTrue,idxStaUna.idxStaAll[1].k,idxStaUna.idxStaAll[2].k,idxStaUna.idxStaAll[3].k,idxStaUna.idxStaAll[4].k,idxStaUna.intScaRep.nout,idxStaUna.intScaRep.y[4],idxStaUna.nSta,idxStaUna.one.k,idxStaUna.pas[1].have_inp,idxStaUna.pas[1].have_inpPh,idxStaUna.pas[1].u_internal,idxStaUna.pas[2].have_inp,idxStaUna.pas[2].have_inpPh,idxStaUna.pas[2].u_internal,idxStaUna.pas[3].have_inp,idxStaUna.pas[3].have_inpPh,idxStaUna.pas[3].u_internal,idxStaUna.pas[4].have_inp,idxStaUna.pas[4].have_inpPh,idxStaUna.pas[4].u_internal,idxStaUna.phAvaSta[1].have_inp,idxStaUna.phAvaSta[1].have_inpPh,idxStaUna.phAvaSta[1].u,idxStaUna.phAvaSta[1].u_internal,idxStaUna.phAvaSta[1].y,idxStaUna.phAvaSta[2].have_inp,idxStaUna.phAvaSta[2].have_inpPh,idxStaUna.phAvaSta[2].u,idxStaUna.phAvaSta[2].u_internal,idxStaUna.phAvaSta[2].y,idxStaUna.phAvaSta[3].have_inp,idxStaUna.phAvaSta[3].have_inpPh,idxStaUna.phAvaSta[3].u,idxStaUna.phAvaSta[3].u_internal,idxStaUna.phAvaSta[3].y,idxStaUna.phAvaSta[4].have_inp,idxStaUna.phAvaSta[4].have_inpPh,idxStaUna.phAvaSta[4].u,idxStaUna.phAvaSta[4].u_internal,idxStaUna.phAvaSta[4].y,idxStaUna.rep.nout,idxStaUna.rep1.nout,idxStaUna.rep2.nout,idxStaUna.rep3[1].nout,idxStaUna.rep3[2].nout,idxStaUna.rep3[3].nout,idxStaUna.rep3[4].nout,idxStaUna.repVec.nin,idxStaUna.repVec.nout,idxStaUna.sta0ToSta[1].enableTimer,idxStaUna.sta0ToSta[1].waitTime,idxStaUna.sta0ToSta[2].enableTimer,idxStaUna.sta0ToSta[2].waitTime,idxStaUna.sta0ToSta[3].enableTimer,idxStaUna.sta0ToSta[3].waitTime,idxStaUna.sta0ToSta[4].enableTimer,idxStaUna.sta0ToSta[4].waitTime,idxStaUna.staToSta0[1].enableTimer,idxStaUna.staToSta0[1].waitTime,idxStaUna.staToSta0[2].enableTimer,idxStaUna.staToSta0[2].waitTime,idxStaUna.staToSta0[3].enableTimer,idxStaUna.staToSta0[3].waitTime,idxStaUna.staToSta0[4].enableTimer,idxStaUna.staToSta0[4].waitTime,idxStaUna.staToSta[1,1].enableTimer,idxStaUna.staToSta[1,1].waitTime,idxStaUna.staToSta[1,2].enableTimer,idxStaUna.staToSta[1,2].waitTime,idxStaUna.staToSta[1,3].enableTimer,idxStaUna.staToSta[1,3].waitTime,idxStaUna.staToSta[1,4].enableTimer,idxStaUna.staToSta[1,4].waitTime,idxStaUna.staToSta[2,1].enableTimer,idxStaUna.staToSta[2,1].waitTime,idxStaUna.staToSta[2,2].enableTimer,idxStaUna.staToSta[2,2].waitTime,idxStaUna.staToSta[2,3].enableTimer,idxStaUna.staToSta[2,3].waitTime,idxStaUna.staToSta[2,4].enableTimer,idxStaUna.staToSta[2,4].waitTime,idxStaUna.staToSta[3,1].enableTimer,idxStaUna.staToSta[3,1].waitTime,idxStaUna.staToSta[3,2].enableTimer,idxStaUna.staToSta[3,2].waitTime,idxStaUna.staToSta[3,3].enableTimer,idxStaUna.staToSta[3,3].waitTime,idxStaUna.staToSta[3,4].enableTimer,idxStaUna.staToSta[3,4].waitTime,idxStaUna.staToSta[4,1].enableTimer,idxStaUna.staToSta[4,1].waitTime,idxStaUna.staToSta[4,2].enableTimer,idxStaUna.staToSta[4,2].waitTime,idxStaUna.staToSta[4,3].enableTimer,idxStaUna.staToSta[4,3].waitTime,idxStaUna.staToSta[4,4].enableTimer,idxStaUna.staToSta[4,4].waitTime,idxStaUna.staUna.nin,idxStaUna.truIdxNex.nout,idxStaUna.truNexHigAva.nout,idxStaUna.u1AvaSta[1],idxStaUna.u1AvaSta[2],idxStaUna.u1AvaSta[3],idxStaUna.u1AvaSta[4],idxStaUna.una[1].u,idxStaUna.una[1].y,idxStaUna.una[2].u,idxStaUna.una[2].y,idxStaUna.una[3].u,idxStaUna.una[3].y,idxStaUna.una[4].u,idxStaUna.una[4].y,idxStaUna.y,nSta,time,u1AvaSta[1].k,u1AvaSta[1].y,u1AvaSta[2].k,u1AvaSta[2].y,u1AvaSta[3].k,u1AvaSta[3].y,u1AvaSta[4].k,u1AvaSta[4].y,u1DowHol.falseHoldDuration,u1DowHol.pre_u_start,u1DowHol.trueHoldDuration,u1DowHol.y,u1UpHol.falseHoldDuration,u1UpHol.pre_u_start,u1UpHol.trueHoldDuration,u1UpHol.y,upPul.period,upPul.shift,upPul.t0 [Calling sys.exit(0), Time elapsed: 11.87818363076076]