From 86518413bed5988092b30d1139bb72ef302ae09c Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Sun, 17 Jan 2021 01:16:26 -0500
Subject: complete queries for lane structure

---
 Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

(limited to 'Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig')

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 {
 	partial-model = { "inputs/CrossingScenarioInit.xmi"}
 	solver = ViatraSolver
 	scope = {
-		#node = 20..30,
+		#node = 15..100,
 		#int = {},
-		#<Lane> = 1..10,
-		#<Actor> = 1..10,
-		#<Relation> = 1..10}
+		#<Lane> = 20..25//,
+		//#<Actor> = 1..10,
+		//#<Relation> = 1..10
+		}
 	
 	config = {
 		runtime = 10000,
 		log-level = normal,
-		"numeric-solver" = "dreal",
+		"numeric-solver" = "z3",
 		"scopePropagator" = "typeHierarchy"}
 	
 	runs = 1	
-- 
cgit v1.2.3-54-g00ecf