Assertion list for term "run in constant time".

Results from Ascent++: 1
algorithm CapableOfrun in constant time 0.32