Our workflows differ in that I generally know that I'll go into CS6...armed with that knowledge I'll do this>
sharpen, profiles, clarity, WB, shadows, highlights, and rarely, the adjustment brush.
In CS6>I'm a believer in using faux HDR, doing so in a subtle manner and, oftentimes taking a selection and moving it into a non-HDR background from the same image.
Additionally, I will not hesitate to process the background and the selection differently.
PS your images, I would probably have only used shadows and highlights.
There is no right or wrong, only different.