Assertion list for term "obtained with different random numbers".
Results from Ascent++: 1
run → ReceivesAction → obtained with different random numbers 0.31