Published August 18, 2025
| Version v1
Software
Open
Code, Benchmarks and Data for the ECAI 2025 Paper "On Performance Guarantees for Symbolic Search in Classical Planning"
Description
This archive contains the code, benchmarks, and experimental data for the ECAI 2025 paper "On Performance Guarantees for Symbolic Search in Classical Planning".
Code
The files symk.zip and scorpion.zip contain the code of the different solvers. More information on building and running the solvers is available in the Readme files.
Latest version of SymK on GitHub: https://github.com/speckdavid/symk
Benchmarks
The file benchmarks.zip contains the benchmarks with conditional effects that we used for the empirical comparison.
Experiment Data
The remaining files (experiment-*.zip) contain the experiment scripts, raw and parsed data, and reports for the experiments described in the paper.
Files
benchmarks.zip
Files
(1.2 GB)
| Name | Size | |
|---|---|---|
|
md5:0fb9766deda2d71341e241c990af8c14
|
28.5 MB | Preview Download |
|
md5:723984921b5a4c513e2efa9d851aa7cf
|
1.1 GB | Preview Download |
|
md5:a534fe05fa1240a4952155ac42d640fa
|
6.5 MB | Preview Download |
|
md5:09d414a98f556b48eb7102e5f0ebf90d
|
1.2 MB | Preview Download |
|
md5:ef3e1b11301f9a8bd3cdec7fe3fe90f9
|
6.1 MB | Preview Download |