diff --git a/configurations.yml b/configurations.yml index 31bfa6e0f..5cd16a871 100644 --- a/configurations.yml +++ b/configurations.yml @@ -44,17 +44,34 @@ options: - "--madagascar-Mp" madagascarMpC: &madagascarMpC - "--madagascar-MpC" + generateAndCheck: &generateAndCheck + - "--test-until-not-sat" + - "--test=0" + testAdd1: &testAdd1 + - "--test-add=1" + testAdd3: &testAdd3 + - "--test-add=3" + testAdd4: &testAdd4 + - "--test-add=4" + testAdd5: &testAdd5 + - "--test-add=5" + testAdd7: &testAdd7 + - "--test-add=7" + testTimes0: &testTimes0 + - "--test-times=0" + testTimes1: &testTimes1 + - "--test-times=1" configurations: - id: "m-m" options: [*basics, *madagascarM] - instanceSets: ["lpnmr-easy-instances", "lpnmr-hard-instances"] + instanceSets: ["lpnmr-easy-instances", "lpnmr-hard-instances", "lpnmr-first-plan-not-serializable"] - id: "m-mp" options: [*basics, *madagascarMp] - instanceSets: ["lpnmr-easy-instances", "lpnmr-hard-instances"] + instanceSets: ["lpnmr-easy-instances", "lpnmr-hard-instances", "lpnmr-first-plan-not-serializable"] - id: "m-mpc" options: [*basics, *madagascarMpC] - instanceSets: ["lpnmr-easy-instances", "lpnmr-hard-instances"] + instanceSets: ["lpnmr-easy-instances", "lpnmr-hard-instances", "lpnmr-first-plan-not-serializable"] - id: "fd-ps-e1-sh" options: [*basics, *fastDownwardPreprocessing, *plannerSequential, *encoding1, *shallow] @@ -123,3 +140,34 @@ configurations: - id: "pc-e1-sh" options: [*basics, *plannerC, *encoding1, *shallow] instanceSets: ["lpnmr-easy-instances"] + +- id: "gc-ta1-tt0" + options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes0] + instanceSets: ["lpnmr-first-plan-not-serializable"] +- id: "gc-ta1-tt1" + options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes1] + instanceSets: ["lpnmr-first-plan-not-serializable"] +- id: "gc-ta3-tt0" + options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd3, *testTimes0] + instanceSets: ["lpnmr-first-plan-not-serializable"] +- id: "gc-ta3-tt1" + options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd3, *testTimes1] + instanceSets: ["lpnmr-first-plan-not-serializable"] +- id: "gc-ta4-tt0" + options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd4, *testTimes0] + instanceSets: ["lpnmr-first-plan-not-serializable"] +- id: "gc-ta4-tt1" + options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd4, *testTimes1] + instanceSets: ["lpnmr-first-plan-not-serializable"] +- id: "gc-ta5-tt0" + options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd5, *testTimes0] + instanceSets: ["lpnmr-first-plan-not-serializable"] +- id: "gc-ta5-tt1" + options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd5, *testTimes1] + instanceSets: ["lpnmr-first-plan-not-serializable"] +- id: "gc-ta7-tt0" + options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd7, *testTimes0] + instanceSets: ["lpnmr-first-plan-not-serializable"] +- id: "gc-ta7-tt1" + options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd7, *testTimes1] + instanceSets: ["lpnmr-first-plan-not-serializable"]