|
|
007f2b5978
|
Add configurations with --shallow
This adds new configurations with --shallow requested by Martin and
Javier as well as the missing configurations with the sequential
encoding.
|
2017-11-24 14:42:27 +01:00 |
|
|
|
7c23d23fec
|
Rename YAML files
It’s more common to give YAML files the ending .yml and not .yaml.
|
2017-11-24 14:42:27 +01:00 |
|
|
|
133616f531
|
Make options of planner B explicit
|
2017-11-24 14:42:27 +01:00 |
|
|
|
a84a240b65
|
Add LPNMR benchmark configurations
|
2017-11-24 14:42:27 +01:00 |
|
|
|
3366b074c1
|
Add LPNMR paper instance sets
|
2017-11-24 14:42:27 +01:00 |
|
