aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig')
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig107
1 files changed, 54 insertions, 53 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig
index 56dc86b5..e252d13c 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig
@@ -1,54 +1,55 @@
1import epackage "../case.study.familyTree.model/model/familytree.ecore" 1import epackage "../case.study.familyTree.model/model/familytree.ecore"
2import viatra "queries/familyTreeConstraintsQual.vql" 2import viatra "queries/familyTreeConstraintsQual.vql"
3import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore" 3import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore"
4import viatra "queries/SatelliteQueries.vql" 4import viatra "queries/SatelliteQueries.vql"
5 5
6generate { 6generate {
7 metamodel = { package satellite } 7 metamodel = { package satellite }
8 constraints = { package hu.bme.mit.inf.dslreasoner.domains.satellite.queries } 8 constraints = { package hu.bme.mit.inf.dslreasoner.domains.satellite.queries }
9 partial-model = { "inputs/SatelliteInstance.xmi"} 9 partial-model = { "inputs/SatelliteInstance.xmi"}
10 solver = ViatraSolver 10 solver = ViatraSolver
11 scope = { 11 scope = {
12 #node += 10..* 12 #node += 10..*
13 } 13 }
14 14
15 config = { 15 config = {
16 runtime = 10000, 16 runtime = 10000,
17 log-level = normal, 17 "numeric-solver" = "z3",
18 "scopePropagator" = "typeHierarchy" 18 log-level = none
19 } 19 }
20 20
21 runs = 1 21 runs = 1
22 22
23 output = "measurements/debug/warmup" 23 output = "measurements/debug/warmup"
24} 24}
25 25
26generate { 26generate {
27 metamodel = { package familytree } 27 metamodel = { package familytree }
28 constraints = { package queries} 28 constraints = { package queries}
29 partial-model = { "inputs/FamilyTree.xmi" } 29 partial-model = { "inputs/FamilyTree.xmi" }
30 solver = ViatraSolver 30 solver = ViatraSolver
31 scope = { 31 scope = {
32 #node += 6..* 32 #node += 6..*
33 } 33 }
34 34
35 config = { 35 config = {
36 runtime = 10000, 36 runtime = 10000,
37 "numeric-solver" = "z3", 37 "numeric-solver" = "z3",
38 log-level = normal, 38 "dreal-local-path" = "enterPathHere",
39 "fitness-punishSize" = "false", 39 log-level = none,
40 "fitness-scope" = "3", 40 "fitness-punishSize" = "false",
41 "fitness-objectCreationCosts" = "true", 41 "fitness-scope" = "3",
42 "scopePropagator" = "typeHierarchy", 42 "fitness-objectCreationCosts" = "true",
43 "fitness-missing-containment" = "2", 43 "scopePropagator" = "typeHierarchy",
44 "numeric-solver-at-end" = "true" 44 "fitness-missing-containment" = "2",
45 } 45 "numeric-solver-at-end" = "true"
46 46 }
47 runs = 1 47
48 number = 10 48 runs = 1
49 49 number = 10
50 debug = "outputs/debug" 50
51 log = "outputs/log.txt" 51 debug = "outputs/debug"
52 output = "outputs/models" 52 log = "outputs/log.txt"
53 statistics = "output/debug/statistics.csv" 53 output = "outputs/models"
54 statistics = "output/debug/statistics.csv"
54} \ No newline at end of file 55} \ No newline at end of file