There isn't an auto splitter (that I know of) for the game, so it relies on the runner to split perfectly. I think any timer that is overlaid with OBS (like LiveSplit) or added after the run (like with Premiere) is fine, as long as it looks fairly accurate (or you can always just retime it from the video).

BUT if we can get an auto splitter working, then it should be required. However, that brings some other issues. If we want to have an auto splitter, then we need one specific version of the game that everyone uses, because all the pointers and offsets that the auto splitter would use could differ from one version to another.