1 files changed, 1 insertions, 0 deletions

diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
index 1db557a9..bee56db6 100644
--- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
+++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
@@ -23,6 +23,7 @@ generate {
                 log-level = none,

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

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

+                "ignored-attributes" = "CrossingScenario.maxTime=60",

                 "scopePropagator" = "polyhedral"}

         

         runs = 1