You may want to check with your registrar about specific domain names, but in general, the following is an overview of a NON-Renewed domain name:
Auto-Renew Grace Period -- the registrar has 45 days to delete the name before it becomes a permanent renewal.
If the Registrar deletes the name, it goes into RGP (Redemption Grace Period) that period lasts for 30 days and whois will reflect "Pending Delete Restorable."
After RGP -- it goes into Redemption Hold Period, whois will show "Pending Delete Scheduled for Release". RHP is 5 days; then it is released and you are eligible to acquire it via your registrar.