Running: ./testmodel.py --libraries=/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/./OMCompiler/build/lib/omlibrary/ --ompython_omhome=/usr Modelica_3.2.2_Modelica.Electrical.Digital.Examples.FullAdder.conf.json Using package ModelicaServices with version 3.2.2 (/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/omlibrary/ModelicaServices 3.2.2/package.mo) Using package Complex with version 3.2.2 (/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/omlibrary/Complex 3.2.2.mo) Using package Modelica with version 3.2.2 (/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/omlibrary/Modelica 3.2.2/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.2_Modelica.Electrical.Digital.Examples.FullAdder") Notification: Performance of loadModel(Modelica): time 1.913/1.913, allocations: 194.8 MB / 211.7 MB, free: 3.016 MB / 170.7 MB Notification: Performance of FrontEnd - loaded program: time 0.0003426/0.0003425, allocations: 15.94 kB / 264.6 MB, free: 12.94 MB / 218.7 MB Notification: Performance of FrontEnd - Absyn->SCode: time 0.09079/0.09115, allocations: 44.51 MB / 309.1 MB, free: 364 kB / 250.7 MB Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.FullAdder): time 0.006246/0.09745, allocations: 4.087 MB / 313.2 MB, free: 12.25 MB / 266.7 MB Notification: Performance of NFInst.instExpressions: time 0.005979/0.1035, allocations: 2.099 MB / 315.3 MB, free: 10.14 MB / 266.7 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.0005707/0.1041, allocations: 19.81 kB / 315.3 MB, free: 10.12 MB / 266.7 MB Notification: Performance of NFTyping.typeComponents: time 0.0004669/0.1046, allocations: 139 kB / 315.4 MB, free: 9.988 MB / 266.7 MB Notification: Performance of NFTyping.typeBindings: time 0.000561/0.1052, allocations: 143.5 kB / 315.5 MB, free: 9.848 MB / 266.7 MB Notification: Performance of NFTyping.typeClassSections: time 0.00157/0.1067, allocations: 387.5 kB / 315.9 MB, free: 9.469 MB / 266.7 MB Notification: Performance of NFFlatten.flatten: time 0.002269/0.109, allocations: 1.081 MB / 317 MB, free: 8.387 MB / 266.7 MB Notification: Performance of NFFlatten.resolveConnections: time 0.001248/0.1103, allocations: 0.5437 MB / 317.6 MB, free: 7.824 MB / 266.7 MB Notification: Performance of NFEvalConstants.evaluate: time 0.002662/0.113, allocations: 1.298 MB / 318.8 MB, free: 6.523 MB / 266.7 MB Notification: Performance of NFSimplifyModel.simplify: time 0.001729/0.1148, allocations: 0.9861 MB / 319.8 MB, free: 5.535 MB / 266.7 MB Notification: Performance of NFPackage.collectConstants: time 0.0005831/0.1154, allocations: 40 kB / 319.9 MB, free: 5.496 MB / 266.7 MB Notification: Performance of NFFlatten.collectFunctions: time 0.0005728/0.116, allocations: 48 kB / 319.9 MB, free: 5.449 MB / 266.7 MB Notification: Performance of NFScalarize.scalarize: time 0.0009651/0.117, allocations: 0.5687 MB / 320.5 MB, free: 4.879 MB / 266.7 MB Notification: Performance of NFVerifyModel.verify: time 0.0005719/0.1175, allocations: 432.5 kB / 320.9 MB, free: 4.449 MB / 266.7 MB Notification: Performance of NFConvertDAE.convert: time 0.005253/0.1228, allocations: 4.325 MB / 325.2 MB, free: 116 kB / 266.7 MB Notification: Performance of FrontEnd - DAE generated: time 4.218e-06/0.1229, allocations: 0 / 325.2 MB, free: 116 kB / 266.7 MB Notification: Performance of FrontEnd: time 2.866e-06/0.1229, allocations: 0 / 325.2 MB, free: 116 kB / 266.7 MB Notification: Performance of Transformations before backend: time 8.118e-05/0.123, allocations: 0 / 325.2 MB, free: 116 kB / 266.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.005801/0.1288, allocations: 2.378 MB / 327.6 MB, free: 13.64 MB / 282.7 MB Notification: Performance of prepare preOptimizeDAE: time 5.283e-05/0.1288, allocations: 12.03 kB / 327.6 MB, free: 13.63 MB / 282.7 MB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.001027/0.1299, allocations: 249 kB / 327.9 MB, free: 13.39 MB / 282.7 MB Notification: Performance of preOpt evaluateParameters (simulation): time 0.002923/0.1328, allocations: 1.088 MB / 329 MB, free: 12.25 MB / 282.7 MB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.0001883/0.133, allocations: 94.34 kB / 329 MB, free: 12.16 MB / 282.7 MB Notification: Performance of preOpt expandDerOperator (simulation): time 0.000584/0.1336, allocations: 123.9 kB / 329.2 MB, free: 12.04 MB / 282.7 MB Notification: Performance of preOpt clockPartitioning (simulation): time 0.005864/0.1395, allocations: 1.808 MB / 331 MB, free: 10.2 MB / 282.7 MB Notification: Performance of preOpt findStateOrder (simulation): time 3.615e-05/0.1396, allocations: 0 / 331 MB, free: 10.2 MB / 282.7 MB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.0003795/0.14, allocations: 51.95 kB / 331 MB, free: 10.15 MB / 282.7 MB Notification: Performance of preOpt inlineArrayEqn (simulation): time 3.896e-05/0.14, allocations: 31.94 kB / 331.1 MB, free: 10.12 MB / 282.7 MB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.005347/0.1454, allocations: 1.438 MB / 332.5 MB, free: 8.676 MB / 282.7 MB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.01268/0.1581, allocations: 4.53 MB / 337 MB, free: 4.086 MB / 282.7 MB Notification: Performance of preOpt comSubExp (simulation): time 0.005596/0.1637, allocations: 1.481 MB / 338.5 MB, free: 2.59 MB / 282.7 MB Notification: Performance of preOpt evalFunc (simulation): time 0.0004031/0.1642, allocations: 13 kB / 338.5 MB, free: 2.578 MB / 282.7 MB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.003848/0.168, allocations: 1.47 MB / 340 MB, free: 1.047 MB / 282.7 MB Notification: Performance of pre-optimization done (n=132): time 5.34e-06/0.1681, allocations: 0 / 340 MB, free: 1.047 MB / 282.7 MB Notification: Performance of matching and sorting (n=132): time 0.01002/0.1781, allocations: 3.108 MB / 343.1 MB, free: 13.83 MB / 298.7 MB Notification: Performance of inlineWhenForInitialization (initialization): time 0.0001677/0.1783, allocations: 240.7 kB / 343.3 MB, free: 13.55 MB / 298.7 MB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.005142/0.1835, allocations: 2.291 MB / 345.6 MB, free: 11.26 MB / 298.7 MB Notification: Performance of collectPreVariables (initialization): time 0.000749/0.1843, allocations: 81.69 kB / 345.7 MB, free: 11.17 MB / 298.7 MB Notification: Performance of collectInitialEqns (initialization): time 0.0005711/0.1849, allocations: 399.8 kB / 346.1 MB, free: 10.77 MB / 298.7 MB Notification: Performance of collectInitialBindings (initialization): time 0.0007325/0.1856, allocations: 300.4 kB / 346.4 MB, free: 10.48 MB / 298.7 MB Notification: Performance of simplifyInitialFunctions (initialization): time 0.0002918/0.1859, allocations: 31.98 kB / 346.4 MB, free: 10.45 MB / 298.7 MB Notification: Performance of setup shared object (initialization): time 0.0002436/0.1862, allocations: 394.7 kB / 346.8 MB, free: 10.05 MB / 298.7 MB Notification: Performance of preBalanceInitialSystem (initialization): time 0.002527/0.1887, allocations: 0.6631 MB / 347.5 MB, free: 9.387 MB / 298.7 MB Notification: Performance of partitionIndependentBlocks (initialization): time 0.002708/0.1914, allocations: 0.8405 MB / 348.3 MB, free: 8.488 MB / 298.7 MB Notification: Performance of analyzeInitialSystem (initialization): time 0.002927/0.1944, allocations: 0.8927 MB / 349.2 MB, free: 7.566 MB / 298.7 MB Notification: Performance of solveInitialSystemEqSystem (initialization): time 8.677e-06/0.1944, allocations: 0 / 349.2 MB, free: 7.566 MB / 298.7 MB Notification: Performance of matching and sorting (n=180) (initialization): time 0.007798/0.2022, allocations: 2.336 MB / 351.5 MB, free: 5.184 MB / 298.7 MB Notification: Performance of prepare postOptimizeDAE: time 0.0002056/0.2025, allocations: 176.5 kB / 351.7 MB, free: 4.98 MB / 298.7 MB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 1.434e-05/0.2025, allocations: 4 kB / 351.7 MB, free: 4.977 MB / 298.7 MB Notification: Performance of postOpt tearingSystem (initialization): time 3.183e-05/0.2025, allocations: 12 kB / 351.7 MB, free: 4.965 MB / 298.7 MB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.0006719/0.2032, allocations: 195.6 kB / 351.9 MB, free: 4.773 MB / 298.7 MB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 3.017e-05/0.2033, allocations: 11.94 kB / 351.9 MB, free: 4.762 MB / 298.7 MB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.002393/0.2057, allocations: 219.2 kB / 352.1 MB, free: 4.547 MB / 298.7 MB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.001769/0.2075, allocations: 1.061 MB / 353.2 MB, free: 3.484 MB / 298.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.003427/0.2109, allocations: 1.275 MB / 354.5 MB, free: 2.156 MB / 298.7 MB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.0006704/0.2116, allocations: 197.7 kB / 354.7 MB, free: 1.961 MB / 298.7 MB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.0009261/0.2126, allocations: 314.9 kB / 355 MB, free: 1.648 MB / 298.7 MB Notification: Performance of postOpt simplifysemiLinear (simulation): time 1.453e-05/0.2126, allocations: 3.984 kB / 355 MB, free: 1.645 MB / 298.7 MB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 6.482e-06/0.2126, allocations: 0 / 355 MB, free: 1.645 MB / 298.7 MB Notification: Performance of postOpt removeConstants (simulation): time 0.004076/0.2167, allocations: 1.454 MB / 356.4 MB, free: 172 kB / 298.7 MB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.0009717/0.2177, allocations: 91.95 kB / 356.5 MB, free: 80 kB / 298.7 MB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.001911/0.2196, allocations: 163.5 kB / 356.7 MB, free: 15.92 MB / 314.7 MB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.0009389/0.2206, allocations: 252.8 kB / 356.9 MB, free: 15.67 MB / 314.7 MB Notification: Performance of postOpt createDAEmodeBDAE (simulation): time 0.008113/0.2287, allocations: 2.766 MB / 359.7 MB, free: 12.81 MB / 314.7 MB Notification: Performance of postOpt detectDAEmodeSparsePattern (simulation): time 0.00771/0.2365, allocations: 2.52 MB / 362.2 MB, free: 10.23 MB / 314.7 MB Notification: Performance of postOpt setEvaluationStage (simulation): time 0.002871/0.2394, allocations: 0.9882 MB / 363.2 MB, free: 9.25 MB / 314.7 MB Notification: Performance of sorting global known variables: time 0.003835/0.2433, allocations: 1.601 MB / 364.8 MB, free: 7.656 MB / 314.7 MB Notification: Performance of Backend: time 8.01e-07/0.2433, allocations: 0 / 364.8 MB, free: 7.656 MB / 314.7 MB Notification: Performance of simCode: created initialization part: time 0.005218/0.2485, allocations: 1.673 MB / 366.5 MB, free: 5.918 MB / 314.7 MB Notification: Performance of SimCode: time 0.01379/0.2624, allocations: 5.366 MB / 371.9 MB, free: 440 kB / 314.7 MB Notification: Performance of Templates: time 0.3367/0.5991, allocations: 44.84 MB / 416.7 MB, free: 24.82 MB / 314.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