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

Patrick Lühne 2a214ff0ba tmp		2018-06-22 14:27:25 +02:00
benchmark-new	tmp	2018-06-22 14:27:25 +02: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