I think letting Tart leave without signing him is because they are targeting a few DT's in the draft for either the 1st or 2nd Round, and if they get one of them, then they don't add another DT. If the first two rounds go by and they don't get a DT, I think they then hit FA one more time and try to get Tart (hopefully Cox, instead).