Assertion list for term "prove incorrect, actual results".

Results from Ascent++: 1
estimate CapableOfprove incorrect, actual results 0.27