A report telling whether the synchronization and associated delay constraints (in case of a decomposition) can be satisfied or not by the current solution.
This work product is a report telling whether the synchronization and associated delay constraints (in case of a
decomposition) can be satisfied or not by the current solution.