This archive contains the code, benchmarks, and experimental data for the AAAI 2025 paper titled "Counting and Reasoning with Plans". Code The files planalyst.zip, symk.zip, kstar.zip contain the code of the different solvers (references are given in the included Readme file). The different solvers can all be built with Apptainer using the included Apptainer files, and more information on running the solvers is available in the Readme files. Latest version of Planalyst on GitHub: https://github.com/speckdavid/planalyst Benchmarks The file benchmarks.zip contains the PDDL benchmarks from the International Planning Competitions that we used for our experiments. Experiment Data The remaining files (scripts.zip, data.zip, reports.zip) contain the experiment scripts, raw and parsed data, and reports for the experiments described in the paper.