If it was a world class pro fighter, the numbers would not have even been close. Boxing has the best hand techniques of any combat art.
In my own experience of tae kwon do, thai boxing, and boxing - of fighters a similar size, boxers punch MUCH harder.
It's not really that surprising seeing as boxing is only punching.
That boxer didn't even look to have much snap in his punches.
Put someone like Wladimir Klitschko up for the test, then you'd see a power punch.
I reckon 130 lb Manny Pacquiao could punch harder than those Martial Artists we saw