commit e2cb68c8fb17cdd5b6593881db6ac9d09bb25b2c Author: Patrick Lühne Date: Sun Nov 19 22:36:07 2017 +0100 Initial commit 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