![[Jenkins]](/jenkins/static/7b8bca15/images/svgs/logo.svg){kind=logo}
Failed
tests / 03 testsuite-gcc 3/3 / simulation_libraries_msl32.Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder.mos (from (result.xml))
Stacktrace
Output mismatch (see stdout for details)
Standard Output
+ Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder ... equation mismatch [time: 205]
==== Log /tmp/omc-rtest-unknown/simulation/libraries/msl32/Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder.mos_temp4726/log-Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder.mos
"true
"
""
1e-9
OpenModelicaModelTesting.Kind.VerifiedSimulation
OpenModelicaModelTesting.DiffAlgorithm.diffSimulationResults
Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder
600
true
{"X1.X1.X1.X1.Q1.vbe","X1.X1.X1.X1.Q2.vbc","X1.X1.X1.X1.Q2.vbe","X1.X1.X1.X1.Q3.vbc","X1.X1.X1.X1.Q3.vbe","X1.X1.X1.X1.Q4.vbc","X1.X1.X1.X1.Q4.vbe","X1.X1.X1.X1.Q5.vbc","X1.X1.X1.X1.Q5.vbe","X1.X1.X1.X2.Q1.vbc","X1.X1.X1.X2.Q1.vbe","X1.X1.X1.X2.Q2.vbe","X1.X1.X1.X2.Q3.vbc","X1.X1.X1.X2.Q3.vbe","X1.X1.X1.X2.Q4.vbc","X1.X1.X1.X2.Q4.vbe","X1.X1.X1.X2.Q5.vbc","X1.X1.X1.X2.Q5.vbe","X1.X1.X2.X3.Q1.vbc","X1.X1.X2.X3.Q1.vbe","X1.X1.X2.X3.Q2.vbe","X1.X1.X2.X3.Q3.vbc","X1.X1.X2.X3.Q3.vbe","X1.X1.X2.X3.Q4.vbc","X1.X1.X2.X3.Q4.vbe","X1.X1.X2.X3.Q5.vbe","X1.X1.X2.X4.Q1.vbc","X1.X1.X2.X4.Q1.vbe","X1.X1.X2.X4.Q2.vbc","X1.X1.X2.X4.Q2.vbe","X1.X1.X2.X4.Q3.vbc","X1.X1.X2.X4.Q3.vbe","X1.X1.X2.X4.Q4.vbc","X1.X1.X2.X4.Q4.vbe","X1.X1.X2.X4.Q5.vbc","X1.X1.X2.X4.Q5.vbe","X1.X2.X2.X9.Q1.vbc","X1.X2.X2.X9.Q1.vbe","X1.X2.X2.X9.Q2.vbc","X1.X2.X2.X9.Q2.vbe","X1.X2.X2.X9.Q3.vbc","X1.X2.X2.X9.Q3.vbe","X1.X2.X2.X9.Q4.vbc","X1.X2.X2.X9.Q4.vbe","X1.X2.X2.X9.Q5.vbc","X1.X2.X2.X9.Q5.vbe"}
Simulation options: startTime = 0.0, stopTime = 1e-9, numberOfIntervals = 999, tolerance = 1e-6, method = 'dassl', fileNamePrefix = 'Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder', options = '', outputFormat = 'mat', variableFilter = 'time|X1.X1.X1.X1.Q1.vbe|X1.X1.X1.X1.Q2.vbc|X1.X1.X1.X1.Q2.vbe|X1.X1.X1.X1.Q3.vbc|X1.X1.X1.X1.Q3.vbe|X1.X1.X1.X1.Q4.vbc|X1.X1.X1.X1.Q4.vbe|X1.X1.X1.X1.Q5.vbc|X1.X1.X1.X1.Q5.vbe|X1.X1.X1.X2.Q1.vbc|X1.X1.X1.X2.Q1.vbe|X1.X1.X1.X2.Q2.vbe|X1.X1.X1.X2.Q3.vbc|X1.X1.X1.X2.Q3.vbe|X1.X1.X1.X2.Q4.vbc|X1.X1.X1.X2.Q4.vbe|X1.X1.X1.X2.Q5.vbc|X1.X1.X1.X2.Q5.vbe|X1.X1.X2.X3.Q1.vbc|X1.X1.X2.X3.Q1.vbe|X1.X1.X2.X3.Q2.vbe|X1.X1.X2.X3.Q3.vbc|X1.X1.X2.X3.Q3.vbe|X1.X1.X2.X3.Q4.vbc|X1.X1.X2.X3.Q4.vbe|X1.X1.X2.X3.Q5.vbe|X1.X1.X2.X4.Q1.vbc|X1.X1.X2.X4.Q1.vbe|X1.X1.X2.X4.Q2.vbc|X1.X1.X2.X4.Q2.vbe|X1.X1.X2.X4.Q3.vbc|X1.X1.X2.X4.Q3.vbe|X1.X1.X2.X4.Q4.vbc|X1.X1.X2.X4.Q4.vbe|X1.X1.X2.X4.Q5.vbc|X1.X1.X2.X4.Q5.vbe|X1.X2.X2.X9.Q1.vbc|X1.X2.X2.X9.Q1.vbe|X1.X2.X2.X9.Q2.vbc|X1.X2.X2.X9.Q2.vbe|X1.X2.X2.X9.Q3.vbc|X1.X2.X2.X9.Q3.vbe|X1.X2.X2.X9.Q4.vbc|X1.X2.X2.X9.Q4.vbe|X1.X2.X2.X9.Q5.vbc|X1.X2.X2.X9.Q5.vbe', cflags = '', simflags = ' -abortSlowSimulation -alarm=360 -emit_protected'
Result file: Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder_res.mat
Messages: LOG_STDOUT | info | Using sparse solver for linear system 4,
| | | | because density of 0.076 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 7,
| | | | because density of 0.076 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 10,
| | | | because density of 0.166 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 12,
| | | | because density of 0.020 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 15,
| | | | because density of 0.076 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 20,
| | | | because density of 0.076 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 23,
| | | | because density of 0.166 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 25,
| | | | because density of 0.018 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 32,
| | | | because density of 0.076 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 33,
| | | | because density of 0.076 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 36,
| | | | because density of 0.166 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 38,
| | | | because density of 0.018 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 45,
| | | | because density of 0.076 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 46,
| | | | because density of 0.076 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 49,
| | | | because density of 0.166 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 51,
| | | | because density of 0.018 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 61,
| | | | because density of 0.076 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 63,
| | | | because density of 0.166 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 65,
| | | | because density of 0.076 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 72,
| | | | because density of 0.076 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 74,
| | | | because density of 0.166 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 75,
| | | | because density of 0.018 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 77,
| | | | because density of 0.076 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 82,
| | | | because density of 0.076 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 86,
| | | | because density of 0.166 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 87,
| | | | because density of 0.018 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 89,
| | | | because density of 0.076 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 96,
| | | | because density of 0.166 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 97,
| | | | because density of 0.018 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 100,
| | | | because density of 0.076 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 102,
| | | | because density of 0.020 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 103,
| | | | because density of 0.076 remains under threshold of 0.200.
LOG_STDOUT | info | The maximum density for using sparse solvers can be specified
| | | | using the runtime flag '<-lssMaxDensity=value>'.
LOG_SUCCESS | info | The initialization finished successfully without homotopy method.
LOG_SUCCESS | info | The simulation finished successfully.
Files Equal!
"true
"
""
Equation mismatch: diff says:
--- /tmp/omc-rtest-unknown/simulation/libraries/msl32/Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder.mos_temp4726/equations-expected2024-01-13 02:53:37.401665101 +0000
+++ /tmp/omc-rtest-unknown/simulation/libraries/msl32/Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder.mos_temp4726/equations-got2024-01-13 02:57:02.537660710 +0000
@@ -1,33 +1,81 @@
"true
"
""
-1e-09
+1e-9
OpenModelicaModelTesting.Kind.VerifiedSimulation
OpenModelicaModelTesting.DiffAlgorithm.diffSimulationResults
Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder
600
true
{"X1.X1.X1.X1.Q1.vbe","X1.X1.X1.X1.Q2.vbc","X1.X1.X1.X1.Q2.vbe","X1.X1.X1.X1.Q3.vbc","X1.X1.X1.X1.Q3.vbe","X1.X1.X1.X1.Q4.vbc","X1.X1.X1.X1.Q4.vbe","X1.X1.X1.X1.Q5.vbc","X1.X1.X1.X1.Q5.vbe","X1.X1.X1.X2.Q1.vbc","X1.X1.X1.X2.Q1.vbe","X1.X1.X1.X2.Q2.vbe","X1.X1.X1.X2.Q3.vbc","X1.X1.X1.X2.Q3.vbe","X1.X1.X1.X2.Q4.vbc","X1.X1.X1.X2.Q4.vbe","X1.X1.X1.X2.Q5.vbc","X1.X1.X1.X2.Q5.vbe","X1.X1.X2.X3.Q1.vbc","X1.X1.X2.X3.Q1.vbe","X1.X1.X2.X3.Q2.vbe","X1.X1.X2.X3.Q3.vbc","X1.X1.X2.X3.Q3.vbe","X1.X1.X2.X3.Q4.vbc","X1.X1.X2.X3.Q4.vbe","X1.X1.X2.X3.Q5.vbe","X1.X1.X2.X4.Q1.vbc","X1.X1.X2.X4.Q1.vbe","X1.X1.X2.X4.Q2.vbc","X1.X1.X2.X4.Q2.vbe","X1.X1.X2.X4.Q3.vbc","X1.X1.X2.X4.Q3.vbe","X1.X1.X2.X4.Q4.vbc","X1.X1.X2.X4.Q4.vbe","X1.X1.X2.X4.Q5.vbc","X1.X1.X2.X4.Q5.vbe","X1.X2.X2.X9.Q1.vbc","X1.X2.X2.X9.Q1.vbe","X1.X2.X2.X9.Q2.vbc","X1.X2.X2.X9.Q2.vbe","X1.X2.X2.X9.Q3.vbc","X1.X2.X2.X9.Q3.vbe","X1.X2.X2.X9.Q4.vbc","X1.X2.X2.X9.Q4.vbe","X1.X2.X2.X9.Q5.vbc","X1.X2.X2.X9.Q5.vbe"}
-Simulation options: startTime = 0.0, stopTime = 1e-09, numberOfIntervals = 999, tolerance = 1e-06, method = 'dassl', fileNamePrefix = 'Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder', options = '', outputFormat = 'mat', variableFilter = 'time|X1.X1.X1.X1.Q1.vbe|X1.X1.X1.X1.Q2.vbc|X1.X1.X1.X1.Q2.vbe|X1.X1.X1.X1.Q3.vbc|X1.X1.X1.X1.Q3.vbe|X1.X1.X1.X1.Q4.vbc|X1.X1.X1.X1.Q4.vbe|X1.X1.X1.X1.Q5.vbc|X1.X1.X1.X1.Q5.vbe|X1.X1.X1.X2.Q1.vbc|X1.X1.X1.X2.Q1.vbe|X1.X1.X1.X2.Q2.vbe|X1.X1.X1.X2.Q3.vbc|X1.X1.X1.X2.Q3.vbe|X1.X1.X1.X2.Q4.vbc|X1.X1.X1.X2.Q4.vbe|X1.X1.X1.X2.Q5.vbc|X1.X1.X1.X2.Q5.vbe|X1.X1.X2.X3.Q1.vbc|X1.X1.X2.X3.Q1.vbe|X1.X1.X2.X3.Q2.vbe|X1.X1.X2.X3.Q3.vbc|X1.X1.X2.X3.Q3.vbe|X1.X1.X2.X3.Q4.vbc|X1.X1.X2.X3.Q4.vbe|X1.X1.X2.X3.Q5.vbe|X1.X1.X2.X4.Q1.vbc|X1.X1.X2.X4.Q1.vbe|X1.X1.X2.X4.Q2.vbc|X1.X1.X2.X4.Q2.vbe|X1.X1.X2.X4.Q3.vbc|X1.X1.X2.X4.Q3.vbe|X1.X1.X2.X4.Q4.vbc|X1.X1.X2.X4.Q4.vbe|X1.X1.X2.X4.Q5.vbc|X1.X1.X2.X4.Q5.vbe|X1.X2.X2.X9.Q1.vbc|X1.X2.X2.X9.Q1.vbe|X1.X2.X2.X9.Q2.vbc|X1.X2.X2.X9.Q2.vbe|X1.X2.X2.X9.Q3.vbc|X1.X2.X2.X9.Q3.vbe|X1.X2.X2.X9.Q4.vbc|X1.X2.X2.X9.Q4.vbe|X1.X2.X2.X9.Q5.vbc|X1.X2.X2.X9.Q5.vbe', cflags = '', simflags = ' -abortSlowSimulation -alarm=360 -emit_protected'
+Simulation options: startTime = 0.0, stopTime = 1e-9, numberOfIntervals = 999, tolerance = 1e-6, method = 'dassl', fileNamePrefix = 'Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder', options = '', outputFormat = 'mat', variableFilter = 'time|X1.X1.X1.X1.Q1.vbe|X1.X1.X1.X1.Q2.vbc|X1.X1.X1.X1.Q2.vbe|X1.X1.X1.X1.Q3.vbc|X1.X1.X1.X1.Q3.vbe|X1.X1.X1.X1.Q4.vbc|X1.X1.X1.X1.Q4.vbe|X1.X1.X1.X1.Q5.vbc|X1.X1.X1.X1.Q5.vbe|X1.X1.X1.X2.Q1.vbc|X1.X1.X1.X2.Q1.vbe|X1.X1.X1.X2.Q2.vbe|X1.X1.X1.X2.Q3.vbc|X1.X1.X1.X2.Q3.vbe|X1.X1.X1.X2.Q4.vbc|X1.X1.X1.X2.Q4.vbe|X1.X1.X1.X2.Q5.vbc|X1.X1.X1.X2.Q5.vbe|X1.X1.X2.X3.Q1.vbc|X1.X1.X2.X3.Q1.vbe|X1.X1.X2.X3.Q2.vbe|X1.X1.X2.X3.Q3.vbc|X1.X1.X2.X3.Q3.vbe|X1.X1.X2.X3.Q4.vbc|X1.X1.X2.X3.Q4.vbe|X1.X1.X2.X3.Q5.vbe|X1.X1.X2.X4.Q1.vbc|X1.X1.X2.X4.Q1.vbe|X1.X1.X2.X4.Q2.vbc|X1.X1.X2.X4.Q2.vbe|X1.X1.X2.X4.Q3.vbc|X1.X1.X2.X4.Q3.vbe|X1.X1.X2.X4.Q4.vbc|X1.X1.X2.X4.Q4.vbe|X1.X1.X2.X4.Q5.vbc|X1.X1.X2.X4.Q5.vbe|X1.X2.X2.X9.Q1.vbc|X1.X2.X2.X9.Q1.vbe|X1.X2.X2.X9.Q2.vbc|X1.X2.X2.X9.Q2.vbe|X1.X2.X2.X9.Q3.vbc|X1.X2.X2.X9.Q3.vbe|X1.X2.X2.X9.Q4.vbc|X1.X2.X2.X9.Q4.vbe|X1.X2.X2.X9.Q5.vbc|X1.X2.X2.X9.Q5.vbe', cflags = '', simflags = ' -abortSlowSimulation -alarm=360 -emit_protected'
Result file: Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder_res.mat
-Messages: LOG_STDOUT | info | Using sparse solver for linear system 12,
-| | | | because density of 0.158 remains under threshold of 0.200.
+Messages: LOG_STDOUT | info | Using sparse solver for linear system 4,
+| | | | because density of 0.076 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 7,
+| | | | because density of 0.076 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 10,
+| | | | because density of 0.166 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 12,
+| | | | because density of 0.020 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 15,
+| | | | because density of 0.076 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 20,
+| | | | because density of 0.076 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 23,
+| | | | because density of 0.166 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 25,
-| | | | because density of 0.158 remains under threshold of 0.200.
+| | | | because density of 0.018 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 32,
+| | | | because density of 0.076 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 33,
+| | | | because density of 0.076 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 36,
+| | | | because density of 0.166 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 38,
-| | | | because density of 0.186 remains under threshold of 0.200.
+| | | | because density of 0.018 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 45,
+| | | | because density of 0.076 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 46,
+| | | | because density of 0.076 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 49,
+| | | | because density of 0.166 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 51,
-| | | | because density of 0.186 remains under threshold of 0.200.
+| | | | because density of 0.018 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 61,
+| | | | because density of 0.076 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 63,
+| | | | because density of 0.166 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 65,
+| | | | because density of 0.076 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 72,
+| | | | because density of 0.076 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 74,
+| | | | because density of 0.166 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 75,
-| | | | because density of 0.182 remains under threshold of 0.200.
+| | | | because density of 0.018 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 77,
+| | | | because density of 0.076 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 82,
+| | | | because density of 0.076 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 86,
+| | | | because density of 0.166 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 87,
-| | | | because density of 0.162 remains under threshold of 0.200.
+| | | | because density of 0.018 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 89,
+| | | | because density of 0.076 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 96,
+| | | | because density of 0.166 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 97,
-| | | | because density of 0.173 remains under threshold of 0.200.
+| | | | because density of 0.018 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 100,
+| | | | because density of 0.076 remains under threshold of 0.200.
LOG_STDOUT | info | Using sparse solver for linear system 102,
-| | | | because density of 0.168 remains under threshold of 0.200.
+| | | | because density of 0.020 remains under threshold of 0.200.
+LOG_STDOUT | info | Using sparse solver for linear system 103,
+| | | | because density of 0.076 remains under threshold of 0.200.
LOG_STDOUT | info | The maximum density for using sparse solvers can be specified
| | | | using the runtime flag '<-lssMaxDensity=value>'.
LOG_SUCCESS | info | The initialization finished successfully without homotopy method.
LOG_SUCCESS | info | The simulation finished successfully.
Equation mismatch: omc-diff says:
Line 13: Integer 12 != 4
== 1 out of 1 tests failed [simulation/libraries/msl32/Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder.mos_temp4726, time: 205]