Assertion list for term "offer n*log(nperformance".

Results from Ascent++: 1
algorithm CapableOfoffer n*log(nperformance 0.34