ClaRa test using OpenModelica

Total Frontend Backend SimCode Templates Compilation Simulation Verification
159 157 84 84 84 20 19 16

Test started: 2026-03-12 09:54:21
Total time taken: 1:46:07
System info: AMD Ryzen 9 5950X 16-Core Processor, 63 GB RAM, Ubuntu 22.04.5 LTS

OpenModelica Version: OMCompiler v1.27.0-dev.224+g79589b6232
OpenModelicaLibraryTesting Changes

CommitDateAuthorSummary
5cb39182026-03-10 09:38:19 +0100linuslangenkampreplace Radau IIA with ESDIRK4 (#275)

Tested Library: ClaRa 1.9.0

{
 "convertFromVersion": [
  "0.0.0",
  "0.1.0-alpha",
  "0.2.0-alpha",
  "0.2.1-alpha",
  "0.2.2-alpha",
  "1.0.1",
  "1.1.2",
  "1.2.1",
  "1.2.2",
  "1.2.3",
  "1.3.0",
  "1.3.1",
  "1.4.0",
  "1.4.1",
  "1.5.0",
  "1.6.0",
  "1.6.1",
  "1.7.0",
  "1.8.0",
  "1.8.1",
  "1.8.2"
 ],
 "path": "ClaRa",
 "support": "support",
 "uses": {
  "Modelica": "4.0.0",
  "SMArtInt": "0.5.1",
  "TILMedia": "1.9.0-ClaRa"
 },
 "version": "1.9.0",
 "zipfile": "https://github.com/xrg-simulation/ClaRa-official/archive/d0b3d7d61cbf534db51ada4217b4aaea9cf5f557.zip"
}

BuildModel time limit: 800s
Simulation time limit: 800s
Default tolerance: 1e-06
Default number of intervals: 2500
Optimization level: Tool default

Reference Files: https://github.com/xrg-simulation/ClaRa-official (042f1e54880a60ba8f1c7ec3eed1140d850e4a60)

CommitDateAuthorSummary
042f1e542025-08-12 23:00:18 +0200Ales Vojacekadd missing each

Verified using: OpenModelica 1.25.0~dev-371-g1c5c528 (diffSimulationResults)

Flags:
setCommandLineOptions("--simCodeTarget=Cpp")
setCommandLineOptions("-d=nogen");
setCommandLineOptions("-d=initialization");
setCommandLineOptions("-d=backenddaeinfo");
setCommandLineOptions("-d=discreteinfo");
setCommandLineOptions("-d=stateselection");
setCommandLineOptions("-d=execstat");
setMatchingAlgorithm("PFPlusExt");
setIndexReductionMethod("dynamicStateSelection");
Config:
{
 "library": "ClaRa",
 "referenceFileExtension": "mat",
 "referenceFileNameDelimiter": ".",
 "referenceFiles": {
  "destination": "ReferenceFiles/ClaRa",
  "git-directory": "ReferenceResults",
  "git-ref": "main",
  "giturl": "https://github.com/xrg-simulation/ClaRa-official"
 },
 "ulimitExe": 800,
 "ulimitOmc": 800
}

Links are provided if getErrorString() or the simulation generates output. The links are coded with red if there were errors, yellow if there were warnings, and normal links if there are only notifications.

ModelVerifiedSimulateTotal buildModelParsingFrontendBackendSimCodeTemplatesCompileTotal Execution
ClaRa.Basics.ControlVolumes.FluidVolumes.Check.Validation_VolumeVLE_L2_HeatTransfer_1ph_shell 0.001.542.830.920.620.000.000.005.40
ClaRa.Basics.ControlVolumes.FluidVolumes.Check.Validation_VolumeVLE_L2_HeatTransfer_2ph_shell 0.001.703.031.050.650.000.000.005.90
ClaRa.Basics.ControlVolumes.Fundamentals.Check.Test_SmoothedDeltaTmean_arith (sim)0.10 (43 verified)0.044.913.080.310.020.010.024.569.19
ClaRa.Basics.ControlVolumes.Fundamentals.Check.Test_SmoothedDeltaTmean_log (sim)0.03 (1/50 failed)0.024.952.970.270.020.010.024.639.09
ClaRa.Basics.ControlVolumes.GasVolumes.Check.TestFlueGasCell 0.004.183.011.010.540.070.711.848.29
ClaRa.Basics.ControlVolumes.GasVolumes.Check.TestFlueGasCell_N_cv 0.005.183.010.991.560.130.811.709.26
ClaRa.Basics.ControlVolumes.GasVolumes.Check.TestFlueGasCell_chem 0.003.893.141.050.650.080.681.438.10
ClaRa.Basics.ControlVolumes.SolidVolumes.Check.TestNTU_Case1_Validation_Dynamic 0.005.523.031.454.070.000.000.009.72
ClaRa.Basics.ControlVolumes.SolidVolumes.Check.Test_NTU_CounterParallelCross_Comparison 0.002.993.021.321.670.000.000.007.23
ClaRa.Basics.ControlVolumes.SolidVolumes.Check.Validation_NTUcounter_DiscrPipes_Case1 0.0023.742.993.3320.420.000.000.0027.89
ClaRa.Basics.ControlVolumes.SolidVolumes.Check.Validation_NTUparallel_DiscrPipes 0.0080.082.9812.7767.320.000.000.0084.53
ClaRa.Basics.ControlVolumes.SolidVolumes.Fundamentals.Blocks.Check.Check_TinyPIP (sim)0.23 (9 verified)0.255.663.030.300.040.010.035.2810.23
ClaRa.Basics.Functions.TestCases.TestGenerateGrid (sim)0.02 (10 verified)0.025.162.890.270.010.000.024.869.09
ClaRa.Basics.Functions.TestCases.TestLogMean (sim)0.17 (2/77 failed)0.044.982.800.250.030.010.024.679.05
ClaRa.Basics.Functions.TestCases.TestMaxAbs (sim)0.02 (9 verified)0.024.502.840.270.010.000.024.218.42
ClaRa.Basics.Media.Check.TestFuelObjectAndFuelDefinitions 0.002.602.830.410.370.010.191.636.43
ClaRa.Components.Adapters.Check.RowOfScalar2VectorHeatPorts 0.003.312.891.022.280.000.000.007.36
ClaRa.Components.Adapters.Check.TestFluidConverters 0.001.232.820.970.260.000.000.005.22
ClaRa.Components.Adapters.Check.TestGasSensorAdapter 0.004.402.900.830.160.030.323.058.32
ClaRa.Components.Adapters.Check.TestScalar2VectorHeatPort (sim)0.02 (19 verified)0.049.212.850.850.210.030.307.8213.17
ClaRa.Components.BoundaryConditions.Check.TestFlueGasComposition 0.002.783.040.910.060.010.271.536.96
ClaRa.Components.BoundaryConditions.Check.TestFuelBoundaries 0.004.673.200.420.410.010.273.559.02
ClaRa.Components.BoundaryConditions.Check.TestIAPWSboundaries2 0.001.212.980.930.290.000.000.005.39
ClaRa.Components.BoundaryConditions.Check.TestPrescribedHeatFlow 0.001.323.011.040.280.000.000.005.58
ClaRa.Components.Control.FeedForward.Check.TestBlockFF (sim)0.01 (3 verified)0.025.352.830.240.020.010.025.079.26
ClaRa.Components.Control.PredictorModels_3508.Check.TestPredictor 0.001.972.800.921.050.000.000.005.84
ClaRa.Components.Control.PredictorModels_3508.Check.TestReheater 0.002.342.920.410.320.010.161.446.26
ClaRa.Components.Electrical.Check.TestAsynchronousMotor 0.002.633.270.400.420.010.201.596.99
ClaRa.Components.Electrical.Check.TestAsynchronousMotorWithPump 0.001.592.930.920.670.000.000.005.65
ClaRa.Components.Electrical.Check.TestTurboGenerator 0.001.233.030.910.320.000.000.005.37
ClaRa.Components.FlueGasCleaning.Denitrification.Check.Test_Denitrification 0.003.792.890.930.580.380.301.607.69
ClaRa.Components.FlueGasCleaning.Desulfurization.Check.Test_Desulfurization_ideal 0.003.592.860.850.580.080.601.487.47
ClaRa.Components.FlueGasCleaning.Desulfurization.Check.Test_FlueGasCleaning 0.0020.442.871.3310.430.974.892.8224.31
ClaRa.Components.FlueGasCleaning.E_Filter.Check.test_E_Filter 0.006.093.001.062.160.150.921.8010.09
ClaRa.Components.Furnace.Check.Test_CombustionChamber 0.004.203.350.920.310.050.682.248.63
ClaRa.Components.Furnace.Check.Test_CombustionChamber_control 0.004.343.100.950.490.070.692.138.45
ClaRa.Components.Furnace.Check.Test_CombustionChamber_vs_Burner_control 0.0065.163.001.232.690.201.3459.6969.21
ClaRa.Components.Furnace.Check.Test_burner_adiabatic_fuelDrying 0.0027.023.102.5113.271.406.313.5231.21
ClaRa.Components.HeatExchangers.Check.EvaluateDesuperheater 0.003.042.831.071.970.000.000.006.98
ClaRa.Components.HeatExchangers.Check.Test_FlatTubeFinnedHEXvle2gas_L4 0.006.202.871.175.030.000.000.0010.23
ClaRa.Components.HeatExchangers.Check.Test_HEXvle2gas_L3_1ph_BU 0.005.622.841.224.400.000.000.009.56
ClaRa.Components.HeatExchangers.Check.Test_HEXvle2vle_L3_1ph_BU_ntu 0.002.372.800.961.410.000.000.006.32
ClaRa.Components.HeatExchangers.Check.Test_HEXvle2vle_L3_1ph_BU_simple 0.002.552.771.001.550.000.000.006.41
ClaRa.Components.HeatExchangers.Check.Test_HEXvle2vle_L3_1ph_kA 0.002.113.010.911.200.000.000.006.27
ClaRa.Components.HeatExchangers.Check.Test_HEXvle2vle_L3_2ph_BU_ntu 0.003.672.811.072.610.000.000.007.57
ClaRa.Components.HeatExchangers.Check.Test_HEXvle2vle_L3_2ph_BU_simple 0.002.792.870.951.840.000.000.006.83
ClaRa.Components.HeatExchangers.Check.Test_HEXvle2vle_L3_2ph_CH_ntu 0.003.362.901.072.290.000.000.007.43
ClaRa.Components.HeatExchangers.Check.Test_HEXvle2vle_L3_2ph_CH_simple 0.002.772.780.971.790.000.000.006.68
ClaRa.Components.HeatExchangers.Check.Test_HEXvle2vle_L3_2ph_CH_simple_shutoff 0.002.792.821.021.770.000.000.006.66
ClaRa.Components.HeatExchangers.Check.Test_HEXvle2vle_L3_2ph_CU_ntu 0.003.712.881.122.590.000.000.007.73
ClaRa.Components.HeatExchangers.Check.Test_HEXvle2vle_L3_2ph_CU_simple 0.002.932.861.031.900.000.000.006.93
ClaRa.Components.HeatExchangers.Check.Test_PlateHEXvle2vle_L3_2ph_ntu 0.002.572.821.071.500.000.000.006.57
ClaRa.Components.HeatExchangers.Check.Test_PlateHEXvle2vle_L4 0.002.332.831.051.290.000.000.006.26
ClaRa.Components.HeatExchangers.Check.Test_RegenerativeAirPreheater 0.00153.632.864.0336.814.27101.786.74157.56
ClaRa.Components.MechanicalSeparation.Check.TestBalanceTank 0.002.852.901.101.750.000.000.006.95
ClaRa.Components.MechanicalSeparation.Check.TestBottle 0.003.613.041.202.410.000.000.007.90
ClaRa.Components.MechanicalSeparation.Check.TestDrum 0.003.342.891.052.290.000.000.007.40
ClaRa.Components.MechanicalSeparation.Check.TestFeedWaterTank_1Separator 0.002.502.810.981.530.000.000.006.30
ClaRa.Components.MechanicalSeparation.Check.TestSeparator_L1 0.001.853.030.970.870.000.000.005.99
ClaRa.Components.MechanicalSeparation.Check.TestSeparator_L3 0.003.893.901.272.620.000.000.009.03
ClaRa.Components.Mills.HardCoalMills.Check.SimpleMillTester 0.0044.842.900.960.420.070.7042.6848.71
ClaRa.Components.Mills.HardCoalMills.Check.ValidateRollerBowlMill_3 0.003.982.930.990.500.080.711.707.89
ClaRa.Components.Mills.HardCoalMills.Check.combineMillandFurnace 0.004.442.910.951.150.090.711.548.36
ClaRa.Components.Mills.HardCoalMills.Check.testRollerBowlMills 0.007.082.951.061.840.661.611.9211.06
ClaRa.Components.Mills.PhysicalMills.Check.TestMillBox_1 0.00411.142.982.57291.984.16106.246.19415.29
ClaRa.Components.Mills.PhysicalMills.Check.TestMillBox_1_measurementInput 0.000.002.810.000.000.000.000.002425.04
ClaRa.Components.Mills.PhysicalMills.Check.TestMillBox_2 0.00410.012.792.57291.514.20105.516.22413.90
ClaRa.Components.Mills.PhysicalMills.Volumes.Check.TestAerosolVolume 0.00163.882.971.30125.701.0132.043.82167.92
ClaRa.Components.Mills.PhysicalMills.Volumes.Check.TestDryer 0.005.282.890.991.100.080.352.779.18
ClaRa.Components.Mills.PhysicalMills.Volumes.Check.TestFuelJoin 0.0059.022.970.920.330.060.5957.1263.01
ClaRa.Components.Mills.PhysicalMills.Volumes.Check.TestGrinder 0.0058.643.011.3111.151.021.6743.4962.74
ClaRa.Components.Sensors.Check.TestFuelSensors 0.004.892.900.860.070.020.253.698.81
ClaRa.Components.Sensors.Check.TestGasSensors 0.007.583.001.102.910.561.031.9811.66
ClaRa.Components.Sensors.Check.TestSensorVLE_L3_T 0.002.943.021.111.830.000.000.007.15
ClaRa.Components.Sensors.Check.TestSensors 0.002.332.871.071.270.000.000.006.41
ClaRa.Components.Sensors.Check.TestVLESensors 0.001.123.100.840.280.000.000.005.37
ClaRa.Components.TurboMachines.Compressors.Check.Test_CompressorGas_L1_affinity 0.002.812.950.880.180.030.311.406.83
ClaRa.Components.TurboMachines.Compressors.Check.Test_CompressorGas_L1_simple 0.003.983.011.050.550.410.371.608.01
ClaRa.Components.TurboMachines.Compressors.Check.Test_CompressorGas_L1_stageStacked 0.005.162.930.991.510.120.771.769.09
ClaRa.Components.TurboMachines.Compressors.Check.Test_CompressorGas_L1_stageStacked_singleStage 0.003.482.930.930.390.060.651.457.41
ClaRa.Components.TurboMachines.Compressors.Check.Test_CompressorVLE_L1_stageStacked 0.002.122.860.951.170.000.000.006.11
ClaRa.Components.TurboMachines.Compressors.Check.Test_MassFlow_VIGVControlled 0.003.832.960.920.560.070.661.627.82
ClaRa.Components.TurboMachines.Pumps.Check.TestPumpModels 0.001.443.111.000.430.000.000.005.80
ClaRa.Components.TurboMachines.Pumps.Check.TestPump_L1_OffDesign 0.001.303.070.960.340.000.000.005.59
ClaRa.Components.TurboMachines.Pumps.Check.TestPump_L1_OffDesignInlet 0.001.333.070.980.350.000.000.005.60
ClaRa.Components.TurboMachines.Pumps.Check.TestPump_L1_WithEMotor 0.001.632.990.990.640.000.000.005.74
ClaRa.Components.TurboMachines.Pumps.Check.TestPump_L2_OffDesign 0.001.633.421.020.610.000.000.006.13
ClaRa.Components.TurboMachines.Turbines.Check.testSingleTurbineStage 0.003.302.870.830.340.050.571.517.15
ClaRa.Components.TurboMachines.Turbines.Check.testStackedTurbineStages 0.003.732.890.910.630.350.311.547.61
ClaRa.Components.TurboMachines.Turbines.Check.testTurbineVLE_L1 0.001.552.941.030.520.000.000.005.65
ClaRa.Components.Utilities.Blocks.Check.TestMinMax (sim)0.02 (2/3 failed)0.034.832.890.250.010.000.024.558.72
ClaRa.Components.Utilities.Blocks.Check.TestSlidingmean (sim)0.05 (4 verified)0.314.922.860.250.010.000.024.639.16
ClaRa.Components.Utilities.Blocks.Check.TestStepsmootherGain (sim)0.02 (31 verified)0.024.532.860.260.010.000.024.238.40
ClaRa.Components.Utilities.Blocks.Check.testGradientLimiter (sim)0.03 (40 verified)0.024.692.890.230.010.000.024.438.61
ClaRa.Components.Utilities.Blocks.Check.testMatrixReader (sim) 0.0319.352.780.251.630.195.1812.1023.33
ClaRa.Components.Utilities.Blocks.Check.testRandomGenerators2 (sim)0.02 (3 verified)0.034.802.900.230.010.000.024.548.78
ClaRa.Components.Utilities.Blocks.Check.testTableGain (sim)0.03 (62 verified)0.025.132.860.250.010.010.024.849.05
ClaRa.Components.Utilities.Blocks.Check.test_1_LimPID (sim)0.03 (10 verified)0.035.072.900.270.020.010.024.769.00
ClaRa.Components.Utilities.Blocks.Check.test_2_LimPID 0.001.152.840.850.300.000.000.005.04
ClaRa.Components.VolumesValvesFittings.Fittings.Check.TestFuelSplit 0.007.903.430.810.080.020.246.7512.37
ClaRa.Components.VolumesValvesFittings.Fittings.Check.Test_JoinSplitGas_L2_flex 0.007.502.921.043.490.190.891.8911.40
ClaRa.Components.VolumesValvesFittings.Fittings.Check.Test_Junction 0.0013.482.941.236.720.802.322.4117.43
ClaRa.Components.VolumesValvesFittings.Fittings.Check.Test_MixAndSplit 0.002.423.261.101.320.000.000.006.94
ClaRa.Components.VolumesValvesFittings.Fittings.Check.Test_SplitFuelSlagFlueGas_L2 0.005.912.870.982.150.180.791.829.72
ClaRa.Components.VolumesValvesFittings.Fittings.Check.Test_SprayInjector 0.002.493.001.071.420.000.000.006.56
ClaRa.Components.VolumesValvesFittings.Pipes.Check.FlowReversal.Test_Pipe_L4_Advanced 0.007.382.751.146.240.000.000.0011.19
ClaRa.Components.VolumesValvesFittings.Pipes.Check.FlowReversal.Test_Pipe_L4_Simple 0.006.302.901.175.130.000.000.0010.27
ClaRa.Components.VolumesValvesFittings.Pipes.Check.MassDefect.Test_Pipe_L2_Simple 0.001.182.860.850.330.000.000.005.11
ClaRa.Components.VolumesValvesFittings.Pipes.Check.OnePhaseFlow.Test_Pipe_L1_TML 0.001.382.970.830.540.000.000.005.46
ClaRa.Components.VolumesValvesFittings.Pipes.Check.OnePhaseFlow.Test_Pipe_L1_TML_LongDistanceAndGravitationalPressureDrop 0.007.742.781.306.440.000.000.0011.64
ClaRa.Components.VolumesValvesFittings.Pipes.Check.OnePhaseFlow.Test_Pipe_L4_Advanced 0.007.032.811.085.950.000.000.0010.90
ClaRa.Components.VolumesValvesFittings.Pipes.Check.OnePhaseFlow.Test_Pipe_L4_Simple 0.005.162.781.114.050.000.000.009.01
ClaRa.Components.VolumesValvesFittings.Pipes.Check.OnePhaseFlow.Test_Tube_FlueGas_L2_Simple 0.009.862.780.924.160.252.442.0813.58
ClaRa.Components.VolumesValvesFittings.Pipes.Check.ThickWallScenarios.Test_Pipe_L1_TML_insulatedWall 0.001.222.820.850.370.000.000.005.09
ClaRa.Components.VolumesValvesFittings.Pipes.Check.TwoPhaseFlow.Test_HEXvle2vle_L3_2ph_CH_simple_headers 0.003.232.841.052.180.000.000.007.15
ClaRa.Components.VolumesValvesFittings.Pipes.Check.TwoPhaseFlow.Test_Pipe_L4_Advanced 0.005.072.811.083.990.000.000.009.02
ClaRa.Components.VolumesValvesFittings.Pipes.Check.TwoPhaseFlow.Test_Pipe_L4_Simple 0.004.352.721.033.320.000.000.008.11
ClaRa.Components.VolumesValvesFittings.Pipes.Check.WatterHammer.Benchmark_KitagawaExperiment 0.001.052.791.050.000.000.000.004.86
ClaRa.Components.VolumesValvesFittings.Valves.Check.TestCheckValveOpenLeakage 0.001.382.830.910.470.000.000.005.32
ClaRa.Components.VolumesValvesFittings.Valves.Check.TestThreeWayGasValve 0.003.482.800.780.330.060.651.667.22
ClaRa.Components.VolumesValvesFittings.Valves.Check.TestThreeWayValve 0.001.132.850.820.310.000.000.004.99
ClaRa.Components.VolumesValvesFittings.Valves.Check.TestThreeWayValves 0.001.322.830.830.490.000.000.005.18
ClaRa.Components.VolumesValvesFittings.Valves.Check.TestValves 0.001.872.910.940.930.000.000.005.91
ClaRa.Components.VolumesValvesFittings.Valves.Check.Test_EN60534_compressible 0.001.872.981.230.640.000.000.006.07
ClaRa.Components.VolumesValvesFittings.Valves.Check.Test_EN60534_incompressible 0.001.332.860.870.470.000.000.005.30
ClaRa.Components.VolumesValvesFittings.Valves.Check.Test_GasValves 0.0045.162.842.7321.362.9413.424.7149.01
ClaRa.Examples.SteamCycle_01 0.0054.942.844.2450.700.000.000.0058.90
ClaRa.Examples.SteamCycle_02 0.0068.672.755.2663.400.000.000.0072.51
ClaRa.Examples.SteamPowerPlant_01 0.00482.152.7515.33466.810.000.000.00486.14
ClaRa.Examples.SteamPowerPlant_CombinedComponents_01 0.00609.212.7918.47590.750.000.000.00613.28
ClaRa.Examples.VapourCycle_01 0.009.522.841.508.030.000.000.0013.43
ClaRa.StaticCycles.Adapters.Check.TestAdapters 0.002.632.980.820.060.010.281.456.59
ClaRa.StaticCycles.Boundaries.Check.TestNewBoundaries 0.002.732.900.720.050.010.231.726.71
ClaRa.StaticCycles.Check.TestBoundaries 0.002.732.890.890.050.010.241.546.63
ClaRa.StaticCycles.Check.TestStacy1 0.002.592.870.780.050.010.231.526.51
ClaRa.StaticCycles.Check.TestStacy2 0.002.622.780.800.060.020.241.506.45
ClaRa.StaticCycles.Check.TestStacy3 0.002.702.810.800.110.020.251.526.49
ClaRa.StaticCycles.Check.TestStacy4 0.002.822.800.830.130.030.281.556.67
ClaRa.StaticCycles.Check.TestStacy5 0.003.042.850.870.200.040.301.636.89
ClaRa.StaticCycles.Check.TestStacy6 0.003.922.860.980.420.070.721.737.76
ClaRa.StaticCycles.Check.TestStacy7 0.003.572.950.970.270.060.671.607.47
ClaRa.StaticCycles.Check.TestStacy8 0.003.482.880.950.240.050.681.557.35
ClaRa.StaticCycles.Fittings.Check.TestMixSplitGas 0.004.083.000.990.330.080.672.028.22
ClaRa.StaticCycles.Fittings.Check.TestMixer4 0.002.512.930.420.440.010.201.446.52
ClaRa.StaticCycles.Fittings.Check.TestSplit7 0.002.373.050.410.390.010.181.386.48
ClaRa.StaticCycles.Machines.Check.CheckPumpModels 0.002.472.860.410.370.010.201.496.41
ClaRa.StaticCycles.Machines.Check.CheckTurbineModels 0.002.782.940.870.040.010.271.596.79
ClaRa.StaticCycles.Machines.Check.TestTurbineDrivenPump 0.002.812.970.930.090.030.281.486.89
ClaRa.StaticCycles.Storage.Check.TestSeparator 0.002.392.950.410.320.010.171.486.44
ClaRa.StaticCycles.ValvesConnects.Check.TestValve_dp_nom4 0.002.622.780.370.370.010.201.676.39
ClaRa.Visualisation.Check.IllustrateVisualisation 0.002.152.820.931.220.000.000.005.98
ClaRa.Visualisation.Check.TestDynamicBar (sim)0.03 (42 verified)0.024.722.780.240.010.000.024.458.52
ClaRa.Visualisation.Check.TestDynamicDiagram (sim)0.08 (130 verified)0.035.612.790.260.040.010.035.279.52
ClaRa.Visualisation.Check.TestHEXdisplay 0.002.512.771.101.420.000.000.006.35
ClaRa.Visualisation.Check.TestQuadruple 0.002.272.860.410.310.010.171.376.17
ClaRa.Visualisation.Check.TestRealDisplay (sim)0.02 (21 verified)0.024.582.740.230.010.000.024.328.32
ClaRa.Visualisation.Check.TestSixtuple 0.001.132.840.800.320.000.000.004.99
ClaRa.Visualisation.Check.TestStatePoint 0.001.022.820.770.260.000.000.004.88
ClaRa.Visualisation.Check.TestXYplot (sim)0.23 (514 verified)0.067.432.810.300.480.030.056.5711.60