Good point, and CR is "challenge against 4 PC's", so in outsider vs. outsider, they might have different effective CR's. Solars do a lot of radiant damage, which deprives archdevils of their healing, so even though a Solar is "only" a 21, it might give a hard fight to a Lord of the 9, even...