Domains/hu.bme.mit.inf.dslreasoner.domains.cps/solution.txt


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

Optimal - objective value 25.00000000
      0 h0i0_exists                       1                       2
      1 h0i1_exists                       1                       2
      2 h0i2_exists                       1                       2
     20 h2i0_exists                       1                       3
     40 h4i0_exists                       1                       2
     41 h4i1_exists                       1                       2
     42 h4i2_exists                       1                       2
     43 h4i3_exists                       1                       2
     44 h4i4_exists                       1                       2
     45 h4i5_exists                       1                       2
     50 h5i0_exists                       1                       4
     64 r0a0_to_h4i4                      1                       0
     85 r0a1_to_h4i5                      1                       0
    110 r0a2_to_h5i0                      1                       0
    122 r0a3_to_h4i2                      1                       0
    160 r1a0_to_h2i0                      1                       0
    200 r1a1_to_h0i0                      1                       0
    262 r1a2_to_h0i2                      1                       0
    340 r2a0_to_h2i0                      1                       0
    400 r3a0_to_h2i0                      1                       0
    450 r4a0_to_h5i0                      1                       0
    463 r4a1_to_h4i3                      1                       0
    481 r4a2_to_h4i1                      1                       0
    500 r4a3_to_h4i0                      1                       0
    540 r5a0_to_h2i0                      1                       0
    580 r6a0_to_h0i0                      1                       0
    660 r6a1_to_h2i0                      1                       0
    702 r6a2_to_h0i2                      1                       0
    761 r6a3_to_h0i1                      1                       0
    821 r7a0_to_h0i1                      1                       0
    880 r7a1_to_h0i0                      1                       0
    942 r7a2_to_h0i2                      1                       0
   1000 h0i0_mem                          1                       0
   1001 h0i0_hdd                 0.34666667                       0
   1002 h0i1_mem                       0.75                       0
   1003 h0i1_hdd                 0.29333333                       0
   1004 h0i2_mem                          1                       0
   1005 h0i2_hdd                 0.34666667                       0
   1040 h2i0_mem                     0.8125                       0
   1041 h2i0_hdd                 0.46666667                       0
   1080 h4i0_mem                          1                       0
   1081 h4i0_hdd                       0.58                       0
   1082 h4i1_mem                          1                       0
   1083 h4i1_hdd                       0.58                       0
   1084 h4i2_mem                          1                       0
   1085 h4i2_hdd                       0.58                       0
   1086 h4i3_mem                          1                       0
   1087 h4i3_hdd                       0.58                       0
   1088 h4i4_mem                          1                       0
   1089 h4i4_hdd                       0.58                       0
   1090 h4i5_mem                          1                       0
   1091 h4i5_hdd                       0.58                       0
   1100 h5i0_mem                          1                       0
   1101 h5i0_hdd                       0.58                       0