Experimental Setup for the ECAI 2025 Paper: "Calculating Optimal Corrections for Unsolvable Planning Problems"

This Upload contains a Docker container which provides the experimental setup for the evaluation in the 2025 ECAI paper "Calculating Optimal Corrections for Unsolvable Planning Problems". The archive is self-contained, as data set and a source code snapshot are included. Additionally, the original results of our runs can be found in `files/db/experiments.org.db`.Please refer to the Section Build & Run on how to build the Docker container, and run the experiments.

Build & Run

1. Extract Archive

$ tar xvzf mincorr.tar.gz

2. Build Docker Container

$ cd mincorr

$ docker build -t mincorr --build-arg WORKER_COUNT=3 .

`WORKER_COUNT` specifies the amount of CPU cores that can be used in parallel by the experiment runner. Since memory is usually an issue, do not set this too high.

3. Run

Note that running all experiments may take several hours or even days, depending on the

hardware setup.

$ docker run --rm -it -v "$PWD/files/db:/opt/files/db" mincorr

4. Inspect Results

$ sqlite3 files/db/experiments.db

Raw data can be queried with the following SQL query.
select * from stats;

5. Calculate Accumulated Stats (Figures and Table)

Make shure the file `files/db/experiments.db` exists, if not see Section Run

for how to run the experiments.

$ docker run --rm -it -v "$PWD/files/db:/opt/files/db" mincorr /opt/mincorr/bin/eval_experiments