To replace Williams on the roster, the Dolphins signed rookie Tavares Jurineack from the University of South Florida.
Jurineack, who played for the Charleston Swamp Foxes of the Arena2 Football League in the spring, was one of three defensive linemen who worked out for the Dolphins on Wednesday.
The others were Riley Kleinhesselink from Northwestern Iowa and D.J. Bleisath from Tennessee Tech.
In other Dolphins news:
-- Wide receiver Oronde Gadsden indicated that his injury was a dislocated ankle and not just a sprain, as disclosed by the Dolphins.
Gadsden did confirm the Dolphins' timetable of about three to six weeks for his return.
-- Owner Wayne Huizenga, who attended practice on Wednesday afternoon, said he would be disappointed if the Dolphins accomplished anything short of a Super Bowl appearance.