Yes, and you dont really have to stress about soft-resetting since you can catch and shiny hunt them in the wild.
Mudkip is in the first area ( around the spawn next to the bridge ), Treeko is in the second area, and Torchic is in the final area.
