1 files changed, 6 insertions, 7 deletions

diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
index 8ac31bb2..4f8267b7 100644
--- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
+++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
@@ -7,20 +7,19 @@ generate {
         partial-model = { "inputs/CrossingScenarioInit.xmi"}

         solver = ViatraSolver

         scope = {

-                #node = 10..30,

+                #node = 20..30,

                 #int = {},

-                #<Lane> = 1

-        }

+                #<Lane> = 1..10,

+                #<Actor> = 1..10,

+                #<Relation> = 1..10}

         

         config = {

                 runtime = 10000,

                 log-level = normal,

                 "numeric-solver" = "dreal",

-                "scopePropagator" = "typeHierarchy"

-        }

-        

-        runs = 1

+                "scopePropagator" = "typeHierarchy"}

         

+        runs = 1        

         debug =                 "outputs/debug"

         log =                   "outputs/debug/log.txt"

         output =                "outputs/models"