Note:
*Workstation dock is capable of supporting up to 4k2k(3840x2160)@60Hz via either 1 of 2 DP ports, or supporting dual 4k2k@30Hz via 2 DP ports. The actual video output on the dock is based on system video performance, as the video signal is passing through from the system to the Workstation dock.
Some of the video ports have exclusive use and are also dependent on the docked ThinkPad configuration.