Which S10 variant? I might be able to test on an S10e with Exynos chip, and see if I can reproduce the issue.

It does sound like a throttling/downclocking issue. You can try to add Magic Dosbox to the games list in Samsung Game Launcher, and set it to performance mode.