Rolled

‘Rolled’ has been widely used to mean ‘beaten badly’; widely analogous to ‘steamrolled’.

Dude, he got absolutely rolled in the semi-finals!