This repository contains the data I collected for my bachelor thesis as well as the tools to replicate that data.

To replicate the results you have to make sure you installed clingo 5.4 on a cluster of your choice (I ran the benchmarks on a cluster (Turing) where each node runs Debian 9 and has 64 GB of memory and two Intel Xeon E5-2650v4 processors with 2.20GHz).

The folder benchmark-tool contains the test instances as well as the necessary configuration files. The test instances are located in the folder benchmark-tool/benchmarks/. Configuration files can be found in benchmark-tool/runscripts/.

There are in total four benchmarks (see the configuration files in benchmark-tool/runscripts/) that have to be started one after another. Upload the folder benchmark-tool to the cluster and execute on of the following command per instance:

./bgen runscripts/runscript-asprilo-r2-golog.xml    ---OR---
./bgen runscripts/runscript-asprilo-r2-nogolog.xml  ---OR---
./bgen runscripts/runscript-asprilo-r5-golog.xml    ---OR---
./bgen runscripts/runscript-asprilo-r5-nogolog.xml

This creates a folder output-asprilo-r{2,5}-{golog,nogolog} that contains a shell script which will start the benchmark (walltime is 12hrs). To start a benchmark enter:

./output-asprilo-r2-golog/asprilo-bmarks/zuse/start.sh    ---OR---
./output-asprilo-r2-nogolog/asprilo-bmarks/zuse/start.sh  ---OR---
./output-asprilo-r5-golog/asprilo-bmarks/zuse/start.sh    ---OR---
./output-asprilo-r5-nogolog/asprilo-bmarks/zuse/start.sh

Each instance runs 100 times on a single core with the following clingo options:

1 --outf=2 --time-limit=300

For more information about the used benchmark tool check out the corresponding repository.

Download the following folder from the cluster:

benchmark-tool/output-asprilo-r{2,5}-{golog,nogolog}/asprilo-bmarks/zuse/results/ALL/asprilo-pmork-Base/

It contains the results of each test instance. The Python script create-csv.py (requires Python v3.x) extracts these informations and generates a csv file:

python3 create-csv.py ./asprilo-pmork-Base/ [OUTPUT_FILE_NAME] 100