================================================================ reLOC 0.05-legio : Multirobot Solution reSolver (C) Copyright 2011-2012 Pavel Surynek ---------------------------------------------------------------- window size:16 0,1 1,8 2,0 3,2 4,3 5,4 6,5 7,6 8,9 8,16 9,0 9,10 10,2 10,11 10,18 11,3 11,12 11,19 12,4 12,13 12,20 13,5 13,14 13,21 14,6 14,15 14,22 15,7 15,23 16,17 16,24 17,9 18,17 18,26 19,18 19,27 20,19 20,28 21,20 21,29 22,21 22,30 23,22 23,31 24,25 24,32 25,17 26,25 26,34 27,26 27,35 28,27 28,36 29,28 29,37 30,29 30,38 31,30 31,39 32,33 32,40 33,25 34,33 34,42 35,34 35,43 36,35 36,44 37,36 37,45 38,37 38,46 39,38 39,47 40,41 40,48 41,33 42,41 42,50 43,42 43,51 44,43 44,52 45,44 45,53 46,45 46,54 47,46 47,55 48,49 48,56 49,41 50,49 50,58 51,50 51,59 52,51 52,60 53,52 53,61 54,53 54,62 55,54 55,63 56,57 57,49 58,57 59,58 60,59 61,60 62,61 63,62 Length:142 12 # 30 ---> 22 (0) 10 # 56 ---> 48 (0) 10 # 48 ---> 40 (1) 10 # 40 ---> 32 (2) 10 # 32 ---> 33 (3) 10 # 33 ---> 34 (4) 10 # 34 ---> 35 (5) 10 # 35 ---> 36 (6) 10 # 36 ---> 37 (7) 10 # 37 ---> 38 (8) 10 # 38 ---> 39 (9) 10 # 39 ---> 47 (10) 7 # 10 ---> 2 (0) 12 # 22 ---> 14 (1) 4 # 31 ---> 30 (0) 4 # 30 ---> 22 (1) 8 # 49 ---> 48 (1) 11 # 57 ---> 49 (1) 2 # 41 ---> 40 (2) 11 # 49 ---> 41 (2) 11 # 41 ---> 33 (4) 11 # 33 ---> 25 (5) 11 # 25 ---> 17 (6) 11 # 17 ---> 9 (7) 11 # 9 ---> 10 (8) 11 # 10 ---> 11 (9) 11 # 11 ---> 12 (10) 11 # 12 ---> 13 (11) 7 # 2 ---> 0 (1) 1 # 6 ---> 5 (0) 12 # 14 ---> 6 (2) 11 # 13 ---> 14 (12) 11 # 14 ---> 15 (13) 4 # 22 ---> 14 (13) 11 # 15 ---> 23 (14) 4 # 14 ---> 15 (14) 12 # 6 ---> 14 (14) 12 # 14 ---> 22 (15) 12 # 22 ---> 30 (16) 12 # 30 ---> 38 (17) 12 # 38 ---> 46 (18) 12 # 46 ---> 54 (19) 3 # 44 ---> 36 (7) 9 # 60 ---> 52 (0) 9 # 52 ---> 44 (7) 9 # 44 ---> 43 (8) 3 # 36 ---> 28 (8) 3 # 28 ---> 20 (9) 9 # 43 ---> 42 (9) 3 # 20 ---> 12 (11) 9 # 42 ---> 34 (10) 5 # 24 ---> 25 (6) 6 # 16 ---> 17 (7) 9 # 34 ---> 26 (11) 1 # 5 ---> 6 (14) 9 # 26 ---> 18 (12) 2 # 40 ---> 41 (4) 8 # 48 ---> 40 (4) 8 # 40 ---> 32 (5) 8 # 32 ---> 24 (6) 8 # 24 ---> 16 (7) 8 # 16 ---> 8 (8) 8 # 8 ---> 9 (9) 8 # 9 ---> 10 (10) 8 # 10 ---> 11 (11) 8 # 11 ---> 19 (12) 9 # 18 ---> 10 (13) 9 # 10 ---> 11 (14) 4 # 15 ---> 14 (15) 4 # 14 ---> 13 (16) 1 # 6 ---> 7 (15) 3 # 12 ---> 4 (12) 4 # 13 ---> 12 (17) 3 # 4 ---> 5 (14) 9 # 11 ---> 3 (15) 4 # 12 ---> 11 (18) 4 # 11 ---> 10 (19) 4 # 10 ---> 18 (20) 4 # 18 ---> 26 (21) 4 # 26 ---> 34 (22) 6 # 17 ---> 9 (10) 6 # 9 ---> 10 (20) 2 # 41 ---> 49 (5) 3 # 5 ---> 6 (15) 9 # 3 ---> 4 (16) 6 # 10 ---> 2 (21) 6 # 2 ---> 3 (22) 5 # 25 ---> 17 (10) 9 # 4 ---> 12 (18) 9 # 12 ---> 11 (19) 9 # 11 ---> 10 (21) 6 # 3 ---> 4 (23) 9 # 10 ---> 9 (22) 9 # 9 ---> 8 (23) 9 # 8 ---> 16 (24) 5 # 17 ---> 9 (23) 9 # 16 ---> 17 (25) 9 # 17 ---> 25 (26) 6 # 4 ---> 5 (24) 7 # 0 ---> 2 (22) 9 # 25 ---> 24 (27) 3 # 6 ---> 14 (16) 6 # 5 ---> 6 (25) 3 # 14 ---> 13 (17) 6 # 6 ---> 14 (26) 1 # 7 ---> 6 (26) 6 # 14 ---> 15 (27) 7 # 2 ---> 3 (23) 7 # 3 ---> 4 (24) 7 # 4 ---> 5 (25) 3 # 13 ---> 12 (19) 1 # 6 ---> 14 (27) 7 # 5 ---> 6 (27) 1 # 14 ---> 13 (28) 7 # 6 ---> 14 (28) 6 # 15 ---> 7 (28) 7 # 14 ---> 15 (29) 3 # 12 ---> 4 (25) 1 # 13 ---> 12 (29) 1 # 12 ---> 11 (30) 3 # 4 ---> 12 (30) 1 # 11 ---> 3 (31) 3 # 12 ---> 11 (31) 5 # 9 ---> 0 (24) 3 # 11 ---> 10 (32) 1 # 3 ---> 11 (32) 3 # 10 ---> 2 (33) 1 # 11 ---> 10 (33) 1 # 10 ---> 9 (34) 3 # 2 ---> 10 (34) 5 # 0 ---> 2 (34) 5 # 2 ---> 3 (35) 5 # 3 ---> 11 (36) 5 # 11 ---> 12 (37) 1 # 9 ---> 8 (35) 3 # 10 ---> 9 (35) 1 # 8 ---> 1 (36) 1 # 1 ---> 0 (37) 3 # 9 ---> 8 (36) 1 # 0 ---> 9 (38) 1 # 9 ---> 10 (39) 1 # 10 ---> 2 (40) Undirected graph: (|V|=64 |E|=112) [ Vertex: (id = 0) {1 2 9 } Vertex: (id = 1) {0 8 } Vertex: (id = 2) {0 3 10 } Vertex: (id = 3) {2 4 11 } Vertex: (id = 4) {3 5 12 } Vertex: (id = 5) {4 6 13 } Vertex: (id = 6) {5 7 14 } Vertex: (id = 7) {6 15 } Vertex: (id = 8) {1 9 16 } Vertex: (id = 9) {8 0 10 17 } Vertex: (id = 10) {9 2 11 18 } Vertex: (id = 11) {10 3 12 19 } Vertex: (id = 12) {11 4 13 20 } Vertex: (id = 13) {12 5 14 21 } Vertex: (id = 14) {13 6 15 22 } Vertex: (id = 15) {14 7 23 } Vertex: (id = 16) {8 17 24 } Vertex: (id = 17) {16 9 18 25 } Vertex: (id = 18) {10 17 26 19 } Vertex: (id = 19) {11 18 27 20 } Vertex: (id = 20) {12 19 28 21 } Vertex: (id = 21) {13 20 29 22 } Vertex: (id = 22) {14 21 30 23 } Vertex: (id = 23) {15 22 31 } Vertex: (id = 24) {16 25 32 } Vertex: (id = 25) {24 17 26 33 } Vertex: (id = 26) {18 25 34 27 } Vertex: (id = 27) {19 26 35 28 } Vertex: (id = 28) {20 27 36 29 } Vertex: (id = 29) {21 28 37 30 } Vertex: (id = 30) {22 29 38 31 } Vertex: (id = 31) {23 30 39 } Vertex: (id = 32) {24 33 40 } Vertex: (id = 33) {32 25 34 41 } Vertex: (id = 34) {26 33 42 35 } Vertex: (id = 35) {27 34 43 36 } Vertex: (id = 36) {28 35 44 37 } Vertex: (id = 37) {29 36 45 38 } Vertex: (id = 38) {30 37 46 39 } Vertex: (id = 39) {31 38 47 } Vertex: (id = 40) {32 41 48 } Vertex: (id = 41) {40 33 42 49 } Vertex: (id = 42) {34 41 50 43 } Vertex: (id = 43) {35 42 51 44 } Vertex: (id = 44) {36 43 52 45 } Vertex: (id = 45) {37 44 53 46 } Vertex: (id = 46) {38 45 54 47 } Vertex: (id = 47) {39 46 55 } Vertex: (id = 48) {40 49 56 } Vertex: (id = 49) {48 41 50 57 } Vertex: (id = 50) {42 49 58 51 } Vertex: (id = 51) {43 50 59 52 } Vertex: (id = 52) {44 51 60 53 } Vertex: (id = 53) {45 52 61 54 } Vertex: (id = 54) {46 53 62 55 } Vertex: (id = 55) {47 54 63 } Vertex: (id = 56) {48 57 } Vertex: (id = 57) {56 49 58 } Vertex: (id = 58) {50 57 59 } Vertex: (id = 59) {51 58 60 } Vertex: (id = 60) {52 59 61 } Vertex: (id = 61) {53 60 62 } Vertex: (id = 62) {54 61 63 } Vertex: (id = 63) {55 62 } Edge 0 <-> 1 [ Arc: (edge = 0x7fff3e072c70, target = 0x1472e70) Arc: (edge = 0x7fff3e072c70, target = 0x1472e50) ] Edge 1 <-> 8 [ Arc: (edge = 0x7fff3e072c70, target = 0x1472f50) Arc: (edge = 0x7fff3e072c70, target = 0x1472e70) ] Edge 2 <-> 0 [ Arc: (edge = 0x7fff3e072c70, target = 0x1472e50) Arc: (edge = 0x7fff3e072c70, target = 0x1472e90) ] Edge 3 <-> 2 [ Arc: (edge = 0x7fff3e072c70, target = 0x1472e90) Arc: (edge = 0x7fff3e072c70, target = 0x1472eb0) ] Edge 4 <-> 3 [ Arc: (edge = 0x7fff3e072c70, target = 0x1472eb0) Arc: (edge = 0x7fff3e072c70, target = 0x1472ed0) ] Edge 5 <-> 4 [ Arc: (edge = 0x7fff3e072c70, target = 0x1472ed0) Arc: (edge = 0x7fff3e072c70, target = 0x1472ef0) ] Edge 6 <-> 5 [ Arc: (edge = 0x7fff3e072c70, target = 0x1472ef0) Arc: (edge = 0x7fff3e072c70, target = 0x1472f10) ] Edge 7 <-> 6 [ Arc: (edge = 0x7fff3e072c70, target = 0x1472f10) Arc: (edge = 0x7fff3e072c70, target = 0x1472f30) ] Edge 8 <-> 9 [ Arc: (edge = 0x7fff3e072c70, target = 0x1472f70) Arc: (edge = 0x7fff3e072c70, target = 0x1472f50) ] Edge 8 <-> 16 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473050) Arc: (edge = 0x7fff3e072c70, target = 0x1472f50) ] Edge 9 <-> 0 [ Arc: (edge = 0x7fff3e072c70, target = 0x1472e50) Arc: (edge = 0x7fff3e072c70, target = 0x1472f70) ] Edge 9 <-> 10 [ Arc: (edge = 0x7fff3e072c70, target = 0x1472f90) Arc: (edge = 0x7fff3e072c70, target = 0x1472f70) ] Edge 10 <-> 2 [ Arc: (edge = 0x7fff3e072c70, target = 0x1472e90) Arc: (edge = 0x7fff3e072c70, target = 0x1472f90) ] Edge 10 <-> 11 [ Arc: (edge = 0x7fff3e072c70, target = 0x1472fb0) Arc: (edge = 0x7fff3e072c70, target = 0x1472f90) ] Edge 10 <-> 18 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473090) Arc: (edge = 0x7fff3e072c70, target = 0x1472f90) ] Edge 11 <-> 3 [ Arc: (edge = 0x7fff3e072c70, target = 0x1472eb0) Arc: (edge = 0x7fff3e072c70, target = 0x1472fb0) ] Edge 11 <-> 12 [ Arc: (edge = 0x7fff3e072c70, target = 0x1472fd0) Arc: (edge = 0x7fff3e072c70, target = 0x1472fb0) ] Edge 11 <-> 19 [ Arc: (edge = 0x7fff3e072c70, target = 0x14730b0) Arc: (edge = 0x7fff3e072c70, target = 0x1472fb0) ] Edge 12 <-> 4 [ Arc: (edge = 0x7fff3e072c70, target = 0x1472ed0) Arc: (edge = 0x7fff3e072c70, target = 0x1472fd0) ] Edge 12 <-> 13 [ Arc: (edge = 0x7fff3e072c70, target = 0x1472ff0) Arc: (edge = 0x7fff3e072c70, target = 0x1472fd0) ] Edge 12 <-> 20 [ Arc: (edge = 0x7fff3e072c70, target = 0x14730d0) Arc: (edge = 0x7fff3e072c70, target = 0x1472fd0) ] Edge 13 <-> 5 [ Arc: (edge = 0x7fff3e072c70, target = 0x1472ef0) Arc: (edge = 0x7fff3e072c70, target = 0x1472ff0) ] Edge 13 <-> 14 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473010) Arc: (edge = 0x7fff3e072c70, target = 0x1472ff0) ] Edge 13 <-> 21 [ Arc: (edge = 0x7fff3e072c70, target = 0x14730f0) Arc: (edge = 0x7fff3e072c70, target = 0x1472ff0) ] Edge 14 <-> 6 [ Arc: (edge = 0x7fff3e072c70, target = 0x1472f10) Arc: (edge = 0x7fff3e072c70, target = 0x1473010) ] Edge 14 <-> 15 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473030) Arc: (edge = 0x7fff3e072c70, target = 0x1473010) ] Edge 14 <-> 22 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473110) Arc: (edge = 0x7fff3e072c70, target = 0x1473010) ] Edge 15 <-> 7 [ Arc: (edge = 0x7fff3e072c70, target = 0x1472f30) Arc: (edge = 0x7fff3e072c70, target = 0x1473030) ] Edge 15 <-> 23 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473130) Arc: (edge = 0x7fff3e072c70, target = 0x1473030) ] Edge 16 <-> 17 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473070) Arc: (edge = 0x7fff3e072c70, target = 0x1473050) ] Edge 16 <-> 24 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473150) Arc: (edge = 0x7fff3e072c70, target = 0x1473050) ] Edge 17 <-> 9 [ Arc: (edge = 0x7fff3e072c70, target = 0x1472f70) Arc: (edge = 0x7fff3e072c70, target = 0x1473070) ] Edge 18 <-> 17 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473070) Arc: (edge = 0x7fff3e072c70, target = 0x1473090) ] Edge 18 <-> 26 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473190) Arc: (edge = 0x7fff3e072c70, target = 0x1473090) ] Edge 19 <-> 18 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473090) Arc: (edge = 0x7fff3e072c70, target = 0x14730b0) ] Edge 19 <-> 27 [ Arc: (edge = 0x7fff3e072c70, target = 0x14731b0) Arc: (edge = 0x7fff3e072c70, target = 0x14730b0) ] Edge 20 <-> 19 [ Arc: (edge = 0x7fff3e072c70, target = 0x14730b0) Arc: (edge = 0x7fff3e072c70, target = 0x14730d0) ] Edge 20 <-> 28 [ Arc: (edge = 0x7fff3e072c70, target = 0x14731d0) Arc: (edge = 0x7fff3e072c70, target = 0x14730d0) ] Edge 21 <-> 20 [ Arc: (edge = 0x7fff3e072c70, target = 0x14730d0) Arc: (edge = 0x7fff3e072c70, target = 0x14730f0) ] Edge 21 <-> 29 [ Arc: (edge = 0x7fff3e072c70, target = 0x14731f0) Arc: (edge = 0x7fff3e072c70, target = 0x14730f0) ] Edge 22 <-> 21 [ Arc: (edge = 0x7fff3e072c70, target = 0x14730f0) Arc: (edge = 0x7fff3e072c70, target = 0x1473110) ] Edge 22 <-> 30 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473210) Arc: (edge = 0x7fff3e072c70, target = 0x1473110) ] Edge 23 <-> 22 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473110) Arc: (edge = 0x7fff3e072c70, target = 0x1473130) ] Edge 23 <-> 31 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473230) Arc: (edge = 0x7fff3e072c70, target = 0x1473130) ] Edge 24 <-> 25 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473170) Arc: (edge = 0x7fff3e072c70, target = 0x1473150) ] Edge 24 <-> 32 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473250) Arc: (edge = 0x7fff3e072c70, target = 0x1473150) ] Edge 25 <-> 17 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473070) Arc: (edge = 0x7fff3e072c70, target = 0x1473170) ] Edge 26 <-> 25 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473170) Arc: (edge = 0x7fff3e072c70, target = 0x1473190) ] Edge 26 <-> 34 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473290) Arc: (edge = 0x7fff3e072c70, target = 0x1473190) ] Edge 27 <-> 26 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473190) Arc: (edge = 0x7fff3e072c70, target = 0x14731b0) ] Edge 27 <-> 35 [ Arc: (edge = 0x7fff3e072c70, target = 0x14732b0) Arc: (edge = 0x7fff3e072c70, target = 0x14731b0) ] Edge 28 <-> 27 [ Arc: (edge = 0x7fff3e072c70, target = 0x14731b0) Arc: (edge = 0x7fff3e072c70, target = 0x14731d0) ] Edge 28 <-> 36 [ Arc: (edge = 0x7fff3e072c70, target = 0x14732d0) Arc: (edge = 0x7fff3e072c70, target = 0x14731d0) ] Edge 29 <-> 28 [ Arc: (edge = 0x7fff3e072c70, target = 0x14731d0) Arc: (edge = 0x7fff3e072c70, target = 0x14731f0) ] Edge 29 <-> 37 [ Arc: (edge = 0x7fff3e072c70, target = 0x14732f0) Arc: (edge = 0x7fff3e072c70, target = 0x14731f0) ] Edge 30 <-> 29 [ Arc: (edge = 0x7fff3e072c70, target = 0x14731f0) Arc: (edge = 0x7fff3e072c70, target = 0x1473210) ] Edge 30 <-> 38 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473310) Arc: (edge = 0x7fff3e072c70, target = 0x1473210) ] Edge 31 <-> 30 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473210) Arc: (edge = 0x7fff3e072c70, target = 0x1473230) ] Edge 31 <-> 39 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473330) Arc: (edge = 0x7fff3e072c70, target = 0x1473230) ] Edge 32 <-> 33 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473270) Arc: (edge = 0x7fff3e072c70, target = 0x1473250) ] Edge 32 <-> 40 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473350) Arc: (edge = 0x7fff3e072c70, target = 0x1473250) ] Edge 33 <-> 25 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473170) Arc: (edge = 0x7fff3e072c70, target = 0x1473270) ] Edge 34 <-> 33 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473270) Arc: (edge = 0x7fff3e072c70, target = 0x1473290) ] Edge 34 <-> 42 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473390) Arc: (edge = 0x7fff3e072c70, target = 0x1473290) ] Edge 35 <-> 34 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473290) Arc: (edge = 0x7fff3e072c70, target = 0x14732b0) ] Edge 35 <-> 43 [ Arc: (edge = 0x7fff3e072c70, target = 0x14733b0) Arc: (edge = 0x7fff3e072c70, target = 0x14732b0) ] Edge 36 <-> 35 [ Arc: (edge = 0x7fff3e072c70, target = 0x14732b0) Arc: (edge = 0x7fff3e072c70, target = 0x14732d0) ] Edge 36 <-> 44 [ Arc: (edge = 0x7fff3e072c70, target = 0x14733d0) Arc: (edge = 0x7fff3e072c70, target = 0x14732d0) ] Edge 37 <-> 36 [ Arc: (edge = 0x7fff3e072c70, target = 0x14732d0) Arc: (edge = 0x7fff3e072c70, target = 0x14732f0) ] Edge 37 <-> 45 [ Arc: (edge = 0x7fff3e072c70, target = 0x14733f0) Arc: (edge = 0x7fff3e072c70, target = 0x14732f0) ] Edge 38 <-> 37 [ Arc: (edge = 0x7fff3e072c70, target = 0x14732f0) Arc: (edge = 0x7fff3e072c70, target = 0x1473310) ] Edge 38 <-> 46 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473410) Arc: (edge = 0x7fff3e072c70, target = 0x1473310) ] Edge 39 <-> 38 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473310) Arc: (edge = 0x7fff3e072c70, target = 0x1473330) ] Edge 39 <-> 47 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473430) Arc: (edge = 0x7fff3e072c70, target = 0x1473330) ] Edge 40 <-> 41 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473370) Arc: (edge = 0x7fff3e072c70, target = 0x1473350) ] Edge 40 <-> 48 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473450) Arc: (edge = 0x7fff3e072c70, target = 0x1473350) ] Edge 41 <-> 33 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473270) Arc: (edge = 0x7fff3e072c70, target = 0x1473370) ] Edge 42 <-> 41 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473370) Arc: (edge = 0x7fff3e072c70, target = 0x1473390) ] Edge 42 <-> 50 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473490) Arc: (edge = 0x7fff3e072c70, target = 0x1473390) ] Edge 43 <-> 42 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473390) Arc: (edge = 0x7fff3e072c70, target = 0x14733b0) ] Edge 43 <-> 51 [ Arc: (edge = 0x7fff3e072c70, target = 0x14734b0) Arc: (edge = 0x7fff3e072c70, target = 0x14733b0) ] Edge 44 <-> 43 [ Arc: (edge = 0x7fff3e072c70, target = 0x14733b0) Arc: (edge = 0x7fff3e072c70, target = 0x14733d0) ] Edge 44 <-> 52 [ Arc: (edge = 0x7fff3e072c70, target = 0x14734d0) Arc: (edge = 0x7fff3e072c70, target = 0x14733d0) ] Edge 45 <-> 44 [ Arc: (edge = 0x7fff3e072c70, target = 0x14733d0) Arc: (edge = 0x7fff3e072c70, target = 0x14733f0) ] Edge 45 <-> 53 [ Arc: (edge = 0x7fff3e072c70, target = 0x14734f0) Arc: (edge = 0x7fff3e072c70, target = 0x14733f0) ] Edge 46 <-> 45 [ Arc: (edge = 0x7fff3e072c70, target = 0x14733f0) Arc: (edge = 0x7fff3e072c70, target = 0x1473410) ] Edge 46 <-> 54 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473510) Arc: (edge = 0x7fff3e072c70, target = 0x1473410) ] Edge 47 <-> 46 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473410) Arc: (edge = 0x7fff3e072c70, target = 0x1473430) ] Edge 47 <-> 55 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473530) Arc: (edge = 0x7fff3e072c70, target = 0x1473430) ] Edge 48 <-> 49 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473470) Arc: (edge = 0x7fff3e072c70, target = 0x1473450) ] Edge 48 <-> 56 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473550) Arc: (edge = 0x7fff3e072c70, target = 0x1473450) ] Edge 49 <-> 41 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473370) Arc: (edge = 0x7fff3e072c70, target = 0x1473470) ] Edge 50 <-> 49 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473470) Arc: (edge = 0x7fff3e072c70, target = 0x1473490) ] Edge 50 <-> 58 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473590) Arc: (edge = 0x7fff3e072c70, target = 0x1473490) ] Edge 51 <-> 50 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473490) Arc: (edge = 0x7fff3e072c70, target = 0x14734b0) ] Edge 51 <-> 59 [ Arc: (edge = 0x7fff3e072c70, target = 0x14735b0) Arc: (edge = 0x7fff3e072c70, target = 0x14734b0) ] Edge 52 <-> 51 [ Arc: (edge = 0x7fff3e072c70, target = 0x14734b0) Arc: (edge = 0x7fff3e072c70, target = 0x14734d0) ] Edge 52 <-> 60 [ Arc: (edge = 0x7fff3e072c70, target = 0x14735d0) Arc: (edge = 0x7fff3e072c70, target = 0x14734d0) ] Edge 53 <-> 52 [ Arc: (edge = 0x7fff3e072c70, target = 0x14734d0) Arc: (edge = 0x7fff3e072c70, target = 0x14734f0) ] Edge 53 <-> 61 [ Arc: (edge = 0x7fff3e072c70, target = 0x14735f0) Arc: (edge = 0x7fff3e072c70, target = 0x14734f0) ] Edge 54 <-> 53 [ Arc: (edge = 0x7fff3e072c70, target = 0x14734f0) Arc: (edge = 0x7fff3e072c70, target = 0x1473510) ] Edge 54 <-> 62 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473610) Arc: (edge = 0x7fff3e072c70, target = 0x1473510) ] Edge 55 <-> 54 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473510) Arc: (edge = 0x7fff3e072c70, target = 0x1473530) ] Edge 55 <-> 63 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473630) Arc: (edge = 0x7fff3e072c70, target = 0x1473530) ] Edge 56 <-> 57 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473570) Arc: (edge = 0x7fff3e072c70, target = 0x1473550) ] Edge 57 <-> 49 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473470) Arc: (edge = 0x7fff3e072c70, target = 0x1473570) ] Edge 58 <-> 57 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473570) Arc: (edge = 0x7fff3e072c70, target = 0x1473590) ] Edge 59 <-> 58 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473590) Arc: (edge = 0x7fff3e072c70, target = 0x14735b0) ] Edge 60 <-> 59 [ Arc: (edge = 0x7fff3e072c70, target = 0x14735b0) Arc: (edge = 0x7fff3e072c70, target = 0x14735d0) ] Edge 61 <-> 60 [ Arc: (edge = 0x7fff3e072c70, target = 0x14735d0) Arc: (edge = 0x7fff3e072c70, target = 0x14735f0) ] Edge 62 <-> 61 [ Arc: (edge = 0x7fff3e072c70, target = 0x14735f0) Arc: (edge = 0x7fff3e072c70, target = 0x1473610) ] Edge 63 <-> 62 [ Arc: (edge = 0x7fff3e072c70, target = 0x1473610) Arc: (edge = 0x7fff3e072c70, target = 0x1473630) ] ] Robot arrangement: (|R| = 12, |V| = 64) [ robot locations: {1#6 2#41 3#44 4#31 5#24 6#16 7#10 8#49 9#60 10#56 11#57 12#30 } vertex occupancy: {0#0 0#1 0#2 0#3 0#4 0#5 1#6 0#7 0#8 0#9 7#10 0#11 0#12 0#13 0#14 0#15 6#16 0#17 0#18 0#19 0#20 0#21 0#22 0#23 5#24 0#25 0#26 0#27 0#28 0#29 12#30 4#31 0#32 0#33 0#34 0#35 0#36 0#37 0#38 0#39 0#40 2#41 0#42 0#43 3#44 0#45 0#46 0#47 0#48 8#49 0#50 0#51 0#52 0#53 0#54 0#55 10#56 11#57 0#58 0#59 9#60 0#61 0#62 0#63 } ] Robot arrangement: (|R| = 12, |V| = 64) [ robot locations: {1#2 2#49 3#8 4#34 5#12 6#7 7#15 8#19 9#24 10#47 11#23 12#54 } vertex occupancy: {0#0 0#1 1#2 0#3 0#4 0#5 0#6 6#7 3#8 0#9 0#10 0#11 5#12 0#13 0#14 7#15 0#16 0#17 0#18 8#19 0#20 0#21 0#22 11#23 9#24 0#25 0#26 0#27 0#28 0#29 0#30 0#31 0#32 0#33 4#34 0#35 0#36 0#37 0#38 0#39 0#40 0#41 0#42 0#43 0#44 0#45 0#46 10#47 0#48 2#49 0#50 0#51 0#52 0#53 12#54 0#55 0#56 0#57 0#58 0#59 0#60 0#61 0#62 0#63 } ] Original solution: Mulirobot solution: (|moves| = 142, paralellism = 3.463) [ Step 0: 12#30->22 10#56->48 7#10->2 4#31->30 1#6->5 9#60->52 Step 1: 10#48->40 12#22->14 4#30->22 8#49->48 11#57->49 7#2->0 Step 2: 10#40->32 2#41->40 11#49->41 12#14->6 Step 3: 10#32->33 Step 4: 10#33->34 11#41->33 2#40->41 8#48->40 Step 5: 10#34->35 11#33->25 8#40->32 2#41->49 Step 6: 10#35->36 11#25->17 5#24->25 8#32->24 Step 7: 10#36->37 11#17->9 3#44->36 9#52->44 6#16->17 8#24->16 Step 8: 10#37->38 11#9->10 9#44->43 3#36->28 8#16->8 Step 9: 10#38->39 11#10->11 3#28->20 9#43->42 8#8->9 Step 10: 10#39->47 11#11->12 9#42->34 8#9->10 6#17->9 5#25->17 Step 11: 11#12->13 3#20->12 9#34->26 8#10->11 Step 12: 11#13->14 9#26->18 8#11->19 3#12->4 Step 13: 11#14->15 4#22->14 9#18->10 Step 14: 11#15->23 4#14->15 12#6->14 1#5->6 9#10->11 3#4->5 Step 15: 12#14->22 4#15->14 1#6->7 9#11->3 3#5->6 Step 16: 12#22->30 4#14->13 9#3->4 3#6->14 Step 17: 12#30->38 4#13->12 3#14->13 Step 18: 12#38->46 4#12->11 9#4->12 Step 19: 12#46->54 4#11->10 9#12->11 3#13->12 Step 20: 4#10->18 6#9->10 Step 21: 4#18->26 6#10->2 9#11->10 Step 22: 4#26->34 6#2->3 9#10->9 7#0->2 Step 23: 6#3->4 9#9->8 5#17->9 7#2->3 Step 24: 9#8->16 6#4->5 7#3->4 5#9->0 Step 25: 9#16->17 6#5->6 7#4->5 3#12->4 Step 26: 9#17->25 6#6->14 1#7->6 Step 27: 9#25->24 6#14->15 1#6->14 7#5->6 Step 28: 1#14->13 7#6->14 6#15->7 Step 29: 7#14->15 1#13->12 Step 30: 1#12->11 3#4->12 Step 31: 1#11->3 3#12->11 Step 32: 3#11->10 1#3->11 Step 33: 3#10->2 1#11->10 Step 34: 1#10->9 3#2->10 5#0->2 Step 35: 5#2->3 1#9->8 3#10->9 Step 36: 5#3->11 1#8->1 3#9->8 Step 37: 5#11->12 1#1->0 Step 38: 1#0->9 Step 39: 1#9->10 Step 40: 1#10->2 ] reSolved solution: Mulirobot solution: (|moves| = 126, paralellism = 7.000) [ Step 0: 2#41->40 12#30->38 1#6->5 7#10->11 4#31->39 5#24->25 8#49->50 3#44->36 9#60->52 6#16->8 10#56->48 11#57->58 Step 1: 2#40->41 12#38->46 1#5->4 7#11->12 5#25->17 8#50->42 3#36->28 9#52->44 6#8->1 11#58->59 Step 2: 2#41->49 12#46->54 1#4->3 7#12->13 4#39->38 5#17->9 8#42->34 3#28->20 9#44->36 6#1->0 10#48->40 11#59->51 Step 3: 1#3->2 7#13->14 4#38->37 5#9->10 8#34->26 3#20->12 9#36->28 10#40->41 11#51->43 Step 4: 7#14->15 4#37->36 5#10->11 8#26->18 3#12->4 9#28->27 10#41->42 11#43->44 Step 5: 4#36->35 5#11->12 8#18->19 3#4->3 9#27->26 10#42->43 11#44->45 Step 6: 4#35->34 3#3->11 9#26->25 6#0->9 10#43->44 11#45->37 Step 7: 3#11->10 9#25->24 6#9->17 10#44->45 11#37->29 Step 8: 1#2->0 2#49->48 4#34->26 5#12->11 7#15->14 8#19->18 9#24->16 12#54->46 3#10->9 10#45->37 11#29->21 6#17->25 Step 9: 1#0->2 2#48->49 4#26->34 5#11->12 7#14->15 8#18->19 9#16->24 12#46->54 3#9->8 10#37->45 11#21->22 6#25->17 Step 10: 10#45->46 11#22->23 6#17->9 Step 11: 10#46->47 6#9->10 Step 12: 6#10->11 Step 13: 6#11->3 Step 14: 6#3->4 Step 15: 6#4->5 Step 16: 1#2->0 2#49->48 3#8->1 4#34->26 5#12->11 7#15->14 8#19->18 9#24->16 10#47->39 11#23->22 12#54->46 6#5->6 Step 17: 1#0->2 2#48->49 3#1->8 4#26->34 5#11->12 7#14->15 8#18->19 9#16->24 10#39->47 11#22->23 12#46->54 6#6->7 ] Multirobot solution analysis: ( total makespan = 41 total distance = 73 total trajectory = 142 average parallelism = 3.463 average distance = 6.083 average trajectory = 11.833 parallelism distribution = [ 4 7 9 13 3 5 ] distance distribution = [ 1 0 0 1 1 3 0 2 2 0 1 ] trajectory distribution = [ 0 0 1 0 0 0 0 1 2 1 2 1 1 0 0 0 0 2 0 1 ] ) Multirobot solution analysis: ( total makespan = 18 total distance = 73 total trajectory = 126 average parallelism = 7.000 average distance = 6.083 average trajectory = 10.500 parallelism distribution = [ 4 1 1 0 1 1 1 1 1 1 0 6 ] distance distribution = [ 1 0 0 1 1 3 0 2 2 0 1 ] trajectory distribution = [ 0 0 0 0 0 0 2 1 1 3 0 2 2 0 1 ] ) Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 410 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] Sub-phases { Phase (name = 'WHCA*_solving') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 126 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 5143 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 ] } ] ----------------------------------------------------------------