Enable plasp planning configuration

This commit is contained in:
Patrick Lühne 2018-02-01 18:28:09 +01:00
parent 4aad91659b
commit 29be306a7d
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF

View File

@ -68,6 +68,6 @@ configurations:
- id: "m-mp"
options: [*basics, *madagascarMp]
instanceSets: ["rintanen-aij-2012-interesting"]
#- id: "gc-ta1-tt1"
# options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes1]
# instanceSets: ["lpnmr-easy-instances", "lpnmr-hard-instances", "lpnmr-first-plan-not-serializable", "rintanen-aij-2012"]
- id: "gc-ta1-tt1"
options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes1]
instanceSets: ["lpnmr-easy-instances", "lpnmr-hard-instances", "lpnmr-first-plan-not-serializable", "rintanen-aij-2012"]