Clean/250
GD,
Personally I prefer the second choice (min clean to 250 knot descent) if that gives the reqired separation.
The Required Time of Arrival (RTA) function of some FMS used to meet the feeder fix times is a little suspect on descent. Basically the dynamic conditions experienced changes the profile too often and by large speeds/thusts. If we could get ATC on our flight decks again I would gladly demonstrate.
From a fuel efficiency point of view I cannot emphasise enough the importance of getting the descent speed prior to TOD.