003SetAdd-report.md

Results of 003SetAdd-apalache

1. Time (logarithmic scale)

2. Time (linear)

3. Memory (logarithmic scale)

4. Memory (linear)