This is so chaotic XD So at least 300 years passed already. And that's only since the martians started becoming active, not counting the time when the terraforming happens. But the great prophet (Martian Rover) still exist and the recording is still visible. Hero's reincarnation, who felt the Demon King's presence in Mars, also had likely died from old age too.