This makes the scheduling its own separate problem the solution of which can be tackled separately from the specificities of the three binaries.