yeah something is wrong. I ran the test on my lenovo x200s with an intel core 2 duo and intel GMA 4500 graphics and got 3700 "objects" and with a "tickcount" of 1400. I'm assuming objects are sprites--the test itself doesn't use the term.
If his HD4000 is getting 1250 objects, I shouldn't get 3700.