From b7ed3353ba34dd837bfc15f7e48c30a2cdc7ce75 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 22 May 2019 20:38:53 -0400 Subject: MDEOptimiser implementation of CPS benchmark --- .../solution.txt | 55 ++++++++++++++++++++++ 1 file changed, 55 insertions(+) create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.cps/solution.txt (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/solution.txt') 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 @@ +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 -- cgit v1.2.3-70-g09d2