Actual rendering resolution can always be seen on the top of the VFB, that's why maru asked to show it. Also, in recent Corona versions you can separately set resolution for IR. I can't show where exactly this setting is located in render setup, since i'm 3ds Max user, but you should be able to find it somewhere next to performance settings.