================================================================ 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:70 4 # 31 ---> 30 (0) 4 # 30 ---> 22 (1) 4 # 22 ---> 14 (2) 3 # 44 ---> 36 (0) 3 # 36 ---> 28 (1) 3 # 28 ---> 20 (2) 3 # 20 ---> 12 (3) 5 # 24 ---> 25 (0) 3 # 12 ---> 4 (4) 4 # 14 ---> 13 (3) 4 # 13 ---> 12 (4) 4 # 12 ---> 11 (5) 4 # 11 ---> 10 (6) 4 # 10 ---> 18 (7) 4 # 18 ---> 26 (8) 4 # 26 ---> 34 (9) 5 # 25 ---> 17 (1) 5 # 17 ---> 9 (2) 1 # 6 ---> 14 (3) 3 # 4 ---> 5 (5) 5 # 9 ---> 0 (3) 6 # 16 ---> 17 (2) 6 # 17 ---> 9 (3) 3 # 5 ---> 13 (6) 5 # 0 ---> 2 (4) 2 # 41 ---> 49 (0) 5 # 2 ---> 10 (7) 6 # 9 ---> 0 (4) 6 # 0 ---> 2 (7) 6 # 2 ---> 3 (8) 6 # 3 ---> 4 (9) 6 # 4 ---> 5 (10) 6 # 5 ---> 6 (11) 3 # 13 ---> 5 (11) 1 # 14 ---> 13 (11) 6 # 6 ---> 14 (12) 6 # 14 ---> 15 (13) 1 # 13 ---> 12 (12) 3 # 5 ---> 13 (12) 6 # 15 ---> 7 (14) 1 # 12 ---> 4 (13) 1 # 4 ---> 5 (14) 3 # 13 ---> 12 (13) 1 # 5 ---> 13 (15) 3 # 12 ---> 4 (14) 1 # 13 ---> 12 (16) 1 # 12 ---> 11 (17) 3 # 4 ---> 12 (17) 1 # 11 ---> 3 (18) 3 # 12 ---> 11 (18) 5 # 10 ---> 9 (8) 3 # 11 ---> 10 (19) 1 # 3 ---> 11 (19) 3 # 10 ---> 2 (20) 1 # 11 ---> 10 (20) 5 # 9 ---> 0 (9) 1 # 10 ---> 9 (21) 3 # 2 ---> 10 (21) 5 # 0 ---> 2 (21) 5 # 2 ---> 3 (22) 5 # 3 ---> 11 (23) 5 # 11 ---> 12 (24) 1 # 9 ---> 8 (22) 3 # 10 ---> 9 (22) 1 # 8 ---> 1 (23) 1 # 1 ---> 0 (24) 3 # 9 ---> 8 (23) 1 # 0 ---> 9 (25) 1 # 9 ---> 10 (26) 1 # 10 ---> 2 (27) 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 = 0x7ffff4476870, target = 0x24ede70) Arc: (edge = 0x7ffff4476870, target = 0x24ede50) ] Edge 1 <-> 8 [ Arc: (edge = 0x7ffff4476870, target = 0x24edf50) Arc: (edge = 0x7ffff4476870, target = 0x24ede70) ] Edge 2 <-> 0 [ Arc: (edge = 0x7ffff4476870, target = 0x24ede50) Arc: (edge = 0x7ffff4476870, target = 0x24ede90) ] Edge 3 <-> 2 [ Arc: (edge = 0x7ffff4476870, target = 0x24ede90) Arc: (edge = 0x7ffff4476870, target = 0x24edeb0) ] Edge 4 <-> 3 [ Arc: (edge = 0x7ffff4476870, target = 0x24edeb0) Arc: (edge = 0x7ffff4476870, target = 0x24eded0) ] Edge 5 <-> 4 [ Arc: (edge = 0x7ffff4476870, target = 0x24eded0) Arc: (edge = 0x7ffff4476870, target = 0x24edef0) ] Edge 6 <-> 5 [ Arc: (edge = 0x7ffff4476870, target = 0x24edef0) Arc: (edge = 0x7ffff4476870, target = 0x24edf10) ] Edge 7 <-> 6 [ Arc: (edge = 0x7ffff4476870, target = 0x24edf10) Arc: (edge = 0x7ffff4476870, target = 0x24edf30) ] Edge 8 <-> 9 [ Arc: (edge = 0x7ffff4476870, target = 0x24edf70) Arc: (edge = 0x7ffff4476870, target = 0x24edf50) ] Edge 8 <-> 16 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee050) Arc: (edge = 0x7ffff4476870, target = 0x24edf50) ] Edge 9 <-> 0 [ Arc: (edge = 0x7ffff4476870, target = 0x24ede50) Arc: (edge = 0x7ffff4476870, target = 0x24edf70) ] Edge 9 <-> 10 [ Arc: (edge = 0x7ffff4476870, target = 0x24edf90) Arc: (edge = 0x7ffff4476870, target = 0x24edf70) ] Edge 10 <-> 2 [ Arc: (edge = 0x7ffff4476870, target = 0x24ede90) Arc: (edge = 0x7ffff4476870, target = 0x24edf90) ] Edge 10 <-> 11 [ Arc: (edge = 0x7ffff4476870, target = 0x24edfb0) Arc: (edge = 0x7ffff4476870, target = 0x24edf90) ] Edge 10 <-> 18 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee090) Arc: (edge = 0x7ffff4476870, target = 0x24edf90) ] Edge 11 <-> 3 [ Arc: (edge = 0x7ffff4476870, target = 0x24edeb0) Arc: (edge = 0x7ffff4476870, target = 0x24edfb0) ] Edge 11 <-> 12 [ Arc: (edge = 0x7ffff4476870, target = 0x24edfd0) Arc: (edge = 0x7ffff4476870, target = 0x24edfb0) ] Edge 11 <-> 19 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee0b0) Arc: (edge = 0x7ffff4476870, target = 0x24edfb0) ] Edge 12 <-> 4 [ Arc: (edge = 0x7ffff4476870, target = 0x24eded0) Arc: (edge = 0x7ffff4476870, target = 0x24edfd0) ] Edge 12 <-> 13 [ Arc: (edge = 0x7ffff4476870, target = 0x24edff0) Arc: (edge = 0x7ffff4476870, target = 0x24edfd0) ] Edge 12 <-> 20 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee0d0) Arc: (edge = 0x7ffff4476870, target = 0x24edfd0) ] Edge 13 <-> 5 [ Arc: (edge = 0x7ffff4476870, target = 0x24edef0) Arc: (edge = 0x7ffff4476870, target = 0x24edff0) ] Edge 13 <-> 14 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee010) Arc: (edge = 0x7ffff4476870, target = 0x24edff0) ] Edge 13 <-> 21 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee0f0) Arc: (edge = 0x7ffff4476870, target = 0x24edff0) ] Edge 14 <-> 6 [ Arc: (edge = 0x7ffff4476870, target = 0x24edf10) Arc: (edge = 0x7ffff4476870, target = 0x24ee010) ] Edge 14 <-> 15 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee030) Arc: (edge = 0x7ffff4476870, target = 0x24ee010) ] Edge 14 <-> 22 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee110) Arc: (edge = 0x7ffff4476870, target = 0x24ee010) ] Edge 15 <-> 7 [ Arc: (edge = 0x7ffff4476870, target = 0x24edf30) Arc: (edge = 0x7ffff4476870, target = 0x24ee030) ] Edge 15 <-> 23 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee130) Arc: (edge = 0x7ffff4476870, target = 0x24ee030) ] Edge 16 <-> 17 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee070) Arc: (edge = 0x7ffff4476870, target = 0x24ee050) ] Edge 16 <-> 24 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee150) Arc: (edge = 0x7ffff4476870, target = 0x24ee050) ] Edge 17 <-> 9 [ Arc: (edge = 0x7ffff4476870, target = 0x24edf70) Arc: (edge = 0x7ffff4476870, target = 0x24ee070) ] Edge 18 <-> 17 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee070) Arc: (edge = 0x7ffff4476870, target = 0x24ee090) ] Edge 18 <-> 26 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee190) Arc: (edge = 0x7ffff4476870, target = 0x24ee090) ] Edge 19 <-> 18 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee090) Arc: (edge = 0x7ffff4476870, target = 0x24ee0b0) ] Edge 19 <-> 27 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee1b0) Arc: (edge = 0x7ffff4476870, target = 0x24ee0b0) ] Edge 20 <-> 19 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee0b0) Arc: (edge = 0x7ffff4476870, target = 0x24ee0d0) ] Edge 20 <-> 28 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee1d0) Arc: (edge = 0x7ffff4476870, target = 0x24ee0d0) ] Edge 21 <-> 20 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee0d0) Arc: (edge = 0x7ffff4476870, target = 0x24ee0f0) ] Edge 21 <-> 29 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee1f0) Arc: (edge = 0x7ffff4476870, target = 0x24ee0f0) ] Edge 22 <-> 21 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee0f0) Arc: (edge = 0x7ffff4476870, target = 0x24ee110) ] Edge 22 <-> 30 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee210) Arc: (edge = 0x7ffff4476870, target = 0x24ee110) ] Edge 23 <-> 22 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee110) Arc: (edge = 0x7ffff4476870, target = 0x24ee130) ] Edge 23 <-> 31 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee230) Arc: (edge = 0x7ffff4476870, target = 0x24ee130) ] Edge 24 <-> 25 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee170) Arc: (edge = 0x7ffff4476870, target = 0x24ee150) ] Edge 24 <-> 32 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee250) Arc: (edge = 0x7ffff4476870, target = 0x24ee150) ] Edge 25 <-> 17 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee070) Arc: (edge = 0x7ffff4476870, target = 0x24ee170) ] Edge 26 <-> 25 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee170) Arc: (edge = 0x7ffff4476870, target = 0x24ee190) ] Edge 26 <-> 34 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee290) Arc: (edge = 0x7ffff4476870, target = 0x24ee190) ] Edge 27 <-> 26 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee190) Arc: (edge = 0x7ffff4476870, target = 0x24ee1b0) ] Edge 27 <-> 35 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee2b0) Arc: (edge = 0x7ffff4476870, target = 0x24ee1b0) ] Edge 28 <-> 27 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee1b0) Arc: (edge = 0x7ffff4476870, target = 0x24ee1d0) ] Edge 28 <-> 36 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee2d0) Arc: (edge = 0x7ffff4476870, target = 0x24ee1d0) ] Edge 29 <-> 28 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee1d0) Arc: (edge = 0x7ffff4476870, target = 0x24ee1f0) ] Edge 29 <-> 37 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee2f0) Arc: (edge = 0x7ffff4476870, target = 0x24ee1f0) ] Edge 30 <-> 29 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee1f0) Arc: (edge = 0x7ffff4476870, target = 0x24ee210) ] Edge 30 <-> 38 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee310) Arc: (edge = 0x7ffff4476870, target = 0x24ee210) ] Edge 31 <-> 30 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee210) Arc: (edge = 0x7ffff4476870, target = 0x24ee230) ] Edge 31 <-> 39 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee330) Arc: (edge = 0x7ffff4476870, target = 0x24ee230) ] Edge 32 <-> 33 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee270) Arc: (edge = 0x7ffff4476870, target = 0x24ee250) ] Edge 32 <-> 40 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee350) Arc: (edge = 0x7ffff4476870, target = 0x24ee250) ] Edge 33 <-> 25 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee170) Arc: (edge = 0x7ffff4476870, target = 0x24ee270) ] Edge 34 <-> 33 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee270) Arc: (edge = 0x7ffff4476870, target = 0x24ee290) ] Edge 34 <-> 42 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee390) Arc: (edge = 0x7ffff4476870, target = 0x24ee290) ] Edge 35 <-> 34 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee290) Arc: (edge = 0x7ffff4476870, target = 0x24ee2b0) ] Edge 35 <-> 43 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee3b0) Arc: (edge = 0x7ffff4476870, target = 0x24ee2b0) ] Edge 36 <-> 35 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee2b0) Arc: (edge = 0x7ffff4476870, target = 0x24ee2d0) ] Edge 36 <-> 44 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee3d0) Arc: (edge = 0x7ffff4476870, target = 0x24ee2d0) ] Edge 37 <-> 36 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee2d0) Arc: (edge = 0x7ffff4476870, target = 0x24ee2f0) ] Edge 37 <-> 45 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee3f0) Arc: (edge = 0x7ffff4476870, target = 0x24ee2f0) ] Edge 38 <-> 37 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee2f0) Arc: (edge = 0x7ffff4476870, target = 0x24ee310) ] Edge 38 <-> 46 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee410) Arc: (edge = 0x7ffff4476870, target = 0x24ee310) ] Edge 39 <-> 38 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee310) Arc: (edge = 0x7ffff4476870, target = 0x24ee330) ] Edge 39 <-> 47 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee430) Arc: (edge = 0x7ffff4476870, target = 0x24ee330) ] Edge 40 <-> 41 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee370) Arc: (edge = 0x7ffff4476870, target = 0x24ee350) ] Edge 40 <-> 48 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee450) Arc: (edge = 0x7ffff4476870, target = 0x24ee350) ] Edge 41 <-> 33 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee270) Arc: (edge = 0x7ffff4476870, target = 0x24ee370) ] Edge 42 <-> 41 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee370) Arc: (edge = 0x7ffff4476870, target = 0x24ee390) ] Edge 42 <-> 50 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee490) Arc: (edge = 0x7ffff4476870, target = 0x24ee390) ] Edge 43 <-> 42 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee390) Arc: (edge = 0x7ffff4476870, target = 0x24ee3b0) ] Edge 43 <-> 51 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee4b0) Arc: (edge = 0x7ffff4476870, target = 0x24ee3b0) ] Edge 44 <-> 43 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee3b0) Arc: (edge = 0x7ffff4476870, target = 0x24ee3d0) ] Edge 44 <-> 52 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee4d0) Arc: (edge = 0x7ffff4476870, target = 0x24ee3d0) ] Edge 45 <-> 44 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee3d0) Arc: (edge = 0x7ffff4476870, target = 0x24ee3f0) ] Edge 45 <-> 53 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee4f0) Arc: (edge = 0x7ffff4476870, target = 0x24ee3f0) ] Edge 46 <-> 45 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee3f0) Arc: (edge = 0x7ffff4476870, target = 0x24ee410) ] Edge 46 <-> 54 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee510) Arc: (edge = 0x7ffff4476870, target = 0x24ee410) ] Edge 47 <-> 46 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee410) Arc: (edge = 0x7ffff4476870, target = 0x24ee430) ] Edge 47 <-> 55 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee530) Arc: (edge = 0x7ffff4476870, target = 0x24ee430) ] Edge 48 <-> 49 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee470) Arc: (edge = 0x7ffff4476870, target = 0x24ee450) ] Edge 48 <-> 56 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee550) Arc: (edge = 0x7ffff4476870, target = 0x24ee450) ] Edge 49 <-> 41 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee370) Arc: (edge = 0x7ffff4476870, target = 0x24ee470) ] Edge 50 <-> 49 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee470) Arc: (edge = 0x7ffff4476870, target = 0x24ee490) ] Edge 50 <-> 58 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee590) Arc: (edge = 0x7ffff4476870, target = 0x24ee490) ] Edge 51 <-> 50 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee490) Arc: (edge = 0x7ffff4476870, target = 0x24ee4b0) ] Edge 51 <-> 59 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee5b0) Arc: (edge = 0x7ffff4476870, target = 0x24ee4b0) ] Edge 52 <-> 51 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee4b0) Arc: (edge = 0x7ffff4476870, target = 0x24ee4d0) ] Edge 52 <-> 60 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee5d0) Arc: (edge = 0x7ffff4476870, target = 0x24ee4d0) ] Edge 53 <-> 52 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee4d0) Arc: (edge = 0x7ffff4476870, target = 0x24ee4f0) ] Edge 53 <-> 61 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee5f0) Arc: (edge = 0x7ffff4476870, target = 0x24ee4f0) ] Edge 54 <-> 53 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee4f0) Arc: (edge = 0x7ffff4476870, target = 0x24ee510) ] Edge 54 <-> 62 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee610) Arc: (edge = 0x7ffff4476870, target = 0x24ee510) ] Edge 55 <-> 54 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee510) Arc: (edge = 0x7ffff4476870, target = 0x24ee530) ] Edge 55 <-> 63 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee630) Arc: (edge = 0x7ffff4476870, target = 0x24ee530) ] Edge 56 <-> 57 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee570) Arc: (edge = 0x7ffff4476870, target = 0x24ee550) ] Edge 57 <-> 49 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee470) Arc: (edge = 0x7ffff4476870, target = 0x24ee570) ] Edge 58 <-> 57 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee570) Arc: (edge = 0x7ffff4476870, target = 0x24ee590) ] Edge 59 <-> 58 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee590) Arc: (edge = 0x7ffff4476870, target = 0x24ee5b0) ] Edge 60 <-> 59 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee5b0) Arc: (edge = 0x7ffff4476870, target = 0x24ee5d0) ] Edge 61 <-> 60 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee5d0) Arc: (edge = 0x7ffff4476870, target = 0x24ee5f0) ] Edge 62 <-> 61 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee5f0) Arc: (edge = 0x7ffff4476870, target = 0x24ee610) ] Edge 63 <-> 62 [ Arc: (edge = 0x7ffff4476870, target = 0x24ee610) Arc: (edge = 0x7ffff4476870, target = 0x24ee630) ] ] Robot arrangement: (|R| = 6, |V| = 64) [ robot locations: {1#6 2#41 3#44 4#31 5#24 6#16 } vertex occupancy: {0#0 0#1 0#2 0#3 0#4 0#5 1#6 0#7 0#8 0#9 0#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 0#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 0#49 0#50 0#51 0#52 0#53 0#54 0#55 0#56 0#57 0#58 0#59 0#60 0#61 0#62 0#63 } ] Robot arrangement: (|R| = 6, |V| = 64) [ robot locations: {1#2 2#49 3#8 4#34 5#12 6#7 } 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 0#15 0#16 0#17 0#18 0#19 0#20 0#21 0#22 0#23 0#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 0#47 0#48 2#49 0#50 0#51 0#52 0#53 0#54 0#55 0#56 0#57 0#58 0#59 0#60 0#61 0#62 0#63 } ] Original solution: Mulirobot solution: (|moves| = 70, paralellism = 2.500) [ Step 0: 4#31->30 3#44->36 5#24->25 2#41->49 Step 1: 4#30->22 3#36->28 5#25->17 Step 2: 4#22->14 3#28->20 5#17->9 6#16->17 Step 3: 3#20->12 4#14->13 1#6->14 5#9->0 6#17->9 Step 4: 3#12->4 4#13->12 5#0->2 6#9->0 Step 5: 4#12->11 3#4->5 Step 6: 4#11->10 3#5->13 Step 7: 4#10->18 5#2->10 6#0->2 Step 8: 4#18->26 6#2->3 5#10->9 Step 9: 4#26->34 6#3->4 5#9->0 Step 10: 6#4->5 Step 11: 6#5->6 3#13->5 1#14->13 Step 12: 6#6->14 1#13->12 3#5->13 Step 13: 6#14->15 1#12->4 3#13->12 Step 14: 6#15->7 1#4->5 3#12->4 Step 15: 1#5->13 Step 16: 1#13->12 Step 17: 1#12->11 3#4->12 Step 18: 1#11->3 3#12->11 Step 19: 3#11->10 1#3->11 Step 20: 3#10->2 1#11->10 Step 21: 1#10->9 3#2->10 5#0->2 Step 22: 5#2->3 1#9->8 3#10->9 Step 23: 5#3->11 1#8->1 3#9->8 Step 24: 5#11->12 1#1->0 Step 25: 1#0->9 Step 26: 1#9->10 Step 27: 1#10->2 ] reSolved solution: Mulirobot solution: (|moves| = 46, paralellism = 3.833) [ Step 0: 2#41->49 1#6->5 4#31->30 5#24->25 3#44->36 6#16->8 Step 1: 1#5->4 4#30->29 5#25->17 3#36->35 6#8->1 Step 2: 1#4->3 4#29->28 5#17->9 3#35->34 6#1->0 Step 3: 1#3->2 4#28->27 5#9->10 3#34->33 Step 4: 4#27->26 5#10->11 3#33->32 6#0->9 Step 5: 4#26->34 5#11->12 3#32->24 6#9->10 Step 6: 3#24->16 6#10->11 Step 7: 3#16->8 6#11->3 Step 8: 1#2->0 2#49->48 3#8->1 4#34->26 5#12->11 6#3->4 Step 9: 1#0->2 2#48->49 3#1->8 4#26->34 5#11->12 6#4->5 Step 10: 6#5->6 Step 11: 6#6->7 ] Multirobot solution analysis: ( total makespan = 28 total distance = 25 total trajectory = 70 average parallelism = 2.500 average distance = 4.167 average trajectory = 11.667 parallelism distribution = [ 6 7 11 3 1 ] distance distribution = [ 1 0 0 1 0 2 0 1 ] trajectory distribution = [ 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 2 ] ) Multirobot solution analysis: ( total makespan = 12 total distance = 25 total trajectory = 46 average parallelism = 3.833 average distance = 4.167 average trajectory = 7.667 parallelism distribution = [ 2 2 0 3 2 3 ] distance distribution = [ 1 0 0 1 0 2 0 1 ] trajectory distribution = [ 0 0 1 0 0 1 0 2 0 1 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 = 186 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 = 46 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 1591 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 ] } ] ----------------------------------------------------------------