Running command: translateModel(Modelica.Electrical.Digital.Examples.Counter,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|Counter.FF.1..RS1.TD1.x|Counter.FF.1..RS2.TD1.x|Counter.FF.2..RS1.TD1.x|Counter.FF.2..RS2.TD1.x|Counter.FF.3..RS1.TD1.x|Counter.FF.3..RS2.TD1.x|Counter.FF.4..RS1.TD1.x|Counter.FF.4..RS2.TD1.x",fileNamePrefix="Modelica_3.2.2_Modelica.Electrical.Digital.Examples.Counter") Notification: Performance of loadModel(Modelica): time 2.009/2.009, allocations: 194.9 MB / 208 MB, free: 3.246 MB / 170.7 MB Notification: Performance of FrontEnd - loaded program: time 2.483e-05/2.497e-05, allocations: 4 kB / 255.4 MB, free: 2.703 MB / 202.7 MB Notification: Performance of FrontEnd - Absyn->SCode: time 0.09024/0.09029, allocations: 44.5 MB / 299.9 MB, free: 6.141 MB / 250.7 MB Notification: Performance of FrontEnd - scodeFlatten: time 0.359/0.4494, allocations: 78.64 MB / 378.5 MB, free: 22.32 MB / 314.7 MB Notification: Performance of FrontEnd - mkProgramGraph: time 0.00023/0.4497, allocations: 67.78 kB / 378.6 MB, free: 22.32 MB / 314.7 MB Notification: Performance of FrontEnd - DAE generated: time 0.3164/0.7661, allocations: 114.8 MB / 493.4 MB, free: 11.22 MB / 378.7 MB Notification: Performance of FrontEnd: time 1.999e-06/0.7661, allocations: 0 / 493.4 MB, free: 11.22 MB / 378.7 MB Notification: Performance of Transformations before backend: time 0.0001235/0.7663, allocations: 35.94 kB / 493.4 MB, free: 11.18 MB / 378.7 MB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 314 * Number of variables: 314 Notification: Performance of Generate backend data structure: time 0.00477/0.771, allocations: 1.552 MB / 495 MB, free: 9.574 MB / 378.7 MB Notification: Performance of prepare preOptimizeDAE: time 4.532e-05/0.7711, allocations: 8.031 kB / 495 MB, free: 9.566 MB / 378.7 MB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.000936/0.7721, allocations: 166.1 kB / 495.1 MB, free: 9.402 MB / 378.7 MB Notification: Performance of preOpt evaluateParameters (simulation): time 0.002904/0.775, allocations: 1.073 MB / 496.2 MB, free: 8.285 MB / 378.7 MB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.0001591/0.7752, allocations: 94.47 kB / 496.3 MB, free: 8.191 MB / 378.7 MB Notification: Performance of preOpt expandDerOperator (simulation): time 0.0006232/0.7758, allocations: 124 kB / 496.4 MB, free: 8.07 MB / 378.7 MB Notification: Performance of preOpt clockPartitioning (simulation): time 0.006436/0.7823, allocations: 2.1 MB / 498.5 MB, free: 5.945 MB / 378.7 MB Notification: Performance of preOpt findStateOrder (simulation): time 6.005e-05/0.7824, allocations: 4 kB / 498.5 MB, free: 5.941 MB / 378.7 MB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.0006124/0.783, allocations: 48 kB / 498.6 MB, free: 5.895 MB / 378.7 MB Notification: Performance of preOpt inlineArrayEqn (simulation): time 5.2e-05/0.7831, allocations: 32 kB / 498.6 MB, free: 5.863 MB / 378.7 MB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.009378/0.7925, allocations: 1.797 MB / 0.4887 GB, free: 4.062 MB / 378.7 MB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.01452/0.8071, allocations: 4.658 MB / 0.4932 GB, free: 15.35 MB / 394.7 MB Notification: Performance of preOpt comSubExp (simulation): time 0.004673/0.8118, allocations: 1.777 MB / 0.495 GB, free: 13.55 MB / 394.7 MB Notification: Performance of preOpt resolveLoops (simulation): time 0.00193/0.8138, allocations: 0.7144 MB / 0.4957 GB, free: 12.84 MB / 394.7 MB Notification: Performance of preOpt evalFunc (simulation): time 0.0002978/0.8141, allocations: 13 kB / 0.4957 GB, free: 12.82 MB / 394.7 MB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.003071/0.8172, allocations: 1.279 MB / 0.4969 GB, free: 11.53 MB / 394.7 MB Notification: Performance of pre-optimization done (n=120): time 6.231e-06/0.8172, allocations: 3.938 kB / 0.4969 GB, free: 11.53 MB / 394.7 MB Notification: Performance of matching and sorting (n=120): time 0.005186/0.8224, allocations: 1.853 MB / 0.4987 GB, free: 9.664 MB / 394.7 MB Notification: Performance of inlineWhenForInitialization (initialization): time 9.481e-05/0.8226, allocations: 98.03 kB / 0.4988 GB, free: 9.547 MB / 394.7 MB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.001886/0.8245, allocations: 0.8502 MB / 0.4997 GB, free: 8.691 MB / 394.7 MB Notification: Performance of collectPreVariables (initialization): time 0.0005471/0.825, allocations: 93.66 kB / 0.4998 GB, free: 8.594 MB / 394.7 MB Notification: Performance of collectInitialEqns (initialization): time 0.000582/0.8256, allocations: 413.3 kB / 0.5001 GB, free: 8.184 MB / 394.7 MB Notification: Performance of collectInitialBindings (initialization): time 0.0006976/0.8263, allocations: 280.8 kB / 0.5004 GB, free: 7.906 MB / 394.7 MB Notification: Performance of simplifyInitialFunctions (initialization): time 0.0002656/0.8266, allocations: 28 kB / 0.5004 GB, free: 7.879 MB / 394.7 MB Notification: Performance of setup shared object (initialization): time 0.0003397/0.827, allocations: 406.7 kB / 0.5008 GB, free: 7.473 MB / 394.7 MB Notification: Performance of preBalanceInitialSystem (initialization): time 0.002153/0.8291, allocations: 0.8224 MB / 0.5016 GB, free: 6.652 MB / 394.7 MB Notification: Performance of partitionIndependentBlocks (initialization): time 0.002372/0.8315, allocations: 0.9634 MB / 0.5026 GB, free: 5.645 MB / 394.7 MB Notification: Performance of analyzeInitialSystem (initialization): time 0.002499/0.834, allocations: 0.9807 MB / 0.5035 GB, free: 4.656 MB / 394.7 MB Notification: Performance of solveInitialSystemEqSystem (initialization): time 8.774e-06/0.8341, allocations: 0 / 0.5035 GB, free: 4.656 MB / 394.7 MB Notification: Performance of matching and sorting (n=166) (initialization): time 0.006075/0.8402, allocations: 2.272 MB / 0.5057 GB, free: 2.367 MB / 394.7 MB Notification: Performance of prepare postOptimizeDAE: time 5.598e-05/0.8403, allocations: 29.7 kB / 0.5058 GB, free: 2.332 MB / 394.7 MB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 1.629e-05/0.8403, allocations: 4 kB / 0.5058 GB, free: 2.328 MB / 394.7 MB Notification: Performance of postOpt tearingSystem (initialization): time 3.546e-05/0.8403, allocations: 11.98 kB / 0.5058 GB, free: 2.316 MB / 394.7 MB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.0006882/0.841, allocations: 219.6 kB / 0.506 GB, free: 2.102 MB / 394.7 MB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 2.429e-05/0.8411, allocations: 8.625 kB / 0.506 GB, free: 2.094 MB / 394.7 MB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.001689/0.8428, allocations: 187.4 kB / 0.5062 GB, free: 1.91 MB / 394.7 MB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.001578/0.8444, allocations: 1.093 MB / 0.5073 GB, free: 0.8164 MB / 394.7 MB Notification: Model statistics after passing the back-end for initialization: * Number of independent subsystems: 14 * Number of states: 0 () * Number of discrete variables: 161 ($whenCondition1,Counter.FF[1].RS2.Nor2.x[2],Counter.FF[1].RS2.Nor2.auxiliary[2],Counter.FF[1].RS2.Nor2.auxiliary_n,$PRE.Counter.FF[1].RS2.TD1.x,Counter.FF[1].RS2.TD1.x_delayed,Counter.FF[1].And2.y,$PRE.Counter.FF[1].And2.auxiliary_n,Counter.FF[1].RS1.Nor2.x[2],Counter.FF[1].RS1.Nor2.auxiliary[2],Counter.FF[1].RS1.Nor2.auxiliary_n,$PRE.Counter.FF[1].RS1.TD1.x,Counter.FF[1].RS1.TD1.x_delayed,Counter.FF[1].And4.y,$PRE.Counter.FF[1].And4.auxiliary_n,Counter.FF[1].RS2.Nor1.auxiliary[2],$PRE.Counter.FF[1].RS2.Nor1.auxiliary_n,Counter.FF[1].RS2.Nor1.auxiliary_n,$PRE.Counter.FF[1].RS2.Nor2.auxiliary_n,Counter.FF[1].RS2.TD1.x,Counter.FF[1].And1.y,$PRE.Counter.FF[1].And1.auxiliary_n,Counter.FF[1].And3.x[1],Counter.FF[1].And3.x[2],Counter.FF[1].And3.auxiliary_n,Counter.FF[1].And4.auxiliary_n,$PRE.Counter.FF[1].Not1.auxiliary,Counter.FF[2].RS2.Nor2.x[2],Counter.FF[2].RS2.Nor2.auxiliary[2],Counter.FF[2].RS2.Nor2.auxiliary_n,$PRE.Counter.FF[2].RS2.TD1.x,Counter.FF[2].RS2.TD1.x_delayed,Counter.FF[2].And2.y,$PRE.Counter.FF[2].And2.auxiliary_n,Counter.FF[2].RS1.Nor2.x[2],Counter.FF[2].RS1.Nor2.auxiliary[2],Counter.FF[2].RS1.Nor2.auxiliary_n,$PRE.Counter.FF[2].RS1.TD1.x,Counter.FF[2].RS1.TD1.x_delayed,Counter.FF[2].And4.y,$PRE.Counter.FF[2].And4.auxiliary_n,Counter.FF[2].RS2.Nor1.auxiliary[2],$PRE.Counter.FF[2].RS2.Nor1.auxiliary_n,Counter.FF[2].RS2.Nor1.auxiliary_n,$PRE.Counter.FF[2].RS2.Nor2.auxiliary_n,Counter.FF[2].RS2.TD1.x,Counter.FF[2].And1.y,$PRE.Counter.FF[2].And1.auxiliary_n,Counter.FF[2].And3.x[1],Counter.FF[2].And3.x[2],Counter.FF[2].And3.auxiliary_n,Counter.FF[2].And4.auxiliary_n,$PRE.Counter.FF[2].Not1.auxiliary,Counter.FF[3].RS2.Nor2.x[2],Counter.FF[3].RS2.Nor2.auxiliary[2],Counter.FF[3].RS2.Nor2.auxiliary_n,$PRE.Counter.FF[3].RS2.TD1.x,Counter.FF[3].RS2.TD1.x_delayed,Counter.FF[3].And2.y,$PRE.Counter.FF[3].And2.auxiliary_n,Counter.FF[3].RS1.Nor2.x[2],Counter.FF[3].RS1.Nor2.auxiliary[2],Counter.FF[3].RS1.Nor2.auxiliary_n,$PRE.Counter.FF[3].RS1.TD1.x,Counter.FF[3].RS1.TD1.x_delayed,Counter.FF[3].And4.y,$PRE.Counter.FF[3].And4.auxiliary_n,Counter.FF[3].RS2.Nor1.auxiliary[2],$PRE.Counter.FF[3].RS2.Nor1.auxiliary_n,Counter.FF[3].RS2.Nor1.auxiliary_n,$PRE.Counter.FF[3].RS2.Nor2.auxiliary_n,Counter.FF[3].RS2.TD1.x,Counter.FF[3].And1.y,$PRE.Counter.FF[3].And1.auxiliary_n,Counter.FF[3].And3.x[1],Counter.FF[3].And3.x[2],Counter.FF[3].And3.auxiliary_n,Counter.FF[3].And4.auxiliary_n,$PRE.Counter.FF[3].Not1.auxiliary,Counter.FF[4].RS2.Nor2.x[2],Counter.FF[4].RS2.Nor2.auxiliary[2],Counter.FF[4].RS2.Nor2.auxiliary_n,$PRE.Counter.FF[4].RS2.TD1.x,Counter.FF[4].RS2.TD1.x_delayed,Counter.FF[4].And2.y,$PRE.Counter.FF[4].And2.auxiliary_n,Counter.FF[4].RS1.Nor2.x[2],Counter.FF[4].RS1.Nor2.auxiliary[2],Counter.FF[4].RS1.Nor2.auxiliary_n,$PRE.Counter.FF[4].RS1.TD1.x,Counter.FF[4].RS1.TD1.x_delayed,Counter.FF[4].And4.y,$PRE.Counter.FF[4].And4.auxiliary_n,Counter.FF[4].RS2.Nor1.auxiliary[2],$PRE.Counter.FF[4].RS2.Nor1.auxiliary_n,Counter.FF[4].RS2.Nor1.auxiliary_n,$PRE.Counter.FF[4].RS2.Nor2.auxiliary_n,Counter.FF[4].RS2.TD1.x,Counter.FF[4].And1.y,$PRE.Counter.FF[4].And1.auxiliary_n,Counter.FF[4].And3.x[1],Counter.FF[4].And3.x[2],Counter.FF[4].And3.auxiliary_n,Counter.FF[4].And4.auxiliary_n,$PRE.Counter.FF[4].Not1.auxiliary,Clock.y,$PRE.Clock.t_i,Clock.t_i,Counter.enable,Counter.FF[1].qn,Counter.FF[1].RS1.Nor1.auxiliary[2],$PRE.Counter.FF[1].RS1.Nor1.auxiliary_n,Counter.FF[1].RS1.Nor1.auxiliary_n,$PRE.Counter.FF[1].RS1.Nor2.auxiliary_n,Counter.FF[1].RS1.TD1.x,Counter.FF[1].And1.auxiliary[2],Counter.FF[1].And1.auxiliary_n,Counter.FF[1].And2.auxiliary[2],Counter.FF[1].And2.auxiliary_n,Counter.FF[1].And3.y,$PRE.Counter.FF[1].And3.auxiliary_n,Counter.FF[1].Not1.auxiliary,Counter.FF[2].qn,Counter.FF[2].RS1.Nor1.auxiliary[2],$PRE.Counter.FF[2].RS1.Nor1.auxiliary_n,Counter.FF[2].RS1.Nor1.auxiliary_n,$PRE.Counter.FF[2].RS1.Nor2.auxiliary_n,Counter.FF[2].RS1.TD1.x,Counter.FF[2].And1.auxiliary[2],Counter.FF[2].And1.auxiliary_n,Counter.FF[2].And2.auxiliary[2],Counter.FF[2].And2.auxiliary_n,Counter.FF[2].And3.y,$PRE.Counter.FF[2].And3.auxiliary_n,Counter.FF[2].Not1.auxiliary,Counter.FF[3].qn,Counter.FF[3].RS1.Nor1.auxiliary[2],$PRE.Counter.FF[3].RS1.Nor1.auxiliary_n,Counter.FF[3].RS1.Nor1.auxiliary_n,$PRE.Counter.FF[3].RS1.Nor2.auxiliary_n,Counter.FF[3].RS1.TD1.x,Counter.FF[3].And1.auxiliary[2],Counter.FF[3].And1.auxiliary_n,Counter.FF[3].And2.auxiliary[2],Counter.FF[3].And2.auxiliary_n,Counter.FF[3].And3.y,$PRE.Counter.FF[3].And3.auxiliary_n,Counter.FF[3].Not1.auxiliary,Counter.FF[4].qn,Counter.FF[4].RS1.Nor1.auxiliary[2],$PRE.Counter.FF[4].RS1.Nor1.auxiliary_n,Counter.FF[4].RS1.Nor1.auxiliary_n,$PRE.Counter.FF[4].RS1.Nor2.auxiliary_n,Counter.FF[4].RS1.TD1.x,Counter.FF[4].And1.auxiliary[2],Counter.FF[4].And1.auxiliary_n,Counter.FF[4].And2.auxiliary[2],Counter.FF[4].And2.auxiliary_n,Counter.FF[4].And3.y,$PRE.Counter.FF[4].And3.auxiliary_n,Counter.FF[4].Not1.auxiliary) * Number of discrete states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for initialization (166): * Single equations (assignments): 165 * Array equations: 0 * Algorithm blocks: 1 * 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.001004/0.8454, allocations: 397.5 kB / 0.5076 GB, free: 412 kB / 394.7 MB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.0005214/0.8459, allocations: 110.8 kB / 0.5077 GB, free: 300 kB / 394.7 MB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.0003847/0.8463, allocations: 125.5 kB / 0.5079 GB, free: 164 kB / 394.7 MB Notification: Performance of postOpt inlineArrayEqn (simulation): time 1.982e-05/0.8464, allocations: 12 kB / 0.5079 GB, free: 152 kB / 394.7 MB Notification: Performance of postOpt constantLinearSystem (simulation): time 1.205e-05/0.8464, allocations: 0 / 0.5079 GB, free: 152 kB / 394.7 MB Notification: Performance of postOpt simplifysemiLinear (simulation): time 1.88e-05/0.8464, allocations: 3.984 kB / 0.5079 GB, free: 148 kB / 394.7 MB Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.2172/1.064, allocations: 1.696 MB / 0.5095 GB, free: 105.9 MB / 394.7 MB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 1.502e-05/1.064, allocations: 0.5938 kB / 0.5095 GB, free: 105.9 MB / 394.7 MB Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.0008206/1.065, allocations: 192.3 kB / 0.5097 GB, free: 105.9 MB / 394.7 MB Notification: Performance of postOpt tearingSystem (simulation): time 1.98e-05/1.065, allocations: 4 kB / 0.5097 GB, free: 105.9 MB / 394.7 MB Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.0004753/1.065, allocations: 178.5 kB / 0.5099 GB, free: 105.9 MB / 394.7 MB Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 1.072e-05/1.065, allocations: 7.375 kB / 0.5099 GB, free: 105.9 MB / 394.7 MB Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 2.439e-06/1.065, allocations: 1.25 kB / 0.5099 GB, free: 105.9 MB / 394.7 MB Notification: Performance of postOpt symbolicJacobian (simulation): time 0.005089/1.07, allocations: 1.927 MB / 0.5118 GB, free: 105.8 MB / 394.7 MB Notification: Performance of postOpt removeConstants (simulation): time 0.001882/1.072, allocations: 0.6273 MB / 0.5124 GB, free: 105.7 MB / 394.7 MB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.0009852/1.073, allocations: 119.6 kB / 0.5125 GB, free: 105.7 MB / 394.7 MB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.001666/1.075, allocations: 146.8 kB / 0.5126 GB, free: 105.7 MB / 394.7 MB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.0009752/1.076, allocations: 320.7 kB / 0.513 GB, free: 105.7 MB / 394.7 MB Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.001475/1.077, allocations: 1.082 MB / 0.514 GB, free: 105.7 MB / 394.7 MB Notification: Performance of sorting global known variables: time 0.0012/1.079, allocations: 0.5802 MB / 0.5146 GB, free: 105.6 MB / 394.7 MB Notification: Performance of sort global known variables: time 9.31e-07/1.079, allocations: 0 / 0.5146 GB, free: 105.6 MB / 394.7 MB Notification: Performance of remove unused functions: time 0.002127/1.081, allocations: 322.6 kB / 0.5149 GB, free: 105.6 MB / 394.7 MB Notification: Model statistics after passing the back-end for simulation: * Number of independent subsystems: 1 * Number of states: 0 () * Number of discrete variables: 116 ($whenCondition1,Clock.y,Clock.t_i,Counter.enable,Counter.FF[1].qn,Counter.FF[1].RS1.Nor1.auxiliary[2],Counter.FF[1].RS1.Nor1.auxiliary_n,Counter.FF[1].RS1.Nor2.x[2],Counter.FF[1].RS1.Nor2.auxiliary[2],Counter.FF[1].RS1.Nor2.auxiliary_n,Counter.FF[1].RS1.TD1.x,Counter.FF[1].RS1.TD1.x_delayed,Counter.FF[1].RS2.Nor1.auxiliary[2],Counter.FF[1].RS2.Nor1.auxiliary_n,Counter.FF[1].RS2.Nor2.x[2],Counter.FF[1].RS2.Nor2.auxiliary[2],Counter.FF[1].RS2.Nor2.auxiliary_n,Counter.FF[1].RS2.TD1.x,Counter.FF[1].RS2.TD1.x_delayed,Counter.FF[1].And1.y,Counter.FF[1].And1.auxiliary[2],Counter.FF[1].And1.auxiliary_n,Counter.FF[1].And2.y,Counter.FF[1].And2.auxiliary[2],Counter.FF[1].And2.auxiliary_n,Counter.FF[1].And3.x[1],Counter.FF[1].And3.x[2],Counter.FF[1].And3.y,Counter.FF[1].And3.auxiliary_n,Counter.FF[1].And4.y,Counter.FF[1].And4.auxiliary_n,Counter.FF[1].Not1.auxiliary,Counter.FF[2].qn,Counter.FF[2].RS1.Nor1.auxiliary[2],Counter.FF[2].RS1.Nor1.auxiliary_n,Counter.FF[2].RS1.Nor2.x[2],Counter.FF[2].RS1.Nor2.auxiliary[2],Counter.FF[2].RS1.Nor2.auxiliary_n,Counter.FF[2].RS1.TD1.x,Counter.FF[2].RS1.TD1.x_delayed,Counter.FF[2].RS2.Nor1.auxiliary[2],Counter.FF[2].RS2.Nor1.auxiliary_n,Counter.FF[2].RS2.Nor2.x[2],Counter.FF[2].RS2.Nor2.auxiliary[2],Counter.FF[2].RS2.Nor2.auxiliary_n,Counter.FF[2].RS2.TD1.x,Counter.FF[2].RS2.TD1.x_delayed,Counter.FF[2].And1.y,Counter.FF[2].And1.auxiliary[2],Counter.FF[2].And1.auxiliary_n,Counter.FF[2].And2.y,Counter.FF[2].And2.auxiliary[2],Counter.FF[2].And2.auxiliary_n,Counter.FF[2].And3.x[1],Counter.FF[2].And3.x[2],Counter.FF[2].And3.y,Counter.FF[2].And3.auxiliary_n,Counter.FF[2].And4.y,Counter.FF[2].And4.auxiliary_n,Counter.FF[2].Not1.auxiliary,Counter.FF[3].qn,Counter.FF[3].RS1.Nor1.auxiliary[2],Counter.FF[3].RS1.Nor1.auxiliary_n,Counter.FF[3].RS1.Nor2.x[2],Counter.FF[3].RS1.Nor2.auxiliary[2],Counter.FF[3].RS1.Nor2.auxiliary_n,Counter.FF[3].RS1.TD1.x,Counter.FF[3].RS1.TD1.x_delayed,Counter.FF[3].RS2.Nor1.auxiliary[2],Counter.FF[3].RS2.Nor1.auxiliary_n,Counter.FF[3].RS2.Nor2.x[2],Counter.FF[3].RS2.Nor2.auxiliary[2],Counter.FF[3].RS2.Nor2.auxiliary_n,Counter.FF[3].RS2.TD1.x,Counter.FF[3].RS2.TD1.x_delayed,Counter.FF[3].And1.y,Counter.FF[3].And1.auxiliary[2],Counter.FF[3].And1.auxiliary_n,Counter.FF[3].And2.y,Counter.FF[3].And2.auxiliary[2],Counter.FF[3].And2.auxiliary_n,Counter.FF[3].And3.x[1],Counter.FF[3].And3.x[2],Counter.FF[3].And3.y,Counter.FF[3].And3.auxiliary_n,Counter.FF[3].And4.y,Counter.FF[3].And4.auxiliary_n,Counter.FF[3].Not1.auxiliary,Counter.FF[4].qn,Counter.FF[4].RS1.Nor1.auxiliary[2],Counter.FF[4].RS1.Nor1.auxiliary_n,Counter.FF[4].RS1.Nor2.x[2],Counter.FF[4].RS1.Nor2.auxiliary[2],Counter.FF[4].RS1.Nor2.auxiliary_n,Counter.FF[4].RS1.TD1.x,Counter.FF[4].RS1.TD1.x_delayed,Counter.FF[4].RS2.Nor1.auxiliary[2],Counter.FF[4].RS2.Nor1.auxiliary_n,Counter.FF[4].RS2.Nor2.x[2],Counter.FF[4].RS2.Nor2.auxiliary[2],Counter.FF[4].RS2.Nor2.auxiliary_n,Counter.FF[4].RS2.TD1.x,Counter.FF[4].RS2.TD1.x_delayed,Counter.FF[4].And1.y,Counter.FF[4].And1.auxiliary[2],Counter.FF[4].And1.auxiliary_n,Counter.FF[4].And2.y,Counter.FF[4].And2.auxiliary[2],Counter.FF[4].And2.auxiliary_n,Counter.FF[4].And3.x[1],Counter.FF[4].And3.x[2],Counter.FF[4].And3.y,Counter.FF[4].And3.auxiliary_n,Counter.FF[4].And4.y,Counter.FF[4].And4.auxiliary_n,Counter.FF[4].Not1.auxiliary) * Number of discrete states: 45 (Counter.FF[4].Not1.auxiliary,Counter.FF[4].And4.auxiliary_n,Counter.FF[4].And3.auxiliary_n,Counter.FF[4].And2.auxiliary_n,Counter.FF[4].And1.auxiliary_n,Counter.FF[4].RS2.TD1.x,Counter.FF[4].RS2.Nor2.auxiliary_n,Counter.FF[4].RS2.Nor1.auxiliary_n,Counter.FF[4].RS1.TD1.x,Counter.FF[4].RS1.Nor2.auxiliary_n,Counter.FF[4].RS1.Nor1.auxiliary_n,Counter.FF[3].Not1.auxiliary,Counter.FF[3].And4.auxiliary_n,Counter.FF[3].And3.auxiliary_n,Counter.FF[3].And2.auxiliary_n,Counter.FF[3].And1.auxiliary_n,Counter.FF[3].RS2.TD1.x,Counter.FF[3].RS2.Nor2.auxiliary_n,Counter.FF[3].RS2.Nor1.auxiliary_n,Counter.FF[3].RS1.TD1.x,Counter.FF[3].RS1.Nor2.auxiliary_n,Counter.FF[3].RS1.Nor1.auxiliary_n,Counter.FF[2].Not1.auxiliary,Counter.FF[2].And4.auxiliary_n,Counter.FF[2].And3.auxiliary_n,Counter.FF[2].And2.auxiliary_n,Counter.FF[2].And1.auxiliary_n,Counter.FF[2].RS2.TD1.x,Counter.FF[2].RS2.Nor2.auxiliary_n,Counter.FF[2].RS2.Nor1.auxiliary_n,Counter.FF[2].RS1.TD1.x,Counter.FF[2].RS1.Nor2.auxiliary_n,Counter.FF[2].RS1.Nor1.auxiliary_n,Counter.FF[1].Not1.auxiliary,Counter.FF[1].And4.auxiliary_n,Counter.FF[1].And3.auxiliary_n,Counter.FF[1].And2.auxiliary_n,Counter.FF[1].And1.auxiliary_n,Counter.FF[1].RS2.TD1.x,Counter.FF[1].RS2.Nor2.auxiliary_n,Counter.FF[1].RS2.Nor1.auxiliary_n,Counter.FF[1].RS1.TD1.x,Counter.FF[1].RS1.Nor2.auxiliary_n,Counter.FF[1].RS1.Nor1.auxiliary_n,Counter.enable) * Top-level inputs: 0 Notification: Strong component statistics for simulation (120): * Single equations (assignments): 118 * Array equations: 0 * Algorithm blocks: 1 * Record equations: 0 * When equations: 1 * 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.0008688/1.082, allocations: 369.7 kB / 0.5152 GB, free: 105.4 MB / 394.7 MB Notification: Performance of simCode: created initialization part: time 0.005495/1.087, allocations: 1.91 MB / 0.5171 GB, free: 105.4 MB / 394.7 MB Notification: Performance of simCode: created event and clocks part: time 5.733e-06/1.087, allocations: 0.8438 kB / 0.5171 GB, free: 105.4 MB / 394.7 MB Notification: Performance of simCode: created simulation system equations: time 0.002716/1.09, allocations: 1.022 MB / 0.5181 GB, free: 105.3 MB / 394.7 MB Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.004502/1.095, allocations: 0.9243 MB / 0.519 GB, free: 105.3 MB / 394.7 MB Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.007161/1.102, allocations: 2.352 MB / 0.5213 GB, free: 104.9 MB / 394.7 MB Notification: Performance of simCode: some other stuff during SimCode phase: time 0.002385/1.104, allocations: 1.334 MB / 0.5226 GB, free: 104.1 MB / 394.7 MB Notification: Performance of simCode: alias equations: time 0.01539/1.12, allocations: 3.38 MB / 0.5259 GB, free: 102.3 MB / 394.7 MB Notification: Performance of simCode: all other stuff during SimCode phase: time 0.007844/1.128, allocations: 0.9242 MB / 0.5268 GB, free: 101.7 MB / 394.7 MB Notification: Performance of SimCode: time 3.003e-06/1.128, allocations: 0 / 0.5268 GB, free: 101.7 MB / 394.7 MB Notification: Performance of Templates: time 0.09486/1.222, allocations: 37.95 MB / 0.5639 GB, free: 80.92 MB / 394.7 MB