Dolphins cut four players, including former No. 1 overall pick Mario Williams

Williams was signed in free agency last offseason but did not live up to expectations