Running: ./testmodel.py --libraries=/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/./OMCompiler/build/lib/omlibrary/ --ompython_omhome=/usr Modelica_3.2.1_Modelica.Electrical.Digital.Examples.FullAdder.conf.json Using package ModelicaServices with version 3.2.1 (/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/omlibrary/ModelicaServices 3.2.1/package.mo) Using package Complex with version 3.2.1 (/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/omlibrary/Complex 3.2.1.mo) Using package Modelica with version 3.2.1 (/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/omlibrary/Modelica 3.2.1/package.mo) Running command: translateModel(Modelica.Electrical.Digital.Examples.FullAdder,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|Adder1.Adder1.AND.G2.x|Adder1.Adder1.AND.G2.y|Adder1.Adder1.XOR.G2.x|Adder1.Adder1.XOR.G2.y|Adder1.Adder2.AND.G2.x|Adder1.Adder2.AND.G2.y|Adder1.Adder2.XOR.G2.x|Adder1.Adder2.XOR.G2.y|Counter.FF1.RS1.TD1.x|Counter.FF1.RS2.TD1.x|Counter.FF2.RS1.TD1.x|Counter.FF2.RS2.TD1.x|Counter.FF3.RS1.TD1.x|Counter.FF3.RS2.TD1.x",fileNamePrefix="Modelica_3.2.1_Modelica.Electrical.Digital.Examples.FullAdder") Notification: Performance of loadModel(Modelica): time 1.838/1.838, allocations: 171.2 MB / 186.7 MB, free: 1.125 MB / 154.7 MB Notification: Performance of FrontEnd - loaded program: time 0.0003418/0.0003418, allocations: 8 kB / 233.9 MB, free: 2.395 MB / 186.7 MB Notification: Performance of FrontEnd - Absyn->SCode: time 0.09602/0.09639, allocations: 38.78 MB / 272.6 MB, free: 11.54 MB / 234.7 MB Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.FullAdder): time 0.00628/0.1027, allocations: 4.089 MB / 276.7 MB, free: 7.43 MB / 234.7 MB Notification: Performance of NFInst.instExpressions: time 0.006075/0.1088, allocations: 2.083 MB / 278.8 MB, free: 5.34 MB / 234.7 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.0005234/0.1094, allocations: 15.88 kB / 278.8 MB, free: 5.324 MB / 234.7 MB Notification: Performance of NFTyping.typeComponents: time 0.0004579/0.1099, allocations: 135 kB / 279 MB, free: 5.191 MB / 234.7 MB Notification: Performance of NFTyping.typeBindings: time 0.0005393/0.1105, allocations: 147.5 kB / 279.1 MB, free: 5.047 MB / 234.7 MB Notification: Performance of NFTyping.typeClassSections: time 0.001565/0.112, allocations: 395.4 kB / 279.5 MB, free: 4.66 MB / 234.7 MB Notification: Performance of NFFlatten.flatten: time 0.002061/0.1141, allocations: 1.066 MB / 280.5 MB, free: 3.59 MB / 234.7 MB Notification: Performance of NFFlatten.resolveConnections: time 0.001148/0.1153, allocations: 0.5476 MB / 281.1 MB, free: 3.031 MB / 234.7 MB Notification: Performance of NFEvalConstants.evaluate: time 0.002499/0.1178, allocations: 1.31 MB / 282.4 MB, free: 1.719 MB / 234.7 MB Notification: Performance of NFSimplifyModel.simplify: time 0.0016/0.1194, allocations: 0.9861 MB / 283.4 MB, free: 0.7305 MB / 234.7 MB Notification: Performance of NFPackage.collectConstants: time 0.0005711/0.12, allocations: 40 kB / 283.4 MB, free: 0.6914 MB / 234.7 MB Notification: Performance of NFFlatten.collectFunctions: time 0.0005515/0.1206, allocations: 44 kB / 283.5 MB, free: 0.6484 MB / 234.7 MB Notification: Performance of NFScalarize.scalarize: time 0.0009994/0.1216, allocations: 0.5726 MB / 284 MB, free: 76 kB / 234.7 MB Notification: Performance of NFVerifyModel.verify: time 0.0006065/0.1222, allocations: 436.5 kB / 284.5 MB, free: 15.64 MB / 250.7 MB Notification: Performance of NFConvertDAE.convert: time 0.005359/0.1276, allocations: 4.317 MB / 288.8 MB, free: 11.31 MB / 250.7 MB Notification: Performance of FrontEnd - DAE generated: time 4.339e-06/0.1276, allocations: 0 / 288.8 MB, free: 11.31 MB / 250.7 MB Notification: Performance of FrontEnd: time 2.755e-06/0.1277, allocations: 0 / 288.8 MB, free: 11.31 MB / 250.7 MB Notification: Performance of Transformations before backend: time 8.631e-05/0.1277, allocations: 0 / 288.8 MB, free: 11.31 MB / 250.7 MB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 318 * Number of variables: 318 Notification: Performance of Generate backend data structure: time 0.005969/0.1337, allocations: 2.378 MB / 291.2 MB, free: 8.844 MB / 250.7 MB Notification: Performance of prepare preOptimizeDAE: time 5.539e-05/0.1338, allocations: 12.03 kB / 291.2 MB, free: 8.832 MB / 250.7 MB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.001039/0.1349, allocations: 252.9 kB / 291.4 MB, free: 8.582 MB / 250.7 MB Notification: Performance of preOpt evaluateParameters (simulation): time 0.002949/0.1378, allocations: 1.095 MB / 292.5 MB, free: 7.441 MB / 250.7 MB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.0001825/0.138, allocations: 94.34 kB / 292.6 MB, free: 7.348 MB / 250.7 MB Notification: Performance of preOpt expandDerOperator (simulation): time 0.0005806/0.1386, allocations: 124 kB / 292.7 MB, free: 7.227 MB / 250.7 MB Notification: Performance of preOpt clockPartitioning (simulation): time 0.00641/0.145, allocations: 1.804 MB / 294.5 MB, free: 5.395 MB / 250.7 MB Notification: Performance of preOpt findStateOrder (simulation): time 3.709e-05/0.1451, allocations: 0 / 294.5 MB, free: 5.395 MB / 250.7 MB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.0004183/0.1456, allocations: 59.98 kB / 294.6 MB, free: 5.336 MB / 250.7 MB Notification: Performance of preOpt inlineArrayEqn (simulation): time 3.569e-05/0.1456, allocations: 28 kB / 294.6 MB, free: 5.309 MB / 250.7 MB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.005904/0.1515, allocations: 1.442 MB / 296.1 MB, free: 3.859 MB / 250.7 MB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.231/0.3826, allocations: 4.515 MB / 300.6 MB, free: 26.23 MB / 250.7 MB Notification: Performance of preOpt comSubExp (simulation): time 0.005858/0.3885, allocations: 1.476 MB / 302.1 MB, free: 26.2 MB / 250.7 MB Notification: Performance of preOpt evalFunc (simulation): time 0.0004166/0.389, allocations: 10.81 kB / 302.1 MB, free: 26.2 MB / 250.7 MB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.003805/0.3928, allocations: 1.471 MB / 303.5 MB, free: 25.89 MB / 250.7 MB Notification: Performance of pre-optimization done (n=132): time 6.041e-06/0.3928, allocations: 0 / 303.5 MB, free: 25.89 MB / 250.7 MB Notification: Performance of matching and sorting (n=132): time 0.009604/0.4024, allocations: 3.111 MB / 306.6 MB, free: 24.82 MB / 250.7 MB Notification: Performance of inlineWhenForInitialization (initialization): time 0.0001137/0.4026, allocations: 224.4 kB / 306.9 MB, free: 24.59 MB / 250.7 MB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.004912/0.4075, allocations: 2.301 MB / 309.2 MB, free: 23.48 MB / 250.7 MB Notification: Performance of collectPreVariables (initialization): time 0.0007171/0.4083, allocations: 79.45 kB / 309.2 MB, free: 23.42 MB / 250.7 MB Notification: Performance of collectInitialEqns (initialization): time 0.0004861/0.4088, allocations: 403 kB / 309.6 MB, free: 23.14 MB / 250.7 MB Notification: Performance of collectInitialBindings (initialization): time 0.0007794/0.4096, allocations: 299.2 kB / 309.9 MB, free: 22.96 MB / 250.7 MB Notification: Performance of simplifyInitialFunctions (initialization): time 0.0002887/0.4099, allocations: 30.78 kB / 310 MB, free: 22.95 MB / 250.7 MB Notification: Performance of setup shared object (initialization): time 0.000164/0.41, allocations: 395.1 kB / 310.3 MB, free: 22.6 MB / 250.7 MB Notification: Performance of preBalanceInitialSystem (initialization): time 0.002369/0.4124, allocations: 0.6649 MB / 311 MB, free: 22.38 MB / 250.7 MB Notification: Performance of partitionIndependentBlocks (initialization): time 0.002672/0.4151, allocations: 0.8404 MB / 311.9 MB, free: 21.97 MB / 250.7 MB Notification: Performance of analyzeInitialSystem (initialization): time 0.003154/0.4183, allocations: 0.8911 MB / 312.7 MB, free: 21.51 MB / 250.7 MB Notification: Performance of solveInitialSystemEqSystem (initialization): time 2.079e-05/0.4184, allocations: 1.438 kB / 312.7 MB, free: 21.51 MB / 250.7 MB Notification: Performance of matching and sorting (n=180) (initialization): time 0.007272/0.4257, allocations: 2.327 MB / 315.1 MB, free: 20.49 MB / 250.7 MB Notification: Performance of prepare postOptimizeDAE: time 0.0001548/0.4259, allocations: 184.1 kB / 315.3 MB, free: 20.3 MB / 250.7 MB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 1.749e-05/0.4259, allocations: 7.375 kB / 315.3 MB, free: 20.3 MB / 250.7 MB Notification: Performance of postOpt tearingSystem (initialization): time 3.952e-05/0.4259, allocations: 11.34 kB / 315.3 MB, free: 20.3 MB / 250.7 MB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.0006382/0.4266, allocations: 189.5 kB / 315.5 MB, free: 20.25 MB / 250.7 MB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 2.369e-05/0.4266, allocations: 13.22 kB / 315.5 MB, free: 20.25 MB / 250.7 MB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.002349/0.429, allocations: 217.8 kB / 315.7 MB, free: 20.16 MB / 250.7 MB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.001307/0.4303, allocations: 1.063 MB / 316.7 MB, free: 20.05 MB / 250.7 MB Notification: Model statistics after passing the back-end for initialization: * Number of independent subsystems: 18 * Number of states: 0 () * Number of discrete variables: 177 ($PRE.Adder1.Adder1.XOR.G2.y,$PRE.Adder1.Adder1.AND.G2.y,$PRE.Adder1.Adder2.XOR.G2.y,$PRE.Adder1.Adder2.AND.G2.y,$whenCondition1,$whenCondition4,$whenCondition5,$whenCondition8,$whenCondition9,$PRE.Adder1.Adder2.AND.G1.auxiliary_n,$PRE.Adder1.Adder2.AND.G2.x,Adder1.Adder2.AND.G2.x,Adder1.Adder2.AND.G2.y,Adder1.Adder2.AND.G2.delayTime,Adder1.Adder2.AND.G2.y_auxiliary,Adder1.Adder2.AND.G2.y_old,Adder1.Adder2.AND.G2.lh,Adder1.Adder2.AND.G2.t_next,$PRE.Adder1.Adder1.AND.G1.auxiliary_n,$PRE.Adder1.Adder1.AND.G2.x,Adder1.Adder1.AND.G2.x,Adder1.Adder1.AND.G2.y,Adder1.Adder1.AND.G2.delayTime,Adder1.Adder1.AND.G2.y_auxiliary,Adder1.Adder1.AND.G2.y_old,Adder1.Adder1.AND.G2.lh,Adder1.Adder1.AND.G2.t_next,Adder1.OR.auxiliary_n,$whenCondition6,$whenCondition7,$PRE.Adder1.Adder2.XOR.G1.auxiliary_n,$PRE.Adder1.Adder2.XOR.G2.x,Adder1.Adder2.XOR.G2.x,Adder1.Adder2.XOR.G2.y,Adder1.Adder2.XOR.G2.delayTime,Adder1.Adder2.XOR.G2.y_auxiliary,Adder1.Adder2.XOR.G2.y_old,Adder1.Adder2.XOR.G2.lh,Adder1.Adder2.XOR.G2.t_next,$PRE.Adder1.OR.auxiliary_n,c_out.x[1],Counter.FF1.RS2.Nor2.x[1],Counter.FF1.RS2.Nor2.x[2],Counter.FF1.RS2.Nor2.auxiliary[2],Counter.FF1.RS2.Nor2.auxiliary_n,$PRE.Counter.FF1.RS2.TD1.x,Counter.FF1.RS2.TD1.x_delayed,$PRE.Counter.FF1.And2.auxiliary_n,Counter.FF1.RS1.Nor2.x[1],Counter.FF1.RS1.Nor2.x[2],Counter.FF1.RS1.Nor2.auxiliary[2],Counter.FF1.RS1.Nor2.auxiliary_n,$PRE.Counter.FF1.RS1.TD1.x,Counter.FF1.RS1.TD1.x_delayed,$PRE.Counter.FF1.And4.auxiliary_n,Counter.FF1.RS2.Nor1.auxiliary[2],$PRE.Counter.FF1.RS2.Nor1.auxiliary_n,Counter.FF1.RS2.Nor1.auxiliary_n,$PRE.Counter.FF1.RS2.Nor2.auxiliary_n,Counter.FF1.RS2.TD1.x,Counter.FF1.And1.y,$PRE.Counter.FF1.And1.auxiliary_n,Counter.FF1.And3.x[2],Counter.FF1.And3.auxiliary_n,Counter.FF1.And4.x[1],Counter.FF1.And4.auxiliary_n,$PRE.Counter.FF1.Not1.auxiliary,Counter.FF2.RS2.Nor2.x[1],Counter.FF2.RS2.Nor2.x[2],Counter.FF2.RS2.Nor2.auxiliary[2],Counter.FF2.RS2.Nor2.auxiliary_n,$PRE.Counter.FF2.RS2.TD1.x,Counter.FF2.RS2.TD1.x_delayed,$PRE.Counter.FF2.And2.auxiliary_n,Counter.FF2.RS1.Nor2.x[1],Counter.FF2.RS1.Nor2.x[2],Counter.FF2.RS1.Nor2.auxiliary[2],Counter.FF2.RS1.Nor2.auxiliary_n,$PRE.Counter.FF2.RS1.TD1.x,Counter.FF2.RS1.TD1.x_delayed,$PRE.Counter.FF2.And4.auxiliary_n,Counter.FF2.RS2.Nor1.auxiliary[2],$PRE.Counter.FF2.RS2.Nor1.auxiliary_n,Counter.FF2.RS2.Nor1.auxiliary_n,$PRE.Counter.FF2.RS2.Nor2.auxiliary_n,Counter.FF2.RS2.TD1.x,Counter.FF2.And1.y,$PRE.Counter.FF2.And1.auxiliary_n,Counter.FF2.And3.x[2],Counter.FF2.And3.auxiliary_n,Counter.FF2.And4.x[1],Counter.FF2.And4.auxiliary_n,$PRE.Counter.FF2.Not1.auxiliary,Counter.FF3.RS2.Nor2.x[1],Counter.FF3.RS2.Nor2.x[2],Counter.FF3.RS2.Nor2.auxiliary[2],Counter.FF3.RS2.Nor2.auxiliary_n,$PRE.Counter.FF3.RS2.TD1.x,Counter.FF3.RS2.TD1.x_delayed,$PRE.Counter.FF3.And2.auxiliary_n,Counter.FF3.RS1.Nor2.x[1],Counter.FF3.RS1.Nor2.x[2],Counter.FF3.RS1.Nor2.auxiliary[2],Counter.FF3.RS1.Nor2.auxiliary_n,$PRE.Counter.FF3.RS1.TD1.x,Counter.FF3.RS1.TD1.x_delayed,$PRE.Counter.FF3.And4.auxiliary_n,Counter.FF3.RS2.Nor1.auxiliary[2],$PRE.Counter.FF3.RS2.Nor1.auxiliary_n,Counter.FF3.RS2.Nor1.auxiliary_n,$PRE.Counter.FF3.RS2.Nor2.auxiliary_n,Counter.FF3.RS2.TD1.x,Counter.FF3.And1.y,$PRE.Counter.FF3.And1.auxiliary_n,Counter.FF3.And3.x[2],Counter.FF3.And3.auxiliary_n,Counter.FF3.And4.x[1],Counter.FF3.And4.auxiliary_n,$PRE.Counter.FF3.Not1.auxiliary,$whenCondition2,$whenCondition3,Adder1.Adder2.AND.G1.auxiliary_n,Adder1.Adder2.XOR.G1.auxiliary_n,Adder1.Adder1.AND.G1.auxiliary_n,$PRE.Adder1.Adder1.XOR.G1.auxiliary_n,Adder1.Adder1.XOR.G1.auxiliary_n,$PRE.Adder1.Adder1.XOR.G2.x,Adder1.Adder1.XOR.G2.x,Adder1.Adder1.XOR.G2.y,Adder1.Adder1.XOR.G2.delayTime,Adder1.Adder1.XOR.G2.y_auxiliary,Adder1.Adder1.XOR.G2.y_old,Adder1.Adder1.XOR.G2.lh,Adder1.Adder1.XOR.G2.t_next,Counter.count,Counter.FF1.RS1.Nor1.auxiliary[2],$PRE.Counter.FF1.RS1.Nor1.auxiliary_n,Counter.FF1.RS1.Nor1.auxiliary_n,$PRE.Counter.FF1.RS1.Nor2.auxiliary_n,Counter.FF1.RS1.TD1.x,Counter.FF1.And1.auxiliary[2],Counter.FF1.And1.auxiliary_n,Counter.FF1.And2.x[1],Counter.FF1.And2.auxiliary[2],Counter.FF1.And2.auxiliary_n,Counter.FF1.And3.y,$PRE.Counter.FF1.And3.auxiliary_n,Counter.FF1.Not1.auxiliary,Counter.FF2.RS1.Nor1.auxiliary[2],$PRE.Counter.FF2.RS1.Nor1.auxiliary_n,Counter.FF2.RS1.Nor1.auxiliary_n,$PRE.Counter.FF2.RS1.Nor2.auxiliary_n,Counter.FF2.RS1.TD1.x,Counter.FF2.And1.auxiliary[2],Counter.FF2.And1.auxiliary_n,Counter.FF2.And2.x[1],Counter.FF2.And2.auxiliary[2],Counter.FF2.And2.auxiliary_n,Counter.FF2.And3.y,$PRE.Counter.FF2.And3.auxiliary_n,Counter.FF2.Not1.auxiliary,Counter.FF3.RS1.Nor1.auxiliary[2],$PRE.Counter.FF3.RS1.Nor1.auxiliary_n,Counter.FF3.RS1.Nor1.auxiliary_n,$PRE.Counter.FF3.RS1.Nor2.auxiliary_n,Counter.FF3.RS1.TD1.x,Counter.FF3.And1.auxiliary[2],Counter.FF3.And1.auxiliary_n,Counter.FF3.And2.x[1],Counter.FF3.And2.auxiliary[2],Counter.FF3.And2.auxiliary_n,Counter.FF3.And3.y,$PRE.Counter.FF3.And3.auxiliary_n,Counter.FF3.Not1.auxiliary,Enable.y,$PRE.CLK.t_i,CLK.t_i) * Number of discrete states: 0 () * Number of clocked states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for initialization (152): * Single equations (assignments): 147 * Array equations: 0 * Algorithm blocks: 5 * 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.003032/0.4334, allocations: 1.284 MB / 318 MB, free: 19.06 MB / 250.7 MB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.0007894/0.4342, allocations: 197.7 kB / 318.2 MB, free: 18.87 MB / 250.7 MB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.0007811/0.435, allocations: 314.9 kB / 318.5 MB, free: 18.55 MB / 250.7 MB Notification: Performance of postOpt simplifysemiLinear (simulation): time 1.401e-05/0.435, allocations: 7.969 kB / 318.5 MB, free: 18.55 MB / 250.7 MB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 6.953e-06/0.435, allocations: 3.953 kB / 318.5 MB, free: 18.54 MB / 250.7 MB Notification: Performance of postOpt removeConstants (simulation): time 0.003293/0.4383, allocations: 1.451 MB / 320 MB, free: 17.08 MB / 250.7 MB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.000843/0.4392, allocations: 88.69 kB / 320.1 MB, free: 16.99 MB / 250.7 MB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.001779/0.441, allocations: 156.6 kB / 320.2 MB, free: 16.84 MB / 250.7 MB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.0008203/0.4418, allocations: 263 kB / 320.5 MB, free: 16.59 MB / 250.7 MB Notification: Performance of postOpt createDAEmodeBDAE (simulation): time 0.006729/0.4486, allocations: 2.755 MB / 323.2 MB, free: 13.75 MB / 250.7 MB Notification: Performance of postOpt detectDAEmodeSparsePattern (simulation): time 0.006397/0.455, allocations: 2.522 MB / 325.8 MB, free: 11.18 MB / 250.7 MB Notification: Performance of postOpt setEvaluationStage (simulation): time 0.002446/0.4575, allocations: 0.996 MB / 326.8 MB, free: 10.19 MB / 250.7 MB Notification: Performance of sorting global known variables: time 0.003228/0.4608, allocations: 1.597 MB / 328.4 MB, free: 8.598 MB / 250.7 MB Notification: Performance of Backend: time 1.082e-06/0.4608, allocations: 0 / 328.4 MB, free: 8.598 MB / 250.7 MB Notification: Performance of simCode: created initialization part: time 0.004719/0.4655, allocations: 1.665 MB / 330 MB, free: 6.863 MB / 250.7 MB Notification: Performance of SimCode: time 0.01096/0.4765, allocations: 5.374 MB / 335.4 MB, free: 1.375 MB / 250.7 MB Notification: Performance of Templates: time 0.09648/0.5731, allocations: 44.84 MB / 380.2 MB, free: 2.93 MB / 298.7 MB "" Variables in the reference:time,Adder1.Adder1.AND.G2.x,Adder1.Adder1.AND.G2.y,Adder1.Adder1.XOR.G2.x,Adder1.Adder1.XOR.G2.y,Adder1.Adder2.AND.G2.x,Adder1.Adder2.AND.G2.y,Adder1.Adder2.XOR.G2.x,Adder1.Adder2.XOR.G2.y,Counter.FF1.RS1.TD1.x,Counter.FF1.RS2.TD1.x,Counter.FF2.RS1.TD1.x,Counter.FF2.RS2.TD1.x,Counter.FF3.RS1.TD1.x,Counter.FF3.RS2.TD1.x Variables in the result:Adder1.Adder1.AND.G1.n,Adder1.Adder1.AND.G2.tHL,Adder1.Adder1.AND.G2.tLH,Adder1.Adder1.AND.G2.x,Adder1.Adder1.AND.G2.y,Adder1.Adder1.AND.G2.y0,Adder1.Adder1.AND.n,Adder1.Adder1.AND.tHL,Adder1.Adder1.AND.tLH,Adder1.Adder1.AND.y0,Adder1.Adder1.XOR.G1.n,Adder1.Adder1.XOR.G2.tHL,Adder1.Adder1.XOR.G2.tLH,Adder1.Adder1.XOR.G2.x,Adder1.Adder1.XOR.G2.y,Adder1.Adder1.XOR.G2.y0,Adder1.Adder1.XOR.n,Adder1.Adder1.XOR.tHL,Adder1.Adder1.XOR.tLH,Adder1.Adder1.XOR.y0,Adder1.Adder1.delayTime,Adder1.Adder2.AND.G1.n,Adder1.Adder2.AND.G2.tHL,Adder1.Adder2.AND.G2.tLH,Adder1.Adder2.AND.G2.x,Adder1.Adder2.AND.G2.y,Adder1.Adder2.AND.G2.y0,Adder1.Adder2.AND.n,Adder1.Adder2.AND.tHL,Adder1.Adder2.AND.tLH,Adder1.Adder2.AND.y0,Adder1.Adder2.XOR.G1.n,Adder1.Adder2.XOR.G2.tHL,Adder1.Adder2.XOR.G2.tLH,Adder1.Adder2.XOR.G2.x,Adder1.Adder2.XOR.G2.y,Adder1.Adder2.XOR.G2.y0,Adder1.Adder2.XOR.n,Adder1.Adder2.XOR.tHL,Adder1.Adder2.XOR.tLH,Adder1.Adder2.XOR.y0,Adder1.Adder2.delayTime,Adder1.OR.n,CLK.period,CLK.startTime,CLK.width,Counter.FF1.And1.n,Counter.FF1.And2.n,Counter.FF1.And3.n,Counter.FF1.And4.n,Counter.FF1.RS1.Nor1.n,Counter.FF1.RS1.Nor2.n,Counter.FF1.RS1.TD1.delayTime,Counter.FF1.RS1.TD1.x,Counter.FF1.RS1.TD1.y0,Counter.FF1.RS1.delayTime,Counter.FF1.RS1.q0,Counter.FF1.RS2.Nor1.n,Counter.FF1.RS2.Nor2.n,Counter.FF1.RS2.TD1.delayTime,Counter.FF1.RS2.TD1.x,Counter.FF1.RS2.TD1.y0,Counter.FF1.RS2.delayTime,Counter.FF1.RS2.q0,Counter.FF1.delayTime,Counter.FF1.q0,Counter.FF2.And1.n,Counter.FF2.And2.n,Counter.FF2.And3.n,Counter.FF2.And4.n,Counter.FF2.RS1.Nor1.n,Counter.FF2.RS1.Nor2.n,Counter.FF2.RS1.TD1.delayTime,Counter.FF2.RS1.TD1.x,Counter.FF2.RS1.TD1.y0,Counter.FF2.RS1.delayTime,Counter.FF2.RS1.q0,Counter.FF2.RS2.Nor1.n,Counter.FF2.RS2.Nor2.n,Counter.FF2.RS2.TD1.delayTime,Counter.FF2.RS2.TD1.x,Counter.FF2.RS2.TD1.y0,Counter.FF2.RS2.delayTime,Counter.FF2.RS2.q0,Counter.FF2.delayTime,Counter.FF2.q0,Counter.FF3.And1.n,Counter.FF3.And2.n,Counter.FF3.And3.n,Counter.FF3.And4.n,Counter.FF3.RS1.Nor1.n,Counter.FF3.RS1.Nor2.n,Counter.FF3.RS1.TD1.delayTime,Counter.FF3.RS1.TD1.x,Counter.FF3.RS1.TD1.y0,Counter.FF3.RS1.delayTime,Counter.FF3.RS1.q0,Counter.FF3.RS2.Nor1.n,Counter.FF3.RS2.Nor2.n,Counter.FF3.RS2.TD1.delayTime,Counter.FF3.RS2.TD1.x,Counter.FF3.RS2.TD1.y0,Counter.FF3.RS2.delayTime,Counter.FF3.RS2.q0,Counter.FF3.delayTime,Counter.FF3.q0,Enable.x,c_out.n,c_out.value_0,c_out.value_1,c_out.value_H,c_out.value_L,c_out.value_U,c_out.value_W,c_out.value_X,c_out.value_Z,c_out.value_m,s.n,s.value_0,s.value_1,s.value_H,s.value_L,s.value_U,s.value_W,s.value_X,s.value_Z,s.value_m,time