We could fix the problem by 1) switching the BIOS setting Video/Primary Display from “Auto” to “Intel HD graphics” (even though there was only one video controller, so it is unclear what “Auto” did differently) and 2) updating the driver of the Intel HD graphics 2500 chip to version 10.18.10.4425 on Windows 10.0.17763. Now the frame rate measurement takes 1-5 seconds, not forever.