aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config
diff options
context:
space:
mode:
authorLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-02-07 04:54:42 +0100
committerLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-02-07 04:54:42 +0100
commit9f02e7e2fe8b3e347f3d05e8d0751dec016842cd (patch)
tree6d0c34c617ed51c9c9715f3ec18552425656b3a5 /Tests/MODELS2020-CaseStudies/case.study.pledge.run/config
parentRemove dreal (diff)
downloadVIATRA-Generator-9f02e7e2fe8b3e347f3d05e8d0751dec016842cd.tar.gz
VIATRA-Generator-9f02e7e2fe8b3e347f3d05e8d0751dec016842cd.tar.zst
VIATRA-Generator-9f02e7e2fe8b3e347f3d05e8d0751dec016842cd.zip
measurement setup is ready for server
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/config')
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig13
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig101
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig107
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig10
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig107
5 files changed, 173 insertions, 165 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig
index 94295dd1..0aa82872 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig
@@ -14,8 +14,8 @@ generate {
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
@@ -35,10 +35,13 @@ generate {
35 config = { 35 config = {
36 runtime = 10000, 36 runtime = 10000,
37 "numeric-solver" = "z3", 37 "numeric-solver" = "z3",
38 "scopePropagator" = "typeHierarchy", 38 "dreal-local-path" = "enterPathHere",
39 log-level = normal, 39 log-level = none,
40 "fitness-punishSize" = "false", 40 "fitness-punishSize" = "false",
41 "fitness-scope" = "3" 41 "fitness-scope" = "3",
42 "fitness-objectCreationCosts" = "true",
43 "scopePropagator" = "typeHierarchy",
44 "fitness-missing-containment" = "2"
42 } 45 }
43 46
44 runs = 1 47 runs = 1
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig
index fdb04161..691b0e58 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig
@@ -1,51 +1,52 @@
1import epackage "../case.study.familyTree.model/model/familytree.ecore" 1import epackage "../case.study.familyTree.model/model/familytree.ecore"
2import viatra "queries/familyTreeConstraints.vql" 2import viatra "queries/familyTreeConstraints.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 "numeric-solver-at-end" = "true" 41 "fitness-scope" = "3",
42 } 42 "numeric-solver-at-end" = "true"
43 43 }
44 runs = 1 44
45 number = 10 45 runs = 1
46 46 number = 10
47 debug = "outputs/debug" 47
48 log = "outputs/log.txt" 48 debug = "outputs/debug"
49 output = "outputs/models" 49 log = "outputs/log.txt"
50 statistics = "output/debug/statistics.csv" 50 output = "outputs/models"
51 statistics = "output/debug/statistics.csv"
51} \ No newline at end of file 52} \ No newline at end of file
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
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig
index 4a0bd920..2be8cb2e 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig
@@ -12,8 +12,8 @@ generate {
12 12
13 config = { 13 config = {
14 runtime = 10000, 14 runtime = 10000,
15 log-level = normal, 15 "numeric-solver" = "z3",
16 "scopePropagator" = "typeHierarchy" 16 log-level = none
17 } 17 }
18 18
19 runs = 1 19 runs = 1
@@ -33,10 +33,12 @@ generate {
33 config = { 33 config = {
34 runtime = 10000, 34 runtime = 10000,
35 "numeric-solver" = "z3", 35 "numeric-solver" = "z3",
36 log-level = normal, 36 "dreal-local-path" = "enterPathHere",
37 log-level = none,
37 "fitness-scope" = "3", 38 "fitness-scope" = "3",
38 "fitness-punishSize" = "true", 39 "fitness-punishSize" = "true",
39 "scopePropagator" = "polyhedral" 40 "scopePropagator" = "polyhedral",
41 "fitness-missing-containment" = "1"
40 } 42 }
41 43
42 runs = 1 44 runs = 1
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig
index c609bf33..9d576660 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig
@@ -1,54 +1,55 @@
1import epackage "../case.study.pledge.model/model/TaxationWithRoot.ecore" 1import epackage "../case.study.pledge.model/model/TaxationWithRoot.ecore"
2import viatra "queries/case_study_A_withRoot.vql" 2import viatra "queries/case_study_A_withRoot.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 TaxationWithRoot } 27 metamodel = { package TaxationWithRoot }
28 constraints = { package queries} 28 constraints = { package queries}
29 partial-model = { "inputs/Resource.xmi" } 29 partial-model = { "inputs/Resource.xmi" }
30 solver = ViatraSolver 30 solver = ViatraSolver
31 scope = { 31 scope = {
32 #node += 70..*, 32 #node += 70..*,
33 #<Household> += 0 33 #<Household> += 0
34 } 34 }
35 35
36 config = { 36 config = {
37 runtime = 10000, 37 runtime = 10000,
38 "numeric-solver" = "z3", 38 "numeric-solver" = "z3",
39 log-level = normal, 39 "dreal-local-path" = "enterPathHere",
40 "fitness-scope" = "1", 40 log-level = none,
41 "fitness-punishSize" = "inverse", 41 "fitness-scope" = "1",
42 "fitness-objectCreationCosts" = "true", 42 "fitness-punishSize" = "inverse",
43 "scopePropagator" = "typeHierarchy", 43 "fitness-objectCreationCosts" = "true",
44 "fitness-missing-containment" = "2" 44 "scopePropagator" = "typeHierarchy",
45 } 45 "fitness-missing-containment" = "2"
46 46 }
47 runs = 1 47
48 number = 10 48 runs = 1
49 49 number = 10
50 debug = "output/debug/" 50
51 log = "output/debug/log.txt" 51 debug = "output/debug/"
52 output = "output/models" 52 log = "output/debug/log.txt"
53 statistics = "output/debug/statistics.csv" 53 output = "output/models"
54 statistics = "output/debug/statistics.csv"
54} \ No newline at end of file 55} \ No newline at end of file
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-08-28 17:03:26 +0000