Acceptable Execution Time
Kind: invariant
Record: reasoning:invariant-acceptable-execution-time
Canonical: Reasoning
Execution time is acceptable
Listed in Reasoning records, after Valid Interfaces and Contracts and before Acceptable Resource Consumption.