startTime=0 stopTime=10 tolerance=1e-06 numberOfIntervals=2500 stepSize=0.004 wasm artifact (cs: FMI 3.0 Co-Simulation, the artifact integrating itself with DASKR): simulate(Buildings.Controls.OBC.CDL.Logical.Validation.Proof,startTime=0,stopTime=10,tolerance=1e-06,numberOfIntervals=2500,outputFormat="mat",variableFilter="time|pro.u_m|pro.u_s|pro.yLocFal|pro.yLocTru|pro1.u_m|pro1.u_s|pro1.yLocFal|pro1.yLocTru|pro2.u_m|pro2.u_s|pro2.yLocFal|pro2.yLocTru|pro3.u_m|pro3.u_s|pro3.yLocFal|pro3.yLocTru|pro4.u_m|pro4.u_s|pro4.yLocFal|pro4.yLocTru|pro5.u_m|pro5.u_s|pro5.yLocFal|pro5.yLocTru",fileNamePrefix="Buildings_latest_Buildings.Controls.OBC.CDL.Logical.Validation.Proof",simflags=" -alarm=240 -emit_protected -lv LOG_STATS -startTime=0 -stopTime=10 -tolerance=1e-06 -stepSize=0.004 -r=Buildings_latest_Buildings.Controls.OBC.CDL.Logical.Validation.Proof_cs_res.mat -s fmi3:cs",resimulateExecutable="Buildings_latest_Buildings_Controls_OBC_CDL_Logical_Validation_Proof.fmu") LOG_STDOUT | info | wasm artifact loaded in 0.1 ms (model kernel linked against the cached adapter, 0.2 MB) LOG_STDOUT | info | CoSimulation instantiated in 0.4 ms LOG_STDOUT | info | CoSimulation run: 2507 communication steps, 18 events, 7 early returns, 2526 samples in 115.9 ms LOG_SUCCESS | info | The simulation finished successfully.