Experimental Repository for "FOLASP: FO(.) as Input Language for Answer Set Solvers"

Experimental repository for the paper "FOLASP: FO(.) as Input Language for Answer Set Solvers".

It consists of three parts:

- folasp_experiments.tar.gz: a docker image containing the necessary software configuration (an Ubuntu OS with Clingo, IDP and FOLASP loaded).
- dockervolume.tar.gz: a directory containing the instances and configuration files for the experiment, meant to be writable by the loaded docker image.
- results.zip: a directory contaning detailed experimental results in comma-separate value format.

To run the experiments, have a system available with docker installed.

1) extract dockervolume.tar.gz to some directory DIR, e.g., using the command
$ tar -xf dockervolume.tar.gz
2) load the docker image, e.g.,
$ docker load -i folasp_experiments.tar.gz
3) run the experiments in a docker container with the dockervolume mounted, e.g.,
$ docker run -it --mount type=bind,source=/dockervolume,target=/home/test/volume folasp_experiments

To adjust the experimental parameters (e.g., time and memory limits or number of threads used), adjust the file /dockervolume/experiments/config.benchie .