| =========================================================================== | |
| report_worst_slack -max (Setup) | |
| ============================================================================ | |
| worst slack -4.14 | |
| =========================================================================== | |
| report_worst_slack -min (Hold) | |
| ============================================================================ | |
| worst slack -0.09 |