Does the devfee counter take into account that the benchmarks are being mined on your account rather than ours also? If not, that adds up to significantly more than the advertised fee amount, especially when you actually set the timer for long enough to get actual decent readings from the various miners.