The source of the HW brickbench benchmark test can be found after RobotC v.4.10 installation in the directory:
C:\Program Files\Robomatter Inc\ROBOTC Development Environment 4.X\Sample Programs\EV3\Miscellaneous
file ‘benchmark EV3.c’
I have upload it on the google drive:
Unfortunately in the v.4.25RC this sample is missing.