================================================================ 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:561 17 # 43 ---> 42 (0) 25 # 51 ---> 43 (0) 24 # 50 ---> 51 (0) 24 # 51 ---> 52 (1) 24 # 52 ---> 53 (2) 24 # 53 ---> 54 (3) 24 # 54 ---> 55 (4) 23 # 62 ---> 54 (4) 24 # 55 ---> 63 (5) 21 # 22 ---> 14 (0) 12 # 30 ---> 22 (0) 4 # 31 ---> 30 (0) 12 # 22 ---> 23 (1) 4 # 30 ---> 22 (1) 22 # 39 ---> 38 (0) 23 # 54 ---> 46 (5) 16 # 40 ---> 32 (0) 20 # 48 ---> 40 (0) 10 # 56 ---> 48 (0) 11 # 57 ---> 56 (0) 8 # 49 ---> 57 (0) 2 # 41 ---> 49 (0) 20 # 40 ---> 41 (1) 10 # 48 ---> 40 (1) 2 # 49 ---> 48 (1) 20 # 41 ---> 49 (2) 15 # 33 ---> 41 (2) 16 # 32 ---> 33 (2) 10 # 40 ---> 32 (2) 15 # 41 ---> 40 (3) 16 # 33 ---> 41 (3) 10 # 32 ---> 33 (3) 10 # 33 ---> 34 (4) 10 # 34 ---> 35 (5) 10 # 35 ---> 36 (6) 5 # 24 ---> 32 (3) 18 # 28 ---> 27 (0) 28 # 37 ---> 29 (0) 10 # 36 ---> 37 (7) 28 # 29 ---> 28 (1) 22 # 38 ---> 30 (1) 10 # 37 ---> 38 (8) 10 # 38 ---> 39 (9) 23 # 46 ---> 38 (9) 19 # 47 ---> 46 (9) 10 # 39 ---> 47 (10) 23 # 38 ---> 39 (10) 19 # 46 ---> 38 (10) 26 # 9 ---> 0 (0) 13 # 1 ---> 8 (0) 26 # 0 ---> 1 (1) 7 # 10 ---> 2 (0) 7 # 2 ---> 0 (1) 1 # 6 ---> 5 (0) 21 # 14 ---> 6 (1) 4 # 22 ---> 14 (2) 12 # 23 ---> 22 (2) 19 # 38 ---> 37 (11) 23 # 39 ---> 38 (11) 22 # 30 ---> 31 (2) 23 # 38 ---> 30 (12) 14 # 18 ---> 26 (0) 4 # 14 ---> 13 (3) 12 # 22 ---> 14 (3) 23 # 30 ---> 22 (13) 22 # 31 ---> 30 (13) 23 # 22 ---> 23 (14) 22 # 30 ---> 22 (14) 20 # 49 ---> 50 (3) 2 # 48 ---> 49 (3) 11 # 56 ---> 48 (3) 8 # 57 ---> 56 (3) 2 # 49 ---> 57 (4) 16 # 41 ---> 49 (4) 15 # 40 ---> 41 (4) 11 # 48 ---> 40 (4) 16 # 49 ---> 48 (5) 5 # 32 ---> 33 (4) 11 # 40 ---> 32 (5) 11 # 32 ---> 24 (6) 5 # 33 ---> 32 (6) 6 # 16 ---> 17 (0) 11 # 24 ---> 16 (7) 6 # 17 ---> 25 (1) 13 # 8 ---> 9 (1) 11 # 16 ---> 8 (8) 13 # 9 ---> 17 (2) 11 # 8 ---> 9 (9) 11 # 9 ---> 10 (10) 11 # 10 ---> 11 (11) 11 # 11 ---> 12 (12) 26 # 1 ---> 8 (9) 7 # 0 ---> 1 (9) 1 # 5 ---> 4 (1) 4 # 13 ---> 5 (4) 11 # 12 ---> 13 (13) 1 # 4 ---> 12 (13) 4 # 5 ---> 4 (13) 21 # 6 ---> 5 (13) 12 # 14 ---> 6 (13) 11 # 13 ---> 14 (14) 11 # 14 ---> 15 (15) 22 # 22 ---> 14 (15) 23 # 23 ---> 22 (15) 11 # 15 ---> 23 (16) 22 # 14 ---> 15 (16) 23 # 22 ---> 14 (16) 22 # 15 ---> 7 (17) 23 # 14 ---> 15 (17) 12 # 6 ---> 14 (17) 12 # 14 ---> 22 (18) 12 # 22 ---> 30 (19) 12 # 30 ---> 38 (20) 12 # 38 ---> 46 (21) 12 # 46 ---> 54 (22) 4 # 4 ---> 3 (14) 1 # 12 ---> 4 (14) 19 # 37 ---> 29 (12) 5 # 32 ---> 40 (7) 6 # 25 ---> 24 (7) 6 # 24 ---> 32 (8) 19 # 29 ---> 21 (13) 19 # 21 ---> 13 (14) 4 # 3 ---> 11 (15) 1 # 4 ---> 3 (15) 21 # 5 ---> 4 (15) 9 # 60 ---> 52 (2) 4 # 11 ---> 10 (16) 1 # 3 ---> 11 (16) 4 # 10 ---> 2 (17) 1 # 11 ---> 10 (17) 21 # 4 ---> 12 (16) 21 # 12 ---> 11 (17) 19 # 13 ---> 12 (17) 3 # 44 ---> 45 (0) 9 # 52 ---> 44 (3) 9 # 44 ---> 36 (7) 3 # 45 ---> 44 (7) 9 # 36 ---> 37 (12) 3 # 44 ---> 36 (12) 3 # 36 ---> 35 (13) 9 # 37 ---> 36 (13) 28 # 28 ---> 29 (13) 9 # 36 ---> 28 (14) 17 # 42 ---> 34 (5) 14 # 26 ---> 25 (7) 17 # 34 ---> 26 (7) 17 # 26 ---> 18 (8) 17 # 18 ---> 19 (9) 17 # 19 ---> 20 (10) 17 # 20 ---> 21 (14) 9 # 28 ---> 20 (15) 28 # 29 ---> 28 (15) 17 # 21 ---> 29 (15) 9 # 20 ---> 21 (16) 28 # 28 ---> 20 (16) 27 # 59 ---> 51 (1) 29 # 58 ---> 59 (1) 20 # 50 ---> 58 (4) 25 # 43 ---> 42 (5) 27 # 51 ---> 43 (5) 25 # 42 ---> 50 (6) 3 # 35 ---> 34 (14) 27 # 43 ---> 35 (14) 3 # 34 ---> 42 (15) 18 # 27 ---> 26 (8) 27 # 35 ---> 27 (15) 27 # 27 ---> 19 (16) 18 # 26 ---> 27 (16) 1 # 10 ---> 18 (18) 21 # 11 ---> 10 (18) 27 # 19 ---> 11 (18) 28 # 20 ---> 19 (18) 19 # 12 ---> 20 (18) 27 # 11 ---> 12 (19) 27 # 12 ---> 13 (20) 19 # 20 ---> 12 (20) 9 # 21 ---> 20 (20) 27 # 13 ---> 21 (21) 19 # 12 ---> 13 (21) 9 # 20 ---> 12 (21) 23 # 15 ---> 14 (18) 19 # 13 ---> 5 (22) 23 # 14 ---> 13 (22) 9 # 12 ---> 4 (22) 23 # 13 ---> 12 (23) 23 # 12 ---> 20 (24) 23 # 20 ---> 28 (25) 23 # 28 ---> 36 (26) 23 # 36 ---> 44 (27) 23 # 44 ---> 52 (28) 29 # 59 ---> 51 (5) 23 # 52 ---> 60 (29) 21 # 10 ---> 9 (19) 1 # 18 ---> 10 (19) 13 # 17 ---> 18 (19) 21 # 9 ---> 17 (20) 1 # 10 ---> 9 (20) 28 # 19 ---> 11 (19) 13 # 18 ---> 19 (20) 13 # 19 ---> 20 (25) 13 # 20 ---> 28 (26) 13 # 28 ---> 36 (27) 13 # 36 ---> 44 (28) 13 # 44 ---> 52 (29) 29 # 51 ---> 43 (14) 29 # 43 ---> 35 (15) 18 # 27 ---> 28 (27) 29 # 35 ---> 27 (27) 14 # 25 ---> 24 (8) 21 # 17 ---> 25 (21) 29 # 27 ---> 19 (28) 18 # 28 ---> 27 (28) 29 # 19 ---> 20 (29) 18 # 27 ---> 19 (29) 15 # 41 ---> 33 (6) 5 # 40 ---> 41 (8) 6 # 32 ---> 40 (9) 14 # 24 ---> 32 (9) 21 # 25 ---> 24 (22) 15 # 33 ---> 25 (22) 15 # 25 ---> 17 (23) 21 # 24 ---> 25 (23) 26 # 8 ---> 16 (10) 1 # 9 ---> 8 (21) 15 # 17 ---> 9 (24) 15 # 9 ---> 10 (25) 4 # 2 ---> 0 (18) 28 # 11 ---> 3 (20) 15 # 10 ---> 11 (26) 15 # 11 ---> 12 (27) 18 # 19 ---> 11 (30) 29 # 20 ---> 19 (30) 15 # 12 ---> 20 (30) 18 # 11 ---> 12 (31) 29 # 19 ---> 11 (31) 19 # 5 ---> 13 (23) 19 # 13 ---> 14 (24) 18 # 12 ---> 13 (32) 9 # 4 ---> 12 (32) 18 # 13 ---> 5 (33) 9 # 12 ---> 13 (33) 29 # 11 ---> 12 (33) 28 # 3 ---> 11 (33) 29 # 12 ---> 4 (34) 28 # 11 ---> 12 (34) 25 # 50 ---> 49 (7) 20 # 58 ---> 50 (7) 3 # 42 ---> 43 (16) 20 # 50 ---> 42 (16) 20 # 42 ---> 34 (17) 20 # 34 ---> 35 (27) 3 # 43 ---> 42 (17) 20 # 35 ---> 43 (28) 3 # 42 ---> 34 (27) 25 # 49 ---> 50 (16) 5 # 41 ---> 49 (16) 3 # 34 ---> 33 (28) 18 # 5 ---> 6 (34) 9 # 13 ---> 5 (34) 19 # 14 ---> 13 (34) 18 # 6 ---> 14 (35) 9 # 5 ---> 6 (35) 29 # 4 ---> 5 (35) 28 # 12 ---> 4 (35) 19 # 13 ---> 12 (35) 19 # 12 ---> 11 (36) 19 # 11 ---> 19 (37) 19 # 19 ---> 27 (38) 2 # 57 ---> 58 (7) 5 # 49 ---> 57 (17) 16 # 48 ---> 49 (17) 8 # 56 ---> 48 (17) 5 # 57 ---> 56 (18) 16 # 49 ---> 57 (18) 6 # 40 ---> 41 (16) 8 # 48 ---> 40 (18) 6 # 41 ---> 49 (18) 3 # 33 ---> 41 (29) 14 # 32 ---> 33 (29) 8 # 40 ---> 32 (29) 8 # 32 ---> 24 (30) 14 # 33 ---> 32 (30) 26 # 16 ---> 17 (24) 8 # 24 ---> 16 (31) 21 # 25 ---> 24 (31) 26 # 17 ---> 25 (31) 1 # 8 ---> 9 (25) 8 # 16 ---> 8 (32) 1 # 9 ---> 17 (31) 8 # 8 ---> 9 (33) 8 # 9 ---> 10 (34) 8 # 10 ---> 11 (37) 8 # 11 ---> 19 (38) 25 # 50 ---> 42 (27) 18 # 14 ---> 15 (36) 9 # 6 ---> 14 (36) 22 # 7 ---> 6 (36) 18 # 15 ---> 7 (37) 9 # 14 ---> 15 (37) 29 # 5 ---> 13 (36) 22 # 6 ---> 5 (37) 29 # 13 ---> 14 (37) 28 # 4 ---> 12 (36) 22 # 5 ---> 4 (38) 22 # 4 ---> 3 (39) 22 # 3 ---> 2 (40) 22 # 2 ---> 10 (41) 22 # 10 ---> 18 (42) 22 # 18 ---> 26 (43) 22 # 26 ---> 34 (44) 4 # 0 ---> 2 (41) 1 # 17 ---> 9 (34) 26 # 25 ---> 17 (34) 3 # 41 ---> 33 (30) 25 # 42 ---> 41 (30) 22 # 34 ---> 42 (45) 22 # 42 ---> 50 (46) 6 # 49 ---> 48 (19) 16 # 57 ---> 49 (19) 2 # 58 ---> 57 (19) 22 # 50 ---> 58 (47) 28 # 12 ---> 11 (38) 28 # 11 ---> 10 (42) 28 # 10 ---> 18 (43) 28 # 18 ---> 26 (44) 28 # 26 ---> 34 (45) 28 # 34 ---> 42 (46) 28 # 42 ---> 50 (47) 25 # 41 ---> 42 (47) 16 # 49 ---> 41 (47) 1 # 9 ---> 8 (35) 26 # 17 ---> 9 (35) 16 # 41 ---> 40 (48) 25 # 42 ---> 41 (48) 3 # 33 ---> 34 (46) 25 # 41 ---> 33 (49) 4 # 2 ---> 10 (43) 4 # 10 ---> 18 (44) 4 # 18 ---> 26 (45) 25 # 33 ---> 25 (50) 3 # 34 ---> 33 (50) 4 # 26 ---> 34 (50) 25 # 25 ---> 26 (51) 3 # 33 ---> 25 (51) 21 # 24 ---> 16 (32) 21 # 16 ---> 17 (35) 21 # 17 ---> 18 (45) 3 # 25 ---> 17 (52) 25 # 26 ---> 25 (52) 21 # 18 ---> 26 (52) 3 # 17 ---> 18 (53) 25 # 25 ---> 17 (53) 25 # 17 ---> 16 (54) 3 # 18 ---> 17 (54) 26 # 9 ---> 10 (44) 3 # 17 ---> 9 (55) 6 # 48 ---> 49 (47) 26 # 10 ---> 2 (45) 26 # 2 ---> 3 (46) 3 # 9 ---> 0 (56) 3 # 0 ---> 2 (57) 7 # 1 ---> 0 (57) 25 # 16 ---> 17 (55) 25 # 17 ---> 9 (56) 16 # 40 ---> 41 (49) 16 # 41 ---> 33 (51) 6 # 49 ---> 41 (51) 5 # 56 ---> 48 (47) 2 # 57 ---> 56 (47) 26 # 3 ---> 11 (47) 26 # 11 ---> 12 (48) 3 # 2 ---> 10 (58) 3 # 10 ---> 11 (59) 25 # 9 ---> 10 (59) 7 # 0 ---> 9 (59) 25 # 10 ---> 2 (60) 7 # 9 ---> 10 (60) 1 # 8 ---> 9 (60) 1 # 9 ---> 0 (61) 16 # 33 ---> 25 (53) 6 # 41 ---> 33 (53) 5 # 48 ---> 49 (51) 5 # 49 ---> 41 (53) 2 # 56 ---> 48 (51) 14 # 32 ---> 40 (49) 6 # 33 ---> 32 (54) 5 # 41 ---> 33 (54) 14 # 40 ---> 41 (54) 2 # 48 ---> 40 (54) 14 # 41 ---> 49 (55) 2 # 40 ---> 41 (55) 14 # 49 ---> 48 (56) 2 # 41 ---> 49 (56) 6 # 32 ---> 24 (55) 16 # 25 ---> 17 (56) 5 # 33 ---> 25 (56) 6 # 24 ---> 16 (56) 16 # 17 ---> 9 (61) 5 # 25 ---> 17 (61) 26 # 12 ---> 4 (49) 3 # 11 ---> 12 (60) 7 # 10 ---> 11 (61) 25 # 2 ---> 10 (61) 7 # 11 ---> 3 (62) 25 # 10 ---> 11 (62) 16 # 9 ---> 10 (62) 5 # 17 ---> 9 (62) 6 # 16 ---> 17 (62) 29 # 14 ---> 6 (38) 9 # 15 ---> 14 (38) 9 # 14 ---> 13 (39) 26 # 4 ---> 5 (50) 3 # 12 ---> 4 (61) 9 # 13 ---> 12 (61) 26 # 5 ---> 13 (61) 3 # 4 ---> 5 (62) 7 # 3 ---> 4 (63) 25 # 11 ---> 3 (63) 9 # 12 ---> 11 (63) 7 # 4 ---> 12 (64) 25 # 3 ---> 4 (64) 16 # 10 ---> 2 (63) 9 # 11 ---> 10 (64) 16 # 2 ---> 3 (64) 1 # 0 ---> 2 (64) 5 # 9 ---> 0 (64) 9 # 10 ---> 9 (65) 9 # 9 ---> 8 (66) 9 # 8 ---> 16 (67) 6 # 17 ---> 9 (66) 9 # 16 ---> 17 (68) 9 # 17 ---> 25 (69) 26 # 13 ---> 14 (62) 3 # 5 ---> 13 (63) 29 # 6 ---> 5 (63) 26 # 14 ---> 6 (63) 3 # 13 ---> 14 (64) 7 # 12 ---> 13 (65) 25 # 4 ---> 12 (65) 29 # 5 ---> 4 (65) 7 # 13 ---> 5 (66) 25 # 12 ---> 13 (66) 16 # 3 ---> 11 (65) 29 # 4 ---> 3 (66) 16 # 11 ---> 12 (66) 1 # 2 ---> 10 (65) 29 # 3 ---> 2 (67) 1 # 10 ---> 11 (66) 6 # 9 ---> 10 (67) 5 # 0 ---> 9 (67) 29 # 2 ---> 0 (68) 29 # 0 ---> 1 (69) 29 # 1 ---> 8 (70) 29 # 8 ---> 16 (71) 29 # 16 ---> 17 (72) 9 # 25 ---> 24 (70) 29 # 17 ---> 25 (73) 5 # 9 ---> 0 (69) 7 # 5 ---> 4 (67) 26 # 6 ---> 5 (67) 6 # 10 ---> 2 (68) 6 # 2 ---> 3 (69) 1 # 11 ---> 10 (68) 16 # 12 ---> 11 (68) 7 # 4 ---> 12 (68) 6 # 3 ---> 4 (70) 16 # 11 ---> 3 (70) 7 # 12 ---> 11 (70) 25 # 13 ---> 12 (70) 26 # 5 ---> 13 (70) 6 # 4 ---> 5 (71) 6 # 5 ---> 6 (72) 26 # 13 ---> 5 (72) 3 # 14 ---> 13 (72) 6 # 6 ---> 14 (73) 18 # 7 ---> 6 (73) 6 # 14 ---> 15 (74) 16 # 3 ---> 2 (71) 7 # 11 ---> 3 (71) 7 # 3 ---> 4 (72) 25 # 12 ---> 11 (71) 3 # 13 ---> 12 (73) 26 # 5 ---> 13 (73) 7 # 4 ---> 5 (73) 3 # 12 ---> 4 (74) 26 # 13 ---> 12 (74) 18 # 6 ---> 14 (74) 7 # 5 ---> 6 (74) 18 # 14 ---> 13 (75) 7 # 6 ---> 14 (75) 6 # 15 ---> 7 (75) 7 # 14 ---> 15 (76) 3 # 4 ---> 5 (75) 26 # 12 ---> 4 (75) 5 # 0 ---> 1 (70) 16 # 2 ---> 0 (72) 26 # 4 ---> 3 (76) 18 # 13 ---> 12 (76) 3 # 5 ---> 13 (76) 18 # 12 ---> 4 (77) 3 # 13 ---> 12 (77) 1 # 10 ---> 9 (69) 25 # 11 ---> 10 (72) 26 # 3 ---> 11 (77) 25 # 10 ---> 2 (73) 26 # 11 ---> 10 (78) 3 # 12 ---> 11 (78) 18 # 4 ---> 12 (78) 25 # 2 ---> 3 (77) 16 # 0 ---> 2 (77) 1 # 9 ---> 0 (77) 26 # 10 ---> 9 (79) 3 # 11 ---> 10 (79) 25 # 3 ---> 11 (79) 16 # 2 ---> 3 (79) 16 # 3 ---> 4 (80) 25 # 11 ---> 3 (80) 18 # 12 ---> 11 (80) 16 # 4 ---> 12 (81) 16 # 12 ---> 13 (82) 25 # 3 ---> 4 (81) 18 # 11 ---> 3 (81) 25 # 4 ---> 12 (82) 18 # 3 ---> 4 (82) 25 # 12 ---> 11 (83) 18 # 4 ---> 12 (83) 16 # 13 ---> 5 (83) 18 # 12 ---> 13 (84) 5 # 1 ---> 8 (71) 1 # 0 ---> 1 (78) 26 # 9 ---> 0 (80) 26 # 0 ---> 2 (81) 26 # 2 ---> 3 (82) 3 # 10 ---> 2 (82) 25 # 11 ---> 10 (84) 26 # 3 ---> 11 (84) 26 # 11 ---> 12 (85) 1 # 1 ---> 0 (81) 5 # 8 ---> 1 (81) 1 # 0 ---> 9 (82) 5 # 1 ---> 0 (82) 1 # 9 ---> 8 (83) 25 # 10 ---> 9 (85) 3 # 2 ---> 10 (85) 5 # 0 ---> 2 (85) 5 # 2 ---> 3 (86) 5 # 3 ---> 11 (87) 26 # 12 ---> 4 (86) 5 # 11 ---> 12 (88) 25 # 9 ---> 0 (86) 3 # 10 ---> 9 (86) 25 # 0 ---> 2 (87) 25 # 2 ---> 10 (88) 25 # 10 ---> 11 (89) 1 # 8 ---> 1 (84) 1 # 1 ---> 0 (87) 3 # 9 ---> 8 (87) 1 # 0 ---> 9 (88) 1 # 9 ---> 10 (89) 1 # 10 ---> 2 (90) 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 = 0x7fff24e916f0, target = 0xf2de70) Arc: (edge = 0x7fff24e916f0, target = 0xf2de50) ] Edge 1 <-> 8 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2df50) Arc: (edge = 0x7fff24e916f0, target = 0xf2de70) ] Edge 2 <-> 0 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2de50) Arc: (edge = 0x7fff24e916f0, target = 0xf2de90) ] Edge 3 <-> 2 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2de90) Arc: (edge = 0x7fff24e916f0, target = 0xf2deb0) ] Edge 4 <-> 3 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2deb0) Arc: (edge = 0x7fff24e916f0, target = 0xf2ded0) ] Edge 5 <-> 4 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2ded0) Arc: (edge = 0x7fff24e916f0, target = 0xf2def0) ] Edge 6 <-> 5 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2def0) Arc: (edge = 0x7fff24e916f0, target = 0xf2df10) ] Edge 7 <-> 6 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2df10) Arc: (edge = 0x7fff24e916f0, target = 0xf2df30) ] Edge 8 <-> 9 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2df70) Arc: (edge = 0x7fff24e916f0, target = 0xf2df50) ] Edge 8 <-> 16 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e050) Arc: (edge = 0x7fff24e916f0, target = 0xf2df50) ] Edge 9 <-> 0 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2de50) Arc: (edge = 0x7fff24e916f0, target = 0xf2df70) ] Edge 9 <-> 10 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2df90) Arc: (edge = 0x7fff24e916f0, target = 0xf2df70) ] Edge 10 <-> 2 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2de90) Arc: (edge = 0x7fff24e916f0, target = 0xf2df90) ] Edge 10 <-> 11 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2dfb0) Arc: (edge = 0x7fff24e916f0, target = 0xf2df90) ] Edge 10 <-> 18 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e090) Arc: (edge = 0x7fff24e916f0, target = 0xf2df90) ] Edge 11 <-> 3 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2deb0) Arc: (edge = 0x7fff24e916f0, target = 0xf2dfb0) ] Edge 11 <-> 12 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2dfd0) Arc: (edge = 0x7fff24e916f0, target = 0xf2dfb0) ] Edge 11 <-> 19 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e0b0) Arc: (edge = 0x7fff24e916f0, target = 0xf2dfb0) ] Edge 12 <-> 4 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2ded0) Arc: (edge = 0x7fff24e916f0, target = 0xf2dfd0) ] Edge 12 <-> 13 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2dff0) Arc: (edge = 0x7fff24e916f0, target = 0xf2dfd0) ] Edge 12 <-> 20 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e0d0) Arc: (edge = 0x7fff24e916f0, target = 0xf2dfd0) ] Edge 13 <-> 5 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2def0) Arc: (edge = 0x7fff24e916f0, target = 0xf2dff0) ] Edge 13 <-> 14 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e010) Arc: (edge = 0x7fff24e916f0, target = 0xf2dff0) ] Edge 13 <-> 21 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e0f0) Arc: (edge = 0x7fff24e916f0, target = 0xf2dff0) ] Edge 14 <-> 6 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2df10) Arc: (edge = 0x7fff24e916f0, target = 0xf2e010) ] Edge 14 <-> 15 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e030) Arc: (edge = 0x7fff24e916f0, target = 0xf2e010) ] Edge 14 <-> 22 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e110) Arc: (edge = 0x7fff24e916f0, target = 0xf2e010) ] Edge 15 <-> 7 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2df30) Arc: (edge = 0x7fff24e916f0, target = 0xf2e030) ] Edge 15 <-> 23 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e130) Arc: (edge = 0x7fff24e916f0, target = 0xf2e030) ] Edge 16 <-> 17 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e070) Arc: (edge = 0x7fff24e916f0, target = 0xf2e050) ] Edge 16 <-> 24 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e150) Arc: (edge = 0x7fff24e916f0, target = 0xf2e050) ] Edge 17 <-> 9 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2df70) Arc: (edge = 0x7fff24e916f0, target = 0xf2e070) ] Edge 18 <-> 17 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e070) Arc: (edge = 0x7fff24e916f0, target = 0xf2e090) ] Edge 18 <-> 26 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e190) Arc: (edge = 0x7fff24e916f0, target = 0xf2e090) ] Edge 19 <-> 18 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e090) Arc: (edge = 0x7fff24e916f0, target = 0xf2e0b0) ] Edge 19 <-> 27 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e1b0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e0b0) ] Edge 20 <-> 19 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e0b0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e0d0) ] Edge 20 <-> 28 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e1d0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e0d0) ] Edge 21 <-> 20 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e0d0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e0f0) ] Edge 21 <-> 29 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e1f0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e0f0) ] Edge 22 <-> 21 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e0f0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e110) ] Edge 22 <-> 30 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e210) Arc: (edge = 0x7fff24e916f0, target = 0xf2e110) ] Edge 23 <-> 22 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e110) Arc: (edge = 0x7fff24e916f0, target = 0xf2e130) ] Edge 23 <-> 31 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e230) Arc: (edge = 0x7fff24e916f0, target = 0xf2e130) ] Edge 24 <-> 25 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e170) Arc: (edge = 0x7fff24e916f0, target = 0xf2e150) ] Edge 24 <-> 32 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e250) Arc: (edge = 0x7fff24e916f0, target = 0xf2e150) ] Edge 25 <-> 17 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e070) Arc: (edge = 0x7fff24e916f0, target = 0xf2e170) ] Edge 26 <-> 25 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e170) Arc: (edge = 0x7fff24e916f0, target = 0xf2e190) ] Edge 26 <-> 34 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e290) Arc: (edge = 0x7fff24e916f0, target = 0xf2e190) ] Edge 27 <-> 26 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e190) Arc: (edge = 0x7fff24e916f0, target = 0xf2e1b0) ] Edge 27 <-> 35 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e2b0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e1b0) ] Edge 28 <-> 27 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e1b0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e1d0) ] Edge 28 <-> 36 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e2d0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e1d0) ] Edge 29 <-> 28 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e1d0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e1f0) ] Edge 29 <-> 37 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e2f0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e1f0) ] Edge 30 <-> 29 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e1f0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e210) ] Edge 30 <-> 38 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e310) Arc: (edge = 0x7fff24e916f0, target = 0xf2e210) ] Edge 31 <-> 30 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e210) Arc: (edge = 0x7fff24e916f0, target = 0xf2e230) ] Edge 31 <-> 39 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e330) Arc: (edge = 0x7fff24e916f0, target = 0xf2e230) ] Edge 32 <-> 33 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e270) Arc: (edge = 0x7fff24e916f0, target = 0xf2e250) ] Edge 32 <-> 40 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e350) Arc: (edge = 0x7fff24e916f0, target = 0xf2e250) ] Edge 33 <-> 25 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e170) Arc: (edge = 0x7fff24e916f0, target = 0xf2e270) ] Edge 34 <-> 33 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e270) Arc: (edge = 0x7fff24e916f0, target = 0xf2e290) ] Edge 34 <-> 42 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e390) Arc: (edge = 0x7fff24e916f0, target = 0xf2e290) ] Edge 35 <-> 34 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e290) Arc: (edge = 0x7fff24e916f0, target = 0xf2e2b0) ] Edge 35 <-> 43 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e3b0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e2b0) ] Edge 36 <-> 35 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e2b0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e2d0) ] Edge 36 <-> 44 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e3d0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e2d0) ] Edge 37 <-> 36 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e2d0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e2f0) ] Edge 37 <-> 45 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e3f0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e2f0) ] Edge 38 <-> 37 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e2f0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e310) ] Edge 38 <-> 46 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e410) Arc: (edge = 0x7fff24e916f0, target = 0xf2e310) ] Edge 39 <-> 38 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e310) Arc: (edge = 0x7fff24e916f0, target = 0xf2e330) ] Edge 39 <-> 47 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e430) Arc: (edge = 0x7fff24e916f0, target = 0xf2e330) ] Edge 40 <-> 41 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e370) Arc: (edge = 0x7fff24e916f0, target = 0xf2e350) ] Edge 40 <-> 48 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e450) Arc: (edge = 0x7fff24e916f0, target = 0xf2e350) ] Edge 41 <-> 33 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e270) Arc: (edge = 0x7fff24e916f0, target = 0xf2e370) ] Edge 42 <-> 41 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e370) Arc: (edge = 0x7fff24e916f0, target = 0xf2e390) ] Edge 42 <-> 50 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e490) Arc: (edge = 0x7fff24e916f0, target = 0xf2e390) ] Edge 43 <-> 42 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e390) Arc: (edge = 0x7fff24e916f0, target = 0xf2e3b0) ] Edge 43 <-> 51 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e4b0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e3b0) ] Edge 44 <-> 43 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e3b0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e3d0) ] Edge 44 <-> 52 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e4d0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e3d0) ] Edge 45 <-> 44 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e3d0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e3f0) ] Edge 45 <-> 53 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e4f0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e3f0) ] Edge 46 <-> 45 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e3f0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e410) ] Edge 46 <-> 54 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e510) Arc: (edge = 0x7fff24e916f0, target = 0xf2e410) ] Edge 47 <-> 46 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e410) Arc: (edge = 0x7fff24e916f0, target = 0xf2e430) ] Edge 47 <-> 55 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e530) Arc: (edge = 0x7fff24e916f0, target = 0xf2e430) ] Edge 48 <-> 49 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e470) Arc: (edge = 0x7fff24e916f0, target = 0xf2e450) ] Edge 48 <-> 56 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e550) Arc: (edge = 0x7fff24e916f0, target = 0xf2e450) ] Edge 49 <-> 41 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e370) Arc: (edge = 0x7fff24e916f0, target = 0xf2e470) ] Edge 50 <-> 49 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e470) Arc: (edge = 0x7fff24e916f0, target = 0xf2e490) ] Edge 50 <-> 58 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e590) Arc: (edge = 0x7fff24e916f0, target = 0xf2e490) ] Edge 51 <-> 50 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e490) Arc: (edge = 0x7fff24e916f0, target = 0xf2e4b0) ] Edge 51 <-> 59 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e5b0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e4b0) ] Edge 52 <-> 51 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e4b0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e4d0) ] Edge 52 <-> 60 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e5d0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e4d0) ] Edge 53 <-> 52 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e4d0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e4f0) ] Edge 53 <-> 61 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e5f0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e4f0) ] Edge 54 <-> 53 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e4f0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e510) ] Edge 54 <-> 62 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e610) Arc: (edge = 0x7fff24e916f0, target = 0xf2e510) ] Edge 55 <-> 54 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e510) Arc: (edge = 0x7fff24e916f0, target = 0xf2e530) ] Edge 55 <-> 63 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e630) Arc: (edge = 0x7fff24e916f0, target = 0xf2e530) ] Edge 56 <-> 57 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e570) Arc: (edge = 0x7fff24e916f0, target = 0xf2e550) ] Edge 57 <-> 49 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e470) Arc: (edge = 0x7fff24e916f0, target = 0xf2e570) ] Edge 58 <-> 57 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e570) Arc: (edge = 0x7fff24e916f0, target = 0xf2e590) ] Edge 59 <-> 58 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e590) Arc: (edge = 0x7fff24e916f0, target = 0xf2e5b0) ] Edge 60 <-> 59 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e5b0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e5d0) ] Edge 61 <-> 60 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e5d0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e5f0) ] Edge 62 <-> 61 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e5f0) Arc: (edge = 0x7fff24e916f0, target = 0xf2e610) ] Edge 63 <-> 62 [ Arc: (edge = 0x7fff24e916f0, target = 0xf2e610) Arc: (edge = 0x7fff24e916f0, target = 0xf2e630) ] ] Robot arrangement: (|R| = 29, |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 13#1 14#18 15#33 16#40 17#43 18#28 19#47 20#48 21#22 22#39 23#62 24#50 25#51 26#9 27#59 28#37 29#58 } vertex occupancy: {0#0 13#1 0#2 0#3 0#4 0#5 1#6 0#7 0#8 26#9 7#10 0#11 0#12 0#13 0#14 0#15 6#16 0#17 14#18 0#19 0#20 0#21 21#22 0#23 5#24 0#25 0#26 0#27 18#28 0#29 12#30 4#31 0#32 15#33 0#34 0#35 0#36 28#37 0#38 22#39 16#40 2#41 0#42 17#43 3#44 0#45 0#46 19#47 20#48 8#49 24#50 25#51 0#52 0#53 0#54 0#55 10#56 11#57 29#58 27#59 9#60 0#61 23#62 0#63 } ] Robot arrangement: (|R| = 29, |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 13#52 14#48 15#20 16#5 17#29 18#13 19#27 20#43 21#26 22#58 23#60 24#63 25#11 26#4 27#21 28#50 29#25 } vertex occupancy: {0#0 0#1 1#2 0#3 26#4 16#5 0#6 6#7 3#8 0#9 0#10 25#11 5#12 18#13 0#14 7#15 0#16 0#17 0#18 8#19 15#20 27#21 0#22 11#23 9#24 29#25 21#26 19#27 0#28 17#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 20#43 0#44 0#45 0#46 10#47 14#48 2#49 28#50 0#51 13#52 0#53 12#54 0#55 0#56 0#57 22#58 0#59 23#60 0#61 0#62 24#63 } ] Unable to provide a new solution. 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 = 561 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 0 Wall clock TIME (seconds) = 0.004 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 = 0 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 501 Wall clock TIME (seconds) = 0.001 CPU/machine TIME (seconds) = 0.000 ] } ] ----------------------------------------------------------------