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.