When I was using flipsolver, I found that in the Advanced tab, when I turned on the Checkpoints function, the path filled in the Checkpoint File did not support serial number saving. I filled in $SF, but the saved file ignored this serial number naming.
Only by entering the dop module and modifying the save path of the sim file can it be used normally. I wonder if you have encountered this problem.