From e2cb68c8fb17cdd5b6593881db6ac9d09bb25b2c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sun, 19 Nov 2017 22:36:07 +0100 Subject: [PATCH] Initial commit --- README.md | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 000000000..20531847f --- /dev/null +++ b/README.md @@ -0,0 +1,9 @@ +# Planning Benchmarks for plasp TPLP Article + +> Results of the planning benchmarks for the TPLP article about [`plasp`](https://github.com/potassco/plasp). + +## Structure + +- [config branch](https://git.luehne.de/patrick/tplp-planning-benchmark/src/config): contains the tested [configurations](https://git.luehne.de/patrick/tplp-planning-benchmark/src/config/configurations.yaml) and [instance sets](https://git.luehne.de/patrick/tplp-planning-benchmark/src/config/instances.yaml) +- [status branch](https://git.luehne.de/patrick/tplp-planning-benchmark/src/status): contains the [benchmark status log](https://git.luehne.de/patrick/tplp-planning-benchmark/src/status/status.log) (updated after each instance) +- [results branch](https://git.luehne.de/patrick/tplp-planning-benchmark/src/results): contains the raw result files