Also check any groups got deny access on these SP's that user got then user wont be able to execute these inspite of having execute access.