If the devs aren't hitting their targets, that's a problem. If they are hitting their targets, but you think they are capable of more then make the schedule more aggressive.

However, I should point out that thinking for a living is a little different than many other modes of employment - just because they aren't typing doesn't mean they aren't working.