Dolphins release defensive end Mario Williams

The Dolphins are moving on from some notable names. Defensive end Mario Williams is among a trio of players heading for free agency after Miami cut them loose Thursday.