For any of those lines, it would depend on the itinerary. Any of them would be a great choice on the right itin.
Secondly it would depend on the ship. I don't like megaships. But again on the right ship any of those lines would be a great choice.
Somehow, if we really tighten it down and say "On the same size ship, and the same itinerary which would you choose?" I would have to reply that is the Aristotlean logical fallacy "hypothesis contrary to fact" and only an illogical fool would answer.
SO ... my answer is that if that is the case, HAL would have the very tiniest edge and Carnival would sink to the end of the line.