I dunno that I really like basing this on a comparison through Thanos. Obviously overpowering Thanos is a feat for Carol, but being overpowered by him wouldn't be something we'd really bring up as a point against Thor otherwise, board conventions being what they are. I say this because Thor's best strength feat is probably moving the Nidavellir ring, which is like, probably on the order of millions of tons? More? It's a sketchy feat for Thor, so I wouldn't really argue against it being SvsFLed, but if not, giving that feat to Thanos and by extension Carol through ABC logic, seems wildly out of line.
Not saying Thor wins, just that I feel like this ought to be based on more than Marvel beating someone who beat Thor himself. I don't think the setting is consistent enough for that logic to work.