1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.ecore"
import viatra "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/patterns.vql"
generate {
metamodel = { package yakindumm excluding { Synchronization}}
constraints = { package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu }
partial-model = { "inputs/start.xmi"}
solver = ViatraSolver
scope = {
#node = 200
}
number = 1
runs = 1
config = {
log-level = none,
"optional-wf" = "false",
"realistic-guidance" = "Composite",
"allow-must-violations" = "false",
"domain" = "Yakindumm",
"scopePropagator" = "typeHierarchy"
}
statistics = "statistics/Yakindu/warmup.csv" //give different set up different filenames
debug = "debug"
output = "output/Yakindu/run_time/"
}
// generate {
// metamodel = { package yakindumm excluding { Synchronization}}
// constraints = { package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu }
// partial-model = { "inputs/start.xmi"}
// solver = ViatraSolver
// scope = {
// #node = 140
// }
// number = 1
// runs = 20
// config = {
// log-level = none,
// "optional-wf" = "false",
// "realistic-guidance" = "Composite",
// "allow-must-violations" = "false",
// "domain" = "Yakindumm"
// }
// statistics = "statistics/Yakindu/140.csv" //give different set up different filenames
// debug = "debug"
// output = "output/Yakindu/run_time/"
// }
// generate {
// metamodel = { package yakindumm excluding { Synchronization}}
// constraints = { package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu }
// partial-model = { "inputs/start.xmi"}
// solver = ViatraSolver
// scope = {
// #node = 160
// }
// number = 1
// runs = 20
// config = {
// log-level = none,
// "optional-wf" = "false",
// "realistic-guidance" = "Composite",
// "allow-must-violations" = "false",
// "domain" = "Yakindumm"
// }
// statistics = "statistics/Yakindu/160.csv" //give different set up different filenames
// debug = "debug"
// output = "output/Yakindu/run_time/"
// }
// generate {
// metamodel = { package yakindumm excluding { Synchronization}}
// constraints = { package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu }
// partial-model = { "inputs/start.xmi"}
// solver = ViatraSolver
// scope = {
// #node = 180
// }
// number = 1
// runs = 20
// config = {
// log-level = none,
// "optional-wf" = "false",
// "realistic-guidance" = "Composite",
// "allow-must-violations" = "false",
// "domain" = "Yakindumm"
// }
// statistics = "statistics/Yakindu/180.csv" //give different set up different filenames
// debug = "debug"
// output = "output/Yakindu/run_time/"
// }
|
