My initial response was going to be "whichever one is giving out the highest bitrate"...
I suppose the reason I went with AVC was simply because from my experience and the BDs I have, the ones that look the best have been the AVC ones -- consistently higher rates than the others.