Assertion list for term "produce correct results".

Results from Ascent++: 1
algorithm CapableOfproduce correct results 0.48