Analysis of an exact algorithm for the vessel speed optimization problem | Synapse