I tried a directx benchmark before and after restarting the PC and the result were the same. So I assume it's not a directx thing. I will investigate a bit more the functions involved in animations and try to work out a small benchmark test software.
in SVN there is something that you might find useful for writing the test application:
trunk\Tools\TimerTest