Assertion list for term "run off at same time".

Results from Ascent++: 1
batch CapableOfrun off at same time 0.25