Assertion list for term "run in polynomial time".

Results from Ascent++: 1
algorithm CapableOfrun in polynomial time 0.48