These results were affected by a bug in the planner (out-of-range index
access). This was fixed in the meantime, and these measurements will be
repeated now.
This removes all results obtained with our planner where memouts were
encountered. These were mainly due to the fact that we didn’t configure
the planner to respect the memory limit in the first place. With this
configuration now in place, we can redo all the affected measurements in
order to get actual, useful results.