Assertion list for term "mean processing time".

Results from Ascent++: 2
protocol CapableOfmean processing time 0.43
proof CapableOfmean processing time 0.37