Code The file hu-speck-socs2022-code.zip contains an extended version of the Fast Downward planning system (http://fast-downward.org), which can be used to perform A*, Backward A* and BAE*, and Symk (https://github.com/speckdavid/symk), which can be used to perform symbolic blind search. Please see http://www.fast-downward.org and https://github.com/speckdavid/symk for detailed instructions on how to compile the planners. The detailed calls for all configurations can be found in the file hu-speck-socs2022-reports.zip. Benchmarks The file hu-speck-socs2022-benchmarks.zip contains the STRIPS PDDL benchmarks from sequential optimization tracks of IPC 1998-2018. Experiment data The remaining zipfiles contain the raw experiment data, parsed values, scripts and basic reports for the experiments in the paper.

This research was partially supported by TAILOR, a project funded by the EU Horizon 2020 research and innovation programme under grant agreement no. 952215. David Speck was supported by the German Research Foundation (DFG) as part of the EPSDAC project (MA 7790/1-1).