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).<br> - dockervolume.tar.gz: a directory containing the instances and configuration files for the experiment, meant to be writable by the loaded docker image.<br> - 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<br> $ tar -xf dockervolume.tar.gz<br> 2) load the docker image, e.g.,<br> $ docker load -i folasp_experiments.tar.gz<br> 3) run the experiments in a docker container with the dockervolume mounted, e.g.,<br> $ docker run -it --mount type=bind,source=&lt;DIR&gt;/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 &lt;DIR&gt;/dockervolume/experiments/config.benchie .