Time-undocked
From FreeSpace Wiki
Time undocked (Time operator) Returns the time the specified ships undocked. Returns a numeric value; Takes 3 arguments: 1: The name of the docker ship. 2: The name of the dockee ship. 3: The number of times they must have undocked to be true.