T

This enforces all Git commands that are absolutely relevant for keeping
the benchmark running to succeed. If they don’t, an error is immediately
thrown. This doesn’t include fetching and pushing, because syncing the
data is still possible after downtimes, for example.

2017-11-21 00:11:01 +01:00

.gitignore

Add .gitignore to ignore config file

2017-11-21 00:11:01 +01:00

benchmark.py

Enforce certain Git commands to succeed

2017-11-21 00:11:01 +01:00

config.example.yml

Rename config file

2017-11-21 00:11:01 +01:00

README.md

Add benchmark runner script with example config

2017-11-19 22:55:48 +01:00

README.md

Planning Benchmarks for plasp TPLP Article

Results of the planning benchmarks for the TPLP article about plasp.

Structure

master branch: contains the benchmark runner script
config branch: contains the tested configurations and instance sets
status branch: contains the benchmark status log (updated after each instance)
results branch: contains the raw result files