1 files changed, 1 insertions, 1 deletions

diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
index bee56db6..1d47952d 100644
--- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
+++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
@@ -23,7 +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",

+                "ignored-attributes" = "CollisionExists.collisionTime=*",

                 "scopePropagator" = "polyhedral"}

         

         runs = 1