How many cups cooked cabbage will a large head of cabbage yield?

And just a couple days ago, I cooked a beautiful little head of savoy cabbage, which yielded about 3 cups when cooked.

As it happens, I just cooked half a medium head, shredded, and I'd estimate the yield at 3 or 3.5 cups. So a whole large head=8 cups or so.