From dc0249ec0e322387ec98350c3c633dffade21f63 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Fri, 12 Feb 2021 19:04:16 +0100
Subject: add cs scalability case study artifacts

---
 .../crossingScenario/inputs/csGenScale.vsconfig    | 33 ++++++++++++++++++++++
 Domains/crossingScenario/inputs/csInitScale.xmi    | 31 ++++++++++++++++++++
 2 files changed, 64 insertions(+)
 create mode 100644 Domains/crossingScenario/inputs/csGenScale.vsconfig
 create mode 100644 Domains/crossingScenario/inputs/csInitScale.xmi

(limited to 'Domains/crossingScenario/inputs')

diff --git a/Domains/crossingScenario/inputs/csGenScale.vsconfig b/Domains/crossingScenario/inputs/csGenScale.vsconfig
new file mode 100644
index 00000000..d770986b
--- /dev/null
+++ b/Domains/crossingScenario/inputs/csGenScale.vsconfig
@@ -0,0 +1,33 @@
+import epackage	"model/crossingScenario.ecore"
+import viatra	"queries/csQueriesScale.vql"
+
+generate {
+	metamodel = { package crossingScenario }
+	constraints = { package queries}
+	partial-model = { "inputs/csInitScale.xmi"}
+	solver = ViatraSolver
+	scope = {
+		#node += 15..*
+		,#<Lane> += 0
+		,#<Relation> += 0
+		//,#<CollisionExists> = 1
+		//,#<SeparationDistance> = 0
+		//,#<VisionBlocked> += 0	
+		//,#<CollisionDoesNotExist> += 0	
+	}
+	
+	config = {
+		runtime = 10000,
+		log-level = none,
+		"numeric-solver" = "z3",
+		"dreal-local-path" = "/home/models/dreal4/bazel-bin/dreal/dreal",
+		//"strategy" = "crossingScenario",
+		"scopePropagator" = "polyhedral"}
+	
+	runs = 1
+	number = 3
+	debug =			"outputs/debug"
+	log =			"outputs/debug/log.txt"
+	output =		"outputs/models"	
+	statistics =	"outputs/statistics.csv"
+}
diff --git a/Domains/crossingScenario/inputs/csInitScale.xmi b/Domains/crossingScenario/inputs/csInitScale.xmi
new file mode 100644
index 00000000..5eee1734
--- /dev/null
+++ b/Domains/crossingScenario/inputs/csInitScale.xmi
@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<crossingScenario:CrossingScenario
+    xmi:version="2.0"
+    xmlns:xmi="http://www.omg.org/XMI"
+    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xmlns:crossingScenario="http://www.example.com/crossingScenario"
+    xsi:schemaLocation="http://www.example.com/crossingScenario ../model/crossingScenario.ecore"
+    xSize="30.0"
+    ySize="30.0"
+    maxTime="60.0"
+    maxXSpeed="10.0"
+    maxYSpeed="10.0">
+  <lanes xsi:type="crossingScenario:Lane_Horizontal"/>
+  <lanes xsi:type="crossingScenario:Lane_Horizontal"
+      referenceCoord="3.0"/>
+  <lanes xsi:type="crossingScenario:Lane_Horizontal"
+      referenceCoord="6.0"/>
+  <lanes xsi:type="crossingScenario:Lane_Horizontal"
+      referenceCoord="9.0"/>
+  <lanes xsi:type="crossingScenario:Lane_Horizontal"
+      referenceCoord="12.0"/>
+  <lanes xsi:type="crossingScenario:Lane_Vertical"/>
+  <lanes xsi:type="crossingScenario:Lane_Vertical"
+      referenceCoord="3.0"/>
+  <lanes xsi:type="crossingScenario:Lane_Vertical"
+      referenceCoord="6.0"/>
+  <lanes xsi:type="crossingScenario:Lane_Vertical"
+      referenceCoord="9.0"/>
+  <lanes xsi:type="crossingScenario:Lane_Vertical"
+      referenceCoord="12.0"/>
+</crossingScenario:CrossingScenario>
-- 
cgit v1.2.3-54-g00ecf