From bc403272d867f82edd623179d82c080e57154c1a Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Tue, 16 Feb 2021 09:01:25 +0100
Subject: CrossingScenario case study is ready for server

---
 .../config/genericCrossScenario.vsconfig           | 51 ++++++++++++++++++++++
 1 file changed, 51 insertions(+)
 create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericCrossScenario.vsconfig

(limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericCrossScenario.vsconfig')

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericCrossScenario.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericCrossScenario.vsconfig
new file mode 100644
index 00000000..290b8835
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericCrossScenario.vsconfig
@@ -0,0 +1,51 @@
+import epackage	"../../../Domains/crossingScenario/model/crossingScenario.ecore"
+import viatra	"queries/csQueriesScale.vql"
+import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore"
+import viatra "queries/SatelliteQueries.vql"
+
+generate {
+	metamodel = { package satellite }
+	constraints = { package hu.bme.mit.inf.dslreasoner.domains.satellite.queries }
+	partial-model = { "inputs/SatelliteInstance.xmi"}
+	solver = ViatraSolver
+	scope = {
+		#node += 10..*
+	}
+
+	config = {
+		runtime = 10000,
+		"numeric-solver" = "z3",
+		log-level = none
+	}
+
+	runs = 1
+
+	output = "measurements/debug/warmup"
+}
+
+generate {
+	metamodel = { package crossingScenario }
+	constraints = { package queries}
+	partial-model = { "inputs/crossScen5.xmi"}
+	solver = ViatraSolver
+	scope = {
+		#node += 3..*
+		,#<Lane> += 0
+		,#<Relation> += 0
+	}
+	
+	config = {
+		runtime = 10000,
+		"numeric-solver" = "z3",
+		"dreal-local-path" = "enterPathHere",
+		"dreal-timeout" = "10000",
+		log-level = none,
+		"scopePropagator" = "polyhedral"}
+	
+	runs = 1
+	number = 10
+	debug =			"outputs/debug"
+	log =			"outputs/debug/log.txt"
+	output =		"outputs/models"	
+	statistics =	"outputs/debug/statistics.csv"
+}
-- 
cgit v1.2.3-70-g09d2