Add configurations for generate-and-check planner

This adds multiple configuration variations for the generate-and-check
planning strategy on the instances where the first found plan is not
serializable, with the comparison to Madagascar.

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"]