1 files changed, 33 insertions, 0 deletions
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/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 @@
	1	import epackage "model/crossingScenario.ecore"
	2	import viatra "queries/csQueriesScale.vql"
	3
	4	generate {
	5	metamodel = { package crossingScenario }
	6	constraints = { package queries}
	7	partial-model = { "inputs/csInitScale.xmi"}
	8	solver = ViatraSolver
	9	scope = {
	10	#node += 15..*
	11	,#<Lane> += 0
	12	,#<Relation> += 0
	13	//,#<CollisionExists> = 1
	14	//,#<SeparationDistance> = 0
	15	//,#<VisionBlocked> += 0
	16	//,#<CollisionDoesNotExist> += 0
	17	}
	18
	19	config = {
	20	runtime = 10000,
	21	log-level = none,
	22	"numeric-solver" = "z3",
	23	"dreal-local-path" = "/home/models/dreal4/bazel-bin/dreal/dreal",
	24	//"strategy" = "crossingScenario",
	25	"scopePropagator" = "polyhedral"}
	26
	27	runs = 1
	28	number = 3
	29	debug = "outputs/debug"
	30	log = "outputs/debug/log.txt"
	31	output = "outputs/models"
	32	statistics = "outputs/statistics.csv"
	33	}