diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/mdeo-results/experiment-satellite.mopt-190525-195435-matching-henshin/batch-0/batch-0-outcome.txt')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/mdeo-results/experiment-satellite.mopt-190525-195435-matching-henshin/batch-0/batch-0-outcome.txt | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/mdeo-results/experiment-satellite.mopt-190525-195435-matching-henshin/batch-0/batch-0-outcome.txt b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/mdeo-results/experiment-satellite.mopt-190525-195435-matching-henshin/batch-0/batch-0-outcome.txt new file mode 100644 index 00000000..350a6a69 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/mdeo-results/experiment-satellite.mopt-190525-195435-matching-henshin/batch-0/batch-0-outcome.txt | |||
@@ -0,0 +1,20 @@ | |||
1 | |||
2 | ============================================ | ||
3 | |||
4 | Batch 0 duration: 00:02:29.245 | ||
5 | |||
6 | -------------------------------------------- | ||
7 | Evaluation data for solution: ./mdeo-results/experiment-satellite.mopt-190525-195435-matching-henshin/batch-0796A23B6.xmi | ||
8 | |||
9 | Objective values: | ||
10 | Cost: 1158414.6563694086 | ||
11 | |||
12 | Constraint values: | ||
13 | PatternMatch: 13.0 | ||
14 | |||
15 | Transformations chain: | ||
16 | Length: 2 | ||
17 | Sequence: {1=addCubeSat3U, 2=addCubeSat3U, 3=addCubeSat3U} -> {1=addCubeSat3U, 2=addCubeSat3U, 3=addCubeSat3U} | ||
18 | |||
19 | ============================================ | ||
20 | |||