Additional data of the PhD thesis "Merge-and-Shrink Abstractions for Classical Planning: Theory, Strategies, and Implementation" - Sievers, Silvan (2018)