Verification Report

Tests
Models tested 366
Successful Models 364
Compilation Errors 0
Simulation Errors 0
Verification Errors 0
Packages
Time spent compiling 01:30:47
Time spent simulating 02:32:31
Time spent verifying 00:07:57
Total time 04:11:15
Tools
Compiler version n/a
Simulator version n/a
Platform
Architecture 32bit WindowsPE
Machine AMD64
Node 716KS42
Platform Windows-2012ServerR2-6.3.9600
Processor Intel64 Family 6 Model 63 Stepping 2, GenuineIntel
Python implementation CPython
Python version 2.7.11
Modelica.Blocks
Models Compilation Time [s] Simulation Time [s] Verification Time [s] Rate
Modelica.Blocks.Examples.BooleanNetwork1 pass 8.47 pass 0.63 pass 0.99 100%
Modelica.Blocks.Examples.BusUsage pass 7.57 pass 0.22 pass 0.62 100%
Modelica.Blocks.Examples.Filter pass 11.52 pass 0.22 pass 0.93 100%
Modelica.Blocks.Examples.FilterWithDifferentiation pass 10.27 pass 0.16 pass 0.54 100%
Modelica.Blocks.Examples.FilterWithRiseTime pass 9.42 pass 0.16 pass 0.70 100%
Modelica.Blocks.Examples.IntegerNetwork1 pass 7.62 pass 0.52 pass 0.80 100%
Modelica.Blocks.Examples.Interaction1 pass 9.17 pass 0.41 pass 0.86 100%
Modelica.Blocks.Examples.InverseModel pass 7.22 pass 0.21 pass 0.55 100%
Modelica.Blocks.Examples.LogicalNetwork1 pass 7.02 pass 0.26 pass 0.79 100%
Modelica.Blocks.Examples.NoiseExamples.ActuatorWithNoise pass 16.58 pass 20.29 pass 1.36 100%*
Modelica.Blocks.Examples.NoiseExamples.AutomaticSeed pass 11.62 pass 1.61 pass 0.60 100%
Modelica.Blocks.Examples.NoiseExamples.Densities pass 7.12 pass 0.26 pass 0.60 100%
Modelica.Blocks.Examples.NoiseExamples.Distributions pass 10.32 pass 0.73 pass 0.58 100%
Modelica.Blocks.Examples.NoiseExamples.DrydenContinuousTurbulence pass 9.82 pass 33.75 pass 2.27 100%
Modelica.Blocks.Examples.NoiseExamples.ImpureGenerator pass 8.47 pass 0.47 pass 0.52 100%
Modelica.Blocks.Examples.NoiseExamples.NormalNoiseProperties pass 10.67 pass 36.06 pass 3.16 100%
Modelica.Blocks.Examples.NoiseExamples.UniformNoise pass 9.97 pass 0.62 pass 0.50 100%
Modelica.Blocks.Examples.NoiseExamples.UniformNoiseProperties pass 9.22 pass 34.53 pass 3.09 100%
Modelica.Blocks.Examples.PID_Controller pass 8.17 pass 0.21 pass 0.71 100%
Modelica.Blocks.Examples.RealNetwork1 pass 8.32 pass 0.37 pass 0.92 100%
Modelica.Blocks.Examples.ShowLogicalSources pass 7.17 pass 0.41 pass 0.78 100%
Summary Passed compilation: 21/21 Passed simulation: 21/21 Passed verification: 21/21
Modelica.ComplexBlocks
Models Compilation Time [s] Simulation Time [s] Verification Time [s] Rate
Modelica.ComplexBlocks.Examples.ShowTransferFunction pass 7.27 pass 0.21 pass 0.56 100%
Modelica.ComplexBlocks.Examples.TestConversionBlock pass 7.07 pass 0.36 pass 0.89 100%
Summary Passed compilation: 2/2 Passed simulation: 2/2 Passed verification: 2/2
Modelica.StateGraph
Models Compilation Time [s] Simulation Time [s] Verification Time [s] Rate
Modelica.StateGraph.Examples.ControlledTanks pass 9.67 pass 0.49 pass 0.53 100%
Modelica.StateGraph.Examples.ExecutionPaths pass 8.82 pass 0.38 pass 0.87 100%
Modelica.StateGraph.Examples.FirstExample pass 7.97 pass 0.26 pass 0.79 100%
Modelica.StateGraph.Examples.FirstExample_Variant2 pass 7.22 pass 0.26 pass 0.82 100%
Modelica.StateGraph.Examples.FirstExample_Variant3 pass 7.32 pass 0.26 pass 0.73 100%
Modelica.StateGraph.Examples.ShowCompositeStep pass 9.52 pass 0.38 pass 0.79 100%
Modelica.StateGraph.Examples.ShowExceptions pass 9.32 pass 0.22 pass 0.81 100%
Summary Passed compilation: 7/7 Passed simulation: 7/7 Passed verification: 7/7
Modelica.Electrical
Models Compilation Time [s] Simulation Time [s] Verification Time [s] Rate
Modelica.Electrical.Analog.Examples.AD_DA_conversion pass 8.97 pass 2.49 pass 1.25 100%
Modelica.Electrical.Analog.Examples.AmplifierWithOpAmpDetailed pass 7.87 pass 1.07 pass 1.02 100%
Modelica.Electrical.Analog.Examples.CauerLowPassAnalog pass 7.77 pass 0.21 pass 0.71 100%
Modelica.Electrical.Analog.Examples.CauerLowPassOPV pass 8.37 pass 0.28 pass 0.77 100%
Modelica.Electrical.Analog.Examples.CauerLowPassSC pass 12.77 pass 107.68 pass 1.85 100%
Modelica.Electrical.Analog.Examples.CharacteristicIdealDiodes pass 8.22 pass 0.37 pass 0.91 100%
Modelica.Electrical.Analog.Examples.CharacteristicThyristors pass 9.32 pass 0.52 pass 1.00 100%
Modelica.Electrical.Analog.Examples.ChuaCircuit pass 6.87 pass 6.15 n/a n/a Verification disabled
Modelica.Electrical.Analog.Examples.CompareTransformers pass 8.42 pass 11.91 pass 9.57 100%
Modelica.Electrical.Analog.Examples.ControlledSwitchWithArc pass 8.82 pass 5.92 pass 1.96 100%
Modelica.Electrical.Analog.Examples.DifferenceAmplifier pass 10.42 pass 1.27 pass 0.69 100%
Modelica.Electrical.Analog.Examples.HeatingMOSInverter pass 8.87 pass 0.72 pass 0.58 100%
Modelica.Electrical.Analog.Examples.HeatingNPN_OrGate pass 10.37 pass 2.70 pass 0.53 100%
Modelica.Electrical.Analog.Examples.HeatingRectifier pass 8.62 pass 0.31 pass 0.57 100%
Modelica.Electrical.Analog.Examples.HeatingResistor pass 6.57 pass 1.54 pass 1.14 100%
Modelica.Electrical.Analog.Examples.IdealTriacCircuit pass 8.17 pass 0.32 pass 0.53 100%
Modelica.Electrical.Analog.Examples.NandGate pass 9.22 pass 0.77 pass 0.57 100%
Modelica.Electrical.Analog.Examples.OpAmps.Comparator pass 7.37 pass 0.62 pass 0.81 100%
Modelica.Electrical.Analog.Examples.OpAmps.Differentiator pass 7.62 pass 0.92 pass 0.87 100%
Modelica.Electrical.Analog.Examples.OpAmps.HighPass pass 8.52 pass 0.82 pass 0.97 100%
Modelica.Electrical.Analog.Examples.OpAmps.Integrator pass 7.72 pass 0.72 pass 0.87 100%
Modelica.Electrical.Analog.Examples.OpAmps.InvertingAmp pass 7.52 pass 0.66 pass 0.86 100%
Modelica.Electrical.Analog.Examples.OpAmps.InvertingSchmittTrigger pass 8.07 pass 0.62 pass 0.83 100%
Modelica.Electrical.Analog.Examples.OpAmps.LCOscillator pass 7.57 pass 0.56 pass 1.08 100%
Modelica.Electrical.Analog.Examples.OpAmps.LowPass pass 7.52 pass 0.81 pass 0.98 100%
Modelica.Electrical.Analog.Examples.OpAmps.Multivibrator pass 8.42 pass 0.42 pass 0.95 100%
Modelica.Electrical.Analog.Examples.OpAmps.NonInvertingAmp pass 7.37 pass 0.61 pass 0.87 100%
Modelica.Electrical.Analog.Examples.OpAmps.SchmittTrigger pass 8.42 pass 0.41 pass 0.75 100%
Modelica.Electrical.Analog.Examples.OpAmps.SignalGenerator pass 7.67 pass 0.51 pass 1.05 100%
Modelica.Electrical.Analog.Examples.OpAmps.VoltageFollower pass 7.27 pass 0.62 pass 0.84 100%
Modelica.Electrical.Analog.Examples.OvervoltageProtection pass 7.22 pass 0.51 pass 0.50 100%
Modelica.Electrical.Analog.Examples.Rectifier pass 8.62 pass 5.07 pass 4.08 100%
Modelica.Electrical.Analog.Examples.ShowSaturatingInductor pass 7.27 pass 4.97 pass 0.59 100%
Modelica.Electrical.Analog.Examples.ShowVariableResistor pass 8.17 pass 0.31 pass 0.98 100%
Modelica.Electrical.Analog.Examples.SimpleTriacCircuit pass 9.27 pass 115.96 pass 0.55 100%
Modelica.Electrical.Analog.Examples.SwitchWithArc pass 7.67 pass 2.13 pass 0.82 100%
Modelica.Electrical.Analog.Examples.ThyristorBehaviourTest pass 8.07 pass 0.71 pass 0.57 100%
Modelica.Electrical.Digital.Examples.Adder4 pass 15.68 pass 0.88 pass 0.78 100%
Modelica.Electrical.Digital.Examples.BUF3S pass 8.17 pass 0.26 pass 0.76 100%
Modelica.Electrical.Digital.Examples.Counter pass 14.93 pass 4.25 pass 0.98 100%
Modelica.Electrical.Digital.Examples.Counter3 pass 12.47 pass 0.77 pass 0.49 100%
Modelica.Electrical.Digital.Examples.DFFREG pass 9.52 pass 0.32 pass 0.73 100%
Modelica.Electrical.Digital.Examples.DFFREGL pass 9.82 pass 0.37 pass 0.80 100%
Modelica.Electrical.Digital.Examples.DFFREGSRH pass 10.82 pass 0.32 pass 0.76 100%
Modelica.Electrical.Digital.Examples.DFFREGSRL pass 11.22 pass 0.32 pass 0.81 100%
Modelica.Electrical.Digital.Examples.DLATREG pass 10.12 pass 0.38 pass 0.74 100%
Modelica.Electrical.Digital.Examples.DLATREGL pass 9.57 pass 0.32 pass 0.80 100%
Modelica.Electrical.Digital.Examples.DLATREGSRH pass 10.58 pass 0.36 pass 0.80 100%
Modelica.Electrical.Digital.Examples.DLATREGSRL pass 11.22 pass 0.21 pass 0.80 100%
Modelica.Electrical.Digital.Examples.FlipFlop pass 9.67 pass 0.69 pass 0.84 100%
Modelica.Electrical.Digital.Examples.FullAdder pass 15.03 pass 0.72 pass 0.75 100%
Modelica.Electrical.Digital.Examples.HalfAdder pass 8.67 pass 0.32 pass 0.81 100%
Modelica.Electrical.Digital.Examples.INV3S pass 8.42 pass 0.26 pass 0.80 100%
Modelica.Electrical.Digital.Examples.Multiplexer pass 12.53 pass 0.77 pass 0.82 100%
Modelica.Electrical.Digital.Examples.MUX2x1 pass 8.27 pass 0.27 pass 0.80 100%
Modelica.Electrical.Digital.Examples.NRXFER pass 7.52 pass 0.26 pass 0.77 100%
Modelica.Electrical.Digital.Examples.NXFER pass 8.22 pass 0.27 pass 0.80 100%
Modelica.Electrical.Digital.Examples.RAM pass 12.12 pass 0.79 pass 0.81 100%
Modelica.Electrical.Digital.Examples.VectorDelay pass 8.42 pass 0.37 pass 0.80 100%
Modelica.Electrical.Digital.Examples.WiredX pass 8.97 pass 0.32 pass 0.77 100%
Modelica.Electrical.Machines.Examples.AsynchronousInductionMachines.AIMC_Conveyor pass 15.38 pass 11.14 pass 5.30 100%
Modelica.Electrical.Machines.Examples.AsynchronousInductionMachines.AIMC_DOL pass 13.18 pass 1.02 pass 1.06 100%
Modelica.Electrical.Machines.Examples.AsynchronousInductionMachines.AIMC_Initialize pass 11.92 pass 1.01 pass 1.03 100%
Modelica.Electrical.Machines.Examples.AsynchronousInductionMachines.AIMC_Inverter pass 12.08 pass 1.27 pass 1.10 100%
Modelica.Electrical.Machines.Examples.AsynchronousInductionMachines.AIMC_Steinmetz pass 12.12 pass 3.02 pass 1.16 100%
Modelica.Electrical.Machines.Examples.AsynchronousInductionMachines.AIMC_Transformer pass 15.73 pass 8.58 pass 1.39 100%
Modelica.Electrical.Machines.Examples.AsynchronousInductionMachines.AIMC_withLosses pass 15.23 pass 2.57 pass 2.72 100%
Modelica.Electrical.Machines.Examples.AsynchronousInductionMachines.AIMC_YD pass 13.28 pass 2.23 pass 1.36 100%
Modelica.Electrical.Machines.Examples.AsynchronousInductionMachines.AIMS_Start pass 16.03 pass 1.62 pass 1.08 100%
Modelica.Electrical.Machines.Examples.DCMachines.DCEE_Start pass 10.12 pass 0.81 pass 1.24 100%
Modelica.Electrical.Machines.Examples.DCMachines.DCPM_Cooling pass 10.82 pass 8.83 pass 6.70 100%
Modelica.Electrical.Machines.Examples.DCMachines.DCPM_QuasiStationary pass 10.82 pass 1.21 pass 1.24 100%
Modelica.Electrical.Machines.Examples.DCMachines.DCPM_Start pass 10.52 pass 0.71 pass 1.24 100%
Modelica.Electrical.Machines.Examples.DCMachines.DCPM_Temperature pass 9.77 pass 1.13 pass 1.61 100%
Modelica.Electrical.Machines.Examples.DCMachines.DCPM_withLosses pass 10.97 pass 1.06 pass 1.21 100%
Modelica.Electrical.Machines.Examples.DCMachines.DCSE_SinglePhase pass 10.42 pass 1.72 pass 1.81 100%
Modelica.Electrical.Machines.Examples.DCMachines.DCSE_Start pass 10.12 pass 0.91 pass 1.25 100%
Modelica.Electrical.Machines.Examples.SynchronousInductionMachines.SMEE_Generator pass 13.18 pass 2.40 pass 2.27 100%
Modelica.Electrical.Machines.Examples.SynchronousInductionMachines.SMEE_LoadDump pass 13.33 pass 74.32 pass 3.55 100%
Modelica.Electrical.Machines.Examples.SynchronousInductionMachines.SMEE_Rectifier pass 14.18 pass 40.01 pass 3.80 100%
Modelica.Electrical.Machines.Examples.SynchronousInductionMachines.SMPM_Braking pass 13.08 pass 4.84 pass 1.62 100%
Modelica.Electrical.Machines.Examples.SynchronousInductionMachines.SMPM_CurrentSource pass 12.08 pass 1.17 pass 1.14 100%*
Modelica.Electrical.Machines.Examples.SynchronousInductionMachines.SMPM_Inverter pass 12.43 pass 1.12 pass 1.10 100%
Modelica.Electrical.Machines.Examples.SynchronousInductionMachines.SMPM_VoltageSource pass 12.47 pass 1.12 pass 1.08 100%*
Modelica.Electrical.Machines.Examples.SynchronousInductionMachines.SMR_Inverter pass 12.12 pass 1.12 pass 1.12 100%
Modelica.Electrical.Machines.Examples.Transformers.AIMC_Transformer pass 16.43 pass 9.80 pass 1.63 100%
Modelica.Electrical.Machines.Examples.Transformers.AsymmetricalLoad pass 12.58 pass 0.06 pass 0.47 100%
Modelica.Electrical.Machines.Examples.Transformers.Rectifier12pulse pass 17.23 pass 3.46 pass 1.02 100%
Modelica.Electrical.Machines.Examples.Transformers.Rectifier6pulse pass 13.42 pass 1.52 pass 0.79 100%
Modelica.Electrical.Machines.Examples.Transformers.TransformerTestbench pass 14.48 pass 0.11 pass 0.48 100%
Modelica.Electrical.MultiPhase.Examples.Rectifier pass 9.82 pass 4.47 pass 2.24 100%
Modelica.Electrical.MultiPhase.Examples.TestSensors pass 9.22 pass 0.41 pass 0.61 100%
Modelica.Electrical.MultiPhase.Examples.TransformerYD pass 9.87 pass 0.31 pass 0.68 100%
Modelica.Electrical.MultiPhase.Examples.TransformerYY pass 10.52 pass 0.48 pass 0.66 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.Rectifier1Pulse.Thyristor1Pulse_R pass 8.67 pass 0.68 pass 0.51 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.Rectifier1Pulse.Thyristor1Pulse_R_Characteristic pass 8.87 pass 27.21 pass 2.74 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierBridge2mPulse.DiodeBridge2mPulse pass 9.77 pass 1.23 pass 0.50 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierBridge2mPulse.HalfControlledBridge2mPulse pass 11.17 pass 1.66 pass 0.58 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierBridge2mPulse.ThyristorBridge2mPulse_DC_Drive pass 13.88 pass 260.99 pass 27.99 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierBridge2mPulse.ThyristorBridge2mPulse_R pass 11.32 pass 1.48 pass 0.53 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierBridge2mPulse.ThyristorBridge2mPulse_RL pass 11.33 pass 1.75 pass 0.55 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierBridge2mPulse.ThyristorBridge2mPulse_RLV pass 11.88 pass 1.57 pass 0.55 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierBridge2mPulse.ThyristorBridge2mPulse_RLV_Characteristic pass 12.07 pass 99.20 pass 5.33 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierBridge2Pulse.DiodeBridge2Pulse pass 8.82 pass 0.62 pass 0.50 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierBridge2Pulse.HalfControlledBridge2Pulse pass 9.67 pass 0.73 pass 0.56 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierBridge2Pulse.ThyristorBridge2Pulse_DC_Drive pass 11.72 pass 81.09 pass 17.58 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierBridge2Pulse.ThyristorBridge2Pulse_R pass 9.07 pass 0.52 pass 0.34 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierBridge2Pulse.ThyristorBridge2Pulse_RL pass 9.52 pass 0.79 pass 0.54 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierBridge2Pulse.ThyristorBridge2Pulse_RLV pass 9.72 pass 0.88 pass 0.53 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierBridge2Pulse.ThyristorBridge2Pulse_RLV_Characteristic pass 9.82 pass 33.74 pass 4.11 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierCenterTap2mPulse.DiodeCenterTap2mPulse pass 11.08 pass 1.07 pass 0.50 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierCenterTap2mPulse.ThyristorCenterTap2mPulse_R pass 11.47 pass 1.51 pass 0.52 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierCenterTap2mPulse.ThyristorCenterTap2mPulse_RL pass 11.87 pass 1.09 pass 0.54 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierCenterTap2mPulse.ThyristorCenterTap2mPulse_RLV pass 11.27 pass 1.69 pass 0.54 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierCenterTap2mPulse.ThyristorCenterTap2mPulse_RLV_Characteristic pass 12.87 pass 81.69 pass 4.87 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierCenterTap2Pulse.DiodeCenterTap2Pulse pass 8.22 pass 0.62 pass 0.50 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierCenterTap2Pulse.ThyristorCenterTap2Pulse_R pass 9.27 pass 0.77 pass 0.51 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierCenterTap2Pulse.ThyristorCenterTap2Pulse_RL pass 9.17 pass 0.73 pass 0.53 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierCenterTap2Pulse.ThyristorCenterTap2Pulse_RLV pass 9.57 pass 0.72 pass 0.53 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierCenterTap2Pulse.ThyristorCenterTap2Pulse_RLV_Characteristic pass 9.37 pass 33.54 pass 4.03 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierCenterTapmPulse.DiodeCenterTapmPulse pass 9.37 pass 0.83 pass 0.51 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierCenterTapmPulse.ThyristorCenterTapmPulse_R pass 11.27 pass 1.35 pass 0.53 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierCenterTapmPulse.ThyristorCenterTapmPulse_RL pass 12.82 pass 1.40 pass 0.55 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierCenterTapmPulse.ThyristorCenterTapmPulse_RLV pass 12.08 pass 1.28 pass 0.56 100%
Modelica.Electrical.PowerConverters.Examples.ACDC.RectifierCenterTapmPulse.ThyristorCenterTapmPulse_RLV_Characteristic pass 12.78 pass 73.92 pass 4.63 100%
Modelica.Electrical.PowerConverters.Examples.DCAC.MultiPhaseTwoLevel.MultiPhaseTwoLevel_R pass 14.38 pass 13.67 pass 0.74 100%
Modelica.Electrical.PowerConverters.Examples.DCAC.MultiPhaseTwoLevel.MultiPhaseTwoLevel_RL pass 19.78 pass 49.94 pass 1.53 100%
Modelica.Electrical.PowerConverters.Examples.DCAC.SinglePhaseTwoLevel.SinglePhaseTwoLevel_R pass 9.92 pass 2.99 pass 0.50 100%
Modelica.Electrical.PowerConverters.Examples.DCAC.SinglePhaseTwoLevel.SinglePhaseTwoLevel_RL pass 10.37 pass 2.72 pass 0.55 100%
Modelica.Electrical.PowerConverters.Examples.DCDC.ChopperStepDown.ChopperStepDown_R pass 8.67 pass 1.29 pass 0.49 100%
Modelica.Electrical.PowerConverters.Examples.DCDC.ChopperStepDown.ChopperStepDown_RL pass 8.47 pass 1.64 pass 0.54 100%
Modelica.Electrical.PowerConverters.Examples.DCDC.HBridge.HBridge_DC_Drive pass 12.42 pass 520.72 pass 48.22 100%
Modelica.Electrical.PowerConverters.Examples.DCDC.HBridge.HBridge_R pass 9.32 pass 1.62 pass 0.50 100%
Modelica.Electrical.PowerConverters.Examples.DCDC.HBridge.HBridge_RL pass 10.12 pass 2.00 pass 0.54 100%
Modelica.Electrical.QuasiStationary.Machines.Examples.TransformerTestbench pass 31.44 pass 0.42 pass 0.47 100%
Modelica.Electrical.QuasiStationary.MultiPhase.Examples.BalancingDelta pass 14.88 pass 0.91 pass 0.55 100%
Modelica.Electrical.QuasiStationary.MultiPhase.Examples.BalancingStar pass 17.23 pass 1.03 pass 0.56 100%
Modelica.Electrical.QuasiStationary.SinglePhase.Examples.ParallelResonance pass 8.52 pass 0.62 pass 0.51 100%
Modelica.Electrical.QuasiStationary.SinglePhase.Examples.Rectifier pass 11.32 pass 16.37 pass 1.19 100%
Modelica.Electrical.QuasiStationary.SinglePhase.Examples.SeriesResonance pass 9.37 pass 0.42 pass 0.55 100%
Modelica.Electrical.QuasiStationary.SinglePhase.Examples.Transformer pass 9.57 pass 0.36 pass 0.55 100%
Modelica.Electrical.Spice3.Examples.CascodeCircuit pass 9.87 pass 3.02 pass 0.71 100%
Modelica.Electrical.Spice3.Examples.CoupledInductors pass 9.07 pass 0.63 pass 0.61 100%
Modelica.Electrical.Spice3.Examples.FourInverters pass 15.23 pass 0.43 pass 1.03 100%
Modelica.Electrical.Spice3.Examples.Graetz pass 9.77 pass 1.07 pass 0.61 100%
Modelica.Electrical.Spice3.Examples.Inverter pass 11.78 pass 1.37 pass 1.18 100%
Modelica.Electrical.Spice3.Examples.InvertersApartRecord pass 12.92 pass 0.36 pass 1.02 100%
Modelica.Electrical.Spice3.Examples.InvertersExtendedModel pass 13.73 pass 0.37 pass 0.81 100%
Modelica.Electrical.Spice3.Examples.Nand pass 12.83 pass 1.12 pass 0.89 100%
Modelica.Electrical.Spice3.Examples.Nor pass 15.23 pass 1.08 pass 0.75 100%
Modelica.Electrical.Spice3.Examples.Oscillator pass 10.77 pass 1.52 pass 0.57 100%
Modelica.Electrical.Spice3.Examples.Spice3BenchmarkDifferentialPair pass 11.77 pass 3.04 pass 0.60 100%
Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder pass 95.35 pass 5993.75 pass 1.07 100%
Modelica.Electrical.Spice3.Examples.Spice3BenchmarkMosfetCharacterization pass 11.37 pass 0.11 pass 0.30 100%
Modelica.Electrical.Spice3.Examples.Spice3BenchmarkRtlInverter pass 10.87 pass 0.82 pass 0.54 100%
Summary Passed compilation: 155/155 Passed simulation: 155/155 Passed verification: 154/154
Modelica.Magnetic
Models Compilation Time [s] Simulation Time [s] Verification Time [s] Rate
Modelica.Magnetic.FluxTubes.Examples.Hysteresis.HysteresisModelComparison pass 24.09 pass 6.07 pass 0.99 100%
Modelica.Magnetic.FluxTubes.Examples.Hysteresis.InductorWithHysteresis pass 8.77 pass 1.46 pass 1.01 100%
Modelica.Magnetic.FluxTubes.Examples.Hysteresis.SinglePhaseTransformerWithHysteresis1 pass 12.48 pass 3.57 pass 0.97 100%
Modelica.Magnetic.FluxTubes.Examples.Hysteresis.SinglePhaseTransformerWithHysteresis2 pass 9.92 pass 28.95 pass 0.39 100%
Modelica.Magnetic.FluxTubes.Examples.Hysteresis.ThreePhaseTransformerWithRectifier pass 16.98 pass 26.17 pass 0.84 100%
Modelica.Magnetic.FluxTubes.Examples.MovingCoilActuator.ArmatureStroke pass 10.62 pass 0.76 pass 0.68 100%*
Modelica.Magnetic.FluxTubes.Examples.MovingCoilActuator.ForceCurrentBehaviour pass 14.08 pass 0.22 pass 0.82 100%*
Modelica.Magnetic.FluxTubes.Examples.MovingCoilActuator.ForceStrokeBehaviour pass 12.02 pass 0.21 pass 1.01 100%*
Modelica.Magnetic.FluxTubes.Examples.SaturatedInductor pass 9.47 pass 0.32 pass 0.49 100%
Modelica.Magnetic.FluxTubes.Examples.SolenoidActuator.ComparisonPullInStroke pass 20.63 pass 4.26 pass 0.77 100%
Modelica.Magnetic.FluxTubes.Examples.SolenoidActuator.ComparisonQuasiStationary pass 17.93 pass 2.26 pass 0.89 100%
Modelica.Magnetic.FundamentalWave.Examples.BasicMachines.AIMC_DOL pass 20.68 pass 5.18 pass 2.97 100%
Modelica.Magnetic.FundamentalWave.Examples.BasicMachines.AIMC_DOL_MultiPhase pass 21.88 pass 5.99 pass 3.30 100%
Modelica.Magnetic.FundamentalWave.Examples.BasicMachines.AIMS_Start pass 19.34 pass 2.74 pass 1.02 100%
Modelica.Magnetic.FundamentalWave.Examples.BasicMachines.AIMS_Start_MultiPhase pass 22.89 pass 2.59 pass 0.84 100%
Modelica.Magnetic.FundamentalWave.Examples.BasicMachines.SMEE_Generator pass 17.98 pass 26.57 pass 1.83 100%*
Modelica.Magnetic.FundamentalWave.Examples.BasicMachines.SMEE_Generator_MultiPhase pass 21.08 pass 35.92 pass 1.33 100%*
Modelica.Magnetic.FundamentalWave.Examples.BasicMachines.SMPM_Inverter pass 16.33 pass 2.77 pass 1.76 100%
Modelica.Magnetic.FundamentalWave.Examples.BasicMachines.SMPM_Inverter_MultiPhase pass 20.59 pass 2.71 pass 1.06 100%
Modelica.Magnetic.FundamentalWave.Examples.BasicMachines.SMR_Inverter pass 17.78 pass 2.62 pass 1.84 100%
Modelica.Magnetic.FundamentalWave.Examples.BasicMachines.SMR_Inverter_MultiPhase pass 19.68 pass 2.12 pass 1.74 100%
Modelica.Magnetic.FundamentalWave.Examples.Components.EddyCurrentLosses pass 14.73 pass 2.02 pass 1.18 100%
Modelica.Magnetic.FundamentalWave.Examples.Components.MultiPhaseInductance pass 11.48 pass 2.67 pass 1.54 100%
Modelica.Magnetic.FundamentalWave.Examples.Components.SinglePhaseInductance pass 9.17 pass 2.47 pass 1.53 100%
Modelica.Magnetic.QuasiStatic.FundamentalWave.Examples.BasicMachines.InductionMachines.IMC_DOL pass 43.25 pass 5.68 pass 0.73 100%
Modelica.Magnetic.QuasiStatic.FundamentalWave.Examples.BasicMachines.InductionMachines.IMC_Inverter pass 26.99 pass 4.62 pass 1.56 100%
Modelica.Magnetic.QuasiStatic.FundamentalWave.Examples.BasicMachines.InductionMachines.IMS_Start pass 34.41 pass 3.47 pass 1.10 100%
Modelica.Magnetic.QuasiStatic.FundamentalWave.Examples.BasicMachines.SynchronousMachines.SMEE_Generator pass 28.09 pass 78.48 pass 4.00 100%*
Modelica.Magnetic.QuasiStatic.FundamentalWave.Examples.BasicMachines.SynchronousMachines.SMPM_CurrentSource pass 22.79 pass 1.12 pass 0.82 100%
Modelica.Magnetic.QuasiStatic.FundamentalWave.Examples.BasicMachines.SynchronousMachines.SMPM_Mains pass 37.60 pass 8.95 pass 2.17 100%
Modelica.Magnetic.QuasiStatic.FundamentalWave.Examples.BasicMachines.SynchronousMachines.SMPM_OpenCircuit pass 24.83 pass 0.12 pass 0.32 100%
Modelica.Magnetic.QuasiStatic.FundamentalWave.Examples.BasicMachines.SynchronousMachines.SMR_CurrentSource pass 24.13 pass 0.92 pass 1.00 100%
Modelica.Magnetic.QuasiStatic.FundamentalWave.Examples.Components.EddyCurrentLosses pass 25.54 pass 1.89 pass 1.06 100%
Modelica.Magnetic.QuasiStatic.FundamentalWave.Examples.Components.MultiPhaseInductance pass 30.19 pass 6.43 pass 1.42 100%
Summary Passed compilation: 34/34 Passed simulation: 34/34 Passed verification: 34/34
Modelica.Mechanics
Models Compilation Time [s] Simulation Time [s] Verification Time [s] Rate
Modelica.Mechanics.MultiBody.Examples.Constraints.PrismaticConstraint pass 21.63 pass 0.84 pass 0.78 100%
Modelica.Mechanics.MultiBody.Examples.Constraints.RevoluteConstraint pass 22.54 pass 0.47 pass 0.71 100%
Modelica.Mechanics.MultiBody.Examples.Constraints.SphericalConstraint pass 21.13 pass 0.51 pass 0.75 100%
Modelica.Mechanics.MultiBody.Examples.Constraints.UniversalConstraint pass 23.69 pass 0.82 pass 0.42 100%*
Modelica.Mechanics.MultiBody.Examples.Elementary.DoublePendulum pass 16.03 pass 0.26 pass 0.57 100%
Modelica.Mechanics.MultiBody.Examples.Elementary.DoublePendulumInitTip pass 16.48 pass 0.37 pass 0.54 100%
Modelica.Mechanics.MultiBody.Examples.Elementary.ForceAndTorque pass 16.58 pass 0.27 pass 0.48 100%
Modelica.Mechanics.MultiBody.Examples.Elementary.FreeBody pass 14.83 pass 0.42 pass 0.95 100%*
Modelica.Mechanics.MultiBody.Examples.Elementary.HeatLosses pass 18.68 pass 0.57 pass 0.98 100%*
Modelica.Mechanics.MultiBody.Examples.Elementary.InitSpringConstant pass 13.48 pass 0.21 pass 0.33 100%
Modelica.Mechanics.MultiBody.Examples.Elementary.LineForceWithTwoMasses pass 20.08 pass 0.36 pass 0.68 100%
Modelica.Mechanics.MultiBody.Examples.Elementary.Pendulum pass 12.72 pass 0.16 pass 0.57 100%
Modelica.Mechanics.MultiBody.Examples.Elementary.PendulumWithSpringDamper pass 15.23 pass 0.21 pass 0.65 100%
Modelica.Mechanics.MultiBody.Examples.Elementary.PointGravity pass 13.12 pass 0.72 pass 0.90 100%*
Modelica.Mechanics.MultiBody.Examples.Elementary.PointGravityWithPointMasses pass 11.47 pass 0.57 pass 1.12 100%
Modelica.Mechanics.MultiBody.Examples.Elementary.PointGravityWithPointMasses2 pass 25.99 pass 0.83 pass 0.65 100%
Modelica.Mechanics.MultiBody.Examples.Elementary.RollingWheel pass 14.43 pass 0.97 pass 0.78 100%
Modelica.Mechanics.MultiBody.Examples.Elementary.RollingWheelSetDriving pass 18.58 pass 0.52 pass 0.47 100%
Modelica.Mechanics.MultiBody.Examples.Elementary.RollingWheelSetPulling pass 21.73 pass 0.67 pass 0.68 100%
Modelica.Mechanics.MultiBody.Examples.Elementary.SpringDamperSystem pass 14.47 pass 0.55 pass 0.72 100%*
Modelica.Mechanics.MultiBody.Examples.Elementary.SpringMassSystem pass 13.12 pass 0.27 pass 0.48 100%
Modelica.Mechanics.MultiBody.Examples.Elementary.SpringWithMass pass 13.78 pass 0.37 pass 0.71 100%*
Modelica.Mechanics.MultiBody.Examples.Elementary.Surfaces pass 12.07 pass 0.11 pass 0.54 100%
Modelica.Mechanics.MultiBody.Examples.Elementary.ThreeSprings pass 16.73 pass 2.36 pass 0.84 100%*
Modelica.Mechanics.MultiBody.Examples.Elementary.UserDefinedGravityField pass 14.17 pass 0.21 pass 0.60 100%
Modelica.Mechanics.MultiBody.Examples.Loops.Engine1a pass 18.58 pass 0.42 pass 0.56 100%
Modelica.Mechanics.MultiBody.Examples.Loops.Engine1b pass 19.88 pass 0.82 pass 0.61 100%
Modelica.Mechanics.MultiBody.Examples.Loops.Engine1b_analytic pass 23.13 pass 0.42 pass 0.56 100%
Modelica.Mechanics.MultiBody.Examples.Loops.EngineV6 pass 64.92 pass 199.65 pass 0.96 100%
Modelica.Mechanics.MultiBody.Examples.Loops.EngineV6_analytic pass 56.41 pass 1.98 pass 0.85 100%
Modelica.Mechanics.MultiBody.Examples.Loops.Fourbar1 pass 30.14 pass 2.47 pass 0.69 100%
Modelica.Mechanics.MultiBody.Examples.Loops.Fourbar2 pass 17.38 pass 0.32 pass 0.69 100%
Modelica.Mechanics.MultiBody.Examples.Loops.Fourbar_analytic pass 16.33 pass 0.22 pass 0.36 100%
Modelica.Mechanics.MultiBody.Examples.Loops.PlanarLoops_analytic pass 27.86 pass 0.22 pass 0.58 100%
Modelica.Mechanics.MultiBody.Examples.Rotational3DEffects.ActuatedDrive pass 15.63 pass 0.27 pass 0.40 100%
Modelica.Mechanics.MultiBody.Examples.Rotational3DEffects.BevelGear1D pass 15.68 pass 1.47 n/a n/a Verification disabled
Modelica.Mechanics.MultiBody.Examples.Rotational3DEffects.GearConstraint pass 15.18 pass 0.16 pass 0.63 100%
Modelica.Mechanics.MultiBody.Examples.Rotational3DEffects.GyroscopicEffects pass 20.54 pass 1.43 pass 0.91 100%*
Modelica.Mechanics.MultiBody.Examples.Rotational3DEffects.MovingActuatedDrive pass 15.73 pass 0.26 pass 0.71 100%
Modelica.Mechanics.MultiBody.Examples.Systems.RobotR3.fullRobot pass 33.99 pass 4.82 pass 1.19 100%
Modelica.Mechanics.MultiBody.Examples.Systems.RobotR3.oneAxis pass 11.47 pass 0.97 pass 0.98 100%
Modelica.Mechanics.Rotational.Examples.Backlash pass 8.42 pass 0.57 pass 0.57 100%
Modelica.Mechanics.Rotational.Examples.CoupledClutches pass 9.23 pass 0.62 pass 0.46 100%
Modelica.Mechanics.Rotational.Examples.ElasticBearing pass 7.12 pass 0.27 pass 0.36 100%
Modelica.Mechanics.Rotational.Examples.First pass 7.42 pass 0.26 pass 0.71 100%
Modelica.Mechanics.Rotational.Examples.FirstGrounded pass 7.57 pass 0.21 pass 0.38 100%
Modelica.Mechanics.Rotational.Examples.Friction pass 9.62 pass 4.30 pass 1.20 100%
Modelica.Mechanics.Rotational.Examples.GenerationOfFMUs pass 8.67 pass 0.31 pass 0.88 100%
Modelica.Mechanics.Rotational.Examples.HeatLosses pass 11.42 pass 9.78 pass 2.55 100%
Modelica.Mechanics.Rotational.Examples.LossyGearDemo1 pass 8.42 pass 0.17 pass 0.52 100%
Modelica.Mechanics.Rotational.Examples.LossyGearDemo2 pass 8.47 pass 0.56 pass 0.85 100%
Modelica.Mechanics.Rotational.Examples.LossyGearDemo3 pass 8.58 pass 0.21 pass 0.46 100%
Modelica.Mechanics.Rotational.Examples.RollingWheel pass 6.92 pass 1.59 pass 0.83 100%
Modelica.Mechanics.Rotational.Examples.SimpleGearShift pass 9.17 pass 0.41 pass 0.41 100%
Modelica.Mechanics.Translational.Examples.Accelerate pass 6.36 pass 0.11 pass 0.36 100%
Modelica.Mechanics.Translational.Examples.Brake pass 9.19 pass 0.71 pass 0.46 100%
Modelica.Mechanics.Translational.Examples.Damper pass 7.72 pass 0.16 pass 0.57 100%
Modelica.Mechanics.Translational.Examples.ElastoGap pass 6.38 pass 0.06 pass 0.47 100%
Modelica.Mechanics.Translational.Examples.Friction pass 10.48 pass 3.30 pass 0.78 100%
Modelica.Mechanics.Translational.Examples.HeatLosses pass 9.80 pass 1.37 pass 0.57 100%
Modelica.Mechanics.Translational.Examples.InitialConditions pass 7.47 pass 0.91 pass 1.19 100%
Modelica.Mechanics.Translational.Examples.Oscillator pass 6.92 pass 0.21 pass 0.61 100%
Modelica.Mechanics.Translational.Examples.PreLoad pass 8.52 pass 0.21 pass 0.53 100%
Modelica.Mechanics.Translational.Examples.Sensors pass 7.77 pass 0.28 pass 0.55 100%
Modelica.Mechanics.Translational.Examples.SignConvention pass 6.97 pass 0.31 pass 0.64 100%
Modelica.Mechanics.Translational.Examples.WhyArrows pass 6.27 pass 0.26 pass 0.63 100%
Summary Passed compilation: 66/66 Passed simulation: 66/66 Passed verification: 65/65
Modelica.Fluid
Models Compilation Time [s] Simulation Time [s] Verification Time [s] Rate
Modelica.Fluid.Examples.AST_BatchPlant.BatchPlant_StandardWater pass 39.85 pass 42.88 pass 1.10 100%
Modelica.Fluid.Examples.AST_BatchPlant.Test.OneTank pass 13.23 pass 1.42 pass 0.43 100%
Modelica.Fluid.Examples.AST_BatchPlant.Test.TanksWithEmptyingPipe1 pass 13.32 pass 0.42 pass 0.64 100%
Modelica.Fluid.Examples.AST_BatchPlant.Test.TanksWithEmptyingPipe2 pass 14.63 pass 0.67 pass 0.73 100%
Modelica.Fluid.Examples.AST_BatchPlant.Test.TankWithEmptyingPipe1 pass 12.03 pass 0.21 pass 0.52 100%
Modelica.Fluid.Examples.AST_BatchPlant.Test.TankWithEmptyingPipe2 pass 12.52 pass 0.42 pass 0.56 100%
Modelica.Fluid.Examples.AST_BatchPlant.Test.TwoTanks pass 11.32 pass 0.26 pass 0.61 100%
Modelica.Fluid.Examples.BranchingDynamicPipes pass 49.56 pass 113.27 pass 1.13 100%
Modelica.Fluid.Examples.ControlledTankSystem.ControlledTanks pass 11.62 pass 3.26 pass 0.33 100%
Modelica.Fluid.Examples.DrumBoiler.DrumBoiler pass 18.28 pass 2.24 pass 0.59 100%
Modelica.Fluid.Examples.Explanatory.MeasuringTemperature pass 22.93 pass 10.76 pass 0.70 100%
Modelica.Fluid.Examples.Explanatory.MomentumBalanceFittings pass 18.13 pass 0.67 pass 0.78 100%
Modelica.Fluid.Examples.HeatExchanger.HeatExchangerSimulation pass 44.10 pass 111.29 pass 1.06 100%
Modelica.Fluid.Examples.HeatingSystem pass 25.39 pass 4.44 pass 0.68 100%
Modelica.Fluid.Examples.IncompressibleFluidNetwork pass 32.84 pass 3.72 pass 0.83 100%
Modelica.Fluid.Examples.InverseParameterization pass 20.95 pass 21.50 pass 0.45 100%
Modelica.Fluid.Examples.NonCircularPipes pass 18.43 pass 0.47 pass 0.70 100%
Modelica.Fluid.Examples.PumpingSystem pass 23.33 pass 39.22 pass 1.10 100%
Modelica.Fluid.Examples.Tanks.EmptyTanks pass 12.78 pass 1.07 pass 0.60 100%
Modelica.Fluid.Examples.Tanks.TanksWithOverflow pass 16.73 pass 26.74 pass 0.59 100%
Modelica.Fluid.Examples.Tanks.ThreeTanks pass 13.23 pass 2.24 pass 0.65 100%
Modelica.Fluid.Examples.TraceSubstances.RoomCO2 pass 21.83 pass 1.34 pass 0.58 100%
Modelica.Fluid.Examples.TraceSubstances.RoomCO2WithControls pass 31.79 pass 32.90 pass 0.63 100%
Summary Passed compilation: 23/23 Passed simulation: 23/23 Passed verification: 23/23
Modelica.Media
Models Compilation Time [s] Simulation Time [s] Verification Time [s] Rate
Modelica.Media.Examples.IdealGasH2O pass 10.12 pass 0.17 pass 0.86 100%
Modelica.Media.Examples.MixtureGases pass 78.25 pass 1.24 pass 0.63 100%
Modelica.Media.Examples.MoistAir pass 12.37 pass 0.17 pass 0.54 100%
Modelica.Media.Examples.R134a.R134a1 pass 184.48 pass 9.53 pass 0.65 100%
Modelica.Media.Examples.R134a.R134a2 pass 181.22 pass 13.95 pass 0.64 100%
Modelica.Media.Examples.ReferenceAir.DryAir1 pass 12.47 pass 0.98 pass 0.63 100%
Modelica.Media.Examples.ReferenceAir.DryAir2 pass 11.67 pass 1.29 pass 0.72 100%
Modelica.Media.Examples.ReferenceAir.Inverse_sh_T pass 9.43 pass 1.12 pass 0.57 100%
Modelica.Media.Examples.ReferenceAir.Inverse_sh_TX pass 22.73 pass 5.09 pass 0.52 100%
Modelica.Media.Examples.ReferenceAir.MoistAir pass 21.29 pass 1.14 pass 0.56 100%
Modelica.Media.Examples.ReferenceAir.MoistAir1 pass 27.70 pass 13.45 pass 0.41 100%
Modelica.Media.Examples.ReferenceAir.MoistAir2 pass 32.75 pass 22.80 pass 0.75 100%
Modelica.Media.Examples.SimpleLiquidWater pass 6.62 pass 0.11 pass 0.56 100%
Modelica.Media.Examples.SolveOneNonlinearEquation.Inverse_sh_T pass 13.03 pass 0.11 pass 0.56 100%
Modelica.Media.Examples.SolveOneNonlinearEquation.Inverse_sh_TX pass 17.53 pass 0.26 pass 0.67 100%
Modelica.Media.Examples.SolveOneNonlinearEquation.Inverse_sine pass 8.02 pass 0.01 pass 0.02 100%
Modelica.Media.Examples.SolveOneNonlinearEquation.InverseIncompressible_sh_T pass 10.13 pass 0.16 pass 0.61 100%
Modelica.Media.Examples.TestOnly.FlueGas pass 17.53 pass 0.21 pass 0.70 100%
Modelica.Media.Examples.TestOnly.IdealGasN2 pass 10.62 pass 0.42 pass 0.65 100%
Modelica.Media.Examples.TestOnly.IdealGasN2Mix pass 12.47 pass 0.41 pass 0.64 100%
Modelica.Media.Examples.TestOnly.MixIdealGasAir pass 14.93 pass 0.26 pass 0.60 100%
Modelica.Media.Examples.Tests.MediaTestModels.Air.DryAirNasa pass 17.78 pass 0.37 pass 0.63 100%
Modelica.Media.Examples.Tests.MediaTestModels.Air.MoistAir pass 16.73 pass 2.15 pass 0.72 100%
Modelica.Media.Examples.Tests.MediaTestModels.Air.SimpleAir pass 8.07 pass 0.31 pass 0.36 100%
Modelica.Media.Examples.Tests.MediaTestModels.IdealGases.Air pass 16.73 pass 0.37 pass 0.63 100%
Modelica.Media.Examples.Tests.MediaTestModels.IdealGases.Nitrogen pass 15.68 pass 0.36 pass 0.38 100%
Modelica.Media.Examples.Tests.MediaTestModels.IdealGases.SimpleNaturalGas pass 64.72 pass 0.67 pass 0.89 100%
Modelica.Media.Examples.Tests.MediaTestModels.IdealGases.SimpleNaturalGasFixedComposition pass 40.50 pass 0.37 pass 0.67 100%
Modelica.Media.Examples.Tests.MediaTestModels.Incompressible.Essotherm650 pass 10.42 pass 0.26 pass 0.58 100%
Modelica.Media.Examples.Tests.MediaTestModels.Incompressible.Glycol47 pass 10.32 pass 0.26 pass 0.61 100%
Modelica.Media.Examples.Tests.MediaTestModels.LinearFluid.LinearColdWater pass 8.67 pass 0.26 pass 0.65 100%
Modelica.Media.Examples.Tests.MediaTestModels.LinearFluid.LinearWater_pT pass 9.03 pass 0.26 pass 0.67 100%
Modelica.Media.Examples.Tests.MediaTestModels.Water.ConstantPropertyLiquidWater pass 8.22 pass 0.16 pass 0.60 100%
Modelica.Media.Examples.Tests.MediaTestModels.Water.IdealSteam pass 13.32 pass 0.42 pass 0.65 100%
Modelica.Media.Examples.Tests.MediaTestModels.Water.WaterIF97_ph pass 14.83 pass 0.58 pass 0.61 100%
Modelica.Media.Examples.Tests.MediaTestModels.Water.WaterIF97_pT pass 12.98 pass 1.34 pass 0.44 100%
Modelica.Media.Examples.Tests.MediaTestModels.Water.WaterIF97OnePhase_ph pass 15.08 pass 0.47 pass 0.59 100%
Modelica.Media.Examples.TwoPhaseWater.TestTwoPhaseStates pass 15.18 pass 1.22 pass 0.71 100%
Modelica.Media.Examples.WaterIF97 pass 14.43 pass 0.54 pass 0.33 100%
Modelica.Media.Incompressible.Examples.TestGlycol pass 10.07 pass 0.22 pass 1.00 100%
Summary Passed compilation: 40/40 Passed simulation: 40/40 Passed verification: 40/40
Modelica.Thermal
Models Compilation Time [s] Simulation Time [s] Verification Time [s] Rate
Modelica.Thermal.FluidHeatFlow.Examples.IndirectCooling pass 8.08 pass 0.71 pass 0.98 100%
Modelica.Thermal.FluidHeatFlow.Examples.OneMass pass 7.97 pass 0.31 pass 0.76 100%
Modelica.Thermal.FluidHeatFlow.Examples.ParallelCooling pass 8.97 pass 0.76 pass 0.76 100%
Modelica.Thermal.FluidHeatFlow.Examples.ParallelPumpDropOut pass 10.07 pass 1.30 pass 1.43 100%
Modelica.Thermal.FluidHeatFlow.Examples.PumpAndValve pass 9.37 pass 1.26 pass 1.02 100%
Modelica.Thermal.FluidHeatFlow.Examples.PumpDropOut pass 7.93 pass 0.61 pass 0.85 100%
Modelica.Thermal.FluidHeatFlow.Examples.SimpleCooling pass 8.32 pass 0.31 pass 0.73 100%
Modelica.Thermal.FluidHeatFlow.Examples.TwoMass pass 9.37 pass 1.02 pass 0.79 100%
Modelica.Thermal.HeatTransfer.Examples.ControlledTemperature pass 7.17 pass 3.47 pass 1.38 100%
Modelica.Thermal.HeatTransfer.Examples.Motor pass 10.62 pass 126.77 pass 34.56 100%
Modelica.Thermal.HeatTransfer.Examples.TwoMasses pass 7.22 pass 0.16 pass 0.52 100%
Summary Passed compilation: 11/11 Passed simulation: 11/11 Passed verification: 11/11
Modelica.Math
Models Compilation Time [s] Simulation Time [s] Verification Time [s] Rate
Modelica.Math.FastFourierTransform.Examples.RealFFT1 pass 10.12 pass 0.46 pass 0.85 100%
Modelica.Math.FastFourierTransform.Examples.RealFFT2 pass 10.52 pass 0.47 pass 0.88 100%
Modelica.Math.Nonlinear.Examples.quadratureLobatto3 pass 7.07 pass 0.16 pass 0.64 100%
Modelica.Math.Random.Examples.GenerateRandomNumbers pass 8.32 pass 0.22 pass 0.46 100%
Summary Passed compilation: 4/4 Passed simulation: 4/4 Passed verification: 4/4
Modelica.Utilities
Models Compilation Time [s] Simulation Time [s] Verification Time [s] Rate
Modelica.Utilities.Examples.ReadRealMatrixFromFile pass 9.87 pass 0.22 pass 0.57 100%
Modelica.Utilities.Examples.readRealParameterModel pass 13.58 pass 0.11 pass 0.49 100%
Modelica.Utilities.Examples.WriteRealMatrixToFile pass 6.37 pass 0.11 pass 0.61 100%
Summary Passed compilation: 3/3 Passed simulation: 3/3 Passed verification: 3/3