diff options
Diffstat (limited to 'Domains/crossingScenario/inputs')
-rw-r--r-- | Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig index 4f8267b7..b216ed3f 100644 --- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig +++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | |||
@@ -7,16 +7,17 @@ generate { | |||
7 | partial-model = { "inputs/CrossingScenarioInit.xmi"} | 7 | partial-model = { "inputs/CrossingScenarioInit.xmi"} |
8 | solver = ViatraSolver | 8 | solver = ViatraSolver |
9 | scope = { | 9 | scope = { |
10 | #node = 20..30, | 10 | #node = 15..100, |
11 | #int = {}, | 11 | #int = {}, |
12 | #<Lane> = 1..10, | 12 | #<Lane> = 20..25//, |
13 | #<Actor> = 1..10, | 13 | //#<Actor> = 1..10, |
14 | #<Relation> = 1..10} | 14 | //#<Relation> = 1..10 |
15 | } | ||
15 | 16 | ||
16 | config = { | 17 | config = { |
17 | runtime = 10000, | 18 | runtime = 10000, |
18 | log-level = normal, | 19 | log-level = normal, |
19 | "numeric-solver" = "dreal", | 20 | "numeric-solver" = "z3", |
20 | "scopePropagator" = "typeHierarchy"} | 21 | "scopePropagator" = "typeHierarchy"} |
21 | 22 | ||
22 | runs = 1 | 23 | runs = 1 |