Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr PNlib_PNlib.Examples.ExtTest.ArcswithPCtoTC2.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/PNlib 3.0.0-master/package.mo", uses=false) Using package PNlib with version 3.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/PNlib 3.0.0-master/package.mo) Using package Modelica with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo) Using package Complex with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo) Using package ModelicaServices with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo) Running command: translateModel(PNlib.Examples.ExtTest.ArcswithPCtoTC2,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="P1.t|P2.t|P3.t|P4.t|P5.t|P6.t|P7.t|P8.t|T1.fire|T1.instantaneousSpeed|T1.maximumSpeed|T2.fire|T2.instantaneousSpeed|T2.maximumSpeed|T3.fire|T3.instantaneousSpeed|T3.maximumSpeed|T4.fire|T4.instantaneousSpeed|T4.maximumSpeed|T5.fire|T5.instantaneousSpeed|T5.maximumSpeed|time",fileNamePrefix="PNlib_PNlib.Examples.ExtTest.ArcswithPCtoTC2") translateModel(PNlib.Examples.ExtTest.ArcswithPCtoTC2,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="P1.t|P2.t|P3.t|P4.t|P5.t|P6.t|P7.t|P8.t|T1.fire|T1.instantaneousSpeed|T1.maximumSpeed|T2.fire|T2.instantaneousSpeed|T2.maximumSpeed|T3.fire|T3.instantaneousSpeed|T3.maximumSpeed|T4.fire|T4.instantaneousSpeed|T4.maximumSpeed|T5.fire|T5.instantaneousSpeed|T5.maximumSpeed|time",fileNamePrefix="PNlib_PNlib.Examples.ExtTest.ArcswithPCtoTC2") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001261/0.001261, allocations: 109.9 kB / 16.41 MB, free: 6.449 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo): time 0.001218/0.001218, allocations: 188.3 kB / 17.35 MB, free: 5.738 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo): time 1.35/1.35, allocations: 222.9 MB / 241 MB, free: 15.18 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/PNlib 3.0.0-master/package.mo): time 0.07541/0.07541, allocations: 16.73 MB / 307.9 MB, free: 14.24 MB / 254.1 MB Notification: Performance of FrontEnd - loaded program: time 0.001316/0.001316, allocations: 63.89 kB / 427 MB, free: 10.46 MB / 302.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 0.1055/0.1068, allocations: 53.48 MB / 480.5 MB, free: 4.941 MB / 350.1 MB Notification: Performance of NFInst.instantiate(PNlib.Examples.ExtTest.ArcswithPCtoTC2): time 0.01154/0.1184, allocations: 9.382 MB / 489.9 MB, free: 11.52 MB / 366.1 MB Notification: Performance of NFInst.instExpressions: time 0.01375/0.1322, allocations: 6.825 MB / 496.7 MB, free: 4.684 MB / 366.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.002875/0.1351, allocations: 63.75 kB / 496.8 MB, free: 4.621 MB / 366.1 MB Notification: Performance of NFTyping.typeComponents: time 0.002575/0.1377, allocations: 0.9416 MB / 497.7 MB, free: 3.672 MB / 366.1 MB Notification: Performance of NFTyping.typeBindings: time 0.00345/0.1412, allocations: 0.9184 MB / 498.6 MB, free: 2.746 MB / 366.1 MB Notification: Performance of NFTyping.typeClassSections: time 0.008156/0.1494, allocations: 3.447 MB / 0.4903 GB, free: 15.3 MB / 382.1 MB Notification: Performance of NFFlatten.flatten: time 0.01433/0.1638, allocations: 11.11 MB / 0.5012 GB, free: 4.168 MB / 382.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.003941/0.1677, allocations: 1.851 MB / 0.503 GB, free: 2.234 MB / 382.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.2398/0.4076, allocations: 4.235 MB / 0.5071 GB, free: 9.285 MB / 382.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.005293/0.4129, allocations: 3.396 MB / 0.5104 GB, free: 8.91 MB / 382.1 MB Notification: Performance of NFPackage.collectConstants: time 0.003595/0.4166, allocations: 0.8683 MB / 0.5113 GB, free: 8.91 MB / 382.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.003341/0.4199, allocations: 1.239 MB / 0.5125 GB, free: 8.91 MB / 382.1 MB Notification: Performance of NFScalarize.scalarize: time 0.002096/0.422, allocations: 1.652 MB / 0.5141 GB, free: 8.684 MB / 382.1 MB Notification: Performance of NFVerifyModel.verify: time 0.005579/0.4276, allocations: 3.764 MB / 0.5178 GB, free: 7.781 MB / 382.1 MB Notification: Performance of NFConvertDAE.convert: time 0.0117/0.4393, allocations: 9.082 MB / 0.5266 GB, free: 6.301 MB / 382.1 MB Notification: Performance of FrontEnd - DAE generated: time 7.134e-06/0.4394, allocations: 1.062 kB / 0.5266 GB, free: 6.301 MB / 382.1 MB Notification: Performance of FrontEnd: time 2.434e-06/0.4394, allocations: 3.094 kB / 0.5266 GB, free: 6.301 MB / 382.1 MB Notification: Performance of Transformations before backend: time 0.0003707/0.4398, allocations: 0 / 0.5266 GB, free: 6.301 MB / 382.1 MB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 1871 * Number of variables: 1871 Notification: Performance of Generate backend data structure: time 0.01962/0.4594, allocations: 8.899 MB / 0.5353 GB, free: 84 kB / 382.1 MB Notification: Performance of prepare preOptimizeDAE: time 4.836e-05/0.4595, allocations: 10.38 kB / 0.5353 GB, free: 84 kB / 382.1 MB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.007831/0.4673, allocations: 1.445 MB / 0.5367 GB, free: 15.49 MB / 398.1 MB Notification: Performance of preOpt evaluateParameters (simulation): time 0.006094/0.4734, allocations: 2.667 MB / 0.5394 GB, free: 13.77 MB / 398.1 MB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.001525/0.475, allocations: 1.817 MB / 0.5411 GB, free: 12.15 MB / 398.1 MB Notification: Performance of preOpt expandDerOperator (simulation): time 0.001647/0.4766, allocations: 0.8061 MB / 0.5419 GB, free: 11.99 MB / 398.1 MB Notification: Performance of preOpt clockPartitioning (simulation): time 0.02175/0.4984, allocations: 13.03 MB / 0.5546 GB, free: 2.09 MB / 398.1 MB Notification: Performance of preOpt findStateOrder (simulation): time 0.0001113/0.4985, allocations: 14.47 kB / 0.5547 GB, free: 2.082 MB / 398.1 MB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.0009674/0.4995, allocations: 397.7 kB / 0.555 GB, free: 1.73 MB / 398.1 MB Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.001051/0.5005, allocations: 0.6394 MB / 0.5557 GB, free: 1.09 MB / 398.1 MB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.01764/0.5182, allocations: 9.487 MB / 0.5649 GB, free: 7.664 MB / 414.1 MB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.04663/0.5649, allocations: 26.15 MB / 0.5905 GB, free: 13.57 MB / 446.1 MB Notification: Performance of preOpt comSubExp (simulation): time 0.01743/0.5823, allocations: 12.71 MB / 0.6029 GB, free: 0.7695 MB / 446.1 MB Notification: Performance of preOpt resolveLoops (simulation): time 0.01511/0.5975, allocations: 11.48 MB / 0.6141 GB, free: 5.262 MB / 462.1 MB Notification: Performance of preOpt evalFunc (simulation): time 0.004808/0.6023, allocations: 5.94 MB / 0.6199 GB, free: 14.04 MB / 478.1 MB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.01534/0.6177, allocations: 7.07 MB / 0.6268 GB, free: 6.801 MB / 478.1 MB Notification: Performance of pre-optimization done (n=630): time 8.606e-06/0.6177, allocations: 4 kB / 0.6268 GB, free: 6.797 MB / 478.1 MB Notification: Performance of matching and sorting (n=630): time 0.04691/0.6646, allocations: 23.2 MB / 0.6494 GB, free: 15.09 MB / 0.4981 GB Notification: Performance of inlineWhenForInitialization (initialization): time 0.003647/0.6683, allocations: 4.267 MB / 0.6536 GB, free: 10.06 MB / 0.4981 GB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.004976/0.6733, allocations: 2.625 MB / 0.6562 GB, free: 7.402 MB / 0.4981 GB Notification: Performance of collectPreVariables (initialization): time 0.001336/0.6747, allocations: 349.6 kB / 0.6565 GB, free: 7.055 MB / 0.4981 GB Notification: Performance of collectInitialEqns (initialization): time 0.002242/0.6769, allocations: 2.012 MB / 0.6585 GB, free: 5.09 MB / 0.4981 GB Notification: Performance of collectInitialBindings (initialization): time 0.003579/0.6805, allocations: 1.638 MB / 0.6601 GB, free: 3.488 MB / 0.4981 GB Notification: Performance of simplifyInitialFunctions (initialization): time 0.005138/0.6857, allocations: 1.936 MB / 0.662 GB, free: 1.539 MB / 0.4981 GB Notification: Performance of setup shared object (initialization): time 8.469e-05/0.6858, allocations: 305.1 kB / 0.6623 GB, free: 1.238 MB / 0.4981 GB Notification: Performance of preBalanceInitialSystem (initialization): time 0.00696/0.6928, allocations: 3.806 MB / 0.666 GB, free: 13.43 MB / 0.5137 GB Notification: Performance of partitionIndependentBlocks (initialization): time 0.009362/0.7021, allocations: 6.722 MB / 0.6725 GB, free: 5.461 MB / 0.5137 GB Notification: Performance of analyzeInitialSystem (initialization): time 0.01886/0.721, allocations: 14.86 MB / 0.687 GB, free: 4.855 MB / 0.5294 GB Notification: Performance of solveInitialSystemEqSystem (initialization): time 0.0001734/0.7212, allocations: 27.94 kB / 0.6871 GB, free: 4.828 MB / 0.5294 GB Notification: Performance of matching and sorting (n=1183) (initialization): time 0.02945/0.7507, allocations: 15.59 MB / 0.7023 GB, free: 5.211 MB / 0.545 GB Notification: Performance of prepare postOptimizeDAE: time 0.002131/0.7529, allocations: 2.797 MB / 0.705 GB, free: 1.891 MB / 0.545 GB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 0.2909/1.044, allocations: 8.818 MB / 0.7136 GB, free: 183 MB / 0.545 GB Notification: Performance of postOpt tearingSystem (initialization): time 0.006225/1.05, allocations: 1.73 MB / 0.7153 GB, free: 183 MB / 0.545 GB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.003712/1.054, allocations: 0.9803 MB / 0.7163 GB, free: 183 MB / 0.545 GB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 0.00298/1.057, allocations: 2.006 MB / 0.7182 GB, free: 182.5 MB / 0.545 GB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.006354/1.063, allocations: 1.078 MB / 0.7193 GB, free: 182.5 MB / 0.545 GB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.001907/1.065, allocations: 472.7 kB / 0.7197 GB, free: 182.5 MB / 0.545 GB Warning: Assuming fixed start value for the following 144 variables: P8.enableIn.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P8.enableIn.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P8.enableIn.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P8.enableIn.sumEnablingProbTAin:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active input transitions" type: Real P8.enableIn.nTAin:DISCRETE(fixed = true protected = true ) "number ofactive input transitions" type: Integer P8.enableIn.nremTAin:DISCRETE(fixed = true protected = true ) "number of remaining active input transitions" type: Integer P8.enableIn.Index:DISCRETE(fixed = true protected = true ) "priority Index" type: Integer P8.enableIn.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P7.enableOut.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P7.enableOut.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P7.enableOut.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P7.enableOut.sumEnablingProbTAout:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active output transitions" type: Real P7.enableOut.nTAout:DISCRETE(fixed = true protected = true ) "number of active output transitions" type: Integer P7.enableOut.nremTAout:DISCRETE(fixed = true protected = true ) "number of remaining active output transitions" type: Integer P7.enableOut.Index:DISCRETE(fixed = true protected = true ) type: Integer P7.enableOut.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P7.enableIn.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P7.enableIn.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P7.enableIn.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P7.enableIn.sumEnablingProbTAin:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active input transitions" type: Real P7.enableIn.nTAin:DISCRETE(fixed = true protected = true ) "number ofactive input transitions" type: Integer P7.enableIn.nremTAin:DISCRETE(fixed = true protected = true ) "number of remaining active input transitions" type: Integer P7.enableIn.Index:DISCRETE(fixed = true protected = true ) "priority Index" type: Integer P7.enableIn.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P6.enableIn.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P6.enableIn.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P6.enableIn.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P6.enableIn.sumEnablingProbTAin:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active input transitions" type: Real P6.enableIn.nTAin:DISCRETE(fixed = true protected = true ) "number ofactive input transitions" type: Integer P6.enableIn.nremTAin:DISCRETE(fixed = true protected = true ) "number of remaining active input transitions" type: Integer P6.enableIn.Index:DISCRETE(fixed = true protected = true ) "priority Index" type: Integer P6.enableIn.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P5.enableOut.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P5.enableOut.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P5.enableOut.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P5.enableOut.sumEnablingProbTAout:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active output transitions" type: Real P5.enableOut.nTAout:DISCRETE(fixed = true protected = true ) "number of active output transitions" type: Integer P5.enableOut.nremTAout:DISCRETE(fixed = true protected = true ) "number of remaining active output transitions" type: Integer P5.enableOut.Index:DISCRETE(fixed = true protected = true ) type: Integer P5.enableOut.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P5.enableIn.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P5.enableIn.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P5.enableIn.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P5.enableIn.sumEnablingProbTAin:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active input transitions" type: Real P5.enableIn.nTAin:DISCRETE(fixed = true protected = true ) "number ofactive input transitions" type: Integer P5.enableIn.nremTAin:DISCRETE(fixed = true protected = true ) "number of remaining active input transitions" type: Integer P5.enableIn.Index:DISCRETE(fixed = true protected = true ) "priority Index" type: Integer P5.enableIn.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P4.enableIn.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P4.enableIn.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P4.enableIn.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P4.enableIn.sumEnablingProbTAin:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active input transitions" type: Real P4.enableIn.nTAin:DISCRETE(fixed = true protected = true ) "number ofactive input transitions" type: Integer P4.enableIn.nremTAin:DISCRETE(fixed = true protected = true ) "number of remaining active input transitions" type: Integer P4.enableIn.Index:DISCRETE(fixed = true protected = true ) "priority Index" type: Integer P4.enableIn.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P3.enableOut.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P3.enableOut.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P3.enableOut.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P3.enableOut.sumEnablingProbTAout:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active output transitions" type: Real P3.enableOut.nTAout:DISCRETE(fixed = true protected = true ) "number of active output transitions" type: Integer P3.enableOut.nremTAout:DISCRETE(fixed = true protected = true ) "number of remaining active output transitions" type: Integer P3.enableOut.Index:DISCRETE(fixed = true protected = true ) type: Integer P3.enableOut.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P3.enableIn.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P3.enableIn.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P3.enableIn.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P3.enableIn.sumEnablingProbTAin:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active input transitions" type: Real P3.enableIn.nTAin:DISCRETE(fixed = true protected = true ) "number ofactive input transitions" type: Integer P3.enableIn.nremTAin:DISCRETE(fixed = true protected = true ) "number of remaining active input transitions" type: Integer P3.enableIn.Index:DISCRETE(fixed = true protected = true ) "priority Index" type: Integer P3.enableIn.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P2.enableIn.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P2.enableIn.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P2.enableIn.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P2.enableIn.sumEnablingProbTAin:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active input transitions" type: Real P2.enableIn.nTAin:DISCRETE(fixed = true protected = true ) "number ofactive input transitions" type: Integer P2.enableIn.nremTAin:DISCRETE(fixed = true protected = true ) "number of remaining active input transitions" type: Integer P2.enableIn.Index:DISCRETE(fixed = true protected = true ) "priority Index" type: Integer P2.enableIn.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P1.enableOut.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P1.enableOut.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P1.enableOut.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P1.enableOut.sumEnablingProbTAout:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active output transitions" type: Real P1.enableOut.nTAout:DISCRETE(fixed = true protected = true ) "number of active output transitions" type: Integer P1.enableOut.nremTAout:DISCRETE(fixed = true protected = true ) "number of remaining active output transitions" type: Integer P1.enableOut.Index:DISCRETE(fixed = true protected = true ) type: Integer P1.enableOut.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P1.enableIn.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P1.enableIn.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P1.enableIn.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P1.enableIn.sumEnablingProbTAin:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active input transitions" type: Real P1.enableIn.nTAin:DISCRETE(fixed = true protected = true ) "number ofactive input transitions" type: Integer P1.enableIn.nremTAin:DISCRETE(fixed = true protected = true ) "number of remaining active input transitions" type: Integer P1.enableIn.Index:DISCRETE(fixed = true protected = true ) "priority Index" type: Integer P1.enableIn.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P8.disMarksIn.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P8.disMarksOut.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P7.disMarksIn.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P7.disMarksOut.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P6.disMarksIn.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P6.disMarksOut.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P5.disMarksIn.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P5.disMarksOut.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P4.disMarksIn.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P4.disMarksOut.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P3.disMarksIn.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P3.disMarksOut.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P2.disMarksIn.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P2.disMarksOut.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P1.disMarksIn.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P1.disMarksOut.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P8.enableOut.Index:DISCRETE(fixed = true protected = true ) type: Integer P8.enableOut.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P8.enableOut.sumEnablingProbTAout:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active output transitions" type: Real P8.enableOut.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P8.enableOut.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P8.enableOut.nTAout:DISCRETE(fixed = true protected = true ) "number of active output transitions" type: Integer P8.enableOut.nremTAout:DISCRETE(fixed = true protected = true ) "number of remaining active output transitions" type: Integer P8.enableOut.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P6.enableOut.Index:DISCRETE(fixed = true protected = true ) type: Integer P6.enableOut.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P6.enableOut.sumEnablingProbTAout:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active output transitions" type: Real P6.enableOut.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P6.enableOut.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P6.enableOut.nTAout:DISCRETE(fixed = true protected = true ) "number of active output transitions" type: Integer P6.enableOut.nremTAout:DISCRETE(fixed = true protected = true ) "number of remaining active output transitions" type: Integer P6.enableOut.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P4.enableOut.Index:DISCRETE(fixed = true protected = true ) type: Integer P4.enableOut.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P4.enableOut.sumEnablingProbTAout:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active output transitions" type: Real P4.enableOut.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P4.enableOut.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P4.enableOut.nTAout:DISCRETE(fixed = true protected = true ) "number of active output transitions" type: Integer P4.enableOut.nremTAout:DISCRETE(fixed = true protected = true ) "number of remaining active output transitions" type: Integer P4.enableOut.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P2.enableOut.Index:DISCRETE(fixed = true protected = true ) type: Integer P2.enableOut.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P2.enableOut.sumEnablingProbTAout:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active output transitions" type: Real P2.enableOut.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P2.enableOut.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P2.enableOut.nTAout:DISCRETE(fixed = true protected = true ) "number of active output transitions" type: Integer P2.enableOut.nremTAout:DISCRETE(fixed = true protected = true ) "number of remaining active output transitions" type: Integer P2.enableOut.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real Notification: Model statistics after passing the back-end for initialization: * Number of independent subsystems: 381 * Number of states: 0 () * Number of discrete variables: 948 ($PRE.P8.enableIn.posTE,P8.enableIn.posTE,$PRE.P8.enableIn.k,P8.enableIn.k,$PRE.P8.enableIn.endWhile,P8.enableIn.endWhile,P8.enableIn.randNum,$PRE.P8.enableIn.randNum,P8.enableIn.state128[4],$PRE.P8.enableIn.state128[4],P8.enableIn.state128[3],$PRE.P8.enableIn.state128[3],P8.enableIn.state128[2],$PRE.P8.enableIn.state128[2],P8.enableIn.state128[1],$PRE.P8.enableIn.state128[1],P8.enableIn.cumEnablingProb[1],$PRE.P8.enableIn.cumEnablingProb[1],$PRE.P8.enableIn.sumEnablingProbTAin,P8.enableIn.sumEnablingProbTAin,$PRE.P8.enableIn.nTAin,P8.enableIn.nTAin,$PRE.P8.enableIn.nremTAin,P8.enableIn.nremTAin,P8.enableIn.remTAin[1],$PRE.P8.enableIn.remTAin[1],$PRE.P8.enableIn.Index,P8.enableIn.Index,$PRE.P8.enableIn.arcWeightSum,P8.enableIn.arcWeightSum,P8.enableIn.disTAin[1],$PRE.P8.enableIn.disTAin[1],$PRE.P7.enableOut.posTE,P7.enableOut.posTE,$PRE.P7.enableOut.k,P7.enableOut.k,$PRE.P7.enableOut.endWhile,P7.enableOut.endWhile,P7.enableOut.randNum,$PRE.P7.enableOut.randNum,P7.enableOut.state128[4],$PRE.P7.enableOut.state128[4],P7.enableOut.state128[3],$PRE.P7.enableOut.state128[3],P7.enableOut.state128[2],$PRE.P7.enableOut.state128[2],P7.enableOut.state128[1],$PRE.P7.enableOut.state128[1],P7.enableOut.cumEnablingProb[1],$PRE.P7.enableOut.cumEnablingProb[1],$PRE.P7.enableOut.sumEnablingProbTAout,P7.enableOut.sumEnablingProbTAout,$PRE.P7.enableOut.nTAout,P7.enableOut.nTAout,$PRE.P7.enableOut.nremTAout,P7.enableOut.nremTAout,P7.enableOut.remTAout[1],$PRE.P7.enableOut.remTAout[1],$PRE.P7.enableOut.Index,P7.enableOut.Index,$PRE.P7.enableOut.arcWeightSum,P7.enableOut.arcWeightSum,P7.enableOut.disTAout[1],$PRE.P7.enableOut.disTAout[1],$PRE.P7.enableIn.posTE,P7.enableIn.posTE,$PRE.P7.enableIn.k,P7.enableIn.k,$PRE.P7.enableIn.endWhile,P7.enableIn.endWhile,P7.enableIn.randNum,$PRE.P7.enableIn.randNum,P7.enableIn.state128[4],$PRE.P7.enableIn.state128[4],P7.enableIn.state128[3],$PRE.P7.enableIn.state128[3],P7.enableIn.state128[2],$PRE.P7.enableIn.state128[2],P7.enableIn.state128[1],$PRE.P7.enableIn.state128[1],P7.enableIn.cumEnablingProb[1],$PRE.P7.enableIn.cumEnablingProb[1],$PRE.P7.enableIn.sumEnablingProbTAin,P7.enableIn.sumEnablingProbTAin,$PRE.P7.enableIn.nTAin,P7.enableIn.nTAin,$PRE.P7.enableIn.nremTAin,P7.enableIn.nremTAin,P7.enableIn.remTAin[1],$PRE.P7.enableIn.remTAin[1],$PRE.P7.enableIn.Index,P7.enableIn.Index,$PRE.P7.enableIn.arcWeightSum,P7.enableIn.arcWeightSum,P7.enableIn.disTAin[1],$PRE.P7.enableIn.disTAin[1],$PRE.P6.enableIn.posTE,P6.enableIn.posTE,$PRE.P6.enableIn.k,P6.enableIn.k,$PRE.P6.enableIn.endWhile,P6.enableIn.endWhile,P6.enableIn.randNum,$PRE.P6.enableIn.randNum,P6.enableIn.state128[4],$PRE.P6.enableIn.state128[4],P6.enableIn.state128[3],$PRE.P6.enableIn.state128[3],P6.enableIn.state128[2],$PRE.P6.enableIn.state128[2],P6.enableIn.state128[1],$PRE.P6.enableIn.state128[1],P6.enableIn.cumEnablingProb[1],$PRE.P6.enableIn.cumEnablingProb[1],$PRE.P6.enableIn.sumEnablingProbTAin,P6.enableIn.sumEnablingProbTAin,$PRE.P6.enableIn.nTAin,P6.enableIn.nTAin,$PRE.P6.enableIn.nremTAin,P6.enableIn.nremTAin,P6.enableIn.remTAin[1],$PRE.P6.enableIn.remTAin[1],$PRE.P6.enableIn.Index,P6.enableIn.Index,$PRE.P6.enableIn.arcWeightSum,P6.enableIn.arcWeightSum,P6.enableIn.disTAin[1],$PRE.P6.enableIn.disTAin[1],$PRE.P5.enableOut.posTE,P5.enableOut.posTE,$PRE.P5.enableOut.k,P5.enableOut.k,$PRE.P5.enableOut.endWhile,P5.enableOut.endWhile,P5.enableOut.randNum,$PRE.P5.enableOut.randNum,P5.enableOut.state128[4],$PRE.P5.enableOut.state128[4],P5.enableOut.state128[3],$PRE.P5.enableOut.state128[3],P5.enableOut.state128[2],$PRE.P5.enableOut.state128[2],P5.enableOut.state128[1],$PRE.P5.enableOut.state128[1],P5.enableOut.cumEnablingProb[1],$PRE.P5.enableOut.cumEnablingProb[1],$PRE.P5.enableOut.sumEnablingProbTAout,P5.enableOut.sumEnablingProbTAout,$PRE.P5.enableOut.nTAout,P5.enableOut.nTAout,$PRE.P5.enableOut.nremTAout,P5.enableOut.nremTAout,P5.enableOut.remTAout[1],$PRE.P5.enableOut.remTAout[1],$PRE.P5.enableOut.Index,P5.enableOut.Index,$PRE.P5.enableOut.arcWeightSum,P5.enableOut.arcWeightSum,P5.enableOut.disTAout[1],$PRE.P5.enableOut.disTAout[1],$PRE.P5.enableIn.posTE,P5.enableIn.posTE,$PRE.P5.enableIn.k,P5.enableIn.k,$PRE.P5.enableIn.endWhile,P5.enableIn.endWhile,P5.enableIn.randNum,$PRE.P5.enableIn.randNum,P5.enableIn.state128[4],$PRE.P5.enableIn.state128[4],P5.enableIn.state128[3],$PRE.P5.enableIn.state128[3],P5.enableIn.state128[2],$PRE.P5.enableIn.state128[2],P5.enableIn.state128[1],$PRE.P5.enableIn.state128[1],P5.enableIn.cumEnablingProb[1],$PRE.P5.enableIn.cumEnablingProb[1],$PRE.P5.enableIn.sumEnablingProbTAin,P5.enableIn.sumEnablingProbTAin,$PRE.P5.enableIn.nTAin,P5.enableIn.nTAin,$PRE.P5.enableIn.nremTAin,P5.enableIn.nremTAin,P5.enableIn.remTAin[1],$PRE.P5.enableIn.remTAin[1],$PRE.P5.enableIn.Index,P5.enableIn.Index,$PRE.P5.enableIn.arcWeightSum,P5.enableIn.arcWeightSum,P5.enableIn.disTAin[1],$PRE.P5.enableIn.disTAin[1],$PRE.P4.enableIn.posTE,P4.enableIn.posTE,$PRE.P4.enableIn.k,P4.enableIn.k,$PRE.P4.enableIn.endWhile,P4.enableIn.endWhile,P4.enableIn.randNum,$PRE.P4.enableIn.randNum,P4.enableIn.state128[4],$PRE.P4.enableIn.state128[4],P4.enableIn.state128[3],$PRE.P4.enableIn.state128[3],P4.enableIn.state128[2],$PRE.P4.enableIn.state128[2],P4.enableIn.state128[1],$PRE.P4.enableIn.state128[1],P4.enableIn.cumEnablingProb[1],$PRE.P4.enableIn.cumEnablingProb[1],$PRE.P4.enableIn.sumEnablingProbTAin,P4.enableIn.sumEnablingProbTAin,$PRE.P4.enableIn.nTAin,P4.enableIn.nTAin,$PRE.P4.enableIn.nremTAin,P4.enableIn.nremTAin,P4.enableIn.remTAin[1],$PRE.P4.enableIn.remTAin[1],$PRE.P4.enableIn.Index,P4.enableIn.Index,$PRE.P4.enableIn.arcWeightSum,P4.enableIn.arcWeightSum,P4.enableIn.disTAin[1],$PRE.P4.enableIn.disTAin[1],$PRE.P3.enableOut.posTE,P3.enableOut.posTE,$PRE.P3.enableOut.k,P3.enableOut.k,$PRE.P3.enableOut.endWhile,P3.enableOut.endWhile,P3.enableOut.randNum,$PRE.P3.enableOut.randNum,P3.enableOut.state128[4],$PRE.P3.enableOut.state128[4],P3.enableOut.state128[3],$PRE.P3.enableOut.state128[3],P3.enableOut.state128[2],$PRE.P3.enableOut.state128[2],P3.enableOut.state128[1],$PRE.P3.enableOut.state128[1],P3.enableOut.cumEnablingProb[1],$PRE.P3.enableOut.cumEnablingProb[1],$PRE.P3.enableOut.sumEnablingProbTAout,P3.enableOut.sumEnablingProbTAout,$PRE.P3.enableOut.nTAout,P3.enableOut.nTAout,$PRE.P3.enableOut.nremTAout,P3.enableOut.nremTAout,P3.enableOut.remTAout[1],$PRE.P3.enableOut.remTAout[1],$PRE.P3.enableOut.Index,P3.enableOut.Index,$PRE.P3.enableOut.arcWeightSum,P3.enableOut.arcWeightSum,P3.enableOut.disTAout[1],$PRE.P3.enableOut.disTAout[1],$PRE.P3.enableIn.posTE,P3.enableIn.posTE,$PRE.P3.enableIn.k,P3.enableIn.k,$PRE.P3.enableIn.endWhile,P3.enableIn.endWhile,P3.enableIn.randNum,$PRE.P3.enableIn.randNum,P3.enableIn.state128[4],$PRE.P3.enableIn.state128[4],P3.enableIn.state128[3],$PRE.P3.enableIn.state128[3],P3.enableIn.state128[2],$PRE.P3.enableIn.state128[2],P3.enableIn.state128[1],$PRE.P3.enableIn.state128[1],P3.enableIn.cumEnablingProb[1],$PRE.P3.enableIn.cumEnablingProb[1],$PRE.P3.enableIn.sumEnablingProbTAin,P3.enableIn.sumEnablingProbTAin,$PRE.P3.enableIn.nTAin,P3.enableIn.nTAin,$PRE.P3.enableIn.nremTAin,P3.enableIn.nremTAin,P3.enableIn.remTAin[1],$PRE.P3.enableIn.remTAin[1],$PRE.P3.enableIn.Index,P3.enableIn.Index,$PRE.P3.enableIn.arcWeightSum,P3.enableIn.arcWeightSum,P3.enableIn.disTAin[1],$PRE.P3.enableIn.disTAin[1],$PRE.P2.enableIn.posTE,P2.enableIn.posTE,$PRE.P2.enableIn.k,P2.enableIn.k,$PRE.P2.enableIn.endWhile,P2.enableIn.endWhile,P2.enableIn.randNum,$PRE.P2.enableIn.randNum,P2.enableIn.state128[4],$PRE.P2.enableIn.state128[4],P2.enableIn.state128[3],$PRE.P2.enableIn.state128[3],P2.enableIn.state128[2],$PRE.P2.enableIn.state128[2],P2.enableIn.state128[1],$PRE.P2.enableIn.state128[1],P2.enableIn.cumEnablingProb[1],$PRE.P2.enableIn.cumEnablingProb[1],$PRE.P2.enableIn.sumEnablingProbTAin,P2.enableIn.sumEnablingProbTAin,$PRE.P2.enableIn.nTAin,P2.enableIn.nTAin,$PRE.P2.enableIn.nremTAin,P2.enableIn.nremTAin,P2.enableIn.remTAin[1],$PRE.P2.enableIn.remTAin[1],$PRE.P2.enableIn.Index,P2.enableIn.Index,$PRE.P2.enableIn.arcWeightSum,P2.enableIn.arcWeightSum,P2.enableIn.disTAin[1],$PRE.P2.enableIn.disTAin[1],$PRE.P1.enableOut.posTE,P1.enableOut.posTE,$PRE.P1.enableOut.k,P1.enableOut.k,$PRE.P1.enableOut.endWhile,P1.enableOut.endWhile,P1.enableOut.randNum,$PRE.P1.enableOut.randNum,P1.enableOut.state128[4],$PRE.P1.enableOut.state128[4],P1.enableOut.state128[3],$PRE.P1.enableOut.state128[3],P1.enableOut.state128[2],$PRE.P1.enableOut.state128[2],P1.enableOut.state128[1],$PRE.P1.enableOut.state128[1],P1.enableOut.cumEnablingProb[1],$PRE.P1.enableOut.cumEnablingProb[1],$PRE.P1.enableOut.sumEnablingProbTAout,P1.enableOut.sumEnablingProbTAout,$PRE.P1.enableOut.nTAout,P1.enableOut.nTAout,$PRE.P1.enableOut.nremTAout,P1.enableOut.nremTAout,P1.enableOut.remTAout[1],$PRE.P1.enableOut.remTAout[1],$PRE.P1.enableOut.Index,P1.enableOut.Index,$PRE.P1.enableOut.arcWeightSum,P1.enableOut.arcWeightSum,P1.enableOut.disTAout[1],$PRE.P1.enableOut.disTAout[1],$PRE.P1.enableIn.posTE,P1.enableIn.posTE,$PRE.P1.enableIn.k,P1.enableIn.k,$PRE.P1.enableIn.endWhile,P1.enableIn.endWhile,P1.enableIn.randNum,$PRE.P1.enableIn.randNum,P1.enableIn.state128[4],$PRE.P1.enableIn.state128[4],P1.enableIn.state128[3],$PRE.P1.enableIn.state128[3],P1.enableIn.state128[2],$PRE.P1.enableIn.state128[2],P1.enableIn.state128[1],$PRE.P1.enableIn.state128[1],P1.enableIn.cumEnablingProb[1],$PRE.P1.enableIn.cumEnablingProb[1],$PRE.P1.enableIn.sumEnablingProbTAin,P1.enableIn.sumEnablingProbTAin,$PRE.P1.enableIn.nTAin,P1.enableIn.nTAin,$PRE.P1.enableIn.nremTAin,P1.enableIn.nremTAin,P1.enableIn.remTAin[1],$PRE.P1.enableIn.remTAin[1],$PRE.P1.enableIn.Index,P1.enableIn.Index,$PRE.P1.enableIn.arcWeightSum,P1.enableIn.arcWeightSum,P1.enableIn.disTAin[1],$PRE.P1.enableIn.disTAin[1],T4.inPlaces[1].tokenInOut,$PRE.P7.disMarksInOut,T3.inPlaces[1].tokenInOut,$PRE.P5.disMarksInOut,T2.inPlaces[1].tokenInOut,$PRE.P3.disMarksInOut,T1.inPlaces[1].tokenInOut,$PRE.P1.disMarksInOut,$PRE.P8.disMarksIn.anytrue,$PRE.P8.disMarksOut.anytrue,P8.disMarksInOut,$whenCondition24,$PRE.P7.disMarksIn.anytrue,$PRE.P7.disMarksOut.anytrue,P7.disMarksInOut,$whenCondition23,$PRE.P6.disMarksIn.anytrue,$PRE.P6.disMarksOut.anytrue,P6.disMarksInOut,$whenCondition22,$PRE.P5.disMarksIn.anytrue,$PRE.P5.disMarksOut.anytrue,P5.disMarksInOut,$whenCondition21,$PRE.P4.disMarksIn.anytrue,$PRE.P4.disMarksOut.anytrue,P4.disMarksInOut,$whenCondition20,$PRE.P3.disMarksIn.anytrue,$PRE.P3.disMarksOut.anytrue,P3.disMarksInOut,$whenCondition19,$PRE.P2.disMarksIn.anytrue,$PRE.P2.disMarksOut.anytrue,P2.disMarksInOut,$whenCondition18,$PRE.P1.disMarksIn.anytrue,$PRE.P1.disMarksOut.anytrue,P1.disMarksInOut,$whenCondition17,P8.disMarksOut.numtrue,P8.disMarksOut.anytrue,P6.disMarksOut.numtrue,P6.disMarksOut.anytrue,P4.disMarksOut.numtrue,P4.disMarksOut.anytrue,P2.disMarksOut.numtrue,P2.disMarksOut.anytrue,$PRE.P8.enableOut.Index,P8.enableOut.Index,$PRE.P8.enableOut.endWhile,P8.enableOut.endWhile,$PRE.P8.enableOut.sumEnablingProbTAout,P8.enableOut.sumEnablingProbTAout,P8.enableOut.randNum,$PRE.P8.enableOut.randNum,P8.enableOut.state128[4],$PRE.P8.enableOut.state128[4],P8.enableOut.state128[3],$PRE.P8.enableOut.state128[3],P8.enableOut.state128[2],$PRE.P8.enableOut.state128[2],P8.enableOut.state128[1],$PRE.P8.enableOut.state128[1],$PRE.P8.enableOut.posTE,P8.enableOut.posTE,$PRE.P8.enableOut.k,P8.enableOut.k,$PRE.P8.enableOut.nTAout,P8.enableOut.nTAout,$PRE.P8.enableOut.nremTAout,P8.enableOut.nremTAout,$PRE.P8.enableOut.arcWeightSum,P8.enableOut.arcWeightSum,P8.delayPassedOut.numtrue,P8.delayPassedOut.anytrue,$whenCondition4,$PRE.P6.enableOut.Index,P6.enableOut.Index,$PRE.P6.enableOut.endWhile,P6.enableOut.endWhile,$PRE.P6.enableOut.sumEnablingProbTAout,P6.enableOut.sumEnablingProbTAout,P6.enableOut.randNum,$PRE.P6.enableOut.randNum,P6.enableOut.state128[4],$PRE.P6.enableOut.state128[4],P6.enableOut.state128[3],$PRE.P6.enableOut.state128[3],P6.enableOut.state128[2],$PRE.P6.enableOut.state128[2],P6.enableOut.state128[1],$PRE.P6.enableOut.state128[1],$PRE.P6.enableOut.posTE,P6.enableOut.posTE,$PRE.P6.enableOut.k,P6.enableOut.k,$PRE.P6.enableOut.nTAout,P6.enableOut.nTAout,$PRE.P6.enableOut.nremTAout,P6.enableOut.nremTAout,$PRE.P6.enableOut.arcWeightSum,P6.enableOut.arcWeightSum,P6.delayPassedOut.numtrue,P6.delayPassedOut.anytrue,$whenCondition3,$PRE.P4.enableOut.Index,P4.enableOut.Index,$PRE.P4.enableOut.endWhile,P4.enableOut.endWhile,$PRE.P4.enableOut.sumEnablingProbTAout,P4.enableOut.sumEnablingProbTAout,P4.enableOut.randNum,$PRE.P4.enableOut.randNum,P4.enableOut.state128[4],$PRE.P4.enableOut.state128[4],P4.enableOut.state128[3],$PRE.P4.enableOut.state128[3],P4.enableOut.state128[2],$PRE.P4.enableOut.state128[2],P4.enableOut.state128[1],$PRE.P4.enableOut.state128[1],$PRE.P4.enableOut.posTE,P4.enableOut.posTE,$PRE.P4.enableOut.k,P4.enableOut.k,$PRE.P4.enableOut.nTAout,P4.enableOut.nTAout,$PRE.P4.enableOut.nremTAout,P4.enableOut.nremTAout,$PRE.P4.enableOut.arcWeightSum,P4.enableOut.arcWeightSum,P4.delayPassedOut.numtrue,P4.delayPassedOut.anytrue,$whenCondition2,$PRE.P2.enableOut.Index,P2.enableOut.Index,$PRE.P2.enableOut.endWhile,P2.enableOut.endWhile,$PRE.P2.enableOut.sumEnablingProbTAout,P2.enableOut.sumEnablingProbTAout,P2.enableOut.randNum,$PRE.P2.enableOut.randNum,P2.enableOut.state128[4],$PRE.P2.enableOut.state128[4],P2.enableOut.state128[3],$PRE.P2.enableOut.state128[3],P2.enableOut.state128[2],$PRE.P2.enableOut.state128[2],P2.enableOut.state128[1],$PRE.P2.enableOut.state128[1],$PRE.P2.enableOut.posTE,P2.enableOut.posTE,$PRE.P2.enableOut.k,P2.enableOut.k,$PRE.P2.enableOut.nTAout,P2.enableOut.nTAout,$PRE.P2.enableOut.nremTAout,P2.enableOut.nremTAout,$PRE.P2.enableOut.arcWeightSum,P2.enableOut.arcWeightSum,P2.delayPassedOut.numtrue,P2.delayPassedOut.anytrue,$whenCondition1,T5.firingCon,T5.outPlaces[4].disTransition,T5.outPlaces[4].enabledByInPlaces,P7.inTransition[1].disPlace,P7.inTransition[1].maxTokensint,P7.inTransition[1].tint,T5.outPlaces[3].disTransition,T5.outPlaces[3].enabledByInPlaces,P5.inTransition[1].disPlace,P5.inTransition[1].maxTokensint,P5.inTransition[1].tint,T5.outPlaces[2].disTransition,T5.outPlaces[2].enabledByInPlaces,P3.inTransition[1].disPlace,P3.inTransition[1].maxTokensint,P3.inTransition[1].tint,T5.outPlaces[1].disTransition,T5.outPlaces[1].enabledByInPlaces,P1.inTransition[1].disPlace,P1.inTransition[1].maxTokensint,P1.inTransition[1].tint,P7.outTransition[1].disPlace,P7.outTransition[1].minTokensint,P7.outTransition[1].tint,T4.inPlaces[1].disTransition,P5.outTransition[1].disPlace,P5.outTransition[1].minTokensint,P5.outTransition[1].tint,T3.inPlaces[1].disTransition,P3.outTransition[1].disPlace,P3.outTransition[1].minTokensint,P3.outTransition[1].tint,T2.inPlaces[1].disTransition,P1.outTransition[1].disPlace,P1.outTransition[1].minTokensint,P1.outTransition[1].tint,T1.inPlaces[1].disTransition,T4.firingCon,T4.outPlaces[1].disTransition,T4.outPlaces[1].enabledByInPlaces,P8.inTransition[1].disPlace,P8.inTransition[1].maxTokensint,P8.inTransition[1].tint,T3.firingCon,T3.outPlaces[1].disTransition,T3.outPlaces[1].enabledByInPlaces,P6.inTransition[1].disPlace,P6.inTransition[1].maxTokensint,P6.inTransition[1].tint,T2.firingCon,T2.outPlaces[1].disTransition,T2.outPlaces[1].enabledByInPlaces,P4.inTransition[1].disPlace,P4.inTransition[1].maxTokensint,P4.inTransition[1].tint,T1.firingCon,T1.outPlaces[1].disTransition,T1.outPlaces[1].enabledByInPlaces,P2.inTransition[1].disPlace,P2.inTransition[1].maxTokensint,P2.inTransition[1].tint,P8.reStart,P7.reStart,P6.reStart,P5.reStart,P4.reStart,P3.reStart,P2.reStart,P1.reStart,P1.disMarksOut.vec[1],P1.disMarksOut.numtrue,P1.disMarksOut.anytrue,P1.disMarksIn.vec[1],P1.disMarksIn.numtrue,P1.disMarksIn.anytrue,P2.disMarksIn.vec[1],P2.disMarksIn.numtrue,P2.disMarksIn.anytrue,P3.disMarksOut.vec[1],P3.disMarksOut.numtrue,P3.disMarksOut.anytrue,P3.disMarksIn.vec[1],P3.disMarksIn.numtrue,P3.disMarksIn.anytrue,P4.disMarksIn.vec[1],P4.disMarksIn.numtrue,P4.disMarksIn.anytrue,P5.disMarksOut.vec[1],P5.disMarksOut.numtrue,P5.disMarksOut.anytrue,P5.disMarksIn.vec[1],P5.disMarksIn.numtrue,P5.disMarksIn.anytrue,P6.disMarksIn.vec[1],P6.disMarksIn.numtrue,P6.disMarksIn.anytrue,P7.disMarksOut.vec[1],P7.disMarksOut.numtrue,P7.disMarksOut.anytrue,P7.disMarksIn.vec[1],P7.disMarksIn.numtrue,P7.disMarksIn.anytrue,P8.disMarksIn.vec[1],P8.disMarksIn.numtrue,P8.disMarksIn.anytrue,T5.fire_,IA2.outTransition.arcType,IA1.outTransition.arcType,TA2.outTransition.arcType,TA1.outTransition.arcType,P1.delayPassedOut.vec[1],P1.delayPassedIn.vec[1],P2.delayPassedIn.vec[1],P3.delayPassedOut.vec[1],P3.delayPassedIn.vec[1],P4.delayPassedIn.vec[1],P5.delayPassedOut.vec[1],P5.delayPassedIn.vec[1],P6.delayPassedIn.vec[1],P7.delayPassedOut.vec[1],P7.delayPassedIn.vec[1],P8.delayPassedIn.vec[1],T1.activation.arcWeightIntIn[1],T1.activation.arcWeightIntOut[1],T2.activation.arcWeightIntIn[1],T2.activation.arcWeightIntOut[1],T3.activation.arcWeightIntIn[1],T3.activation.arcWeightIntOut[1],T4.activation.arcWeightIntIn[1],T4.activation.arcWeightIntOut[1],T1.activation.testValueInt[1],T2.activation.testValueInt[1],T3.activation.testValueInt[1],T4.activation.testValueInt[1],T5.activation.arcWeightIntOut[1],T5.activation.arcWeightIntOut[2],T5.activation.arcWeightIntOut[3],T5.activation.arcWeightIntOut[4],T5.activation.disPlaceOut[4],T5.activation.maxTokensInt[4],T5.activation.tIntOut[4],T5.activation.disPlaceOut[3],T5.activation.maxTokensInt[3],T5.activation.tIntOut[3],T5.activation.disPlaceOut[2],T5.activation.maxTokensInt[2],T5.activation.tIntOut[2],T5.activation.disPlaceOut[1],T5.activation.maxTokensInt[1],T5.activation.tIntOut[1],T4.activation.disPlaceIn[1],T4.activation.minTokensInt[1],T4.activation.tIntIn[1],T3.activation.disPlaceIn[1],T3.activation.minTokensInt[1],T3.activation.tIntIn[1],T2.activation.disPlaceIn[1],T2.activation.minTokensInt[1],T2.activation.tIntIn[1],T1.activation.disPlaceIn[1],T1.activation.minTokensInt[1],T1.activation.tIntIn[1],T4.activation.disPlaceOut[1],T4.activation.maxTokensInt[1],T4.activation.tIntOut[1],T3.activation.disPlaceOut[1],T3.activation.maxTokensInt[1],T3.activation.tIntOut[1],T2.activation.disPlaceOut[1],T2.activation.maxTokensInt[1],T2.activation.tIntOut[1],T1.activation.disPlaceOut[1],T1.activation.maxTokensInt[1],T1.activation.tIntOut[1],P7.outTransition[1].arcWeightint,P5.outTransition[1].arcWeightint,P3.outTransition[1].arcWeightint,P1.outTransition[1].arcWeightint,T5.activation.NoTokens,T5.activation.weaklyOutputActiveVec[4],T5.activation.weaklyOutputActiveVec[3],T5.activation.weaklyOutputActiveVec[2],T5.activation.weaklyOutputActiveVec[1],T5.activation.active,T5.activation.emptied[4],T5.activation.emptied[3],T5.activation.emptied[2],T5.activation.emptied[1],IA2.testColor[3],IA2.testColor[2],IA2.testColor[1],IA1.testColor[3],IA1.testColor[2],IA1.testColor[1],TA2.testColor[3],TA2.testColor[2],TA2.testColor[1],TA1.testColor[3],TA1.testColor[2],TA1.testColor[1],T4.fire_,T4.activation.NoTokens,T4.activation.weaklyOutputActiveVec[1],T4.activation.weaklyInputActiveVec[1],T4.activation.active,T4.activation.normalArc[1],T4.activation.emptied[1],T4.activation.fed[1],T4.activation.arcType[1],T3.fire_,T3.activation.NoTokens,T3.activation.weaklyOutputActiveVec[1],T3.activation.weaklyInputActiveVec[1],T3.activation.active,T3.activation.normalArc[1],T3.activation.emptied[1],T3.activation.fed[1],T3.activation.arcType[1],T2.fire_,T2.activation.NoTokens,T2.activation.weaklyOutputActiveVec[1],T2.activation.weaklyInputActiveVec[1],T2.activation.active,T2.activation.normalArc[1],T2.activation.emptied[1],T2.activation.fed[1],T2.activation.arcType[1],T1.fire_,T1.activation.NoTokens,T1.activation.weaklyOutputActiveVec[1],T1.activation.weaklyInputActiveVec[1],T1.activation.active,T1.activation.normalArc[1],T1.activation.emptied[1],T1.activation.fed[1],T1.activation.arcType[1],P8.emptying.numtrue,P8.emptying.anytrue,P8.feeding.numtrue,P8.feeding.anytrue,P8.feeding.vec[1],P8.delayPassedIn.numtrue,P8.delayPassedIn.anytrue,P8.enableIn.TEin[1],$PRE.P8.enableIn.TEin[1],P8.enableIn.TEin_[1],P8.enableIn.active[1],P8.fireIn[1],$PRE.P8.fireIn[1],P7.emptying.numtrue,P7.emptying.anytrue,P7.emptying.vec[1],P7.feeding.numtrue,P7.feeding.anytrue,P7.feeding.vec[1],P7.delayPassedIn.numtrue,P7.delayPassedIn.anytrue,P7.delayPassedOut.numtrue,P7.delayPassedOut.anytrue,P7.enableOut.TEout[1],$PRE.P7.enableOut.TEout[1],P7.enableOut.TEout_[1],P7.enableOut.TAout[1],P7.enableIn.TEin[1],$PRE.P7.enableIn.TEin[1],P7.enableIn.TEin_[1],P7.enableIn.active[1],P7.fireOut[1],$PRE.P7.fireOut[1],P7.fireIn[1],$PRE.P7.fireIn[1],P6.emptying.numtrue,P6.emptying.anytrue,P6.feeding.numtrue,P6.feeding.anytrue,P6.feeding.vec[1],P6.delayPassedIn.numtrue,P6.delayPassedIn.anytrue,P6.enableIn.TEin[1],$PRE.P6.enableIn.TEin[1],P6.enableIn.TEin_[1],P6.enableIn.active[1],P6.fireIn[1],$PRE.P6.fireIn[1],P5.emptying.numtrue,P5.emptying.anytrue,P5.emptying.vec[1],P5.feeding.numtrue,P5.feeding.anytrue,P5.feeding.vec[1],P5.delayPassedIn.numtrue,P5.delayPassedIn.anytrue,P5.delayPassedOut.numtrue,P5.delayPassedOut.anytrue,P5.enableOut.TEout[1],$PRE.P5.enableOut.TEout[1],P5.enableOut.TEout_[1],P5.enableOut.TAout[1],P5.enableIn.TEin[1],$PRE.P5.enableIn.TEin[1],P5.enableIn.TEin_[1],P5.enableIn.active[1],P5.fireOut[1],$PRE.P5.fireOut[1],P5.fireIn[1],$PRE.P5.fireIn[1],P4.emptying.numtrue,P4.emptying.anytrue,P4.feeding.numtrue,P4.feeding.anytrue,P4.feeding.vec[1],P4.delayPassedIn.numtrue,P4.delayPassedIn.anytrue,P4.enableIn.TEin[1],$PRE.P4.enableIn.TEin[1],P4.enableIn.TEin_[1],P4.enableIn.active[1],P4.fireIn[1],$PRE.P4.fireIn[1],P3.emptying.numtrue,P3.emptying.anytrue,P3.emptying.vec[1],P3.feeding.numtrue,P3.feeding.anytrue,P3.feeding.vec[1],P3.delayPassedIn.numtrue,P3.delayPassedIn.anytrue,P3.delayPassedOut.numtrue,P3.delayPassedOut.anytrue,P3.enableOut.TEout[1],$PRE.P3.enableOut.TEout[1],P3.enableOut.TEout_[1],P3.enableOut.TAout[1],P3.enableIn.TEin[1],$PRE.P3.enableIn.TEin[1],P3.enableIn.TEin_[1],P3.enableIn.active[1],P3.fireOut[1],$PRE.P3.fireOut[1],P3.fireIn[1],$PRE.P3.fireIn[1],P2.emptying.numtrue,P2.emptying.anytrue,P2.feeding.numtrue,P2.feeding.anytrue,P2.feeding.vec[1],P2.delayPassedIn.numtrue,P2.delayPassedIn.anytrue,P2.enableIn.TEin[1],$PRE.P2.enableIn.TEin[1],P2.enableIn.TEin_[1],P2.enableIn.active[1],P2.fireIn[1],$PRE.P2.fireIn[1],P1.emptying.numtrue,P1.emptying.anytrue,P1.emptying.vec[1],P1.feeding.numtrue,P1.feeding.anytrue,P1.feeding.vec[1],P1.delayPassedIn.numtrue,P1.delayPassedIn.anytrue,P1.delayPassedOut.numtrue,P1.delayPassedOut.anytrue,P1.enableOut.TEout[1],$PRE.P1.enableOut.TEout[1],P1.enableOut.TEout_[1],P1.enableOut.TAout[1],P1.enableIn.TEin[1],$PRE.P1.enableIn.TEin[1],P1.enableIn.TEin_[1],P1.enableIn.active[1],P1.fireOut[1],$PRE.P1.fireOut[1],P1.fireIn[1],$PRE.P1.fireIn[1],$whenCondition16,$whenCondition15,$whenCondition14,$whenCondition13,$whenCondition12,$whenCondition11,$whenCondition10,$whenCondition9,$whenCondition8,$whenCondition7,$whenCondition6,$whenCondition5,P7.outTransition[1].normalArc,P7.outTransition[1].testValueint,P7.outTransition[1].arcType,P5.outTransition[1].normalArc,P5.outTransition[1].testValueint,P5.outTransition[1].arcType,P3.outTransition[1].normalArc,P3.outTransition[1].testValueint,P3.outTransition[1].arcType,P1.outTransition[1].normalArc,P1.outTransition[1].testValueint,P1.outTransition[1].arcType) * Number of discrete states: 0 () * Number of clocked states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for initialization (989): * Single equations (assignments): 903 * Array equations: 0 * Algorithm blocks: 85 * Record equations: 0 * When equations: 0 * If-equations: 0 * Equation systems (not torn): 0 * Torn equation systems: 1 * Mixed (continuous/discrete) equation systems: 0 Notification: Torn system details for strict tearing set: * Linear torn systems (#iteration vars, #inner vars, density): 0 systems * Non-linear torn systems (#iteration vars, #inner vars): 1 system {(9,41)} Notification: Performance of prepare postOptimizeDAE: time 0.01042/1.076, allocations: 5.664 MB / 0.7253 GB, free: 179.8 MB / 0.545 GB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.001891/1.077, allocations: 0.5827 MB / 0.7258 GB, free: 179.8 MB / 0.545 GB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.02782/1.105, allocations: 19.05 MB / 0.7444 GB, free: 170.2 MB / 0.545 GB Notification: Performance of postOpt simplifysemiLinear (simulation): time 3.334e-05/1.105, allocations: 15.02 kB / 0.7445 GB, free: 170.2 MB / 0.545 GB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 0.02578/1.131, allocations: 18.64 MB / 0.7627 GB, free: 153.3 MB / 0.545 GB Notification: Performance of postOpt removeConstants (simulation): time 0.0008977/1.132, allocations: 486.6 kB / 0.7631 GB, free: 153 MB / 0.545 GB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.002716/1.135, allocations: 0.6229 MB / 0.7637 GB, free: 152.4 MB / 0.545 GB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.00444/1.139, allocations: 0.6146 MB / 0.7643 GB, free: 152 MB / 0.545 GB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.002228/1.141, allocations: 1.361 MB / 0.7657 GB, free: 150.7 MB / 0.545 GB [/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/Compiler/BackEnd/DAEMode.mo:528:7-530:90:writable] Error: Internal error DAEMode.traverserStrongComponents failed on equation: 1/1 (1): ($OMC$CF$sim10, _) = PNlib.Functions.decreasingFactor(1, 0, P2.t_, P2.minMarks, P2.maxMarks, P2.conMarkChange, 0.0, {1.0}, {}, {T1.outPlaces[1].prelimSpeed}, {}, {1.0}, {}, P2.fireIn and not {false}, {} and not {}) Variables: 1: P2.conMarkChange:VARIABLE(protected = true ) "continuous mark change" type: Real [/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/Compiler/BackEnd/DAEMode.mo:528:7-530:90:writable] Error: Internal error DAEMode.traverserStrongComponents failed on equation: 1/1 (1): $OMC$CF$sim11[1] = T5.outPlaces[1].decreasingFactor 2/2 (1): $cse6 = min({T5.outPlaces[1].decreasingFactor, T5.outPlaces[2].decreasingFactor, T5.outPlaces[3].decreasingFactor, T5.outPlaces[4].decreasingFactor}) 3/3 (1): $cse5 = min(8.777798510069901e304, $cse6) 4/4 (1): T5.instantaneousSpeed = min($cse5, T5.outPlaces[4].prelimSpeed) 5/5 (2): ($OMC$CF$sim11, $OMC$CF$sim12) = PNlib.Functions.decreasingFactor(1, 1, P1.t_, P1.minMarks, P1.maxMarks, T1.inPlaces[1].speedSum, T5.outPlaces[1].speedSum, {1.0}, {P1.outTransition[1].maxSpeed}, {T5.outPlaces[4].prelimSpeed}, {P1.outTransition[1].prelimSpeed}, {1.0}, {P1.enableOut.arcWeight[1]}, P1.fireIn and not {false}, P1.fireOut and not {false}) 6/7 (1): $OMC$CF$sim12[1] = T1.inPlaces[1].decreasingFactor 7/8 (1): $cse1 = min(T1.inPlaces[1].decreasingFactor, T1.outPlaces[1].decreasingFactor) 8/9 (1): T1.instantaneousSpeed = min($cse1, T1.outPlaces[1].prelimSpeed) 9/10 (1): P1.outTransition[1].instSpeed = if TA1.normalArc then 0.0 else T1.instantaneousSpeed 10/11 (1): T5.outPlaces[1].speedSum = if P1.emptying.vec[1] then P1.enableOut.arcWeight[1] * P1.outTransition[1].instSpeed else 0.0 11/12 (1): T5.outPlaces[4].prelimSpeed = PNlib.Functions.preliminarySpeed(0, 4, {}, {1.0, 1.0, 1.0, 1.0}, {}, {T5.outPlaces[1].speedSum, T5.outPlaces[2].speedSum, T5.outPlaces[3].speedSum, T5.outPlaces[4].speedSum}, 1.0, {}, T5.activation.weaklyOutputActiveVec) 12/13 (1): $OMC$CF$sim5[1] = T5.outPlaces[3].decreasingFactor 13/14 (2): ($OMC$CF$sim5, $OMC$CF$sim6) = PNlib.Functions.decreasingFactor(1, 1, P5.t_, P5.minMarks, P5.maxMarks, T3.inPlaces[1].speedSum, T5.outPlaces[3].speedSum, {1.0}, {P5.outTransition[1].maxSpeed}, {T5.outPlaces[4].prelimSpeed}, {P5.outTransition[1].prelimSpeed}, {1.0}, {P5.enableOut.arcWeight[1]}, P5.fireIn and not {false}, P5.fireOut and not {false}) 14/16 (1): $OMC$CF$sim6[1] = T3.inPlaces[1].decreasingFactor 15/17 (1): $cse3 = min(T3.inPlaces[1].decreasingFactor, T3.outPlaces[1].decreasingFactor) 16/18 (1): T3.instantaneousSpeed = min($cse3, T3.outPlaces[1].prelimSpeed) 17/19 (1): ($OMC$CF$sim4, _) = PNlib.Functions.decreasingFactor(1, 0, P6.t_, P6.minMarks, P6.maxMarks, P6.conMarkChange, 0.0, {1.0}, {}, {T3.outPlaces[1].prelimSpeed}, {}, {1.0}, {}, P6.fireIn and not {false}, {} and not {}) 18/20 (1): $OMC$CF$sim4[1] = T3.outPlaces[1].decreasingFactor 19/21 (1): T3.outPlaces[1].prelimSpeed = PNlib.Functions.preliminarySpeed(1, 1, {1.0}, {1.0}, {T3.inPlaces[1].speedSum}, {0.0}, 1.0, T3.activation.weaklyInputActiveVec, T3.activation.weaklyOutputActiveVec) 20/22 (1): T3.inPlaces[1].speedSum = if P5.feeding.vec[1] then T5.instantaneousSpeed else 0.0 21/23 (1): T4.inPlaces[1].speedSum = if P7.feeding.vec[1] then T5.instantaneousSpeed else 0.0 22/24 (1): $OMC$CF$sim3[1] = T4.inPlaces[1].decreasingFactor 23/25 (1): $cse4 = min(T4.inPlaces[1].decreasingFactor, T4.outPlaces[1].decreasingFactor) 24/26 (1): T4.instantaneousSpeed = min($cse4, T4.outPlaces[1].prelimSpeed) 25/27 (1): P7.outTransition[1].instSpeed = if IA2.normalArc then 0.0 else T4.instantaneousSpeed 26/28 (1): T5.outPlaces[4].speedSum = if P7.emptying.vec[1] then P7.enableOut.arcWeight[1] * P7.outTransition[1].instSpeed else 0.0 27/29 (2): ($OMC$CF$sim2, $OMC$CF$sim3) = PNlib.Functions.decreasingFactor(1, 1, P7.t_, P7.minMarks, P7.maxMarks, T4.inPlaces[1].speedSum, T5.outPlaces[4].speedSum, {1.0}, {P7.outTransition[1].maxSpeed}, {T5.outPlaces[4].prelimSpeed}, {P7.outTransition[1].prelimSpeed}, {1.0}, {P7.enableOut.arcWeight[1]}, P7.fireIn and not {false}, P7.fireOut and not {false}) 28/31 (1): $OMC$CF$sim2[1] = T5.outPlaces[4].decreasingFactor 29/32 (1): P8.conMarkChange = if P8.feeding.vec[1] then T4.instantaneousSpeed else 0.0 30/33 (1): ($OMC$CF$sim1, _) = PNlib.Functions.decreasingFactor(1, 0, P8.t_, P8.minMarks, P8.maxMarks, P8.conMarkChange, 0.0, {1.0}, {}, {T4.outPlaces[1].prelimSpeed}, {}, {1.0}, {}, P8.fireIn and not {false}, {} and not {}) 31/34 (1): $OMC$CF$sim1[1] = T4.outPlaces[1].decreasingFactor 32/35 (1): T4.outPlaces[1].prelimSpeed = PNlib.Functions.preliminarySpeed(1, 1, {1.0}, {1.0}, {T4.inPlaces[1].speedSum}, {0.0}, 1.0, T4.activation.weaklyInputActiveVec, T4.activation.weaklyOutputActiveVec) 33/36 (1): P7.outTransition[1].prelimSpeed = if IA2.normalArc then 0.0 else T4.outPlaces[1].prelimSpeed 34/37 (1): T2.inPlaces[1].speedSum = if P3.feeding.vec[1] then T5.instantaneousSpeed else 0.0 35/38 (1): $OMC$CF$sim9[1] = T2.inPlaces[1].decreasingFactor 36/39 (1): $cse2 = min(T2.inPlaces[1].decreasingFactor, T2.outPlaces[1].decreasingFactor) 37/40 (1): $OMC$CF$sim7[1] = T2.outPlaces[1].decreasingFactor 38/41 (1): ($OMC$CF$sim7, _) = PNlib.Functions.decreasingFactor(1, 0, P4.t_, P4.minMarks, P4.maxMarks, P4.conMarkChange, 0.0, {1.0}, {}, {T2.outPlaces[1].prelimSpeed}, {}, {1.0}, {}, P4.fireIn and not {false}, {} and not {}) 39/42 (1): P4.conMarkChange = if P4.feeding.vec[1] then T2.instantaneousSpeed else 0.0 40/43 (1): T2.instantaneousSpeed = min($cse2, T2.outPlaces[1].prelimSpeed) 41/44 (1): P3.outTransition[1].instSpeed = if TA2.normalArc then 0.0 else T2.instantaneousSpeed 42/45 (1): T5.outPlaces[2].speedSum = if P3.emptying.vec[1] then P3.enableOut.arcWeight[1] * P3.outTransition[1].instSpeed else 0.0 43/46 (2): ($OMC$CF$sim8, $OMC$CF$sim9) = PNlib.Functions.decreasingFactor(1, 1, P3.t_, P3.minMarks, P3.maxMarks, T2.inPlaces[1].speedSum, T5.outPlaces[2].speedSum, {1.0}, {P3.outTransition[1].maxSpeed}, {T5.outPlaces[4].prelimSpeed}, {P3.outTransition[1].prelimSpeed}, {1.0}, {P3.enableOut.arcWeight[1]}, P3.fireIn and not {false}, P3.fireOut and not {false}) 44/48 (1): $OMC$CF$sim8[1] = T5.outPlaces[2].decreasingFactor 45/49 (1): T2.outPlaces[1].prelimSpeed = PNlib.Functions.preliminarySpeed(1, 1, {1.0}, {1.0}, {T2.inPlaces[1].speedSum}, {0.0}, 1.0, T2.activation.weaklyInputActiveVec, T2.activation.weaklyOutputActiveVec) 46/50 (1): P3.outTransition[1].prelimSpeed = if TA2.normalArc then 0.0 else T2.outPlaces[1].prelimSpeed 47/51 (1): T1.inPlaces[1].speedSum = if P1.feeding.vec[1] then T5.instantaneousSpeed else 0.0 48/52 (1): T1.outPlaces[1].prelimSpeed = PNlib.Functions.preliminarySpeed(1, 1, {1.0}, {1.0}, {T1.inPlaces[1].speedSum}, {0.0}, 1.0, T1.activation.weaklyInputActiveVec, T1.activation.weaklyOutputActiveVec) 49/53 (1): ($OMC$CF$sim10, _) = PNlib.Functions.decreasingFactor(1, 0, P2.t_, P2.minMarks, P2.maxMarks, P2.conMarkChange, 0.0, {1.0}, {}, {T1.outPlaces[1].prelimSpeed}, {}, {1.0}, {}, P2.fireIn and not {false}, {} and not {}) 50/54 (1): $OMC$CF$sim10[1] = T1.outPlaces[1].decreasingFactor 51/55 (1): P1.outTransition[1].prelimSpeed = if TA1.normalArc then 0.0 else T1.outPlaces[1].prelimSpeed 52/56 (1): P5.outTransition[1].prelimSpeed = if IA1.normalArc then 0.0 else T3.outPlaces[1].prelimSpeed 53/57 (1): T5.outPlaces[3].speedSum = if P5.emptying.vec[1] then P5.enableOut.arcWeight[1] * P5.outTransition[1].instSpeed else 0.0 54/58 (1): P5.outTransition[1].instSpeed = if IA1.normalArc then 0.0 else T3.instantaneousSpeed 55/59 (1): P6.conMarkChange = if P6.feeding.vec[1] then T3.instantaneousSpeed else 0.0 56/60 (1): P2.conMarkChange = if P2.feeding.vec[1] then T1.instantaneousSpeed else 0.0 Variables: 1: P2.conMarkChange:VARIABLE(protected = true ) "continuous mark change" type: Real 2: P6.conMarkChange:VARIABLE(protected = true ) "continuous mark change" type: Real 3: T3.instantaneousSpeed:VARIABLE() "instantaneous speed" type: Real 4: P5.outTransition[1].instSpeed:VARIABLE(flow=false ) "Instantaneous speeds of continuous output transitions" type: Real [1] 5: P5.outTransition[1].prelimSpeed:VARIABLE(flow=false ) "Preliminary speeds of continuous output transitions" type: Real [1] 6: P1.outTransition[1].prelimSpeed:VARIABLE(flow=false ) "Preliminary speeds of continuous output transitions" type: Real [1] 7: T1.outPlaces[1].decreasingFactor:VARIABLE(flow=false ) "Factor of continuous output places for decreasing the speed" type: Real [1] 8: $OMC$CF$sim10[1]:VARIABLE() type: Real [1] 9: T1.outPlaces[1].prelimSpeed:VARIABLE(flow=false ) "Preliminary speed of a continuous transition" type: Real [1] 10: T1.inPlaces[1].speedSum:VARIABLE(flow=false ) "Input speeds of continuous input places" type: Real [1] 11: P3.outTransition[1].prelimSpeed:VARIABLE(flow=false ) "Preliminary speeds of continuous output transitions" type: Real [1] 12: T2.outPlaces[1].prelimSpeed:VARIABLE(flow=false ) "Preliminary speed of a continuous transition" type: Real [1] 13: T5.outPlaces[2].decreasingFactor:VARIABLE(flow=false ) "Factor of continuous output places for decreasing the speed" type: Real [4] 14: $OMC$CF$sim8[1]:VARIABLE() type: Real [1] 15: T5.outPlaces[2].speedSum:VARIABLE(flow=false ) "Output speeds of continuous output places" type: Real [4] 16: P3.outTransition[1].instSpeed:VARIABLE(flow=false ) "Instantaneous speeds of continuous output transitions" type: Real [1] 17: $cse2:VARIABLE(protected = true ) type: Real unreplaceable 18: T2.instantaneousSpeed:VARIABLE() "instantaneous speed" type: Real 19: P4.conMarkChange:VARIABLE(protected = true ) "continuous mark change" type: Real 20: $OMC$CF$sim7[1]:VARIABLE() type: Real [1] 21: T2.outPlaces[1].decreasingFactor:VARIABLE(flow=false ) "Factor of continuous output places for decreasing the speed" type: Real [1] 22: T2.inPlaces[1].decreasingFactor:VARIABLE(flow=false ) "Factor of continuous input places for decreasing the speed" type: Real [1] 23: $OMC$CF$sim9[1]:VARIABLE() type: Real [1] 24: T2.inPlaces[1].speedSum:VARIABLE(flow=false ) "Input speeds of continuous input places" type: Real [1] 25: P7.outTransition[1].prelimSpeed:VARIABLE(flow=false ) "Preliminary speeds of continuous output transitions" type: Real [1] 26: T4.outPlaces[1].prelimSpeed:VARIABLE(flow=false ) "Preliminary speed of a continuous transition" type: Real [1] 27: T4.outPlaces[1].decreasingFactor:VARIABLE(flow=false ) "Factor of continuous output places for decreasing the speed" type: Real [1] 28: $OMC$CF$sim1[1]:VARIABLE() type: Real [1] 29: P8.conMarkChange:VARIABLE(protected = true ) "continuous mark change" type: Real 30: T5.outPlaces[4].decreasingFactor:VARIABLE(flow=false ) "Factor of continuous output places for decreasing the speed" type: Real [4] 31: $OMC$CF$sim2[1]:VARIABLE() type: Real [1] 32: T5.outPlaces[4].speedSum:VARIABLE(flow=false ) "Output speeds of continuous output places" type: Real [4] 33: P7.outTransition[1].instSpeed:VARIABLE(flow=false ) "Instantaneous speeds of continuous output transitions" type: Real [1] 34: T4.instantaneousSpeed:VARIABLE() "instantaneous speed" type: Real 35: $cse4:VARIABLE(protected = true ) type: Real unreplaceable 36: T4.inPlaces[1].decreasingFactor:VARIABLE(flow=false ) "Factor of continuous input places for decreasing the speed" type: Real [1] 37: $OMC$CF$sim3[1]:VARIABLE() type: Real [1] 38: T4.inPlaces[1].speedSum:VARIABLE(flow=false ) "Input speeds of continuous input places" type: Real [1] 39: T5.instantaneousSpeed:VARIABLE() "instantaneous speed" type: Real 40: T3.inPlaces[1].speedSum:VARIABLE(flow=false ) "Input speeds of continuous input places" type: Real [1] 41: T3.outPlaces[1].decreasingFactor:VARIABLE(flow=false ) "Factor of continuous output places for decreasing the speed" type: Real [1] 42: $OMC$CF$sim4[1]:VARIABLE() type: Real [1] 43: T3.outPlaces[1].prelimSpeed:VARIABLE(flow=false ) "Preliminary speed of a continuous transition" type: Real [1] 44: $cse3:VARIABLE(protected = true ) type: Real unreplaceable 45: T3.inPlaces[1].decreasingFactor:VARIABLE(flow=false ) "Factor of continuous input places for decreasing the speed" type: Real [1] 46: $OMC$CF$sim6[1]:VARIABLE() type: Real [1] 47: T5.outPlaces[3].decreasingFactor:VARIABLE(flow=false ) "Factor of continuous output places for decreasing the speed" type: Real [4] 48: $OMC$CF$sim5[1]:VARIABLE() type: Real [1] 49: T5.outPlaces[3].speedSum:VARIABLE(flow=false ) "Output speeds of continuous output places" type: Real [4] 50: T5.outPlaces[1].speedSum:VARIABLE(flow=false ) "Output speeds of continuous output places" type: Real [4] 51: P1.outTransition[1].instSpeed:VARIABLE(flow=false ) "Instantaneous speeds of continuous output transitions" type: Real [1] 52: T1.instantaneousSpeed:VARIABLE() "instantaneous speed" type: Real 53: $cse1:VARIABLE(protected = true ) type: Real unreplaceable 54: T1.inPlaces[1].decreasingFactor:VARIABLE(flow=false ) "Factor of continuous input places for decreasing the speed" type: Real [1] 55: $OMC$CF$sim12[1]:VARIABLE() type: Real [1] 56: T5.outPlaces[4].prelimSpeed:VARIABLE(flow=false ) "Preliminary speed of a continuous transition" type: Real [4] 57: $cse5:VARIABLE(protected = true ) type: Real unreplaceable 58: $cse6:VARIABLE(protected = true ) type: Real unreplaceable 59: T5.outPlaces[1].decreasingFactor:VARIABLE(flow=false ) "Factor of continuous output places for decreasing the speed" type: Real [4] 60: $OMC$CF$sim11[1]:VARIABLE() type: Real [1] [/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/Compiler/BackEnd/BackendDAEUtil.mo:9805:5-9806:77:writable] Error: Internal error BackendDAEUtil.traverseEqSystemStrongComponents failed with function: omc_DAEMode_traverserStrongComponents Notification: Performance of postOpt createDAEmodeBDAE (simulation): time 0.004912/1.146, allocations: 8.772 MB / 0.7742 GB, free: 140.2 MB / 0.545 GB Error: post-optimization module createDAEmodeBDAE (simulation) failed. Error: Internal error SimCode DAEmode: The model PNlib.Examples.ExtTest.ArcswithPCtoTC2 could not be translated