Load:
src/test/resources/verificationModels/use-cases/ics_educational/lib/BFE-osr/BFE/package.mo
src/test/resources/verificationModels/use-cases/ics_educational/lib/SRI_v4_EI/cooling_system/package.mo
CheckModel: cooling_system.Behavior.SRIN4_v4.SRI
Check of cooling_system.Behavior.SRIN4_v4.SRI completed successfully.
Class cooling_system.Behavior.SRIN4_v4.SRI has 2286 equation(s) and 2297 variable(s).
1061 of these are trivial equation(s).
System should be balanced and it should work to simulate.
Load:
CheckModel:
cooling_system.Behavior.SRIN4_v4.SRISystem should be balanced and it should work to simulate.