ClaRa test using OpenModelica

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

Test started: 2026-01-09 02:39:52
Total time taken: 1:48:13
System info: AMD Ryzen 9 5950X 16-Core Processor, 63 GB RAM, Ubuntu 22.04.5 LTS

OpenModelica Version: OMCompiler v1.27.0-dev.32+g9dd87317b0
OpenModelicaLibraryTesting Changes

CommitDateAuthorSummary
f2691882025-12-11 11:52:34 +0100Adrian Popadd extra simflags gbode (#262)

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.553.080.940.610.000.000.005.76
ClaRa.Basics.ControlVolumes.FluidVolumes.Check.Validation_VolumeVLE_L2_HeatTransfer_2ph_shell 0.001.693.231.070.610.000.000.006.03
ClaRa.Basics.ControlVolumes.Fundamentals.Check.Test_SmoothedDeltaTmean_arith (sim)0.09 (43 verified)0.044.843.310.250.020.010.024.559.38
ClaRa.Basics.ControlVolumes.Fundamentals.Check.Test_SmoothedDeltaTmean_log (sim)0.03 (1/50 failed)0.024.973.180.280.020.010.024.659.32
ClaRa.Basics.ControlVolumes.GasVolumes.Check.TestFlueGasCell 0.003.753.281.030.500.060.721.448.08
ClaRa.Basics.ControlVolumes.GasVolumes.Check.TestFlueGasCell_N_cv 0.005.313.211.061.670.500.441.649.61
ClaRa.Basics.ControlVolumes.GasVolumes.Check.TestFlueGasCell_chem 0.004.123.311.060.620.470.301.688.52
ClaRa.Basics.ControlVolumes.SolidVolumes.Check.TestNTU_Case1_Validation_Dynamic 0.005.733.211.444.280.000.000.0010.09
ClaRa.Basics.ControlVolumes.SolidVolumes.Check.Test_NTU_CounterParallelCross_Comparison 0.003.313.261.262.040.000.000.007.75
ClaRa.Basics.ControlVolumes.SolidVolumes.Check.Validation_NTUcounter_DiscrPipes_Case1 0.0025.563.214.5920.970.000.000.0029.98
ClaRa.Basics.ControlVolumes.SolidVolumes.Check.Validation_NTUparallel_DiscrPipes 0.0084.483.1512.9871.500.000.000.0089.06
ClaRa.Basics.ControlVolumes.SolidVolumes.Fundamentals.Blocks.Check.Check_TinyPIP (sim)0.25 (9 verified)0.256.103.200.300.030.010.405.3510.93
ClaRa.Basics.Functions.TestCases.TestGenerateGrid (sim)0.02 (10 verified)0.024.833.070.240.010.000.024.568.96
ClaRa.Basics.Functions.TestCases.TestLogMean (sim)0.13 (2/77 failed)0.045.263.080.550.020.010.024.669.51
ClaRa.Basics.Functions.TestCases.TestMaxAbs (sim)0.02 (9 verified)0.024.563.010.250.010.000.024.298.60
ClaRa.Basics.Media.Check.TestFuelObjectAndFuelDefinitions 0.002.902.990.910.030.010.241.726.93
ClaRa.Components.Adapters.Check.RowOfScalar2VectorHeatPorts 0.003.293.081.002.290.000.000.007.51
ClaRa.Components.Adapters.Check.TestFluidConverters 0.001.193.050.930.260.000.000.005.36
ClaRa.Components.Adapters.Check.TestGasSensorAdapter 0.004.933.031.210.160.030.283.258.94
ClaRa.Components.Adapters.Check.TestScalar2VectorHeatPort (sim)0.02 (19 verified)0.059.543.060.820.220.030.308.1613.67
ClaRa.Components.BoundaryConditions.Check.TestFlueGasComposition 0.002.853.160.940.060.010.281.557.13
ClaRa.Components.BoundaryConditions.Check.TestFuelBoundaries 0.004.883.240.900.060.010.263.649.18
ClaRa.Components.BoundaryConditions.Check.TestIAPWSboundaries2 0.001.173.210.930.250.000.000.005.48
ClaRa.Components.BoundaryConditions.Check.TestPrescribedHeatFlow 0.001.273.230.960.310.000.000.005.75
ClaRa.Components.Control.FeedForward.Check.TestBlockFF (sim)0.01 (3 verified)0.035.402.970.270.020.010.025.099.43
ClaRa.Components.Control.PredictorModels_3508.Check.TestPredictor 0.002.073.011.031.040.000.000.006.18
ClaRa.Components.Control.PredictorModels_3508.Check.TestReheater 0.002.512.970.780.040.010.231.456.40
ClaRa.Components.Electrical.Check.TestAsynchronousMotor 0.002.673.110.840.050.010.241.526.75
ClaRa.Components.Electrical.Check.TestAsynchronousMotorWithPump 0.001.563.030.950.610.000.000.005.71
ClaRa.Components.Electrical.Check.TestTurboGenerator 0.001.143.120.840.300.000.000.005.46
ClaRa.Components.FlueGasCleaning.Denitrification.Check.Test_Denitrification 0.003.533.410.850.510.450.291.438.00
ClaRa.Components.FlueGasCleaning.Desulfurization.Check.Test_Desulfurization_ideal 0.003.743.050.990.590.380.281.497.79
ClaRa.Components.FlueGasCleaning.Desulfurization.Check.Test_FlueGasCleaning 0.0020.823.061.3610.500.975.172.8124.85
ClaRa.Components.FlueGasCleaning.E_Filter.Check.test_E_Filter 0.006.233.100.982.090.141.221.7910.40
ClaRa.Components.Furnace.Check.Test_CombustionChamber 0.004.043.110.920.310.050.582.188.21
ClaRa.Components.Furnace.Check.Test_CombustionChamber_control 0.004.463.150.970.470.060.682.298.60
ClaRa.Components.Furnace.Check.Test_CombustionChamber_vs_Burner_control 0.0065.513.101.142.730.181.3560.1169.68
ClaRa.Components.Furnace.Check.Test_burner_adiabatic_fuelDrying 0.0026.543.182.6312.931.346.243.4030.73
ClaRa.Components.HeatExchangers.Check.EvaluateDesuperheater 0.003.153.211.181.980.000.000.007.49
ClaRa.Components.HeatExchangers.Check.Test_FlatTubeFinnedHEXvle2gas_L4 0.006.843.261.225.620.000.000.0011.30
ClaRa.Components.HeatExchangers.Check.Test_HEXvle2gas_L3_1ph_BU 0.006.513.121.445.080.000.000.0010.82
ClaRa.Components.HeatExchangers.Check.Test_HEXvle2vle_L3_1ph_BU_ntu 0.002.543.021.061.480.000.000.006.67
ClaRa.Components.HeatExchangers.Check.Test_HEXvle2vle_L3_1ph_BU_simple 0.002.603.090.981.620.000.000.006.76
ClaRa.Components.HeatExchangers.Check.Test_HEXvle2vle_L3_1ph_kA 0.002.123.031.011.120.000.000.006.26
ClaRa.Components.HeatExchangers.Check.Test_HEXvle2vle_L3_2ph_BU_ntu 0.003.933.121.132.800.000.000.008.18
ClaRa.Components.HeatExchangers.Check.Test_HEXvle2vle_L3_2ph_BU_simple 0.002.963.081.041.920.000.000.007.18
ClaRa.Components.HeatExchangers.Check.Test_HEXvle2vle_L3_2ph_CH_ntu 0.003.433.050.992.440.000.000.007.63
ClaRa.Components.HeatExchangers.Check.Test_HEXvle2vle_L3_2ph_CH_simple 0.002.723.140.981.730.000.000.007.01
ClaRa.Components.HeatExchangers.Check.Test_HEXvle2vle_L3_2ph_CH_simple_shutoff 0.002.733.041.001.730.000.000.006.83
ClaRa.Components.HeatExchangers.Check.Test_HEXvle2vle_L3_2ph_CU_ntu 0.004.023.021.192.820.000.000.008.20
ClaRa.Components.HeatExchangers.Check.Test_HEXvle2vle_L3_2ph_CU_simple 0.003.043.001.071.970.000.000.007.16
ClaRa.Components.HeatExchangers.Check.Test_PlateHEXvle2vle_L3_2ph_ntu 0.002.593.171.081.510.000.000.006.91
ClaRa.Components.HeatExchangers.Check.Test_PlateHEXvle2vle_L4 0.002.293.251.031.260.000.000.006.68
ClaRa.Components.HeatExchangers.Check.Test_RegenerativeAirPreheater 0.00166.612.994.2239.853.60112.576.36170.59
ClaRa.Components.MechanicalSeparation.Check.TestBalanceTank 0.003.083.011.012.060.000.000.007.14
ClaRa.Components.MechanicalSeparation.Check.TestBottle 0.003.393.041.102.290.000.000.007.56
ClaRa.Components.MechanicalSeparation.Check.TestDrum 0.003.203.091.082.120.000.000.007.45
ClaRa.Components.MechanicalSeparation.Check.TestFeedWaterTank_1Separator 0.002.532.930.961.570.000.000.006.46
ClaRa.Components.MechanicalSeparation.Check.TestSeparator_L1 0.002.103.010.941.160.000.000.006.27
ClaRa.Components.MechanicalSeparation.Check.TestSeparator_L3 0.003.533.041.102.430.000.000.007.70
ClaRa.Components.Mills.HardCoalMills.Check.SimpleMillTester 0.0044.563.131.000.400.070.6942.4148.80
ClaRa.Components.Mills.HardCoalMills.Check.ValidateRollerBowlMill_3 0.003.903.420.990.480.410.371.658.42
ClaRa.Components.Mills.HardCoalMills.Check.combineMillandFurnace 0.004.373.140.961.080.080.731.528.54
ClaRa.Components.Mills.HardCoalMills.Check.testRollerBowlMills 0.006.883.061.192.260.161.411.8610.95
ClaRa.Components.Mills.PhysicalMills.Check.TestMillBox_1 0.00449.933.292.65337.384.3399.805.77454.31
ClaRa.Components.Mills.PhysicalMills.Check.TestMillBox_1_measurementInput 0.000.003.060.000.000.000.000.002425.04
ClaRa.Components.Mills.PhysicalMills.Check.TestMillBox_2 0.00445.173.042.59335.034.2397.296.03449.31
ClaRa.Components.Mills.PhysicalMills.Volumes.Check.TestAerosolVolume 0.00181.803.081.12144.201.0531.364.07186.00
ClaRa.Components.Mills.PhysicalMills.Volumes.Check.TestDryer 0.005.243.110.910.940.090.632.689.34
ClaRa.Components.Mills.PhysicalMills.Volumes.Check.TestFuelJoin 0.0059.653.070.810.260.040.5657.9863.69
ClaRa.Components.Mills.PhysicalMills.Volumes.Check.TestGrinder 0.0058.353.101.1911.961.041.6642.4962.52
ClaRa.Components.Sensors.Check.TestFuelSensors 0.004.733.120.850.070.020.233.568.82
ClaRa.Components.Sensors.Check.TestGasSensors 0.007.443.161.092.860.491.002.0011.61
ClaRa.Components.Sensors.Check.TestSensorVLE_L3_T 0.002.763.131.061.700.000.000.007.01
ClaRa.Components.Sensors.Check.TestSensors 0.002.133.241.011.130.000.000.006.55
ClaRa.Components.Sensors.Check.TestVLESensors 0.001.153.160.880.270.000.000.005.42
ClaRa.Components.TurboMachines.Compressors.Check.Test_CompressorGas_L1_affinity 0.002.803.110.900.190.030.291.396.92
ClaRa.Components.TurboMachines.Compressors.Check.Test_CompressorGas_L1_simple 0.003.773.161.000.530.400.311.537.97
ClaRa.Components.TurboMachines.Compressors.Check.Test_CompressorGas_L1_stageStacked 0.004.942.960.841.410.110.761.818.86
ClaRa.Components.TurboMachines.Compressors.Check.Test_CompressorGas_L1_stageStacked_singleStage 0.003.303.010.830.320.050.591.507.22
ClaRa.Components.TurboMachines.Compressors.Check.Test_CompressorVLE_L1_stageStacked 0.002.092.960.871.220.000.000.006.12
ClaRa.Components.TurboMachines.Compressors.Check.Test_MassFlow_VIGVControlled 0.003.383.070.840.520.340.251.437.38
ClaRa.Components.TurboMachines.Pumps.Check.TestPumpModels 0.001.413.220.980.430.000.000.005.82
ClaRa.Components.TurboMachines.Pumps.Check.TestPump_L1_OffDesign 0.001.363.210.960.400.000.000.005.76
ClaRa.Components.TurboMachines.Pumps.Check.TestPump_L1_OffDesignInlet 0.001.323.240.970.360.000.000.005.74
ClaRa.Components.TurboMachines.Pumps.Check.TestPump_L1_WithEMotor 0.001.533.200.910.610.000.000.005.87
ClaRa.Components.TurboMachines.Pumps.Check.TestPump_L2_OffDesign 0.001.923.221.020.910.000.000.006.34
ClaRa.Components.TurboMachines.Turbines.Check.testSingleTurbineStage 0.003.482.940.940.330.050.671.497.44
ClaRa.Components.TurboMachines.Turbines.Check.testStackedTurbineStages 0.003.932.970.901.010.070.361.607.83
ClaRa.Components.TurboMachines.Turbines.Check.testTurbineVLE_L1 0.001.322.970.840.490.000.000.005.34
ClaRa.Components.Utilities.Blocks.Check.TestMinMax (sim)0.03 (2/3 failed)0.034.872.990.230.010.000.024.608.92
ClaRa.Components.Utilities.Blocks.Check.TestSlidingmean (sim)0.04 (4 verified)0.324.942.970.250.010.010.024.649.24
ClaRa.Components.Utilities.Blocks.Check.TestStepsmootherGain (sim)0.02 (31 verified)0.024.542.980.250.010.000.024.268.54
ClaRa.Components.Utilities.Blocks.Check.testGradientLimiter (sim)0.03 (40 verified)0.024.872.950.260.010.000.024.578.91
ClaRa.Components.Utilities.Blocks.Check.testMatrixReader (sim) 0.0319.703.000.271.740.205.5311.9623.99
ClaRa.Components.Utilities.Blocks.Check.testRandomGenerators2 (sim)0.01 (3 verified)0.034.892.960.240.010.000.024.628.85
ClaRa.Components.Utilities.Blocks.Check.testTableGain (sim)0.03 (62 verified)0.025.113.000.260.010.010.024.829.08
ClaRa.Components.Utilities.Blocks.Check.test_1_LimPID (sim)0.02 (10 verified)0.035.362.930.280.360.010.024.699.29
ClaRa.Components.Utilities.Blocks.Check.test_2_LimPID 0.001.133.030.830.300.000.000.005.22
ClaRa.Components.VolumesValvesFittings.Fittings.Check.TestFuelSplit 0.007.803.070.780.080.020.236.7011.90
ClaRa.Components.VolumesValvesFittings.Fittings.Check.Test_JoinSplitGas_L2_flex 0.007.183.120.982.930.191.201.8811.36
ClaRa.Components.VolumesValvesFittings.Fittings.Check.Test_Junction 0.0013.243.271.126.710.762.322.3317.54
ClaRa.Components.VolumesValvesFittings.Fittings.Check.Test_MixAndSplit 0.002.653.031.101.550.000.000.006.77
ClaRa.Components.VolumesValvesFittings.Fittings.Check.Test_SplitFuelSlagFlueGas_L2 0.006.082.930.892.210.161.071.7410.03
ClaRa.Components.VolumesValvesFittings.Fittings.Check.Test_SprayInjector 0.002.313.151.001.310.000.000.006.55
ClaRa.Components.VolumesValvesFittings.Pipes.Check.FlowReversal.Test_Pipe_L4_Advanced 0.007.833.291.016.820.000.000.0012.16
ClaRa.Components.VolumesValvesFittings.Pipes.Check.FlowReversal.Test_Pipe_L4_Simple 0.006.243.361.035.210.000.000.0010.67
ClaRa.Components.VolumesValvesFittings.Pipes.Check.MassDefect.Test_Pipe_L2_Simple 0.001.183.320.870.320.000.000.005.61
ClaRa.Components.VolumesValvesFittings.Pipes.Check.OnePhaseFlow.Test_Pipe_L1_TML 0.001.292.960.840.460.000.000.005.26
ClaRa.Components.VolumesValvesFittings.Pipes.Check.OnePhaseFlow.Test_Pipe_L1_TML_LongDistanceAndGravitationalPressureDrop 0.007.583.431.256.330.000.000.0012.08
ClaRa.Components.VolumesValvesFittings.Pipes.Check.OnePhaseFlow.Test_Pipe_L4_Advanced 0.007.032.921.026.010.000.000.0011.01
ClaRa.Components.VolumesValvesFittings.Pipes.Check.OnePhaseFlow.Test_Pipe_L4_Simple 0.005.482.961.434.050.000.000.009.47
ClaRa.Components.VolumesValvesFittings.Pipes.Check.OnePhaseFlow.Test_Tube_FlueGas_L2_Simple 0.0010.213.331.014.280.312.661.9614.53
ClaRa.Components.VolumesValvesFittings.Pipes.Check.ThickWallScenarios.Test_Pipe_L1_TML_insulatedWall 0.001.143.110.790.350.000.000.005.29
ClaRa.Components.VolumesValvesFittings.Pipes.Check.TwoPhaseFlow.Test_HEXvle2vle_L3_2ph_CH_simple_headers 0.003.592.971.072.520.000.000.007.58
ClaRa.Components.VolumesValvesFittings.Pipes.Check.TwoPhaseFlow.Test_Pipe_L4_Advanced 0.005.332.951.004.330.000.000.009.40
ClaRa.Components.VolumesValvesFittings.Pipes.Check.TwoPhaseFlow.Test_Pipe_L4_Simple 0.004.362.961.063.300.000.000.008.36
ClaRa.Components.VolumesValvesFittings.Pipes.Check.WatterHammer.Benchmark_KitagawaExperiment 0.000.932.960.930.000.000.000.004.80
ClaRa.Components.VolumesValvesFittings.Valves.Check.TestCheckValveOpenLeakage 0.001.272.960.830.440.000.000.005.31
ClaRa.Components.VolumesValvesFittings.Valves.Check.TestThreeWayGasValve 0.003.582.900.870.300.050.601.767.45
ClaRa.Components.VolumesValvesFittings.Valves.Check.TestThreeWayValve 0.001.042.970.770.270.000.000.005.05
ClaRa.Components.VolumesValvesFittings.Valves.Check.TestThreeWayValves 0.001.203.180.790.410.000.000.005.41
ClaRa.Components.VolumesValvesFittings.Valves.Check.TestValves 0.001.762.900.980.780.000.000.005.76
ClaRa.Components.VolumesValvesFittings.Valves.Check.Test_EN60534_compressible 0.001.872.971.050.820.000.000.006.06
ClaRa.Components.VolumesValvesFittings.Valves.Check.Test_EN60534_incompressible 0.001.463.011.040.420.000.000.005.60
ClaRa.Components.VolumesValvesFittings.Valves.Check.Test_GasValves 0.0043.942.972.6921.922.0312.614.6847.83
ClaRa.Examples.SteamCycle_01 0.0053.272.944.2149.060.000.000.0057.23
ClaRa.Examples.SteamCycle_02 0.0070.312.955.3664.950.000.000.0074.38
ClaRa.Examples.SteamPowerPlant_01 0.00467.522.9314.89452.630.000.000.00471.64
ClaRa.Examples.SteamPowerPlant_CombinedComponents_01 0.00609.533.0018.89590.640.000.000.00613.79
ClaRa.Examples.VapourCycle_01 0.0010.423.111.528.910.000.000.0014.63
ClaRa.StaticCycles.Adapters.Check.TestAdapters 0.002.583.520.810.050.010.231.477.13
ClaRa.StaticCycles.Boundaries.Check.TestNewBoundaries 0.002.683.090.790.050.020.241.586.85
ClaRa.StaticCycles.Check.TestBoundaries 0.002.643.040.870.040.010.251.476.65
ClaRa.StaticCycles.Check.TestStacy1 0.002.602.920.810.040.010.231.506.49
ClaRa.StaticCycles.Check.TestStacy2 0.002.742.940.830.070.020.251.586.60
ClaRa.StaticCycles.Check.TestStacy3 0.002.772.980.810.100.020.261.566.78
ClaRa.StaticCycles.Check.TestStacy4 0.002.832.980.830.130.030.271.576.82
ClaRa.StaticCycles.Check.TestStacy5 0.002.892.990.900.150.030.271.556.90
ClaRa.StaticCycles.Check.TestStacy6 0.004.013.011.120.390.070.631.817.99
ClaRa.StaticCycles.Check.TestStacy7 0.003.413.130.990.220.050.581.577.55
ClaRa.StaticCycles.Check.TestStacy8 0.003.343.210.970.190.040.591.557.64
ClaRa.StaticCycles.Fittings.Check.TestMixSplitGas 0.003.663.191.020.270.060.561.768.01
ClaRa.StaticCycles.Fittings.Check.TestMixer4 0.002.603.300.930.030.010.241.396.99
ClaRa.StaticCycles.Fittings.Check.TestSplit7 0.002.833.150.910.020.010.231.657.02
ClaRa.StaticCycles.Machines.Check.CheckPumpModels 0.002.652.960.820.030.010.261.536.56
ClaRa.StaticCycles.Machines.Check.CheckTurbineModels 0.002.793.070.950.040.010.261.526.92
ClaRa.StaticCycles.Machines.Check.TestTurbineDrivenPump 0.002.903.160.990.090.020.271.547.17
ClaRa.StaticCycles.Storage.Check.TestSeparator 0.002.563.200.790.020.010.231.506.73
ClaRa.StaticCycles.ValvesConnects.Check.TestValve_dp_nom4 0.002.413.160.720.020.010.211.456.52
ClaRa.Visualisation.Check.IllustrateVisualisation 0.002.072.950.901.170.000.000.006.08
ClaRa.Visualisation.Check.TestDynamicBar (sim)0.03 (42 verified)0.024.593.010.270.010.000.024.298.62
ClaRa.Visualisation.Check.TestDynamicDiagram (sim)0.07 (130 verified)0.035.802.960.240.040.010.365.159.81
ClaRa.Visualisation.Check.TestHEXdisplay 0.002.702.961.011.690.000.000.006.71
ClaRa.Visualisation.Check.TestQuadruple 0.002.412.990.710.020.010.211.466.38
ClaRa.Visualisation.Check.TestRealDisplay (sim)0.02 (21 verified)0.034.552.930.260.010.000.024.278.46
ClaRa.Visualisation.Check.TestSixtuple 0.001.162.990.840.320.000.000.005.22
ClaRa.Visualisation.Check.TestStatePoint 0.001.062.980.820.240.000.000.005.09
ClaRa.Visualisation.Check.TestXYplot (sim)0.27 (514 verified)0.067.653.000.290.500.020.066.7811.93