I tried the example script simpoints-se-restore.py. I found a strange outcome. Given SimPoint information with 1000000 simpoint_interval. board.set_se_simpoint_workload(     binary=obtain_resource("x86-print-this"),     arguments=["print this", 15000],     simpoint=SimpointResource(         simpoint_interval=1000000,         simpoint_list=[2, 3, 4, 15],         weight_list=[0.1, 0.2, 0.4, 0.3],         warmup_interval=1000000,     ),     checkpoint=obtain_resource("simpoints-se-checkpoints-v23-0-v1"), ) Additionally, the warmup and starting from simpoint begin  procedure is shown below. It said that the stats would be reset. src/sim/simulate.cc:194: info: Entering event queue @ 764242326.  Starting simulation...src/sim/simulate.cc:194: info: Entering event queue @ 1390004448.  Starting simulation... warn: No behavior was set by the user for simpoint begin. Default behavior is resetting the stats and continuing. src/sim/simulate.cc:194: info: Entering event queue @ 1390004448.  Starting simulation... src/sim/simulate.cc:194: info: Entering event queue @ 2007685281.  Starting simulation... However, according to the lines after the second Begin Simulation Statistics in stats.txt: simSeconds                                   0.000000 simTicks                                         2085 simInsts                                      2000004 Do you think that three items have something wrong?