Number is generation Name is the size (Luna smallest to Astra largest)

Then what is Astra high-extra high-Ultra? That’s effort within each tier?

Yes that is number of reasoning tokens used.

Performance increases both with larger model (Luna vs Sol)

And with more reasoning (low vs xhigh)

Exactly