Assertion list for term "run in time".

Results from Ascent++: 1
algorithm CapableOfrun in time 0.44