Aaron,
your benchmark is probably multithreaded, i.e. it is able to use all CPU cores. Unfortunatelly most of ProE operations are SINGLE threaded.
Also it looks like your assembly is the special one ... I think nobody is able to explain why you have problems with it. Only you can investigate your own data 
.
Martin Hanak