I don't tend to rate predatory reptiles on the same level as carnivora.
Just looking at it from a predator-to-prey weight ratio angle rather than a stylistic fighting angle, the most robust and formidable reptiles categorically lag well behind the most robust and formidable carnivorans.
Like even in water taking land prey, large Nile crocodiles achieve a typical max prey weight of 1x their own bodyweight, with an absolute atypical max of 2x.
Compared to say lone lioness, which is typically capable of 2x, and as an atypically absolute max capable of like 4x.
Predator-to-prey weight ratios can be used in the assessment of a predator's formidability, and this is a large ratio difference, it's like comparing a humerus ML of 9 to humerus ML of 6, it's just too big a gap to seriously entertain.
And as predators that regularly take proportionally "large prey" tend to be proportionally robust, and vice versa for "small prey" predators, I think this indicates that reptiles in general are considerably more gracile animals with finer bones and slighter musculature.
Where I think matches might get interesting is: robust (for a reptile) reptile vs gracile carnivoran.
Regarding the lioness dying from a bite after the match, I don't factor that into the match, my criteria is who kills who first.
Same could happen with a venomous snake tagging its opponent. The snake tags opponent then kills snake. Then opponent dies of envenomation 8 hours later.
That's a win for the snake's opponent, as the snake died first.
