A Appendix B General experimental setup All experimental results presented in Section 5 were evaluated on an HTCondor cluster (see [