Checklist: Experimental Evaluation

• Append two lists containing positive elements -> are all elements still positive after appending the lists?
• Do two lists contain the same elements?
• Add 1 to every element of a list -> how does the output-intervals differ from the input-intervals?

Also:

• Examples: Loop