Assertion list for term "solve same problem".

Results from Ascent++: 1
algorithm CapableOfsolve same problem 0.34