Playing on PS4 pro. I just completed Machine City in 5:28 on Experienced difficulty and I didn't get the trophy.
I was playing it in the "Single World" mode, not Arcade.
When transitioning from level to level in the world, the play clock stops, so I'm wondering if that's where the difference came from (i.e. the trophy time continues to count during level change).