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, 55 insertions, 0 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 new file mode 100644 index 00000000..847b84c9 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/solution.txt | |||
| @@ -0,0 +1,55 @@ | |||
| 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 | ||