Domains are dropped once they exceed their grace period. A domain name gets officially deleted after about 5 days.