aboutsummaryrefslogtreecommitdiffstats
path: root/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig
diff options
context:
space:
mode:
authorLibravatar 20001LastOrder <boqi.chen@mail.mcgill.ca>2019-08-20 17:13:46 -0400
committerLibravatar 20001LastOrder <boqi.chen@mail.mcgill.ca>2019-08-20 17:13:46 -0400
commit8ca4668275e7f9298b9960acc66373aa94650453 (patch)
tree761e1561741a082fa2d278b31be654f426d31359 /Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig
parentmodifty patterns for ecore (diff)
downloadVIATRA-Generator-8ca4668275e7f9298b9960acc66373aa94650453.tar.gz
VIATRA-Generator-8ca4668275e7f9298b9960acc66373aa94650453.tar.zst
VIATRA-Generator-8ca4668275e7f9298b9960acc66373aa94650453.zip
changes in settings of measurements
Diffstat (limited to 'Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig')
-rw-r--r--Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig85
1 files changed, 82 insertions, 3 deletions
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig b/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig
index 04351a6e..721d506a 100644
--- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig
+++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig
@@ -9,11 +9,11 @@ generate {
9 solver = ViatraSolver 9 solver = ViatraSolver
10 10
11 scope = { 11 scope = {
12 #node = 30 12 #node = 10
13 } 13 }
14 14
15 number = 1 15 number = 1
16 runs = 100 16 runs = 5
17 config = { 17 config = {
18 log-level = none, 18 log-level = none,
19 "optional-wf" = "false", 19 "optional-wf" = "false",
@@ -22,6 +22,85 @@ generate {
22 "domain" = "Yakindumm" 22 "domain" = "Yakindumm"
23 } 23 }
24 24
25 statistics = "statistics/Yakindu/warmup.csv" //give different set up different filenames
25 debug = "debug" 26 debug = "debug"
26 output = "output/real_30+v/" 27 output = "output/Yakindu/run_time/"
28}
29
30generate {
31 metamodel = { package yakindumm excluding { Synchronization}}
32 constraints = { package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu }
33 partial-model = { "inputs/start.xmi"}
34
35 solver = ViatraSolver
36
37 scope = {
38 #node = 140
39 }
40
41 number = 1
42 runs = 20
43 config = {
44 log-level = none,
45 "optional-wf" = "false",
46 "realistic-guidance" = "Composite",
47 "allow-must-violations" = "false",
48 "domain" = "Yakindumm"
49 }
50
51 statistics = "statistics/Yakindu/140.csv" //give different set up different filenames
52 debug = "debug"
53 output = "output/Yakindu/run_time/"
54}
55
56generate {
57 metamodel = { package yakindumm excluding { Synchronization}}
58 constraints = { package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu }
59 partial-model = { "inputs/start.xmi"}
60
61 solver = ViatraSolver
62
63 scope = {
64 #node = 160
65 }
66
67 number = 1
68 runs = 20
69 config = {
70 log-level = none,
71 "optional-wf" = "false",
72 "realistic-guidance" = "Composite",
73 "allow-must-violations" = "false",
74 "domain" = "Yakindumm"
75 }
76
77 statistics = "statistics/Yakindu/160.csv" //give different set up different filenames
78 debug = "debug"
79 output = "output/Yakindu/run_time/"
80}
81
82generate {
83 metamodel = { package yakindumm excluding { Synchronization}}
84 constraints = { package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu }
85 partial-model = { "inputs/start.xmi"}
86
87 solver = ViatraSolver
88
89 scope = {
90 #node = 180
91 }
92
93 number = 1
94 runs = 20
95 config = {
96 log-level = none,
97 "optional-wf" = "false",
98 "realistic-guidance" = "Composite",
99 "allow-must-violations" = "false",
100 "domain" = "Yakindumm"
101 }
102
103 statistics = "statistics/Yakindu/180.csv" //give different set up different filenames
104 debug = "debug"
105 output = "output/Yakindu/run_time/"
27} \ No newline at end of file 106} \ No newline at end of file