1 files changed, 1 insertions, 0 deletions

diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
index db00ed7b..401273b2 100644
--- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
+++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
@@ -22,6 +22,7 @@ generate {
                 log-level = none,

                 "numeric-solver" = "dreal-local",

                 "dreal-local-path" = "/home/models/dreal4/bazel-bin/dreal/dreal",

+                "dreal-timeout" = "10000",

                 "strategy" = "crossingScenario",

                 "ignored-attributes" = "

                         Pedestrian.xPos=*,