update measurements setup. make archives.

1 files changed, 47 insertions, 0 deletions

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig
new file mode 100644
index 00000000..723f401c
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig
@@ -0,0 +1,47 @@
+import epackage "../case.study.familyTree.model/model/familytree.ecore"
+import viatra   "src/queries/familyTreeConstraints.vql"
+import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore"
+import viatra "src/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 += 20..*
+        }
+
+        config = {
+                runtime = 10000,
+                log-level = normal,
+                "numeric-solver-at-end" = "true"
+        }
+
+        runs = 1
+
+        output = "measurements/debug/warmup"
+}
+
+generate {
+        metamodel = { package familytree }
+        constraints = { package queries}
+        partial-model = { "inputs/FamilyTree.xmi" }
+        solver = ViatraSolver
+        scope = {
+                #node += 6..*
+        }
+        
+        config = {
+                runtime = 10000,
+                log-level = normal
+        }
+        
+        runs = 1
+        number = 10
+        
+        debug =                 "outputs/debug"
+        log =                   "outputs/log.txt"
+        output =                "outputs/models"        
+        statistics =    "output/debug/statistics.csv"
+}
\ No newline at end of file