diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/solution.txt')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.cps/solution.txt | 55 |
1 files changed, 0 insertions, 55 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/solution.txt b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/solution.txt deleted file mode 100644 index 847b84c9..00000000 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/solution.txt +++ /dev/null | |||
@@ -1,55 +0,0 @@ | |||
1 | Optimal - objective value 25.00000000 | ||
2 | 0 h0i0_exists 1 2 | ||
3 | 1 h0i1_exists 1 2 | ||
4 | 2 h0i2_exists 1 2 | ||
5 | 20 h2i0_exists 1 3 | ||
6 | 40 h4i0_exists 1 2 | ||
7 | 41 h4i1_exists 1 2 | ||
8 | 42 h4i2_exists 1 2 | ||
9 | 43 h4i3_exists 1 2 | ||
10 | 44 h4i4_exists 1 2 | ||
11 | 45 h4i5_exists 1 2 | ||
12 | 50 h5i0_exists 1 4 | ||
13 | 64 r0a0_to_h4i4 1 0 | ||
14 | 85 r0a1_to_h4i5 1 0 | ||
15 | 110 r0a2_to_h5i0 1 0 | ||
16 | 122 r0a3_to_h4i2 1 0 | ||
17 | 160 r1a0_to_h2i0 1 0 | ||
18 | 200 r1a1_to_h0i0 1 0 | ||
19 | 262 r1a2_to_h0i2 1 0 | ||
20 | 340 r2a0_to_h2i0 1 0 | ||
21 | 400 r3a0_to_h2i0 1 0 | ||
22 | 450 r4a0_to_h5i0 1 0 | ||
23 | 463 r4a1_to_h4i3 1 0 | ||
24 | 481 r4a2_to_h4i1 1 0 | ||
25 | 500 r4a3_to_h4i0 1 0 | ||
26 | 540 r5a0_to_h2i0 1 0 | ||
27 | 580 r6a0_to_h0i0 1 0 | ||
28 | 660 r6a1_to_h2i0 1 0 | ||
29 | 702 r6a2_to_h0i2 1 0 | ||
30 | 761 r6a3_to_h0i1 1 0 | ||
31 | 821 r7a0_to_h0i1 1 0 | ||
32 | 880 r7a1_to_h0i0 1 0 | ||
33 | 942 r7a2_to_h0i2 1 0 | ||
34 | 1000 h0i0_mem 1 0 | ||
35 | 1001 h0i0_hdd 0.34666667 0 | ||
36 | 1002 h0i1_mem 0.75 0 | ||
37 | 1003 h0i1_hdd 0.29333333 0 | ||
38 | 1004 h0i2_mem 1 0 | ||
39 | 1005 h0i2_hdd 0.34666667 0 | ||
40 | 1040 h2i0_mem 0.8125 0 | ||
41 | 1041 h2i0_hdd 0.46666667 0 | ||
42 | 1080 h4i0_mem 1 0 | ||
43 | 1081 h4i0_hdd 0.58 0 | ||
44 | 1082 h4i1_mem 1 0 | ||
45 | 1083 h4i1_hdd 0.58 0 | ||
46 | 1084 h4i2_mem 1 0 | ||
47 | 1085 h4i2_hdd 0.58 0 | ||
48 | 1086 h4i3_mem 1 0 | ||
49 | 1087 h4i3_hdd 0.58 0 | ||
50 | 1088 h4i4_mem 1 0 | ||
51 | 1089 h4i4_hdd 0.58 0 | ||
52 | 1090 h4i5_mem 1 0 | ||
53 | 1091 h4i5_hdd 0.58 0 | ||
54 | 1100 h5i0_mem 1 0 | ||
55 | 1101 h5i0_hdd 0.58 0 | ||