| =========================================================================== | |
| report_worst_slack -max (Setup) | |
| ============================================================================ | |
| worst slack -11.55 | |
| =========================================================================== | |
| report_worst_slack -min (Hold) | |
| ============================================================================ | |
| worst slack -0.29 |