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.1.0+maint.om/package.mo", uses=false) [Timeout 180]
"Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo): time 0.0007555/0.0007555, allocations: 72.5 kB / 19.93 MB, free: 4.633 MB / 18.57 MB
"
[Timeout remaining time 180]
loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo", uses=false) [Timeout 180]
"Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo): time 0.000762/0.000762, allocations: 177.9 kB / 23.21 MB, free: 1.348 MB / 18.57 MB
"
[Timeout remaining time 180]
loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo", uses=false) [Timeout 180]
"Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo): time 0.8651/0.8651, allocations: 177.1 MB / 203.5 MB, free: 5.75 MB / 186.7 MB
"
[Timeout remaining time 179]
loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings master/package.mo", uses=false) [Timeout 180]
"Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings master/package.mo): time 1.788/1.788, allocations: 389 MB / 0.6338 GB, free: 12.7 MB / 0.6042 GB
"
[Timeout remaining time 178]
Using package Buildings with version 13.0.1 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings master/package.mo)
Using package Modelica with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo)
Using package Complex with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo)
Using package ModelicaServices with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo)
Running command: translateModel(Buildings.Templates.Plants.Controls.Utilities.Validation.StageIndex,tolerance=1e-06,outputFormat="mat",numberOfIntervals=2500,variableFilter="time|ena.y|u1UpHol.y|u1DowHol.y|u1AvaSta.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 3.036e-06/3.036e-06, allocations: 0 / 1.001 GB, free: 11.89 MB / 0.9167 GB
Notification: Performance of FrontEnd - Absyn->SCode: time 2.915e-05/3.218e-05, allocations: 2.281 kB / 1.001 GB, free: 11.89 MB / 0.9167 GB
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 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 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 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 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.009221/0.009254, allocations: 9.615 MB / 1.01 GB, free: 2.223 MB / 0.9167 GB
Notification: Performance of NFInst.instExpressions: time 0.009191/0.01844, allocations: 6.091 MB / 1.016 GB, free: 12.11 MB / 0.9323 GB
Notification: Performance of NFInst.updateImplicitVariability: time 0.00312/0.02156, allocations: 230.2 kB / 1.016 GB, free: 11.88 MB / 0.9323 GB
Notification: Performance of NFTyping.typeComponents: time 0.003511/0.02508, allocations: 1.415 MB / 1.018 GB, free: 10.46 MB / 0.9323 GB
Notification: Performance of NFTyping.typeBindings: time 0.002849/0.02793, allocations: 0.612 MB / 1.018 GB, free: 9.84 MB / 0.9323 GB
Notification: Performance of NFTyping.typeClassSections: time 0.005477/0.0334, allocations: 2.819 MB / 1.021 GB, free: 7.023 MB / 0.9323 GB
Notification: Performance of NFFlatten.flatten: time 0.4275/0.4609, allocations: 19.93 MB / 1.041 GB, free: 16.52 MB / 0.9323 GB
Notification: Performance of NFFlatten.resolveConnections: time 0.01837/0.4793, allocations: 18.47 MB / 1.059 GB, free: 9.352 MB / 0.9323 GB
Notification: Performance of NFEvalConstants.evaluate: time 0.01426/0.4935, allocations: 12.25 MB / 1.071 GB, free: 3.684 MB / 0.9323 GB
Notification: Performance of NFSimplifyModel.simplify: time 0.009617/0.5031, allocations: 7.965 MB / 1.078 GB, free: 376 kB / 0.9323 GB
Notification: Performance of NFPackage.collectConstants: time 0.00576/0.5089, allocations: 2.35 MB / 1.081 GB, free: 376 kB / 0.9323 GB
Notification: Performance of NFFlatten.collectFunctions: time 0.003748/0.5126, allocations: 2.398 MB / 1.083 GB, free: 372 kB / 0.9323 GB
Notification: Performance of NFScalarize.scalarize: time 0.004084/0.5167, allocations: 5.903 MB / 1.089 GB, free: 13.16 MB / 0.948 GB
Notification: Performance of NFVerifyModel.verify: time 0.008194/0.5249, allocations: 6.065 MB / 1.095 GB, free: 9.66 MB / 0.948 GB
Notification: Performance of NFConvertDAE.convert: time 0.02406/0.549, allocations: 33.24 MB / 1.127 GB, free: 1.922 MB / 0.9636 GB
Notification: Performance of FrontEnd - DAE generated: time 5.28e-06/0.549, allocations: 0 / 1.127 GB, free: 1.922 MB / 0.9636 GB
Notification: Performance of FrontEnd: time 2.063e-06/0.549, allocations: 0 / 1.127 GB, free: 1.922 MB / 0.9636 GB
Notification: Performance of Transformations before backend: time 0.0007774/0.5498, allocations: 0 / 1.127 GB, free: 1.922 MB / 0.9636 GB
Notification: Model statistics after passing the front-end and creating the data structures used by the back-end:
 * Number of equations: 4642
 * Number of variables: 4642
Notification: Performance of Generate backend data structure: time 0.02665/0.5764, allocations: 20.61 MB / 1.147 GB, free: 12.93 MB / 0.9948 GB
Notification: Performance of prepare preOptimizeDAE: time 4.22e-05/0.5765, allocations: 8.75 kB / 1.147 GB, free: 12.92 MB / 0.9948 GB
Notification: Performance of preOpt normalInlineFunction (simulation): time 0.002984/0.5794, allocations: 2.094 MB / 1.149 GB, free: 10.82 MB / 0.9948 GB
Notification: Performance of preOpt evaluateParameters (simulation): time 0.01133/0.5908, allocations: 10.4 MB / 1.16 GB, free: 0.7344 MB / 0.9948 GB
Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.001038/0.5918, allocations: 1.629 MB / 1.161 GB, free: 15.1 MB / 1.01 GB
Notification: Performance of preOpt expandDerOperator (simulation): time 0.001699/0.5935, allocations: 1.844 MB / 1.163 GB, free: 13.26 MB / 1.01 GB
Notification: Performance of preOpt clockPartitioning (simulation): time 0.02964/0.6232, allocations: 27.05 MB / 1.189 GB, free: 1.309 MB / 1.026 GB
Notification: Performance of preOpt findStateOrder (simulation): time 0.0001967/0.6234, allocations: 48.03 kB / 1.189 GB, free: 1.289 MB / 1.026 GB
Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.00109/0.6244, allocations: 0.7583 MB / 1.19 GB, free: 0.5312 MB / 1.026 GB
Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.0001852/0.6246, allocations: 459.9 kB / 1.191 GB, free: 84 kB / 1.026 GB
Notification: Performance of preOpt removeEqualRHS (simulation): time 0.0238/0.6484, allocations: 22.08 MB / 1.212 GB, free: 10.21 MB / 1.057 GB
Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.06668/0.7151, allocations: 72.87 MB / 1.283 GB, free: 0.8711 MB / 1.12 GB
Notification: Performance of preOpt comSubExp (simulation): time 0.01335/0.7285, allocations: 15.24 MB / 1.298 GB, free: 0.9258 MB / 1.135 GB
Notification: Performance of preOpt resolveLoops (simulation): time 0.005906/0.7344, allocations: 6.272 MB / 1.304 GB, free: 10.36 MB / 1.151 GB
Notification: Performance of preOpt evalFunc (simulation): time 0.0002734/0.7346, allocations: 159.4 kB / 1.304 GB, free: 10.2 MB / 1.151 GB
Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.007802/0.7424, allocations: 9.347 MB / 1.314 GB, free: 224 kB / 1.151 GB
Notification: Performance of pre-optimization done (n=1091): time 1.298e-05/0.7425, allocations: 0 / 1.314 GB, free: 224 kB / 1.151 GB
Notification: Performance of matching and sorting (n=1091): time 0.01732/0.7598, allocations: 16.75 MB / 1.33 GB, free: 15.48 MB / 1.182 GB
Notification: Performance of inlineWhenForInitialization (initialization): time 0.0009295/0.7607, allocations: 2.814 MB / 1.333 GB, free: 12.07 MB / 1.182 GB
Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.009089/0.7698, allocations: 7.773 MB / 1.34 GB, free: 4.301 MB / 1.182 GB
Notification: Performance of collectPreVariables (initialization): time 0.001109/0.7709, allocations: 0.6427 MB / 1.341 GB, free: 3.652 MB / 1.182 GB
Notification: Performance of collectInitialEqns (initialization): time 0.00416/0.7751, allocations: 6.151 MB / 1.347 GB, free: 13.46 MB / 1.198 GB
Notification: Performance of collectInitialBindings (initialization): time 0.001932/0.777, allocations: 2.583 MB / 1.349 GB, free: 10.86 MB / 1.198 GB
Notification: Performance of simplifyInitialFunctions (initialization): time 0.004228/0.7812, allocations: 4.203 MB / 1.354 GB, free: 6.645 MB / 1.198 GB
Notification: Performance of setup shared object (initialization): time 6.436e-05/0.7813, allocations: 301.1 kB / 1.354 GB, free: 6.348 MB / 1.198 GB
Notification: Performance of preBalanceInitialSystem (initialization): time 0.00672/0.788, allocations: 6.593 MB / 1.36 GB, free: 15.74 MB / 1.214 GB
Notification: Performance of partitionIndependentBlocks (initialization): time 0.008167/0.7962, allocations: 10.61 MB / 1.371 GB, free: 3.551 MB / 1.214 GB
Notification: Performance of analyzeInitialSystem (initialization): time 0.01081/0.807, allocations: 12.25 MB / 1.383 GB, free: 5.781 MB / 1.229 GB
Notification: Performance of solveInitialSystemEqSystem (initialization): time 4.098e-05/0.807, allocations: 28 kB / 1.383 GB, free: 5.754 MB / 1.229 GB
Notification: Performance of matching and sorting (n=1676) (initialization): time 0.01559/0.8226, allocations: 15.29 MB / 1.398 GB, free: 6.371 MB / 1.245 GB
Notification: Performance of prepare postOptimizeDAE: time 8.16e-05/0.8227, allocations: 81.69 kB / 1.398 GB, free: 6.285 MB / 1.245 GB
Notification: Performance of postOpt simplifyComplexFunction (initialization): time 0.000207/0.8229, allocations: 100 kB / 1.398 GB, free: 6.188 MB / 1.245 GB
Notification: Performance of postOpt tearingSystem (initialization): time 0.0001046/0.823, allocations: 172.8 kB / 1.398 GB, free: 6.02 MB / 1.245 GB
Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.002366/0.8254, allocations: 1.445 MB / 1.399 GB, free: 4.57 MB / 1.245 GB
Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 0.0001193/0.8255, allocations: 247.2 kB / 1.4 GB, free: 4.328 MB / 1.245 GB
Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.003242/0.8287, allocations: 1.219 MB / 1.401 GB, free: 3.105 MB / 1.245 GB
Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.0005801/0.8293, allocations: 0.5585 MB / 1.401 GB, free: 2.547 MB / 1.245 GB
Notification: Model statistics after passing the back-end for initialization:
 * Number of independent subsystems: 469
 * Number of states: 0 ()
 * Number of discrete variables: 1443 ($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.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.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.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,$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.truNexHigAva.conLowTri[1,1].y,idxStaRunUna.one.y,idxStaRunUna.truIdxNex.conLowTri[1,1].y,idxStaRunUna.idxStaAll[4].y,idxStaRunUna.idxStaAll[3].y,idxStaRunUna.idxStaAll[2].y,idxStaRunUna.idxStaAll[1].y,idxStaRun.truNexHigAva.conLowTri[1,1].y,idxStaRun.one.y,idxStaRun.truIdxNex.conLowTri[1,1].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,idxStaUna.truNexHigAva.conLowTri[1,1].y,idxStaUna.one.y,idxStaUna.truIdxNex.conLowTri[1,1].y,idxStaUna.idxStaAll[4].y,idxStaUna.idxStaAll[3].y,idxStaUna.idxStaAll[2].y,idxStaUna.idxStaAll[1].y,idxSta.truNexHigAva.conLowTri[1,1].y,idxSta.one.y,idxSta.truIdxNex.conLowTri[1,1].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.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,idxStaRun.staUna.u[4],idxStaRun.staUna.u[3],idxStaRun.staUna.u[2],idxStaRun.staUna.u[1],idxSta.staUna.u[4],idxSta.staUna.u[3],idxSta.staUna.u[2],idxSta.staUna.u[1],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.repSelIdx.y[4,1],idxStaRunUna.truNexHigAva.intSel[1].y,idxStaRunUna.truNexHigAva.repU.y[1],idxStaRunUna.truNexHigAva.leqU[1].y,idxStaRunUna.truNexHigAva.couValPre[1].booToInt[1].y,idxStaRunUna.truNexHigAva.couValPre[1].y,idxStaRunUna.truNexHigAva.andValPre[1,1].y,idxStaRunUna.truNexHigAva.mulIsUnq[1].uTemp[3],idxStaRunUna.truNexHigAva.mulIsUnq[1].uTemp[2],idxStaRunUna.truNexHigAva.mulIsUnq[1].u[1],idxStaRunUna.truNexHigAva.equFirInp[1,4].y,idxStaRunUna.truNexHigAva.equFirInp[1,3].y,idxStaRunUna.truNexHigAva.equFirInp[1,2].y,idxStaRunUna.truNexHigAva.repFirOcc.y[1,4],idxStaRunUna.truNexHigAva.repFirOcc.y[1,3],idxStaRunUna.truNexHigAva.repFirOcc.y[1,2],idxStaRunUna.truNexHigAva.repFirOcc.y[1,1],idxStaRunUna.truNexHigAva.idxFirOcc[4].intEqu.y,idxStaRunUna.truNexHigAva.idxFirOcc[4].mulMin.y,idxStaRunUna.truNexHigAva.idxFirOcc[3].intEqu.y,idxStaRunUna.truNexHigAva.idxFirOcc[3].mulMin.y,idxStaRunUna.truNexHigAva.idxFirOcc[2].intEqu.y,idxStaRunUna.truNexHigAva.idxFirOcc[2].mulMin.y,idxStaRunUna.truNexHigAva.idxFirOcc[1].intEqu.y,idxStaRunUna.truNexHigAva.idxFirOcc[1].mulMin.y,idxStaRunUna.truNexHigAva.equOutInp[4,1].y,idxStaRunUna.truNexHigAva.equOutInp[3,1].y,idxStaRunUna.truNexHigAva.equOutInp[2,1].y,idxStaRunUna.truNexHigAva.equOutInp[1,1].y,idxStaRunUna.truNexHigAva.uIdx[1],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.repVec.y[4,4],idxStaRunUna.repVec.y[4,3],idxStaRunUna.repVec.y[4,2],idxStaRunUna.repVec.y[4,1],idxStaRunUna.truIdxNex.repSelIdx.y[4,1],idxStaRunUna.truIdxNex.intSel[1].y,idxStaRunUna.truIdxNex.leqU[1].y,idxStaRunUna.truIdxNex.couValPre[1].booToInt[1].y,idxStaRunUna.truIdxNex.couValPre[1].y,idxStaRunUna.truIdxNex.andValPre[1,1].y,idxStaRunUna.truIdxNex.mulIsUnq[1].uTemp[3],idxStaRunUna.truIdxNex.mulIsUnq[1].uTemp[2],idxStaRunUna.truIdxNex.mulIsUnq[1].u[1],idxStaRunUna.truIdxNex.equFirInp[1,4].y,idxStaRunUna.truIdxNex.equFirInp[1,3].y,idxStaRunUna.truIdxNex.equFirInp[1,2].y,idxStaRunUna.truIdxNex.repFirOcc.y[1,4],idxStaRunUna.truIdxNex.repFirOcc.y[1,3],idxStaRunUna.truIdxNex.repFirOcc.y[1,2],idxStaRunUna.truIdxNex.repFirOcc.y[1,1],idxStaRunUna.truIdxNex.idxFirOcc[4].intEqu.y,idxStaRunUna.truIdxNex.idxFirOcc[4].mulMin.y,idxStaRunUna.truIdxNex.idxFirOcc[3].intEqu.y,idxStaRunUna.truIdxNex.idxFirOcc[3].mulMin.y,idxStaRunUna.truIdxNex.idxFirOcc[2].intEqu.y,idxStaRunUna.truIdxNex.idxFirOcc[2].mulMin.y,idxStaRunUna.truIdxNex.idxFirOcc[1].intEqu.y,idxStaRunUna.truIdxNex.idxFirOcc[1].mulMin.y,idxStaRunUna.truIdxNex.equOutInp[4,1].y,idxStaRunUna.truIdxNex.equOutInp[3,1].y,idxStaRunUna.truIdxNex.equOutInp[2,1].y,idxStaRunUna.truIdxNex.equOutInp[1,1].y,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[4].localCondition,idxStaRunUna.sta0ToSta[3].outPort.occupied,idxStaRunUna.sta0ToSta[3].enableFire,idxStaRunUna.sta0ToSta[3].localCondition,idxStaRunUna.sta0ToSta[2].outPort.occupied,idxStaRunUna.sta0ToSta[2].enableFire,idxStaRunUna.sta0ToSta[2].localCondition,idxStaRunUna.sta0ToSta[1].outPort.occupied,idxStaRunUna.sta0ToSta[1].enableFire,idxStaRunUna.sta0ToSta[1].localCondition,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.repSelIdx.y[4,1],idxStaRun.truNexHigAva.intSel[1].y,idxStaRun.truNexHigAva.repU.y[1],idxStaRun.truNexHigAva.leqU[1].y,idxStaRun.truNexHigAva.couValPre[1].booToInt[1].y,idxStaRun.truNexHigAva.couValPre[1].y,idxStaRun.truNexHigAva.andValPre[1,1].y,idxStaRun.truNexHigAva.mulIsUnq[1].uTemp[3],idxStaRun.truNexHigAva.mulIsUnq[1].uTemp[2],idxStaRun.truNexHigAva.mulIsUnq[1].u[1],idxStaRun.truNexHigAva.equFirInp[1,4].y,idxStaRun.truNexHigAva.equFirInp[1,3].y,idxStaRun.truNexHigAva.equFirInp[1,2].y,idxStaRun.truNexHigAva.repFirOcc.y[1,4],idxStaRun.truNexHigAva.repFirOcc.y[1,3],idxStaRun.truNexHigAva.repFirOcc.y[1,2],idxStaRun.truNexHigAva.repFirOcc.y[1,1],idxStaRun.truNexHigAva.idxFirOcc[4].intEqu.y,idxStaRun.truNexHigAva.idxFirOcc[4].mulMin.y,idxStaRun.truNexHigAva.idxFirOcc[3].intEqu.y,idxStaRun.truNexHigAva.idxFirOcc[3].mulMin.y,idxStaRun.truNexHigAva.idxFirOcc[2].intEqu.y,idxStaRun.truNexHigAva.idxFirOcc[2].mulMin.y,idxStaRun.truNexHigAva.idxFirOcc[1].intEqu.y,idxStaRun.truNexHigAva.idxFirOcc[1].mulMin.y,idxStaRun.truNexHigAva.equOutInp[4,1].y,idxStaRun.truNexHigAva.equOutInp[3,1].y,idxStaRun.truNexHigAva.equOutInp[2,1].y,idxStaRun.truNexHigAva.equOutInp[1,1].y,idxStaRun.truNexHigAva.uIdx[1],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.repVec.y[4,4],idxStaRun.repVec.y[4,3],idxStaRun.repVec.y[4,2],idxStaRun.repVec.y[4,1],idxStaRun.truIdxNex.repSelIdx.y[4,1],idxStaRun.truIdxNex.intSel[1].y,idxStaRun.truIdxNex.leqU[1].y,idxStaRun.truIdxNex.couValPre[1].booToInt[1].y,idxStaRun.truIdxNex.couValPre[1].y,idxStaRun.truIdxNex.andValPre[1,1].y,idxStaRun.truIdxNex.mulIsUnq[1].uTemp[3],idxStaRun.truIdxNex.mulIsUnq[1].uTemp[2],idxStaRun.truIdxNex.mulIsUnq[1].u[1],idxStaRun.truIdxNex.equFirInp[1,4].y,idxStaRun.truIdxNex.equFirInp[1,3].y,idxStaRun.truIdxNex.equFirInp[1,2].y,idxStaRun.truIdxNex.repFirOcc.y[1,4],idxStaRun.truIdxNex.repFirOcc.y[1,3],idxStaRun.truIdxNex.repFirOcc.y[1,2],idxStaRun.truIdxNex.repFirOcc.y[1,1],idxStaRun.truIdxNex.idxFirOcc[4].intEqu.y,idxStaRun.truIdxNex.idxFirOcc[4].mulMin.y,idxStaRun.truIdxNex.idxFirOcc[3].intEqu.y,idxStaRun.truIdxNex.idxFirOcc[3].mulMin.y,idxStaRun.truIdxNex.idxFirOcc[2].intEqu.y,idxStaRun.truIdxNex.idxFirOcc[2].mulMin.y,idxStaRun.truIdxNex.idxFirOcc[1].intEqu.y,idxStaRun.truIdxNex.idxFirOcc[1].mulMin.y,idxStaRun.truIdxNex.equOutInp[4,1].y,idxStaRun.truIdxNex.equOutInp[3,1].y,idxStaRun.truIdxNex.equOutInp[2,1].y,idxStaRun.truIdxNex.equOutInp[1,1].y,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[4].localCondition,idxStaRun.sta0ToSta[3].outPort.occupied,idxStaRun.sta0ToSta[3].enableFire,idxStaRun.sta0ToSta[3].localCondition,idxStaRun.sta0ToSta[2].outPort.occupied,idxStaRun.sta0ToSta[2].enableFire,idxStaRun.sta0ToSta[2].localCondition,idxStaRun.sta0ToSta[1].outPort.occupied,idxStaRun.sta0ToSta[1].enableFire,idxStaRun.sta0ToSta[1].localCondition,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.repSelIdx.y[4,1],idxStaUna.truNexHigAva.intSel[1].y,idxStaUna.truNexHigAva.repU.y[1],idxStaUna.truNexHigAva.leqU[1].y,idxStaUna.truNexHigAva.couValPre[1].booToInt[1].y,idxStaUna.truNexHigAva.couValPre[1].y,idxStaUna.truNexHigAva.andValPre[1,1].y,idxStaUna.truNexHigAva.mulIsUnq[1].uTemp[3],idxStaUna.truNexHigAva.mulIsUnq[1].uTemp[2],idxStaUna.truNexHigAva.mulIsUnq[1].u[1],idxStaUna.truNexHigAva.equFirInp[1,4].y,idxStaUna.truNexHigAva.equFirInp[1,3].y,idxStaUna.truNexHigAva.equFirInp[1,2].y,idxStaUna.truNexHigAva.repFirOcc.y[1,4],idxStaUna.truNexHigAva.repFirOcc.y[1,3],idxStaUna.truNexHigAva.repFirOcc.y[1,2],idxStaUna.truNexHigAva.repFirOcc.y[1,1],idxStaUna.truNexHigAva.idxFirOcc[4].intEqu.y,idxStaUna.truNexHigAva.idxFirOcc[4].mulMin.y,idxStaUna.truNexHigAva.idxFirOcc[3].intEqu.y,idxStaUna.truNexHigAva.idxFirOcc[3].mulMin.y,idxStaUna.truNexHigAva.idxFirOcc[2].intEqu.y,idxStaUna.truNexHigAva.idxFirOcc[2].mulMin.y,idxStaUna.truNexHigAva.idxFirOcc[1].intEqu.y,idxStaUna.truNexHigAva.idxFirOcc[1].mulMin.y,idxStaUna.truNexHigAva.equOutInp[4,1].y,idxStaUna.truNexHigAva.equOutInp[3,1].y,idxStaUna.truNexHigAva.equOutInp[2,1].y,idxStaUna.truNexHigAva.equOutInp[1,1].y,idxStaUna.truNexHigAva.uIdx[1],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.repVec.y[4,4],idxStaUna.repVec.y[4,3],idxStaUna.repVec.y[4,2],idxStaUna.repVec.y[4,1],idxStaUna.truIdxNex.repSelIdx.y[4,1],idxStaUna.truIdxNex.intSel[1].y,idxStaUna.truIdxNex.leqU[1].y,idxStaUna.truIdxNex.couValPre[1].booToInt[1].y,idxStaUna.truIdxNex.couValPre[1].y,idxStaUna.truIdxNex.andValPre[1,1].y,idxStaUna.truIdxNex.mulIsUnq[1].uTemp[3],idxStaUna.truIdxNex.mulIsUnq[1].uTemp[2],idxStaUna.truIdxNex.mulIsUnq[1].u[1],idxStaUna.truIdxNex.equFirInp[1,4].y,idxStaUna.truIdxNex.equFirInp[1,3].y,idxStaUna.truIdxNex.equFirInp[1,2].y,idxStaUna.truIdxNex.repFirOcc.y[1,4],idxStaUna.truIdxNex.repFirOcc.y[1,3],idxStaUna.truIdxNex.repFirOcc.y[1,2],idxStaUna.truIdxNex.repFirOcc.y[1,1],idxStaUna.truIdxNex.idxFirOcc[4].intEqu.y,idxStaUna.truIdxNex.idxFirOcc[4].mulMin.y,idxStaUna.truIdxNex.idxFirOcc[3].intEqu.y,idxStaUna.truIdxNex.idxFirOcc[3].mulMin.y,idxStaUna.truIdxNex.idxFirOcc[2].intEqu.y,idxStaUna.truIdxNex.idxFirOcc[2].mulMin.y,idxStaUna.truIdxNex.idxFirOcc[1].intEqu.y,idxStaUna.truIdxNex.idxFirOcc[1].mulMin.y,idxStaUna.truIdxNex.equOutInp[4,1].y,idxStaUna.truIdxNex.equOutInp[3,1].y,idxStaUna.truIdxNex.equOutInp[2,1].y,idxStaUna.truIdxNex.equOutInp[1,1].y,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[4].localCondition,idxStaUna.sta0ToSta[3].outPort.occupied,idxStaUna.sta0ToSta[3].enableFire,idxStaUna.sta0ToSta[3].localCondition,idxStaUna.sta0ToSta[2].outPort.occupied,idxStaUna.sta0ToSta[2].enableFire,idxStaUna.sta0ToSta[2].localCondition,idxStaUna.sta0ToSta[1].outPort.occupied,idxStaUna.sta0ToSta[1].enableFire,idxStaUna.sta0ToSta[1].localCondition,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.repSelIdx.y[4,1],idxSta.truNexHigAva.intSel[1].y,idxSta.truNexHigAva.repU.y[1],idxSta.truNexHigAva.leqU[1].y,idxSta.truNexHigAva.couValPre[1].booToInt[1].y,idxSta.truNexHigAva.couValPre[1].y,idxSta.truNexHigAva.andValPre[1,1].y,idxSta.truNexHigAva.mulIsUnq[1].uTemp[3],idxSta.truNexHigAva.mulIsUnq[1].uTemp[2],idxSta.truNexHigAva.mulIsUnq[1].u[1],idxSta.truNexHigAva.equFirInp[1,4].y,idxSta.truNexHigAva.equFirInp[1,3].y,idxSta.truNexHigAva.equFirInp[1,2].y,idxSta.truNexHigAva.repFirOcc.y[1,4],idxSta.truNexHigAva.repFirOcc.y[1,3],idxSta.truNexHigAva.repFirOcc.y[1,2],idxSta.truNexHigAva.repFirOcc.y[1,1],idxSta.truNexHigAva.idxFirOcc[4].intEqu.y,idxSta.truNexHigAva.idxFirOcc[4].mulMin.y,idxSta.truNexHigAva.idxFirOcc[3].intEqu.y,idxSta.truNexHigAva.idxFirOcc[3].mulMin.y,idxSta.truNexHigAva.idxFirOcc[2].intEqu.y,idxSta.truNexHigAva.idxFirOcc[2].mulMin.y,idxSta.truNexHigAva.idxFirOcc[1].intEqu.y,idxSta.truNexHigAva.idxFirOcc[1].mulMin.y,idxSta.truNexHigAva.equOutInp[4,1].y,idxSta.truNexHigAva.equOutInp[3,1].y,idxSta.truNexHigAva.equOutInp[2,1].y,idxSta.truNexHigAva.equOutInp[1,1].y,idxSta.truNexHigAva.uIdx[1],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.repVec.y[4,4],idxSta.repVec.y[4,3],idxSta.repVec.y[4,2],idxSta.repVec.y[4,1],idxSta.truIdxNex.repSelIdx.y[4,1],idxSta.truIdxNex.intSel[1].y,idxSta.truIdxNex.leqU[1].y,idxSta.truIdxNex.couValPre[1].booToInt[1].y,idxSta.truIdxNex.couValPre[1].y,idxSta.truIdxNex.andValPre[1,1].y,idxSta.truIdxNex.mulIsUnq[1].uTemp[3],idxSta.truIdxNex.mulIsUnq[1].uTemp[2],idxSta.truIdxNex.mulIsUnq[1].u[1],idxSta.truIdxNex.equFirInp[1,4].y,idxSta.truIdxNex.equFirInp[1,3].y,idxSta.truIdxNex.equFirInp[1,2].y,idxSta.truIdxNex.repFirOcc.y[1,4],idxSta.truIdxNex.repFirOcc.y[1,3],idxSta.truIdxNex.repFirOcc.y[1,2],idxSta.truIdxNex.repFirOcc.y[1,1],idxSta.truIdxNex.idxFirOcc[4].intEqu.y,idxSta.truIdxNex.idxFirOcc[4].mulMin.y,idxSta.truIdxNex.idxFirOcc[3].intEqu.y,idxSta.truIdxNex.idxFirOcc[3].mulMin.y,idxSta.truIdxNex.idxFirOcc[2].intEqu.y,idxSta.truIdxNex.idxFirOcc[2].mulMin.y,idxSta.truIdxNex.idxFirOcc[1].intEqu.y,idxSta.truIdxNex.idxFirOcc[1].mulMin.y,idxSta.truIdxNex.equOutInp[4,1].y,idxSta.truIdxNex.equOutInp[3,1].y,idxSta.truIdxNex.equOutInp[2,1].y,idxSta.truIdxNex.equOutInp[1,1].y,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[4].localCondition,idxSta.sta0ToSta[3].outPort.occupied,idxSta.sta0ToSta[3].enableFire,idxSta.sta0ToSta[3].localCondition,idxSta.sta0ToSta[2].outPort.occupied,idxSta.sta0ToSta[2].enableFire,idxSta.sta0ToSta[2].localCondition,idxSta.sta0ToSta[1].outPort.occupied,idxSta.sta0ToSta[1].enableFire,idxSta.sta0ToSta[1].localCondition,idxSta.sta[4].active,idxSta.sta[4].oldActive,$PRE.idxSta.sta[4].oldActive,idxSta.sta[4].newActive,$PRE.idxSta.sta[4].newActive,idxSta.sta[4].outPort[5].available,idxSta.sta[4].outPort[4].available,idxSta.sta[4].outPort[3].available,idxSta.sta[4].outPort[2].available,idxSta.sta[4].localActive,$PRE.idxSta.sta[4].localActive,idxSta.sta[3].active,idxSta.sta[3].oldActive,$PRE.idxSta.sta[3].oldActive,idxSta.sta[3].newActive,$PRE.idxSta.sta[3].newActive,idxSta.sta[3].outPort[5].available,idxSta.sta[3].outPort[4].available,idxSta.sta[3].outPort[3].available,idxSta.sta[3].outPort[2].available,idxSta.sta[3].localActive,$PRE.idxSta.sta[3].localActive,idxSta.sta[2].active,idxSta.sta[2].oldActive,$PRE.idxSta.sta[2].oldActive,idxSta.sta[2].newActive,$PRE.idxSta.sta[2].newActive,idxSta.sta[2].outPort[5].available,idxSta.sta[2].outPort[4].available,idxSta.sta[2].outPort[3].available,idxSta.sta[2].outPort[2].available,idxSta.sta[2].localActive,$PRE.idxSta.sta[2].localActive,idxSta.sta[1].active,idxSta.sta[1].oldActive,$PRE.idxSta.sta[1].oldActive,idxSta.sta[1].newActive,$PRE.idxSta.sta[1].newActive,idxSta.sta[1].outPort[5].available,idxSta.sta[1].outPort[4].available,idxSta.sta[1].outPort[3].available,idxSta.sta[1].outPort[2].available,idxSta.sta[1].localActive,$PRE.idxSta.sta[1].localActive,idxSta.sta0.active,idxSta.sta0.oldActive,$PRE.idxSta.sta0.oldActive,idxSta.sta0.newActive,$PRE.idxSta.sta0.newActive,idxSta.sta0.outPort[4].available,idxSta.sta0.outPort[3].available,idxSta.sta0.outPort[2].available,idxSta.sta0.localActive,$PRE.idxSta.sta0.localActive,ena.y,$PRE.ena.y,$whenCondition1,$whenCondition2,$whenCondition3,$whenCondition4,$whenCondition5,$whenCondition6,$whenCondition12,$whenCondition11,$whenCondition10,$whenCondition15,$whenCondition14,$whenCondition13,$whenCondition18,$whenCondition17,$whenCondition16,$whenCondition21,$whenCondition20,$whenCondition19,$whenCondition24,$whenCondition23,$whenCondition22,$whenCondition27,$whenCondition26,$whenCondition25,$whenCondition30,$whenCondition29,$whenCondition28,$whenCondition33,$whenCondition32,$whenCondition31,idxSta.idxLasAva.y,idxSta.idxFirAva.mulMin.y)
 * Number of discrete states: 0 ()
 * Number of clocked states: 0 ()
 * Top-level inputs: 0
Notification: Strong component statistics for initialization (1674):
 * Single equations (assignments): 1673
 * Array equations: 0
 * Algorithm blocks: 1
 * 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.009226/0.8385, allocations: 7.684 MB / 1.409 GB, free: 10.84 MB / 1.26 GB
Notification: Performance of postOpt lateInlineFunction (simulation): time 0.001285/0.8398, allocations: 0.8386 MB / 1.41 GB, free: 9.996 MB / 1.26 GB
Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.01145/0.8513, allocations: 11.26 MB / 1.421 GB, free: 14.72 MB / 1.276 GB
Notification: Performance of postOpt inlineArrayEqn (simulation): time 5.516e-05/0.8513, allocations: 128 kB / 1.421 GB, free: 14.59 MB / 1.276 GB
Notification: Performance of postOpt constantLinearSystem (simulation): time 2.744e-05/0.8514, allocations: 31.94 kB / 1.421 GB, free: 14.56 MB / 1.276 GB
Notification: Performance of postOpt simplifysemiLinear (simulation): time 6.062e-05/0.8514, allocations: 75.8 kB / 1.421 GB, free: 14.49 MB / 1.276 GB
Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.05599/0.9074, allocations: 60.19 MB / 1.48 GB, free: 1.801 MB / 1.323 GB
Notification: Performance of postOpt simplifyComplexFunction (simulation): time 5.635e-05/0.9075, allocations: 48 kB / 1.48 GB, free: 1.754 MB / 1.323 GB
Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.001303/0.9088, allocations: 0.6971 MB / 1.48 GB, free: 1.055 MB / 1.323 GB
Notification: Performance of postOpt tearingSystem (simulation): time 4.783e-05/0.9088, allocations: 88 kB / 1.48 GB, free: 0.9688 MB / 1.323 GB
Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.0004931/0.9093, allocations: 271.9 kB / 1.481 GB, free: 0.7031 MB / 1.323 GB
Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 5.231e-05/0.9094, allocations: 107.7 kB / 1.481 GB, free: 0.5977 MB / 1.323 GB
Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 2.57e-05/0.9094, allocations: 71.69 kB / 1.481 GB, free: 0.5273 MB / 1.323 GB
Notification: Performance of postOpt symbolicJacobian (simulation): time 0.01467/0.9241, allocations: 13.46 MB / 1.494 GB, free: 2.055 MB / 1.339 GB
Notification: Performance of postOpt removeConstants (simulation): time 0.00167/0.9257, allocations: 0.8638 MB / 1.495 GB, free: 1.184 MB / 1.339 GB
Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.002292/0.928, allocations: 0.5036 MB / 1.495 GB, free: 0.6797 MB / 1.339 GB
Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.003105/0.9311, allocations: 363.7 kB / 1.496 GB, free: 332 kB / 1.339 GB
Notification: Performance of postOpt findZeroCrossings (simulation): time 0.00507/0.9362, allocations: 3.553 MB / 1.499 GB, free: 12.76 MB / 1.354 GB
Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.001403/0.9376, allocations: 383.7 kB / 1.499 GB, free: 12.39 MB / 1.354 GB
Notification: Performance of sorting global known variables: time 0.005001/0.9426, allocations: 3.569 MB / 1.503 GB, free: 8.848 MB / 1.354 GB
Notification: Performance of sort global known variables: time 4.41e-07/0.9426, allocations: 3.938 kB / 1.503 GB, free: 8.844 MB / 1.354 GB
Notification: Performance of remove unused functions: time 0.009851/0.9524, allocations: 3.744 MB / 1.507 GB, free: 5.086 MB / 1.354 GB
Notification: Model statistics after passing the back-end for simulation:
 * Number of independent subsystems: 205
 * Number of states: 0 ()
 * Number of discrete variables: 1067 (idxStaRunUna.staToSta0[4].t_start,idxStaRunUna.staToSta0[3].t_start,idxStaRunUna.staToSta0[2].t_start,idxStaRunUna.staToSta0[1].t_start,idxStaRunUna.staToSta[4,4].t_start,idxStaRunUna.staToSta[4,3].t_start,idxStaRunUna.staToSta[4,2].t_start,idxStaRunUna.staToSta[4,1].t_start,idxStaRunUna.staToSta[3,4].t_start,idxStaRunUna.staToSta[3,3].t_start,idxStaRunUna.staToSta[3,2].t_start,idxStaRunUna.staToSta[3,1].t_start,idxStaRunUna.staToSta[2,4].t_start,idxStaRunUna.staToSta[2,3].t_start,idxStaRunUna.staToSta[2,2].t_start,idxStaRunUna.staToSta[2,1].t_start,idxStaRunUna.staToSta[1,4].t_start,idxStaRunUna.staToSta[1,3].t_start,idxStaRunUna.staToSta[1,2].t_start,idxStaRunUna.staToSta[1,1].t_start,idxStaRunUna.sta0ToSta[4].t_start,idxStaRunUna.sta0ToSta[3].t_start,idxStaRunUna.sta0ToSta[2].t_start,idxStaRunUna.sta0ToSta[1].t_start,idxStaRun.staToSta0[4].t_start,idxStaRun.staToSta0[3].t_start,idxStaRun.staToSta0[2].t_start,idxStaRun.staToSta0[1].t_start,idxStaRun.staToSta[4,4].t_start,idxStaRun.staToSta[4,3].t_start,idxStaRun.staToSta[4,2].t_start,idxStaRun.staToSta[4,1].t_start,idxStaRun.staToSta[3,4].t_start,idxStaRun.staToSta[3,3].t_start,idxStaRun.staToSta[3,2].t_start,idxStaRun.staToSta[3,1].t_start,idxStaRun.staToSta[2,4].t_start,idxStaRun.staToSta[2,3].t_start,idxStaRun.staToSta[2,2].t_start,idxStaRun.staToSta[2,1].t_start,idxStaRun.staToSta[1,4].t_start,idxStaRun.staToSta[1,3].t_start,idxStaRun.staToSta[1,2].t_start,idxStaRun.staToSta[1,1].t_start,idxStaRun.sta0ToSta[4].t_start,idxStaRun.sta0ToSta[3].t_start,idxStaRun.sta0ToSta[2].t_start,idxStaRun.sta0ToSta[1].t_start,idxStaUna.staToSta0[4].t_start,idxStaUna.staToSta0[3].t_start,idxStaUna.staToSta0[2].t_start,idxStaUna.staToSta0[1].t_start,idxStaUna.staToSta[4,4].t_start,idxStaUna.staToSta[4,3].t_start,idxStaUna.staToSta[4,2].t_start,idxStaUna.staToSta[4,1].t_start,idxStaUna.staToSta[3,4].t_start,idxStaUna.staToSta[3,3].t_start,idxStaUna.staToSta[3,2].t_start,idxStaUna.staToSta[3,1].t_start,idxStaUna.staToSta[2,4].t_start,idxStaUna.staToSta[2,3].t_start,idxStaUna.staToSta[2,2].t_start,idxStaUna.staToSta[2,1].t_start,idxStaUna.staToSta[1,4].t_start,idxStaUna.staToSta[1,3].t_start,idxStaUna.staToSta[1,2].t_start,idxStaUna.staToSta[1,1].t_start,idxStaUna.sta0ToSta[4].t_start,idxStaUna.sta0ToSta[3].t_start,idxStaUna.sta0ToSta[2].t_start,idxStaUna.sta0ToSta[1].t_start,idxSta.staToSta0[4].t_start,idxSta.staToSta0[3].t_start,idxSta.staToSta0[2].t_start,idxSta.staToSta0[1].t_start,idxSta.staToSta[4,4].t_start,idxSta.staToSta[4,3].t_start,idxSta.staToSta[4,2].t_start,idxSta.staToSta[4,1].t_start,idxSta.staToSta[3,4].t_start,idxSta.staToSta[3,3].t_start,idxSta.staToSta[3,2].t_start,idxSta.staToSta[3,1].t_start,idxSta.staToSta[2,4].t_start,idxSta.staToSta[2,3].t_start,idxSta.staToSta[2,2].t_start,idxSta.staToSta[2,1].t_start,idxSta.staToSta[1,4].t_start,idxSta.staToSta[1,3].t_start,idxSta.staToSta[1,2].t_start,idxSta.staToSta[1,1].t_start,idxSta.sta0ToSta[4].t_start,idxSta.sta0ToSta[3].t_start,idxSta.sta0ToSta[2].t_start,idxSta.sta0ToSta[1].t_start,idxSta.sta0.active,idxSta.sta[1].active,idxSta.sta[2].active,idxSta.sta[3].active,idxSta.sta[4].active,idxStaUna.sta0.active,idxStaUna.sta[1].active,idxStaUna.sta[2].active,idxStaUna.sta[3].active,idxStaUna.sta[4].active,idxStaRun.sta0.active,idxStaRun.sta[1].localActive,idxStaRun.sta[1].active,idxStaRun.sta[2].localActive,idxStaRun.sta[2].active,idxStaRun.sta[3].localActive,idxStaRun.sta[3].active,idxStaRun.sta[4].localActive,idxStaRun.sta[4].active,idxStaRunUna.sta0.active,idxStaRunUna.sta[1].localActive,idxStaRunUna.sta[1].active,idxStaRunUna.sta[2].localActive,idxStaRunUna.sta[2].active,idxStaRunUna.sta[3].localActive,idxStaRunUna.sta[3].active,idxStaRunUna.sta[4].localActive,idxStaRunUna.sta[4].active,$cse1,$cse2,$cse3,$cse4,$cse5,$cse6,$cse7,$cse8,$whenCondition34,$whenCondition35,$whenCondition31,$whenCondition32,$whenCondition33,$whenCondition28,$whenCondition29,$whenCondition30,$whenCondition25,$whenCondition26,$whenCondition27,$whenCondition22,$whenCondition23,$whenCondition24,$whenCondition19,$whenCondition20,$whenCondition21,$whenCondition16,$whenCondition17,$whenCondition18,$whenCondition13,$whenCondition14,$whenCondition15,$whenCondition10,$whenCondition11,$whenCondition12,$whenCondition9,$whenCondition8,$whenCondition7,$whenCondition6,$whenCondition5,$whenCondition4,$whenCondition3,$whenCondition2,$whenCondition1,ena.y,idxSta.sta0.localActive,idxSta.sta0.outPort[2].available,idxSta.sta0.outPort[3].available,idxSta.sta0.outPort[4].available,idxSta.sta0.newActive,idxSta.sta0.oldActive,idxSta.sta[1].localActive,idxSta.sta[1].outPort[2].available,idxSta.sta[1].outPort[3].available,idxSta.sta[1].outPort[4].available,idxSta.sta[1].outPort[5].available,idxSta.sta[1].newActive,idxSta.sta[1].oldActive,idxSta.sta[2].localActive,idxSta.sta[2].outPort[2].available,idxSta.sta[2].outPort[3].available,idxSta.sta[2].outPort[4].available,idxSta.sta[2].outPort[5].available,idxSta.sta[2].newActive,idxSta.sta[2].oldActive,idxSta.sta[3].localActive,idxSta.sta[3].outPort[2].available,idxSta.sta[3].outPort[3].available,idxSta.sta[3].outPort[4].available,idxSta.sta[3].outPort[5].available,idxSta.sta[3].newActive,idxSta.sta[3].oldActive,idxSta.sta[4].localActive,idxSta.sta[4].outPort[2].available,idxSta.sta[4].outPort[3].available,idxSta.sta[4].outPort[4].available,idxSta.sta[4].outPort[5].available,idxSta.sta[4].newActive,idxSta.sta[4].oldActive,idxSta.sta0ToSta[1].localCondition,idxSta.sta0ToSta[1].enableFire,idxSta.sta0ToSta[1].outPort.occupied,idxSta.sta0ToSta[2].localCondition,idxSta.sta0ToSta[2].enableFire,idxSta.sta0ToSta[2].outPort.occupied,idxSta.sta0ToSta[3].localCondition,idxSta.sta0ToSta[3].enableFire,idxSta.sta0ToSta[3].outPort.occupied,idxSta.sta0ToSta[4].localCondition,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.equOutInp[1,1].y,idxSta.truIdxNex.equOutInp[2,1].y,idxSta.truIdxNex.equOutInp[3,1].y,idxSta.truIdxNex.equOutInp[4,1].y,idxSta.truIdxNex.idxFirOcc[1].mulMin.y,idxSta.truIdxNex.idxFirOcc[1].intEqu.y,idxSta.truIdxNex.idxFirOcc[2].mulMin.y,idxSta.truIdxNex.idxFirOcc[2].intEqu.y,idxSta.truIdxNex.idxFirOcc[3].mulMin.y,idxSta.truIdxNex.idxFirOcc[3].intEqu.y,idxSta.truIdxNex.idxFirOcc[4].mulMin.y,idxSta.truIdxNex.idxFirOcc[4].intEqu.y,idxSta.truIdxNex.repFirOcc.y[1,1],idxSta.truIdxNex.repFirOcc.y[1,2],idxSta.truIdxNex.repFirOcc.y[1,3],idxSta.truIdxNex.repFirOcc.y[1,4],idxSta.truIdxNex.equFirInp[1,2].y,idxSta.truIdxNex.equFirInp[1,3].y,idxSta.truIdxNex.equFirInp[1,4].y,idxSta.truIdxNex.mulIsUnq[1].u[1],idxSta.truIdxNex.mulIsUnq[1].uTemp[2],idxSta.truIdxNex.mulIsUnq[1].uTemp[3],idxSta.truIdxNex.andValPre[1,1].y,idxSta.truIdxNex.couValPre[1].y,idxSta.truIdxNex.couValPre[1].booToInt[1].y,idxSta.truIdxNex.leqU[1].y,idxSta.truIdxNex.intSel[1].y,idxSta.truIdxNex.repSelIdx.y[4,1],idxSta.repVec.y[4,1],idxSta.repVec.y[4,2],idxSta.repVec.y[4,3],idxSta.repVec.y[4,4],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.leqU[1].y,idxSta.truNexHigAva.repU.y[1],idxSta.truNexHigAva.intSel[1].y,idxSta.truNexHigAva.repSelIdx.y[4,1],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].localCondition,idxStaUna.sta0ToSta[1].enableFire,idxStaUna.sta0ToSta[1].outPort.occupied,idxStaUna.sta0ToSta[2].localCondition,idxStaUna.sta0ToSta[2].enableFire,idxStaUna.sta0ToSta[2].outPort.occupied,idxStaUna.sta0ToSta[3].localCondition,idxStaUna.sta0ToSta[3].enableFire,idxStaUna.sta0ToSta[3].outPort.occupied,idxStaUna.sta0ToSta[4].localCondition,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.equOutInp[1,1].y,idxStaUna.truIdxNex.equOutInp[2,1].y,idxStaUna.truIdxNex.equOutInp[3,1].y,idxStaUna.truIdxNex.equOutInp[4,1].y,idxStaUna.truIdxNex.idxFirOcc[1].mulMin.y,idxStaUna.truIdxNex.idxFirOcc[1].intEqu.y,idxStaUna.truIdxNex.idxFirOcc[2].mulMin.y,idxStaUna.truIdxNex.idxFirOcc[2].intEqu.y,idxStaUna.truIdxNex.idxFirOcc[3].mulMin.y,idxStaUna.truIdxNex.idxFirOcc[3].intEqu.y,idxStaUna.truIdxNex.idxFirOcc[4].mulMin.y,idxStaUna.truIdxNex.idxFirOcc[4].intEqu.y,idxStaUna.truIdxNex.repFirOcc.y[1,1],idxStaUna.truIdxNex.repFirOcc.y[1,2],idxStaUna.truIdxNex.repFirOcc.y[1,3],idxStaUna.truIdxNex.repFirOcc.y[1,4],idxStaUna.truIdxNex.equFirInp[1,2].y,idxStaUna.truIdxNex.equFirInp[1,3].y,idxStaUna.truIdxNex.equFirInp[1,4].y,idxStaUna.truIdxNex.mulIsUnq[1].u[1],idxStaUna.truIdxNex.mulIsUnq[1].uTemp[2],idxStaUna.truIdxNex.mulIsUnq[1].uTemp[3],idxStaUna.truIdxNex.andValPre[1,1].y,idxStaUna.truIdxNex.couValPre[1].y,idxStaUna.truIdxNex.couValPre[1].booToInt[1].y,idxStaUna.truIdxNex.leqU[1].y,idxStaUna.truIdxNex.intSel[1].y,idxStaUna.truIdxNex.repSelIdx.y[4,1],idxStaUna.repVec.y[4,1],idxStaUna.repVec.y[4,2],idxStaUna.repVec.y[4,3],idxStaUna.repVec.y[4,4],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.leqU[1].y,idxStaUna.truNexHigAva.repU.y[1],idxStaUna.truNexHigAva.intSel[1].y,idxStaUna.truNexHigAva.repSelIdx.y[4,1],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].localCondition,idxStaRun.sta0ToSta[1].enableFire,idxStaRun.sta0ToSta[1].outPort.occupied,idxStaRun.sta0ToSta[2].localCondition,idxStaRun.sta0ToSta[2].enableFire,idxStaRun.sta0ToSta[2].outPort.occupied,idxStaRun.sta0ToSta[3].localCondition,idxStaRun.sta0ToSta[3].enableFire,idxStaRun.sta0ToSta[3].outPort.occupied,idxStaRun.sta0ToSta[4].localCondition,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.equOutInp[1,1].y,idxStaRun.truIdxNex.equOutInp[2,1].y,idxStaRun.truIdxNex.equOutInp[3,1].y,idxStaRun.truIdxNex.equOutInp[4,1].y,idxStaRun.truIdxNex.idxFirOcc[1].mulMin.y,idxStaRun.truIdxNex.idxFirOcc[1].intEqu.y,idxStaRun.truIdxNex.idxFirOcc[2].mulMin.y,idxStaRun.truIdxNex.idxFirOcc[2].intEqu.y,idxStaRun.truIdxNex.idxFirOcc[3].mulMin.y,idxStaRun.truIdxNex.idxFirOcc[3].intEqu.y,idxStaRun.truIdxNex.idxFirOcc[4].mulMin.y,idxStaRun.truIdxNex.idxFirOcc[4].intEqu.y,idxStaRun.truIdxNex.repFirOcc.y[1,1],idxStaRun.truIdxNex.repFirOcc.y[1,2],idxStaRun.truIdxNex.repFirOcc.y[1,3],idxStaRun.truIdxNex.repFirOcc.y[1,4],idxStaRun.truIdxNex.equFirInp[1,2].y,idxStaRun.truIdxNex.equFirInp[1,3].y,idxStaRun.truIdxNex.equFirInp[1,4].y,idxStaRun.truIdxNex.mulIsUnq[1].u[1],idxStaRun.truIdxNex.mulIsUnq[1].uTemp[2],idxStaRun.truIdxNex.mulIsUnq[1].uTemp[3],idxStaRun.truIdxNex.andValPre[1,1].y,idxStaRun.truIdxNex.couValPre[1].y,idxStaRun.truIdxNex.couValPre[1].booToInt[1].y,idxStaRun.truIdxNex.leqU[1].y,idxStaRun.truIdxNex.intSel[1].y,idxStaRun.truIdxNex.repSelIdx.y[4,1],idxStaRun.repVec.y[4,1],idxStaRun.repVec.y[4,2],idxStaRun.repVec.y[4,3],idxStaRun.repVec.y[4,4],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.leqU[1].y,idxStaRun.truNexHigAva.repU.y[1],idxStaRun.truNexHigAva.intSel[1].y,idxStaRun.truNexHigAva.repSelIdx.y[4,1],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].localCondition,idxStaRunUna.sta0ToSta[1].enableFire,idxStaRunUna.sta0ToSta[1].outPort.occupied,idxStaRunUna.sta0ToSta[2].localCondition,idxStaRunUna.sta0ToSta[2].enableFire,idxStaRunUna.sta0ToSta[2].outPort.occupied,idxStaRunUna.sta0ToSta[3].localCondition,idxStaRunUna.sta0ToSta[3].enableFire,idxStaRunUna.sta0ToSta[3].outPort.occupied,idxStaRunUna.sta0ToSta[4].localCondition,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.equOutInp[1,1].y,idxStaRunUna.truIdxNex.equOutInp[2,1].y,idxStaRunUna.truIdxNex.equOutInp[3,1].y,idxStaRunUna.truIdxNex.equOutInp[4,1].y,idxStaRunUna.truIdxNex.idxFirOcc[1].mulMin.y,idxStaRunUna.truIdxNex.idxFirOcc[1].intEqu.y,idxStaRunUna.truIdxNex.idxFirOcc[2].mulMin.y,idxStaRunUna.truIdxNex.idxFirOcc[2].intEqu.y,idxStaRunUna.truIdxNex.idxFirOcc[3].mulMin.y,idxStaRunUna.truIdxNex.idxFirOcc[3].intEqu.y,idxStaRunUna.truIdxNex.idxFirOcc[4].mulMin.y,idxStaRunUna.truIdxNex.idxFirOcc[4].intEqu.y,idxStaRunUna.truIdxNex.repFirOcc.y[1,1],idxStaRunUna.truIdxNex.repFirOcc.y[1,2],idxStaRunUna.truIdxNex.repFirOcc.y[1,3],idxStaRunUna.truIdxNex.repFirOcc.y[1,4],idxStaRunUna.truIdxNex.equFirInp[1,2].y,idxStaRunUna.truIdxNex.equFirInp[1,3].y,idxStaRunUna.truIdxNex.equFirInp[1,4].y,idxStaRunUna.truIdxNex.mulIsUnq[1].u[1],idxStaRunUna.truIdxNex.mulIsUnq[1].uTemp[2],idxStaRunUna.truIdxNex.mulIsUnq[1].uTemp[3],idxStaRunUna.truIdxNex.andValPre[1,1].y,idxStaRunUna.truIdxNex.couValPre[1].y,idxStaRunUna.truIdxNex.couValPre[1].booToInt[1].y,idxStaRunUna.truIdxNex.leqU[1].y,idxStaRunUna.truIdxNex.intSel[1].y,idxStaRunUna.truIdxNex.repSelIdx.y[4,1],idxStaRunUna.repVec.y[4,1],idxStaRunUna.repVec.y[4,2],idxStaRunUna.repVec.y[4,3],idxStaRunUna.repVec.y[4,4],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.leqU[1].y,idxStaRunUna.truNexHigAva.repU.y[1],idxStaRunUna.truNexHigAva.intSel[1].y,idxStaRunUna.truNexHigAva.repSelIdx.y[4,1],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.couValPre[1].y,idxSta.truNexHigAva.couValPre[1].booToInt[1].y,idxSta.truNexHigAva.andValPre[1,1].y,idxSta.truNexHigAva.equFirInp[1,4].y,idxSta.truNexHigAva.repFirOcc.y[1,4],idxSta.truNexHigAva.idxFirOcc[4].intEqu.y,idxSta.truNexHigAva.idxFirOcc[4].mulMin.y,idxSta.truNexHigAva.equOutInp[4,1].y,idxSta.truNexHigAva.mulIsUnq[1].uTemp[3],idxSta.truNexHigAva.equFirInp[1,3].y,idxSta.truNexHigAva.repFirOcc.y[1,3],idxSta.truNexHigAva.idxFirOcc[3].intEqu.y,idxSta.truNexHigAva.idxFirOcc[3].mulMin.y,idxSta.truNexHigAva.equOutInp[3,1].y,idxSta.truNexHigAva.mulIsUnq[1].uTemp[2],idxSta.truNexHigAva.equFirInp[1,2].y,idxSta.truNexHigAva.repFirOcc.y[1,2],idxSta.truNexHigAva.idxFirOcc[2].intEqu.y,idxSta.truNexHigAva.idxFirOcc[2].mulMin.y,idxSta.truNexHigAva.equOutInp[2,1].y,idxSta.truNexHigAva.mulIsUnq[1].u[1],idxSta.truNexHigAva.repFirOcc.y[1,1],idxSta.truNexHigAva.idxFirOcc[1].intEqu.y,idxSta.truNexHigAva.idxFirOcc[1].mulMin.y,idxSta.truNexHigAva.equOutInp[1,1].y,idxSta.truNexHigAva.uIdx[1],idxSta.idxFirAva.intEqu.y,idxStaUna.truNexHigAva.couValPre[1].y,idxStaUna.truNexHigAva.couValPre[1].booToInt[1].y,idxStaUna.truNexHigAva.andValPre[1,1].y,idxStaUna.truNexHigAva.equFirInp[1,4].y,idxStaUna.truNexHigAva.repFirOcc.y[1,4],idxStaUna.truNexHigAva.idxFirOcc[4].intEqu.y,idxStaUna.truNexHigAva.idxFirOcc[4].mulMin.y,idxStaUna.truNexHigAva.equOutInp[4,1].y,idxStaUna.truNexHigAva.mulIsUnq[1].uTemp[3],idxStaUna.truNexHigAva.equFirInp[1,3].y,idxStaUna.truNexHigAva.repFirOcc.y[1,3],idxStaUna.truNexHigAva.idxFirOcc[3].intEqu.y,idxStaUna.truNexHigAva.idxFirOcc[3].mulMin.y,idxStaUna.truNexHigAva.equOutInp[3,1].y,idxStaUna.truNexHigAva.mulIsUnq[1].uTemp[2],idxStaUna.truNexHigAva.equFirInp[1,2].y,idxStaUna.truNexHigAva.repFirOcc.y[1,2],idxStaUna.truNexHigAva.idxFirOcc[2].intEqu.y,idxStaUna.truNexHigAva.idxFirOcc[2].mulMin.y,idxStaUna.truNexHigAva.equOutInp[2,1].y,idxStaUna.truNexHigAva.mulIsUnq[1].u[1],idxStaUna.truNexHigAva.repFirOcc.y[1,1],idxStaUna.truNexHigAva.idxFirOcc[1].intEqu.y,idxStaUna.truNexHigAva.idxFirOcc[1].mulMin.y,idxStaUna.truNexHigAva.equOutInp[1,1].y,idxStaUna.truNexHigAva.uIdx[1],idxStaUna.idxFirAva.intEqu.y,idxStaRun.truNexHigAva.couValPre[1].y,idxStaRun.truNexHigAva.couValPre[1].booToInt[1].y,idxStaRun.truNexHigAva.andValPre[1,1].y,idxStaRun.truNexHigAva.equFirInp[1,4].y,idxStaRun.truNexHigAva.repFirOcc.y[1,4],idxStaRun.truNexHigAva.idxFirOcc[4].intEqu.y,idxStaRun.truNexHigAva.idxFirOcc[4].mulMin.y,idxStaRun.truNexHigAva.equOutInp[4,1].y,idxStaRun.truNexHigAva.mulIsUnq[1].uTemp[3],idxStaRun.truNexHigAva.equFirInp[1,3].y,idxStaRun.truNexHigAva.repFirOcc.y[1,3],idxStaRun.truNexHigAva.idxFirOcc[3].intEqu.y,idxStaRun.truNexHigAva.idxFirOcc[3].mulMin.y,idxStaRun.truNexHigAva.equOutInp[3,1].y,idxStaRun.truNexHigAva.mulIsUnq[1].uTemp[2],idxStaRun.truNexHigAva.equFirInp[1,2].y,idxStaRun.truNexHigAva.repFirOcc.y[1,2],idxStaRun.truNexHigAva.idxFirOcc[2].intEqu.y,idxStaRun.truNexHigAva.idxFirOcc[2].mulMin.y,idxStaRun.truNexHigAva.equOutInp[2,1].y,idxStaRun.truNexHigAva.mulIsUnq[1].u[1],idxStaRun.truNexHigAva.repFirOcc.y[1,1],idxStaRun.truNexHigAva.idxFirOcc[1].intEqu.y,idxStaRun.truNexHigAva.idxFirOcc[1].mulMin.y,idxStaRun.truNexHigAva.equOutInp[1,1].y,idxStaRun.truNexHigAva.uIdx[1],idxStaRun.idxFirAva.intEqu.y,idxStaRunUna.truNexHigAva.couValPre[1].y,idxStaRunUna.truNexHigAva.couValPre[1].booToInt[1].y,idxStaRunUna.truNexHigAva.andValPre[1,1].y,idxStaRunUna.truNexHigAva.equFirInp[1,4].y,idxStaRunUna.truNexHigAva.repFirOcc.y[1,4],idxStaRunUna.truNexHigAva.idxFirOcc[4].intEqu.y,idxStaRunUna.truNexHigAva.idxFirOcc[4].mulMin.y,idxStaRunUna.truNexHigAva.equOutInp[4,1].y,idxStaRunUna.truNexHigAva.mulIsUnq[1].uTemp[3],idxStaRunUna.truNexHigAva.equFirInp[1,3].y,idxStaRunUna.truNexHigAva.repFirOcc.y[1,3],idxStaRunUna.truNexHigAva.idxFirOcc[3].intEqu.y,idxStaRunUna.truNexHigAva.idxFirOcc[3].mulMin.y,idxStaRunUna.truNexHigAva.equOutInp[3,1].y,idxStaRunUna.truNexHigAva.mulIsUnq[1].uTemp[2],idxStaRunUna.truNexHigAva.equFirInp[1,2].y,idxStaRunUna.truNexHigAva.repFirOcc.y[1,2],idxStaRunUna.truNexHigAva.idxFirOcc[2].intEqu.y,idxStaRunUna.truNexHigAva.idxFirOcc[2].mulMin.y,idxStaRunUna.truNexHigAva.equOutInp[2,1].y,idxStaRunUna.truNexHigAva.mulIsUnq[1].u[1],idxStaRunUna.truNexHigAva.repFirOcc.y[1,1],idxStaRunUna.truNexHigAva.idxFirOcc[1].intEqu.y,idxStaRunUna.truNexHigAva.idxFirOcc[1].mulMin.y,idxStaRunUna.truNexHigAva.equOutInp[1,1].y,idxStaRunUna.truNexHigAva.uIdx[1],idxStaRunUna.idxFirAva.intEqu.y)
 * Number of discrete states: 136 (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,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 (1099):
 * Single equations (assignments): 957
 * Array equations: 0
 * Algorithm blocks: 0
 * 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.002749/0.9552, allocations: 1.833 MB / 1.508 GB, free: 3.234 MB / 1.354 GB
Notification: Performance of simCode: created initialization part: time 0.02035/0.9755, allocations: 14.9 MB / 1.523 GB, free: 4.305 MB / 1.37 GB
Notification: Performance of simCode: created event and clocks part: time 3.866e-05/0.9756, allocations: 12.06 kB / 1.523 GB, free: 4.293 MB / 1.37 GB
Notification: Performance of simCode: created simulation system equations: time 0.01117/0.9867, allocations: 7.664 MB / 1.53 GB, free: 12.64 MB / 1.385 GB
Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.005934/0.9927, allocations: 1.416 MB / 1.532 GB, free: 11.23 MB / 1.385 GB
Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.8743/1.867, allocations: 31.37 MB / 1.562 GB, free: 450.4 MB / 1.401 GB
Notification: Performance of simCode: some other stuff during SimCode phase: time 0.01989/1.887, allocations: 7.598 MB / 1.57 GB, free: 449.7 MB / 1.401 GB
Notification: Performance of simCode: all other stuff during SimCode phase: time 0.004271/1.891, allocations: 0.6638 MB / 1.571 GB, free: 449.7 MB / 1.401 GB
Notification: Performance of SimCode: time 2.304e-06/1.891, allocations: 0 / 1.571 GB, free: 449.7 MB / 1.401 GB
Notification: Performance of Templates: time 0.2251/2.116, allocations: 184 MB / 1.75 GB, free: 317.9 MB / 1.401 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  -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/jenkins/ws/OpenModelicaLibraryTestingWork/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:ena.y,idxSta.y,idxStaRun.y,idxStaRunUna.y,idxStaUna.y,time,u1AvaSta[1].y,u1AvaSta[2].y,u1AvaSta[3].y,u1AvaSta[4].y,u1DowHol.y,u1UpHol.y
[Calling sys.exit(0), Time elapsed: 22.12113109510392]