They’re probably just wrapping a custom psx image in an emulator. Which makes sense if you’ve ever tried to run the official PC port from 2000. To say it’s a broken mess doesn’t quite cut it. Instead, I’ll say the speed run is half the time of the psx record.