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_trunk_Modelica.Electrical.Digital.Examples.Counter")
Notification: Performance of loadModel(Modelica): time 2.087/2.087, allocations: 225.8 MB / 239.4 MB, free: 11.17 MB / 202.7 MB
Notification: Performance of FrontEnd - loaded program: time 3.221e-05/3.232e-05, allocations: 7.938 kB / 292.7 MB, free: 8.34 MB / 234.7 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 0.09141/0.09146, allocations: 50.41 MB / 343.1 MB, free: 5.906 MB / 282.7 MB
Notification: Performance of FrontEnd - scodeFlatten: time 0.3904/0.4819, allocations: 83.99 MB / 427.1 MB, free: 10.19 MB / 346.7 MB
Notification: Performance of FrontEnd - mkProgramGraph: time 0.0002197/0.4821, allocations: 65.16 kB / 427.1 MB, free: 10.16 MB / 346.7 MB
Notification: Performance of FrontEnd - DAE generated: time 0.602/1.084, allocations: 116.1 MB / 0.5305 GB, free: 127.9 MB / 442.7 MB
Notification: Performance of FrontEnd: time 2e-06/1.084, allocations: 1.375 kB / 0.5305 GB, free: 127.9 MB / 442.7 MB
Notification: Performance of Transformations before backend: time 0.0001045/1.084, allocations: 36.23 kB / 0.5305 GB, free: 127.9 MB / 442.7 MB
Notification: Model statistics after passing the front-end and creating the data structures used by the back-end:
 * Number of equations: 322
 * Number of variables: 322
Notification: Performance of Generate backend data structure: time 0.004133/1.088, allocations: 1.559 MB / 0.532 GB, free: 127.4 MB / 442.7 MB
Notification: Performance of prepare preOptimizeDAE: time 4.357e-05/1.089, allocations: 9.312 kB / 0.532 GB, free: 127.4 MB / 442.7 MB
Notification: Performance of preOpt normalInlineFunction (simulation): time 0.0008698/1.089, allocations: 171 kB / 0.5322 GB, free: 127.3 MB / 442.7 MB
Notification: Performance of preOpt evaluateParameters (simulation): time 0.002672/1.092, allocations: 1.081 MB / 0.5333 GB, free: 127.1 MB / 442.7 MB
Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.0001377/1.092, allocations: 99.89 kB / 0.5334 GB, free: 127.1 MB / 442.7 MB
Notification: Performance of preOpt expandDerOperator (simulation): time 0.0005272/1.093, allocations: 122.3 kB / 0.5335 GB, free: 127.1 MB / 442.7 MB
Notification: Performance of preOpt clockPartitioning (simulation): time 0.005394/1.098, allocations: 2.139 MB / 0.5356 GB, free: 127 MB / 442.7 MB
Notification: Performance of preOpt findStateOrder (simulation): time 3.826e-05/1.098, allocations: 3.703 kB / 0.5356 GB, free: 127 MB / 442.7 MB
Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.000327/1.099, allocations: 53.11 kB / 0.5356 GB, free: 127 MB / 442.7 MB
Notification: Performance of preOpt inlineArrayEqn (simulation): time 3.507e-05/1.099, allocations: 30.03 kB / 0.5356 GB, free: 127 MB / 442.7 MB
Notification: Performance of preOpt removeEqualRHS (simulation): time 0.0048/1.103, allocations: 1.814 MB / 0.5374 GB, free: 127 MB / 442.7 MB
Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.01095/1.114, allocations: 4.759 MB / 0.5421 GB, free: 126.6 MB / 442.7 MB
Notification: Performance of preOpt comSubExp (simulation): time 0.003943/1.118, allocations: 1.792 MB / 0.5438 GB, free: 126.5 MB / 442.7 MB
Notification: Performance of preOpt resolveLoops (simulation): time 0.001583/1.12, allocations: 0.7352 MB / 0.5445 GB, free: 126.5 MB / 442.7 MB
Notification: Performance of preOpt evalFunc (simulation): time 0.0002871/1.12, allocations: 18.73 kB / 0.5445 GB, free: 126.5 MB / 442.7 MB
Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.002292/1.123, allocations: 1.326 MB / 0.5458 GB, free: 126.5 MB / 442.7 MB
Notification: Performance of pre-optimization done (n=128): time 5.43e-06/1.123, allocations: 0 / 0.5458 GB, free: 126.5 MB / 442.7 MB
Notification: Performance of matching and sorting (n=128): time 0.004244/1.127, allocations: 1.9 MB / 0.5477 GB, free: 126.3 MB / 442.7 MB
Notification: Performance of inlineWhenForInitialization (initialization): time 4.376e-05/1.127, allocations: 94.81 kB / 0.5478 GB, free: 126.2 MB / 442.7 MB
Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.001552/1.129, allocations: 0.8479 MB / 0.5486 GB, free: 126 MB / 442.7 MB
Notification: Performance of collectPreVariables (initialization): time 0.0003851/1.129, allocations: 101.8 kB / 0.5487 GB, free: 126 MB / 442.7 MB
Notification: Performance of collectInitialEqns (initialization): time 0.0003928/1.129, allocations: 418 kB / 0.5491 GB, free: 125.8 MB / 442.7 MB
Notification: Performance of collectInitialBindings (initialization): time 0.0005683/1.13, allocations: 301.5 kB / 0.5494 GB, free: 125.7 MB / 442.7 MB
Notification: Performance of simplifyInitialFunctions (initialization): time 0.0002756/1.13, allocations: 35.03 kB / 0.5494 GB, free: 125.7 MB / 442.7 MB
Notification: Performance of setup shared object (initialization): time 0.0001866/1.13, allocations: 401.4 kB / 0.5498 GB, free: 125.4 MB / 442.7 MB
Notification: Performance of preBalanceInitialSystem (initialization): time 0.001893/1.132, allocations: 0.8421 MB / 0.5506 GB, free: 125.4 MB / 442.7 MB
Notification: Performance of partitionIndependentBlocks (initialization): time 0.002037/1.134, allocations: 1.002 MB / 0.5516 GB, free: 125.3 MB / 442.7 MB
Notification: Performance of analyzeInitialSystem (initialization): time 0.002191/1.137, allocations: 1.009 MB / 0.5526 GB, free: 125.2 MB / 442.7 MB
Notification: Performance of solveInitialSystemEqSystem (initialization): time 9.99e-06/1.137, allocations: 0 / 0.5526 GB, free: 125.2 MB / 442.7 MB
Notification: Performance of matching and sorting (n=174) (initialization): time 0.005203/1.142, allocations: 2.337 MB / 0.5549 GB, free: 124.6 MB / 442.7 MB
Notification: Performance of prepare postOptimizeDAE: time 4.776e-05/1.142, allocations: 36.72 kB / 0.5549 GB, free: 124.5 MB / 442.7 MB
Notification: Performance of postOpt simplifyComplexFunction (initialization): time 1.393e-05/1.142, allocations: 7.234 kB / 0.5549 GB, free: 124.5 MB / 442.7 MB
Notification: Performance of postOpt tearingSystem (initialization): time 2.907e-05/1.142, allocations: 11.12 kB / 0.5549 GB, free: 124.5 MB / 442.7 MB
Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.0006713/1.143, allocations: 233.8 kB / 0.5552 GB, free: 124.5 MB / 442.7 MB
Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 2.144e-05/1.143, allocations: 7.562 kB / 0.5552 GB, free: 124.5 MB / 442.7 MB
Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.00173/1.145, allocations: 191.6 kB / 0.5553 GB, free: 124.5 MB / 442.7 MB
Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.001114/1.146, allocations: 1.096 MB / 0.5564 GB, free: 124.4 MB / 442.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,$PRE.clock.t_i,clock.t_i,Counter.enable,Counter.count,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 (174):
 * Single equations (assignments): 173
 * 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.000795/1.146, allocations: 399.3 kB / 0.5568 GB, free: 124.2 MB / 442.7 MB
Notification: Performance of postOpt lateInlineFunction (simulation): time 0.0004829/1.147, allocations: 102.7 kB / 0.5569 GB, free: 124.1 MB / 442.7 MB
Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.0003168/1.147, allocations: 133.4 kB / 0.557 GB, free: 124 MB / 442.7 MB
Notification: Performance of postOpt inlineArrayEqn (simulation): time 1.274e-05/1.147, allocations: 14.28 kB / 0.557 GB, free: 124 MB / 442.7 MB
Notification: Performance of postOpt constantLinearSystem (simulation): time 1.294e-05/1.147, allocations: 3.656 kB / 0.557 GB, free: 124 MB / 442.7 MB
Notification: Performance of postOpt simplifysemiLinear (simulation): time 1.546e-05/1.147, allocations: 3.609 kB / 0.557 GB, free: 124 MB / 442.7 MB
Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.003366/1.151, allocations: 1.748 MB / 0.5588 GB, free: 123.3 MB / 442.7 MB
Notification: Performance of postOpt simplifyComplexFunction (simulation): time 8.898e-06/1.151, allocations: 0 / 0.5588 GB, free: 123.3 MB / 442.7 MB
Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.00064/1.151, allocations: 207.2 kB / 0.5589 GB, free: 123.3 MB / 442.7 MB
Notification: Performance of postOpt tearingSystem (simulation): time 1.413e-05/1.151, allocations: 10.64 kB / 0.559 GB, free: 123.3 MB / 442.7 MB
Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.0003527/1.152, allocations: 175 kB / 0.5591 GB, free: 123.3 MB / 442.7 MB
Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 1.225e-05/1.152, allocations: 7.781 kB / 0.5591 GB, free: 123.3 MB / 442.7 MB
Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 2.321e-06/1.152, allocations: 3.719 kB / 0.5591 GB, free: 123.3 MB / 442.7 MB
Notification: Performance of postOpt symbolicJacobian (simulation): time 0.004264/1.156, allocations: 1.981 MB / 0.5611 GB, free: 122.7 MB / 442.7 MB
Notification: Performance of postOpt removeConstants (simulation): time 0.001564/1.158, allocations: 0.6401 MB / 0.5617 GB, free: 122.4 MB / 442.7 MB
Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.0005573/1.158, allocations: 123.6 kB / 0.5618 GB, free: 122.3 MB / 442.7 MB
Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.00113/1.159, allocations: 147 kB / 0.562 GB, free: 122.3 MB / 442.7 MB
Notification: Performance of postOpt findZeroCrossings (simulation): time 0.0006862/1.16, allocations: 325 kB / 0.5623 GB, free: 122.3 MB / 442.7 MB
Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.001028/1.161, allocations: 1.08 MB / 0.5633 GB, free: 122.2 MB / 442.7 MB
Notification: Performance of sorting global known variables: time 0.0009424/1.162, allocations: 0.5836 MB / 0.5639 GB, free: 122 MB / 442.7 MB
Notification: Performance of sort global known variables: time 8.84e-07/1.162, allocations: 1.219 kB / 0.5639 GB, free: 122 MB / 442.7 MB
Notification: Performance of remove unused functions: time 0.001568/1.164, allocations: 323.4 kB / 0.5642 GB, free: 121.9 MB / 442.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.t_i,Counter.enable,Counter.count,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 (128):
 * Single equations (assignments): 126
 * 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.0006589/1.164, allocations: 378.8 kB / 0.5646 GB, free: 121.8 MB / 442.7 MB
Notification: Performance of simCode: created initialization part: time 0.003669/1.168, allocations: 1.963 MB / 0.5665 GB, free: 121.2 MB / 442.7 MB
Notification: Performance of simCode: created event and clocks part: time 5.062e-06/1.168, allocations: 4 kB / 0.5665 GB, free: 121.2 MB / 442.7 MB
Notification: Performance of simCode: created simulation system equations: time 0.001914/1.17, allocations: 1.047 MB / 0.5675 GB, free: 120.3 MB / 442.7 MB
Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.003471/1.174, allocations: 0.9058 MB / 0.5684 GB, free: 119.7 MB / 442.7 MB
Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.005026/1.179, allocations: 2.422 MB / 0.5708 GB, free: 117.6 MB / 442.7 MB
Notification: Performance of simCode: some other stuff during SimCode phase: time 0.001169/1.18, allocations: 1.349 MB / 0.5721 GB, free: 116.4 MB / 442.7 MB
Notification: Performance of simCode: alias equations: time 0.007143/1.187, allocations: 3.432 MB / 0.5754 GB, free: 113.2 MB / 442.7 MB
Notification: Performance of simCode: all other stuff during SimCode phase: time 0.003917/1.191, allocations: 0.9238 MB / 0.5763 GB, free: 112.3 MB / 442.7 MB
Notification: Performance of SimCode: time 1.755e-06/1.191, allocations: 0 / 0.5763 GB, free: 112.3 MB / 442.7 MB
Notification: Performance of Templates: time 0.06588/1.257, allocations: 38.27 MB / 0.6137 GB, free: 75.64 MB / 442.7 MB