Running command: translateModel(Modelica.StateGraph.Examples.ControlledTanks,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|tank1.level|tank2.level|shut.on|shut.reset.1.|shut.reset.2.|start.on|start.reset.1.|start.reset.2.|stop.on|stop.reset.1.|stop.reset.2.|tankController.T1.enableFire|tankController.T2.enableFire|tankController.T3.enableFire|tankController.T4.enableFire|tankController.T5.enableFire|tankController.T6.enableFire|tankController.makeProduct.T1.enableFire|tankController.makeProduct.T2.enableFire|tankController.makeProduct.T3.enableFire|tankController.makeProduct.T4.enableFire",fileNamePrefix="Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks") Notification: Performance of loadModel(Modelica): time 1.81/1.81, allocations: 194.9 MB / 208.4 MB, free: 3.168 MB / 170.7 MB Notification: Performance of FrontEnd - loaded program: time 2.626e-05/2.642e-05, allocations: 4 kB / 255.3 MB, free: 3.203 MB / 202.7 MB Notification: Performance of FrontEnd - Absyn->SCode: time 0.07722/0.07726, allocations: 44.5 MB / 299.8 MB, free: 6.645 MB / 250.7 MB Notification: Performance of FrontEnd - scodeFlatten: time 0.3289/0.4062, allocations: 75.45 MB / 375.3 MB, free: 22.44 MB / 314.7 MB Notification: Performance of FrontEnd - mkProgramGraph: time 0.0001981/0.4064, allocations: 70.09 kB / 375.3 MB, free: 22.44 MB / 314.7 MB Notification: Performance of FrontEnd - DAE generated: time 0.06746/0.4739, allocations: 19.95 MB / 395.3 MB, free: 20.66 MB / 314.7 MB Notification: Performance of FrontEnd: time 3.189e-06/0.474, allocations: 0 / 395.3 MB, free: 20.66 MB / 314.7 MB Notification: Performance of Transformations before backend: time 9.006e-05/0.4741, allocations: 23.34 kB / 395.3 MB, free: 20.66 MB / 314.7 MB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 292 * Number of variables: 292 Notification: Performance of Generate backend data structure: time 0.003311/0.4774, allocations: 1.287 MB / 396.6 MB, free: 19.7 MB / 314.7 MB Notification: Performance of prepare preOptimizeDAE: time 5.594e-05/0.4775, allocations: 7.875 kB / 396.6 MB, free: 19.7 MB / 314.7 MB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.0005395/0.478, allocations: 129 kB / 396.7 MB, free: 19.64 MB / 314.7 MB Notification: Performance of preOpt evaluateParameters (simulation): time 0.002035/0.4801, allocations: 0.6192 MB / 397.3 MB, free: 19.36 MB / 314.7 MB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.0003165/0.4805, allocations: 185.7 kB / 397.5 MB, free: 19.26 MB / 314.7 MB Notification: Performance of preOpt expandDerOperator (simulation): time 0.0004386/0.4809, allocations: 134 kB / 397.7 MB, free: 19.26 MB / 314.7 MB Notification: Performance of preOpt clockPartitioning (simulation): time 0.00503/0.486, allocations: 1.314 MB / 399 MB, free: 18.94 MB / 314.7 MB Notification: Performance of preOpt findStateOrder (simulation): time 6.462e-05/0.4861, allocations: 7.844 kB / 399 MB, free: 18.94 MB / 314.7 MB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.0002819/0.4864, allocations: 49.5 kB / 399 MB, free: 18.94 MB / 314.7 MB Notification: Performance of preOpt inlineArrayEqn (simulation): time 9.898e-05/0.4865, allocations: 44.67 kB / 399.1 MB, free: 18.93 MB / 314.7 MB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.004321/0.4908, allocations: 0.9218 MB / 400 MB, free: 18.9 MB / 314.7 MB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.01105/0.5019, allocations: 5.073 MB / 405.1 MB, free: 15.64 MB / 314.7 MB Notification: Performance of preOpt comSubExp (simulation): time 0.003292/0.5053, allocations: 0.9816 MB / 406.1 MB, free: 15.26 MB / 314.7 MB Notification: Performance of preOpt resolveLoops (simulation): time 0.001669/0.507, allocations: 436.7 kB / 406.5 MB, free: 15.24 MB / 314.7 MB Notification: Performance of preOpt evalFunc (simulation): time 0.0001927/0.5072, allocations: 97.58 kB / 406.6 MB, free: 15.14 MB / 314.7 MB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.002101/0.5093, allocations: 0.6944 MB / 407.3 MB, free: 14.79 MB / 314.7 MB Notification: Performance of pre-optimization done (n=110): time 8.557e-06/0.5094, allocations: 4 kB / 407.3 MB, free: 14.79 MB / 314.7 MB Notification: Performance of matching and sorting (n=110): time 0.00403/0.5134, allocations: 1.064 MB / 408.3 MB, free: 14.43 MB / 314.7 MB Notification: Performance of inlineWhenForInitialization (initialization): time 0.0001972/0.5137, allocations: 399 kB / 408.7 MB, free: 13.99 MB / 314.7 MB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.001206/0.5149, allocations: 468.4 kB / 409.2 MB, free: 13.79 MB / 314.7 MB Notification: Performance of collectPreVariables (initialization): time 0.0003633/0.5153, allocations: 93.88 kB / 409.3 MB, free: 13.75 MB / 314.7 MB Notification: Performance of collectInitialEqns (initialization): time 0.000491/0.5158, allocations: 476.5 kB / 409.7 MB, free: 13.4 MB / 314.7 MB Notification: Performance of collectInitialBindings (initialization): time 0.0004946/0.5163, allocations: 270.6 kB / 410 MB, free: 13.23 MB / 314.7 MB Notification: Performance of simplifyInitialFunctions (initialization): time 0.0001696/0.5165, allocations: 29.75 kB / 410 MB, free: 13.23 MB / 314.7 MB Notification: Performance of setup shared object (initialization): time 0.0005323/0.5171, allocations: 370.3 kB / 410.4 MB, free: 28.89 MB / 330.7 MB Notification: Performance of preBalanceInitialSystem (initialization): time 0.001848/0.519, allocations: 389.5 kB / 410.8 MB, free: 28.88 MB / 330.7 MB Notification: Performance of partitionIndependentBlocks (initialization): time 0.002063/0.521, allocations: 0.693 MB / 411.5 MB, free: 28.5 MB / 330.7 MB Notification: Performance of analyzeInitialSystem (initialization): time 0.002045/0.5231, allocations: 0.6497 MB / 412.1 MB, free: 28.13 MB / 330.7 MB Notification: Performance of solveInitialSystemEqSystem (initialization): time 1.763e-05/0.5232, allocations: 3.906 kB / 412.1 MB, free: 28.13 MB / 330.7 MB Notification: Performance of matching and sorting (n=197) (initialization): time 0.005405/0.5286, allocations: 1.506 MB / 413.6 MB, free: 27.59 MB / 330.7 MB Notification: Performance of prepare postOptimizeDAE: time 0.0002707/0.5289, allocations: 266.4 kB / 413.9 MB, free: 27.3 MB / 330.7 MB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 3.141e-05/0.5289, allocations: 7.812 kB / 413.9 MB, free: 27.3 MB / 330.7 MB Notification: Performance of postOpt tearingSystem (initialization): time 6.408e-05/0.529, allocations: 19.53 kB / 413.9 MB, free: 27.3 MB / 330.7 MB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.001181/0.5302, allocations: 148.1 kB / 414.1 MB, free: 27.25 MB / 330.7 MB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 5.375e-05/0.5303, allocations: 19.72 kB / 414.1 MB, free: 27.25 MB / 330.7 MB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.001286/0.5316, allocations: 95.64 kB / 414.2 MB, free: 27.21 MB / 330.7 MB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.00029/0.5319, allocations: 72.41 kB / 414.2 MB, free: 27.21 MB / 330.7 MB Notification: Model statistics after passing the back-end for initialization: * Number of independent subsystems: 41 * Number of states: 0 () * Number of discrete variables: 149 ($PRE.tankController.makeProduct.T1.enableFire,$PRE.tankController.makeProduct.T3.enableFire,$PRE.tankController.makeProduct.T2.enableFire,$PRE.tankController.makeProduct.T4.enableFire,$PRE.tankController.T1.enableFire,$PRE.tankController.T2.enableFire,$PRE.tankController.T3.enableFire,$PRE.tankController.T4.enableFire,$PRE.tankController.T5.enableFire,$PRE.tankController.T6.enableFire,$whenCondition3,$whenCondition2,$whenCondition1,$whenCondition5,$whenCondition4,$whenCondition6,$whenCondition8,$whenCondition7,$whenCondition9,$whenCondition11,$whenCondition10,$whenCondition12,$PRE.tankController.s1.localActive,tankController.s1.localActive,tankController.s1.inPort[2].occupied,$PRE.tankController.s1.newActive,tankController.s1.newActive,$PRE.tankController.s1.oldActive,tankController.s1.oldActive,tankController.s1.active,tankController.makeProduct.stateGraphRoot.suspend,tankController.makeProduct.stateGraphRoot.resume,tankController.makeProduct.active,$PRE.tankController.makeProduct.newActive,tankController.makeProduct.newActive,tankController.makeProduct.activeSteps,$PRE.tankController.makeProduct.fillTank1.localActive,tankController.makeProduct.fillTank1.localActive,$PRE.tankController.makeProduct.fillTank1.newActive,tankController.makeProduct.fillTank1.newActive,$PRE.tankController.makeProduct.fillTank1.oldActive,tankController.makeProduct.fillTank1.oldActive,tankController.makeProduct.fillTank1.active,tankController.makeProduct.T1.enableFire,tankController.makeProduct.T1.condition,$PRE.tankController.makeProduct.fillTank2.localActive,tankController.makeProduct.fillTank2.localActive,$PRE.tankController.makeProduct.fillTank2.newActive,tankController.makeProduct.fillTank2.newActive,$PRE.tankController.makeProduct.fillTank2.oldActive,tankController.makeProduct.fillTank2.oldActive,tankController.makeProduct.fillTank2.active,tankController.makeProduct.T3.enableFire,tankController.makeProduct.T3.condition,$PRE.tankController.makeProduct.emptyTank2.localActive,tankController.makeProduct.emptyTank2.localActive,$PRE.tankController.makeProduct.emptyTank2.newActive,tankController.makeProduct.emptyTank2.newActive,$PRE.tankController.makeProduct.emptyTank2.oldActive,tankController.makeProduct.emptyTank2.oldActive,tankController.makeProduct.emptyTank2.active,$PRE.tankController.makeProduct.wait1.localActive,tankController.makeProduct.wait1.localActive,$PRE.tankController.makeProduct.wait1.newActive,tankController.makeProduct.wait1.newActive,$PRE.tankController.makeProduct.wait1.oldActive,tankController.makeProduct.wait1.oldActive,tankController.makeProduct.wait1.active,tankController.makeProduct.T2.enableFire,tankController.makeProduct.T2.fire,$PRE.tankController.makeProduct.T2.t_start,tankController.makeProduct.T2.t_start,$PRE.tankController.makeProduct.wait2.localActive,tankController.makeProduct.wait2.localActive,$PRE.tankController.makeProduct.wait2.newActive,tankController.makeProduct.wait2.newActive,$PRE.tankController.makeProduct.wait2.oldActive,tankController.makeProduct.wait2.oldActive,tankController.makeProduct.wait2.active,tankController.makeProduct.T4.enableFire,tankController.makeProduct.T4.fire,$PRE.tankController.makeProduct.T4.t_start,tankController.makeProduct.T4.t_start,tankController.T1.enableFire,tankController.T2.enableFire,tankController.T2.condition,tankController.T3.enableFire,$PRE.tankController.s2.localActive,tankController.s2.localActive,tankController.s2.outPort[2].available,$PRE.tankController.s2.newActive,tankController.s2.newActive,$PRE.tankController.s2.oldActive,tankController.s2.oldActive,tankController.s2.active,tankController.T4.enableFire,tankController.T5.enableFire,$PRE.tankController.emptyTanks.localActive,tankController.emptyTanks.localActive,$PRE.tankController.emptyTanks.newActive,tankController.emptyTanks.newActive,$PRE.tankController.emptyTanks.oldActive,tankController.emptyTanks.oldActive,tankController.emptyTanks.active,tankController.T6.enableFire,tankController.T6.condition,tankController.valve2,tankController.valve3,$PRE.start.reset[1],start.reset[1],$PRE.start.reset[2],start.reset[2],$PRE.start.on,start.on,$PRE.start.table.y,start.table.y,$PRE.start.table.nextTime,start.table.nextTime,$PRE.start.table.index,start.table.index,$PRE.stop.reset[1],stop.reset[1],$PRE.stop.reset[2],stop.reset[2],$PRE.stop.on,stop.on,$PRE.stop.table.y,stop.table.y,$PRE.stop.table.nextTime,stop.table.nextTime,$PRE.stop.table.index,stop.table.index,$PRE.shut.reset[1],shut.reset[1],$PRE.shut.reset[2],shut.reset[2],$PRE.shut.on,shut.on,$PRE.shut.table.y,shut.table.y,$PRE.shut.table.nextTime,shut.table.nextTime,$PRE.shut.table.index,shut.table.index,stateGraphRoot.activeSteps,stateGraphRoot.resume,stateGraphRoot.suspend,tankController.makeProduct.T4.condition,tankController.makeProduct.T2.condition) * Number of discrete states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for initialization (185): * Single equations (assignments): 176 * Array equations: 0 * Algorithm blocks: 9 * Record equations: 0 * When equations: 0 * If-equations: 0 * Equation systems (linear and non-linear blocks): 0 * Torn equation systems: 0 * Mixed (continuous/discrete) equation systems: 0 Notification: Performance of prepare postOptimizeDAE: time 0.0008815/0.5328, allocations: 473.7 kB / 414.7 MB, free: 26.82 MB / 330.7 MB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.0003011/0.5332, allocations: 74.31 kB / 414.8 MB, free: 26.79 MB / 330.7 MB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.004562/0.5378, allocations: 1.207 MB / 416 MB, free: 26.41 MB / 330.7 MB Notification: Performance of postOpt inlineArrayEqn (simulation): time 1.997e-05/0.5378, allocations: 15.72 kB / 416 MB, free: 26.41 MB / 330.7 MB Notification: Performance of postOpt constantLinearSystem (simulation): time 1.191e-05/0.5379, allocations: 0 / 416 MB, free: 26.41 MB / 330.7 MB Notification: Performance of postOpt simplifysemiLinear (simulation): time 2.437e-05/0.5379, allocations: 3.984 kB / 416 MB, free: 26.4 MB / 330.7 MB Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.008792/0.5467, allocations: 2.467 MB / 418.5 MB, free: 25.45 MB / 330.7 MB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 1.3e-05/0.5468, allocations: 4 kB / 418.5 MB, free: 25.44 MB / 330.7 MB Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.0007736/0.5476, allocations: 66.48 kB / 418.5 MB, free: 25.42 MB / 330.7 MB Notification: Performance of postOpt tearingSystem (simulation): time 2.453e-05/0.5476, allocations: 3.938 kB / 418.5 MB, free: 25.42 MB / 330.7 MB Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.0001758/0.5478, allocations: 34.94 kB / 418.6 MB, free: 25.41 MB / 330.7 MB Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 1.636e-05/0.5479, allocations: 7.922 kB / 418.6 MB, free: 25.41 MB / 330.7 MB Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 3.392e-06/0.5479, allocations: 0 / 418.6 MB, free: 25.41 MB / 330.7 MB Notification: Performance of postOpt symbolicJacobian (simulation): time 0.006627/0.5545, allocations: 1.764 MB / 420.3 MB, free: 24.92 MB / 330.7 MB Notification: Performance of postOpt removeConstants (simulation): time 0.0009479/0.5555, allocations: 242.5 kB / 420.6 MB, free: 24.75 MB / 330.7 MB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.0004089/0.556, allocations: 42.55 kB / 420.6 MB, free: 24.75 MB / 330.7 MB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.0004787/0.5565, allocations: 48.97 kB / 420.7 MB, free: 24.74 MB / 330.7 MB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.0003607/0.5569, allocations: 146.5 kB / 420.8 MB, free: 24.68 MB / 330.7 MB Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.0001144/0.557, allocations: 44.72 kB / 420.9 MB, free: 24.67 MB / 330.7 MB Notification: Performance of sorting global known variables: time 0.0004081/0.5574, allocations: 269.7 kB / 421.1 MB, free: 24.57 MB / 330.7 MB Notification: Performance of sort global known variables: time 8.32e-07/0.5574, allocations: 3.938 kB / 421.1 MB, free: 24.56 MB / 330.7 MB Notification: Performance of remove unused functions: time 0.001117/0.5585, allocations: 276.7 kB / 421.4 MB, free: 24.54 MB / 330.7 MB Notification: Model statistics after passing the back-end for simulation: * Number of independent subsystems: 1 * Number of states: 2 (tank1.level,tank2.level) * Number of discrete variables: 95 (tankController.makeProduct.stateGraphRoot.suspend,tankController.emptyTanks.localActive,tankController.s2.localActive,tankController.makeProduct.T4.enableFire,tankController.makeProduct.wait2.localActive,tankController.makeProduct.T2.enableFire,tankController.makeProduct.wait1.localActive,tankController.makeProduct.emptyTank2.localActive,tankController.makeProduct.fillTank2.localActive,tankController.makeProduct.fillTank1.localActive,tankController.s1.localActive,$cse1,$cse2,$cse4,$cse6,$cse7,$whenCondition3,$whenCondition2,$whenCondition1,$whenCondition5,$whenCondition4,$whenCondition6,$whenCondition8,$whenCondition7,$whenCondition9,$whenCondition11,$whenCondition10,$whenCondition12,tankController.s1.inPort[2].occupied,tankController.s1.newActive,tankController.s1.oldActive,tankController.s1.active,tankController.makeProduct.stateGraphRoot.resume,tankController.makeProduct.active,tankController.makeProduct.newActive,tankController.makeProduct.activeSteps,tankController.makeProduct.fillTank1.newActive,tankController.makeProduct.fillTank1.oldActive,tankController.makeProduct.fillTank1.active,tankController.makeProduct.T1.enableFire,tankController.makeProduct.T1.condition,tankController.makeProduct.fillTank2.newActive,tankController.makeProduct.fillTank2.oldActive,tankController.makeProduct.fillTank2.active,tankController.makeProduct.T3.enableFire,tankController.makeProduct.T3.condition,tankController.makeProduct.emptyTank2.newActive,tankController.makeProduct.emptyTank2.oldActive,tankController.makeProduct.emptyTank2.active,tankController.makeProduct.wait1.newActive,tankController.makeProduct.wait1.oldActive,tankController.makeProduct.wait1.active,tankController.makeProduct.T2.fire,tankController.makeProduct.T2.t_start,tankController.makeProduct.wait2.newActive,tankController.makeProduct.wait2.oldActive,tankController.makeProduct.wait2.active,tankController.makeProduct.T4.fire,tankController.makeProduct.T4.t_start,tankController.T1.enableFire,tankController.T2.enableFire,tankController.T2.condition,tankController.T3.enableFire,tankController.s2.outPort[2].available,tankController.s2.newActive,tankController.s2.oldActive,tankController.s2.active,tankController.T4.enableFire,tankController.T5.enableFire,tankController.emptyTanks.newActive,tankController.emptyTanks.oldActive,tankController.emptyTanks.active,tankController.T6.enableFire,tankController.T6.condition,tankController.valve2,tankController.valve3,start.reset[1],start.reset[2],start.on,start.table.y,start.table.nextTime,start.table.index,stop.reset[1],stop.reset[2],stop.on,stop.table.y,stop.table.nextTime,stop.table.index,shut.reset[1],shut.reset[2],shut.on,shut.table.y,shut.table.nextTime,shut.table.index,stateGraphRoot.activeSteps) * Number of discrete states: 36 (tankController.s1.newActive,tankController.makeProduct.fillTank1.newActive,tankController.makeProduct.fillTank2.newActive,tankController.makeProduct.emptyTank2.newActive,tankController.makeProduct.wait1.newActive,tankController.makeProduct.wait2.newActive,tankController.makeProduct.newActive,tankController.s2.newActive,tankController.emptyTanks.newActive,start.table.y,start.table.nextTime,start.table.index,$whenCondition12,$whenCondition11,$whenCondition10,start.on,start.reset[1],start.reset[2],stop.table.y,stop.table.nextTime,stop.table.index,$whenCondition9,$whenCondition8,$whenCondition7,stop.on,stop.reset[1],stop.reset[2],shut.table.y,shut.table.nextTime,shut.table.index,$whenCondition6,$whenCondition5,$whenCondition4,shut.on,shut.reset[1],shut.reset[2]) * Top-level inputs: 0 Notification: Strong component statistics for simulation (100): * Single equations (assignments): 84 * Array equations: 0 * Algorithm blocks: 6 * Record equations: 0 * When equations: 10 * If-equations: 0 * Equation systems (linear and non-linear blocks): 0 * Torn equation systems: 0 * Mixed (continuous/discrete) equation systems: 0 Notification: Performance of Backend phase and start with SimCode phase: time 0.0004807/0.559, allocations: 285.1 kB / 421.7 MB, free: 24.38 MB / 330.7 MB Notification: Performance of simCode: created initialization part: time 0.002386/0.5614, allocations: 1.553 MB / 423.2 MB, free: 23.54 MB / 330.7 MB Notification: Performance of simCode: created event and clocks part: time 4.163e-06/0.5615, allocations: 0 / 423.2 MB, free: 23.54 MB / 330.7 MB Notification: Performance of simCode: created simulation system equations: time 0.001151/0.5626, allocations: 0.8598 MB / 424.1 MB, free: 22.92 MB / 330.7 MB Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.0005723/0.5632, allocations: 84.53 kB / 424.2 MB, free: 22.88 MB / 330.7 MB Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.002817/0.5661, allocations: 1.329 MB / 425.5 MB, free: 22.15 MB / 330.7 MB Notification: Performance of simCode: some other stuff during SimCode phase: time 0.000785/0.5669, allocations: 1.047 MB / 426.5 MB, free: 21.29 MB / 330.7 MB Notification: Performance of simCode: all other stuff during SimCode phase: time 0.0003699/0.5673, allocations: 81.92 kB / 426.6 MB, free: 21.27 MB / 330.7 MB Notification: Performance of SimCode: time 1.831e-06/0.5673, allocations: 4 kB / 426.6 MB, free: 21.26 MB / 330.7 MB Notification: Performance of Templates: time 0.01977/0.5871, allocations: 12.81 MB / 439.4 MB, free: 14.62 MB / 330.7 MB "Error: Could not read variable shut.table.index in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable shut.table.index from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable shut.table.n in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable shut.table.n from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable shut.table.nextTime in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable shut.table.nextTime from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable shut.table.startValue in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable shut.table.startValue from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable shut.table.table[1] in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable shut.table.table[1] from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable shut.table.table[2] in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable shut.table.table[2] from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable shut.table.y in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable shut.table.y from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable start.table.index in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable start.table.index from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable start.table.n in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable start.table.n from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable start.table.nextTime in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable start.table.nextTime from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable start.table.startValue in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable start.table.startValue from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable start.table.table[1] in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable start.table.table[1] from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable start.table.table[2] in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable start.table.table[2] from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable start.table.table[3] in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable start.table.table[3] from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable start.table.table[4] in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable start.table.table[4] from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable start.table.y in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable start.table.y from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable stop.table.index in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable stop.table.index from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable stop.table.n in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable stop.table.n from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable stop.table.nextTime in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable stop.table.nextTime from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable stop.table.startValue in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable stop.table.startValue from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable stop.table.table[1] in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable stop.table.table[1] from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable stop.table.table[2] in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable stop.table.table[2] from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable stop.table.table[3] in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable stop.table.table[3] from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable stop.table.table[4] in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable stop.table.table[4] from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable stop.table.y in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable stop.table.y from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tank1.g in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tank1.g from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tank2.g in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tank2.g from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.T1.t_dummy in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.T1.t_dummy from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.T1.t_start in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.T1.t_start from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.T2.t_dummy in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.T2.t_dummy from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.T2.t_start in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.T2.t_start from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.T3.t_dummy in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.T3.t_dummy from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.T3.t_start in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.T3.t_start from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.T4.t_dummy in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.T4.t_dummy from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.T4.t_start in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.T4.t_start from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.T5.t_dummy in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.T5.t_dummy from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.T5.t_start in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.T5.t_start from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.T6.t_dummy in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.T6.t_dummy from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.T6.t_start in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.T6.t_start from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.emptyTanks.oldActive in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.emptyTanks.oldActive from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.emptyTanks.outerStatePort.subgraphStatePort.activeSteps in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.emptyTanks.outerStatePort.subgraphStatePort.activeSteps from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.emptyTanks.outerStatePort.subgraphStatePort.resume in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.emptyTanks.outerStatePort.subgraphStatePort.resume from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.emptyTanks.outerStatePort.subgraphStatePort.suspend in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.emptyTanks.outerStatePort.subgraphStatePort.suspend from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.makeProduct.T1.t_dummy in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.makeProduct.T1.t_dummy from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.makeProduct.T1.t_start in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.makeProduct.T1.t_start from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.makeProduct.T2.t_dummy in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.makeProduct.T2.t_dummy from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.makeProduct.T2.t_start in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.makeProduct.T2.t_start from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.makeProduct.T3.t_dummy in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.makeProduct.T3.t_dummy from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.makeProduct.T3.t_start in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.makeProduct.T3.t_start from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.makeProduct.T4.t_dummy in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.makeProduct.T4.t_dummy from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.makeProduct.T4.t_start in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.makeProduct.T4.t_start from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.makeProduct.activeSteps in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.makeProduct.activeSteps from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.makeProduct.emptyTank2.oldActive in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.makeProduct.emptyTank2.oldActive from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.makeProduct.emptyTank2.outerStatePort.subgraphStatePort.activeSteps in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.makeProduct.emptyTank2.outerStatePort.subgraphStatePort.activeSteps from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.makeProduct.fillTank1.oldActive in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.makeProduct.fillTank1.oldActive from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.makeProduct.fillTank1.outerStatePort.subgraphStatePort.activeSteps in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.makeProduct.fillTank1.outerStatePort.subgraphStatePort.activeSteps from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.makeProduct.fillTank2.oldActive in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.makeProduct.fillTank2.oldActive from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.makeProduct.fillTank2.outerStatePort.subgraphStatePort.activeSteps in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.makeProduct.fillTank2.outerStatePort.subgraphStatePort.activeSteps from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.makeProduct.wait1.oldActive in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.makeProduct.wait1.oldActive from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.makeProduct.wait1.outerStatePort.subgraphStatePort.activeSteps in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.makeProduct.wait1.outerStatePort.subgraphStatePort.activeSteps from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.makeProduct.wait2.oldActive in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.makeProduct.wait2.oldActive from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.makeProduct.wait2.outerStatePort.subgraphStatePort.activeSteps in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.makeProduct.wait2.outerStatePort.subgraphStatePort.activeSteps from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.makeProduct.wait2.outerStatePort.subgraphStatePort.resume in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.makeProduct.wait2.outerStatePort.subgraphStatePort.resume from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.makeProduct.wait2.outerStatePort.subgraphStatePort.suspend in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.makeProduct.wait2.outerStatePort.subgraphStatePort.suspend from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.s1.oldActive in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.s1.oldActive from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.s1.outerStatePort.subgraphStatePort.activeSteps in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.s1.outerStatePort.subgraphStatePort.activeSteps from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.s1.outerStatePort.subgraphStatePort.resume in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.s1.outerStatePort.subgraphStatePort.resume from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.s1.outerStatePort.subgraphStatePort.suspend in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.s1.outerStatePort.subgraphStatePort.suspend from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.s2.oldActive in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.s2.oldActive from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.s2.outerStatePort.subgraphStatePort.activeSteps in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.s2.outerStatePort.subgraphStatePort.activeSteps from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.s2.outerStatePort.subgraphStatePort.resume in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.s2.outerStatePort.subgraphStatePort.resume from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! Error: Could not read variable tankController.s2.outerStatePort.subgraphStatePort.suspend in file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat. Warning: Get data of variable tankController.s2.outerStatePort.subgraphStatePort.suspend from file Modelica_3.2.2_cpp_Modelica.StateGraph.Examples.ControlledTanks_res.mat failed! " Variables in the reference:time,tank1.level,tank2.level,shut.on,shut.reset[1],shut.reset[2],start.on,start.reset[1],start.reset[2],stop.on,stop.reset[1],stop.reset[2],tankController.T1.enableFire,tankController.T2.enableFire,tankController.T3.enableFire,tankController.T4.enableFire,tankController.T5.enableFire,tankController.T6.enableFire,tankController.makeProduct.T1.enableFire,tankController.makeProduct.T2.enableFire,tankController.makeProduct.T3.enableFire,tankController.makeProduct.T4.enableFire Variables in the result:shut.buttonTimeTable[1],shut.buttonTimeTable[2],shut.on,shut.reset[1],shut.reset[2],source.maxflow,source.outflow1.Fo,source.outflow1.open,start.buttonTimeTable[1],start.buttonTimeTable[2],start.buttonTimeTable[3],start.buttonTimeTable[4],start.on,start.reset[1],start.reset[2],stateGraphRoot.activeSteps,stateGraphRoot.resume,stateGraphRoot.subgraphStatePort.activeSteps,stateGraphRoot.subgraphStatePort.resume,stateGraphRoot.subgraphStatePort.suspend,stateGraphRoot.suspend,stop.buttonTimeTable[1],stop.buttonTimeTable[2],stop.buttonTimeTable[3],stop.buttonTimeTable[4],stop.on,stop.reset[1],stop.reset[2],tank1.A,tank1.a,der(tank1.level),tank1.hmax,tank1.inflow1.Fi,tank1.level,tank1.levelSensor,tank1.outflow1.Fo,tank1.outflow1.open,tank2.A,tank2.a,der(tank2.level),tank2.hmax,tank2.inflow1.Fi,tank2.level,tank2.levelSensor,tank2.outflow1.Fo,tank2.outflow1.open,tankController.T1.condition,tankController.T1.enableFire,tankController.T1.enableTimer,tankController.T1.t,tankController.T1.waitTime,tankController.T2.condition,tankController.T2.enableFire,tankController.T2.enableTimer,tankController.T2.t,tankController.T2.waitTime,tankController.T3.condition,tankController.T3.enableFire,tankController.T3.enableTimer,tankController.T3.t,tankController.T3.waitTime,tankController.T4.condition,tankController.T4.enableFire,tankController.T4.enableTimer,tankController.T4.t,tankController.T4.waitTime,tankController.T5.condition,tankController.T5.enableFire,tankController.T5.enableTimer,tankController.T5.t,tankController.T5.waitTime,tankController.T6.condition,tankController.T6.enableFire,tankController.T6.enableTimer,tankController.T6.t,tankController.T6.waitTime,tankController.emptyTanks.active,tankController.emptyTanks.nIn,tankController.emptyTanks.nOut,tankController.level1,tankController.level2,tankController.limit,tankController.makeProduct.T1.condition,tankController.makeProduct.T1.enableFire,tankController.makeProduct.T1.enableTimer,tankController.makeProduct.T1.t,tankController.makeProduct.T1.waitTime,tankController.makeProduct.T2.condition,tankController.makeProduct.T2.enableFire,tankController.makeProduct.T2.enableTimer,tankController.makeProduct.T2.t,tankController.makeProduct.T2.waitTime,tankController.makeProduct.T3.condition,tankController.makeProduct.T3.enableFire,tankController.makeProduct.T3.enableTimer,tankController.makeProduct.T3.t,tankController.makeProduct.T3.waitTime,tankController.makeProduct.T4.condition,tankController.makeProduct.T4.enableFire,tankController.makeProduct.T4.enableTimer,tankController.makeProduct.T4.t,tankController.makeProduct.T4.waitTime,tankController.makeProduct.active,tankController.makeProduct.emptyTank2.active,tankController.makeProduct.emptyTank2.nIn,tankController.makeProduct.emptyTank2.nOut,tankController.makeProduct.fillTank1.active,tankController.makeProduct.fillTank1.nIn,tankController.makeProduct.fillTank1.nOut,tankController.makeProduct.fillTank2.active,tankController.makeProduct.fillTank2.nIn,tankController.makeProduct.fillTank2.nOut,tankController.makeProduct.level1,tankController.makeProduct.limit,tankController.makeProduct.nResume,tankController.makeProduct.nSuspend,tankController.makeProduct.outerState.subgraphStatePort.activeSteps,tankController.makeProduct.outerState.subgraphStatePort.resume,tankController.makeProduct.outerState.subgraphStatePort.suspend,tankController.makeProduct.stateGraphRoot.resume,tankController.makeProduct.stateGraphRoot.subgraphStatePort.activeSteps,tankController.makeProduct.stateGraphRoot.subgraphStatePort.resume,tankController.makeProduct.stateGraphRoot.subgraphStatePort.suspend,tankController.makeProduct.stateGraphRoot.suspend,tankController.makeProduct.wait1.active,tankController.makeProduct.wait1.nIn,tankController.makeProduct.wait1.nOut,tankController.makeProduct.wait2.active,tankController.makeProduct.wait2.nIn,tankController.makeProduct.wait2.nOut,tankController.makeProduct.waitTime,tankController.s1.active,tankController.s1.nIn,tankController.s1.nOut,tankController.s2.active,tankController.s2.nIn,tankController.s2.nOut,tankController.setValve1.y,tankController.setValve2.y,tankController.setValve3.y,tankController.shut,tankController.start,tankController.stop,tankController.valve1,tankController.valve2,tankController.valve3,tankController.waitTime,time,valve1.inflow1.Fi,valve1.outflow1.Fo,valve1.outflow1.open,valve1.valveControl,valve2.inflow1.Fi,valve2.outflow1.Fo,valve2.outflow1.open,valve2.valveControl,valve3.inflow1.Fi,valve3.outflow1.Fo,valve3.outflow1.open,valve3.valveControl