Planning benchmarks for the extended TPLP journal version of the plasp paper

Patrick Lühne 4239e36a3d Require error output to exist ... With this commit, the error output is required to exist in order for an instance to be considered done. This is just a defensive measure to ensure that no useful information can be missed.		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	Require error output to exist	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