Time-docked
From FreeSpace Wiki
Time docked (Time operator)
Returns the time the specified ships docked.
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 docked to be true.