Add configuration

This adds our most successful generate-and-check configuration, but
without preprocessing by Fast Downward.
This commit is contained in:
Patrick Lühne 2017-12-14 16:56:32 +01:00
parent 63530d2254
commit 6c63dfa53b
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF

View File

@ -175,3 +175,7 @@ configurations:
- id: "gc-ta7-tt1"
options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd7, *testTimes1]
instanceSets: ["lpnmr-first-plan-not-serializable"]
- id: "no-fd-gc-ta1-tt1"
options: [*basics, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes1]
instanceSets: ["lpnmr-easy-instances", "lpnmr-hard-instances"]