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

Patrick Lühne 996bd42ed7 Intermediate commit with evaluation tool		2017-11-30 13:44:11 +01:00
.gitignore	Add .gitignore to ignore config file	2017-11-21 00:11:01 +01:00
benchmark.py	Support separate domain files	2017-11-28 00:53:29 +01:00
config.example.yml	Raise memory limit by 1024 MB	2017-11-29 18:21:38 +01:00
evaluate.py	Intermediate commit with evaluation tool	2017-11-30 13:44:11 +01:00
README.md	Fix links to configurations and instances	2017-11-27 01:29:46 +01:00