Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 13 : 0, 14 : 1, 15 : 2, 31 : 0, 32 : 1, 33 : 2, 10 recursive calls Configuration Y_4(sum=7,0,2,5) IS NOT 7-reducible. total_time : 0.0271s nauty_time : 0.0268s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 16 : 0, 17 : 1, 18 : 2, 31 : 0, 32 : 1, 33 : 2, 10 recursive calls Configuration Y_4(sum=7,0,3,4) IS NOT 7-reducible. total_time : 0.0259s nauty_time : 0.0257s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 31 : 0, 32 : 1, 33 : 2, 10 recursive calls Configuration Y_4(sum=7,1,1,5) IS NOT 7-reducible. total_time : 0.0246s nauty_time : 0.0245s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 31 : 0, 32 : 1, 33 : 2, 10 recursive calls Configuration Y_4(sum=7,1,2,4) IS NOT 7-reducible. total_time : 0.0311s nauty_time : 0.0309s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 19 : 0, 20 : 1, 21 : 2, 31 : 0, 32 : 1, 33 : 2, 10 recursive calls Configuration Y_4(sum=7,1,3,3) IS NOT 7-reducible. total_time : 0.0349s nauty_time : 0.0347s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 31 : 0, 32 : 1, 33 : 2, 10 recursive calls Configuration Y_4(sum=7,2,2,3) IS NOT 7-reducible. total_time : 0.0564s nauty_time : 0.0560s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 16 : 0, 17 : 1, 18 : 2, 34 : 0, 35 : 1, 36 : 2, 10 recursive calls Configuration Y_4(sum=8,0,3,5) IS NOT 7-reducible. total_time : 0.0342s nauty_time : 0.0340s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 10 recursive calls Configuration Y_4(sum=8,0,4,4) IS NOT 7-reducible. total_time : 0.0305s nauty_time : 0.0303s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 34 : 0, 35 : 1, 36 : 2, 10 recursive calls Configuration Y_4(sum=8,1,2,5) IS NOT 7-reducible. total_time : 0.0344s nauty_time : 0.0342s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 10 recursive calls Configuration Y_4(sum=8,1,3,4) IS NOT 7-reducible. total_time : 0.0379s nauty_time : 0.0377s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 10 recursive calls Configuration Y_4(sum=8,2,2,4) IS NOT 7-reducible. total_time : 0.0626s nauty_time : 0.0623s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 34 : 0, 35 : 1, 36 : 2, 10 recursive calls Configuration Y_4(sum=8,2,3,3) IS NOT 7-reducible. total_time : 0.0757s nauty_time : 0.0753s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 19 : 0, 20 : 1, 21 : 2, 37 : 0, 38 : 1, 39 : 2, 10 recursive calls Configuration Y_4(sum=9,0,4,5) IS NOT 7-reducible. total_time : 0.0406s nauty_time : 0.0403s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 19 : 0, 20 : 1, 21 : 2, 37 : 0, 38 : 1, 39 : 2, 10 recursive calls Configuration Y_4(sum=9,1,3,5) IS NOT 7-reducible. total_time : 0.0449s nauty_time : 0.0446s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 22 : 0, 23 : 1, 24 : 2, 37 : 0, 38 : 1, 39 : 2, 10 recursive calls Configuration Y_4(sum=9,1,4,4) IS NOT 7-reducible. total_time : 0.0506s nauty_time : 0.0503s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 37 : 0, 38 : 1, 39 : 2, 10 recursive calls Configuration Y_4(sum=9,2,2,5) IS NOT 7-reducible. total_time : 0.0776s nauty_time : 0.0772s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 37 : 0, 38 : 1, 39 : 2, 10 recursive calls Configuration Y_4(sum=9,2,3,4) IS NOT 7-reducible. total_time : 0.0766s nauty_time : 0.0761s Fails on Coloring: 13 : 0, 14 : 1, 15 : 2, 25 : 0, 26 : 1, 27 : 2, 37 : 0, 38 : 1, 39 : 2, 10 recursive calls Configuration Y_4(sum=9,3,3,3) IS NOT 7-reducible. total_time : 0.1717s nauty_time : 0.1684s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 22 : 0, 23 : 1, 24 : 2, 40 : 0, 41 : 1, 42 : 2, 10 recursive calls Configuration Y_4(sum=10,0,5,5) IS NOT 7-reducible. total_time : 0.0621s nauty_time : 0.0617s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 22 : 0, 23 : 1, 24 : 2, 40 : 0, 41 : 1, 42 : 2, 10 recursive calls Configuration Y_4(sum=10,1,4,5) IS NOT 7-reducible. total_time : 0.0540s nauty_time : 0.0537s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 40 : 0, 41 : 1, 42 : 2, 10 recursive calls Configuration Y_4(sum=10,2,3,5) IS NOT 7-reducible. total_time : 0.0836s nauty_time : 0.0831s 456 recursive calls Configuration Y_4(sum=10,2,4,4) is 7-reducible. total_time : 46.5004s nauty_time : 31.1640s Fails on Coloring: 13 : 0, 14 : 1, 15 : 2, 25 : 3, 26 : 4, 27 : 5, 40 : 0, 41 : 3, 42 : 6, 265 recursive calls Configuration Y_4(sum=10,3,3,4) IS NOT 7-reducible. total_time : 83.0000s nauty_time : 69.9416s 456 recursive calls Configuration Y_4(sum=11,1,5,5) is 7-reducible. total_time : 6.6523s nauty_time : 3.9277s 456 recursive calls Configuration Y_4(sum=11,2,4,5) is 7-reducible. total_time : 29.9994s nauty_time : 26.5077s Fails on Coloring: 13 : 0, 14 : 1, 15 : 2, 25 : 3, 26 : 4, 27 : 5, 43 : 0, 44 : 3, 45 : 6, 265 recursive calls Configuration Y_4(sum=11,3,3,5) IS NOT 7-reducible. total_time : 71.0000s nauty_time : 67.7663s 456 recursive calls Configuration Y_4(sum=11,3,4,4) is 7-reducible. total_time : 170.0000s nauty_time : 110.2609s 456 recursive calls Configuration Y_4(sum=12,2,5,5) is 7-reducible. total_time : 35.1916s nauty_time : 27.1016s 456 recursive calls Configuration Y_4(sum=12,3,4,5) is 7-reducible. total_time : 147.0000s nauty_time : 127.7303s 272 recursive calls Configuration Y_4(sum=12,4,4,4) is 7-reducible. total_time : 65.0000s nauty_time : 11.4164s 456 recursive calls Configuration Y_4(sum=13,3,5,5) is 7-reducible. total_time : 210.0000s nauty_time : 138.7628s 272 recursive calls Configuration Y_4(sum=13,4,4,5) is 7-reducible. total_time : 30.6052s nauty_time : 8.1123s 456 recursive calls Configuration Y_4(sum=14,4,5,5) is 7-reducible. total_time : 143.0000s nauty_time : 14.0778s 272 recursive calls Configuration Y_4(sum=15,5,5,5) is 7-reducible. total_time : 300.0000s nauty_time : 3.7823s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 34 : 0, 35 : 1, 36 : 2, 13 recursive calls Configuration Y_4(sum=7,0,0,2,5) IS NOT 7-reducible. total_time : 0.0286s nauty_time : 0.0285s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 7 : 0, 8 : 1, 9 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 13 recursive calls Configuration Y_4(sum=7,0,0,3,4) IS NOT 7-reducible. total_time : 0.0370s nauty_time : 0.0367s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 10 : 0, 11 : 1, 12 : 2, 16 : 0, 17 : 1, 18 : 2, 34 : 0, 35 : 1, 36 : 2, 13 recursive calls Configuration Y_4(sum=7,0,1,1,5) IS NOT 7-reducible. total_time : 0.0230s nauty_time : 0.0229s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 13 recursive calls Configuration Y_4(sum=7,0,1,2,4) IS NOT 7-reducible. total_time : 0.0238s nauty_time : 0.0237s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 34 : 0, 35 : 1, 36 : 2, 13 recursive calls Configuration Y_4(sum=7,0,1,3,3) IS NOT 7-reducible. total_time : 0.0254s nauty_time : 0.0253s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 13 : 0, 14 : 1, 15 : 2, 22 : 0, 23 : 1, 24 : 2, 34 : 0, 35 : 1, 36 : 2, 13 recursive calls Configuration Y_4(sum=7,0,2,2,3) IS NOT 7-reducible. total_time : 0.0258s nauty_time : 0.0256s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 13 recursive calls Configuration Y_4(sum=7,1,1,1,4) IS NOT 7-reducible. total_time : 0.0350s nauty_time : 0.0349s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 22 : 0, 23 : 1, 24 : 2, 34 : 0, 35 : 1, 36 : 2, 13 recursive calls Configuration Y_4(sum=7,1,1,2,3) IS NOT 7-reducible. total_time : 0.0341s nauty_time : 0.0340s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 25 : 0, 26 : 1, 27 : 2, 34 : 0, 35 : 1, 36 : 2, 13 recursive calls Configuration Y_4(sum=7,1,2,2,2) IS NOT 7-reducible. total_time : 0.0465s nauty_time : 0.0462s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 7 : 0, 8 : 1, 9 : 2, 19 : 0, 20 : 1, 21 : 2, 37 : 0, 38 : 1, 39 : 2, 13 recursive calls Configuration Y_4(sum=8,0,0,3,5) IS NOT 7-reducible. total_time : 0.0393s nauty_time : 0.0390s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 7 : 0, 8 : 1, 9 : 2, 22 : 0, 23 : 1, 24 : 2, 37 : 0, 38 : 1, 39 : 2, 13 recursive calls Configuration Y_4(sum=8,0,0,4,4) IS NOT 7-reducible. total_time : 0.0450s nauty_time : 0.0449s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 37 : 0, 38 : 1, 39 : 2, 13 recursive calls Configuration Y_4(sum=8,0,1,2,5) IS NOT 7-reducible. total_time : 0.0351s nauty_time : 0.0349s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 37 : 0, 38 : 1, 39 : 2, 13 recursive calls Configuration Y_4(sum=8,0,1,3,4) IS NOT 7-reducible. total_time : 0.0278s nauty_time : 0.0276s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 13 : 0, 14 : 1, 15 : 2, 22 : 0, 23 : 1, 24 : 2, 37 : 0, 38 : 1, 39 : 2, 13 recursive calls Configuration Y_4(sum=8,0,2,2,4) IS NOT 7-reducible. total_time : 0.0302s nauty_time : 0.0300s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 13 : 0, 14 : 1, 15 : 2, 25 : 0, 26 : 1, 27 : 2, 37 : 0, 38 : 1, 39 : 2, 13 recursive calls Configuration Y_4(sum=8,0,2,3,3) IS NOT 7-reducible. total_time : 0.0312s nauty_time : 0.0310s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 19 : 0, 20 : 1, 21 : 2, 37 : 0, 38 : 1, 39 : 2, 13 recursive calls Configuration Y_4(sum=8,1,1,1,5) IS NOT 7-reducible. total_time : 0.0417s nauty_time : 0.0415s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 22 : 0, 23 : 1, 24 : 2, 37 : 0, 38 : 1, 39 : 2, 13 recursive calls Configuration Y_4(sum=8,1,1,2,4) IS NOT 7-reducible. total_time : 0.0456s nauty_time : 0.0454s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 25 : 0, 26 : 1, 27 : 2, 37 : 0, 38 : 1, 39 : 2, 13 recursive calls Configuration Y_4(sum=8,1,1,3,3) IS NOT 7-reducible. total_time : 0.0503s nauty_time : 0.0501s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 25 : 0, 26 : 1, 27 : 2, 37 : 0, 38 : 1, 39 : 2, 13 recursive calls Configuration Y_4(sum=8,1,2,2,3) IS NOT 7-reducible. total_time : 0.0562s nauty_time : 0.0559s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 28 : 0, 29 : 1, 30 : 2, 37 : 0, 38 : 1, 39 : 2, 13 recursive calls Configuration Y_4(sum=8,2,2,2,2) IS NOT 7-reducible. total_time : 0.1347s nauty_time : 0.1341s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 7 : 0, 8 : 1, 9 : 2, 22 : 0, 23 : 1, 24 : 2, 40 : 0, 41 : 1, 42 : 2, 13 recursive calls Configuration Y_4(sum=9,0,0,4,5) IS NOT 7-reducible. total_time : 0.0569s nauty_time : 0.0566s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 40 : 0, 41 : 1, 42 : 2, 13 recursive calls Configuration Y_4(sum=9,0,1,3,5) IS NOT 7-reducible. total_time : 0.0317s nauty_time : 0.0316s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 10 : 0, 11 : 1, 12 : 2, 25 : 0, 26 : 1, 27 : 2, 40 : 0, 41 : 1, 42 : 2, 13 recursive calls Configuration Y_4(sum=9,0,1,4,4) IS NOT 7-reducible. total_time : 0.0407s nauty_time : 0.0405s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 13 : 0, 14 : 1, 15 : 2, 22 : 0, 23 : 1, 24 : 2, 40 : 0, 41 : 1, 42 : 2, 13 recursive calls Configuration Y_4(sum=9,0,2,2,5) IS NOT 7-reducible. total_time : 0.0403s nauty_time : 0.0401s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 13 : 0, 14 : 1, 15 : 2, 25 : 0, 26 : 1, 27 : 2, 40 : 0, 41 : 1, 42 : 2, 13 recursive calls Configuration Y_4(sum=9,0,2,3,4) IS NOT 7-reducible. total_time : 0.0337s nauty_time : 0.0335s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 16 : 0, 17 : 1, 18 : 2, 28 : 0, 29 : 1, 30 : 2, 40 : 0, 41 : 1, 42 : 2, 13 recursive calls Configuration Y_4(sum=9,0,3,3,3) IS NOT 7-reducible. total_time : 0.0599s nauty_time : 0.0596s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 22 : 0, 23 : 1, 24 : 2, 40 : 0, 41 : 1, 42 : 2, 13 recursive calls Configuration Y_4(sum=9,1,1,2,5) IS NOT 7-reducible. total_time : 0.0440s nauty_time : 0.0438s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 25 : 0, 26 : 1, 27 : 2, 40 : 0, 41 : 1, 42 : 2, 13 recursive calls Configuration Y_4(sum=9,1,1,3,4) IS NOT 7-reducible. total_time : 0.0457s nauty_time : 0.0454s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 25 : 0, 26 : 1, 27 : 2, 40 : 0, 41 : 1, 42 : 2, 13 recursive calls Configuration Y_4(sum=9,1,2,2,4) IS NOT 7-reducible. total_time : 0.0652s nauty_time : 0.0649s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 28 : 0, 29 : 1, 30 : 2, 40 : 0, 41 : 1, 42 : 2, 13 recursive calls Configuration Y_4(sum=9,1,2,3,3) IS NOT 7-reducible. total_time : 0.0660s nauty_time : 0.0657s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 28 : 0, 29 : 1, 30 : 2, 40 : 0, 41 : 1, 42 : 2, 13 recursive calls Configuration Y_4(sum=9,2,2,2,3) IS NOT 7-reducible. total_time : 0.1366s nauty_time : 0.1360s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 7 : 0, 8 : 1, 9 : 2, 25 : 0, 26 : 1, 27 : 2, 43 : 0, 44 : 1, 45 : 2, 13 recursive calls Configuration Y_4(sum=10,0,0,5,5) IS NOT 7-reducible. total_time : 0.0804s nauty_time : 0.0800s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 10 : 0, 11 : 1, 12 : 2, 25 : 0, 26 : 1, 27 : 2, 43 : 0, 44 : 1, 45 : 2, 13 recursive calls Configuration Y_4(sum=10,0,1,4,5) IS NOT 7-reducible. total_time : 0.0376s nauty_time : 0.0374s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 13 : 0, 14 : 1, 15 : 2, 25 : 0, 26 : 1, 27 : 2, 43 : 0, 44 : 1, 45 : 2, 13 recursive calls Configuration Y_4(sum=10,0,2,3,5) IS NOT 7-reducible. total_time : 0.0379s nauty_time : 0.0378s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 13 : 0, 14 : 1, 15 : 2, 28 : 0, 29 : 1, 30 : 2, 43 : 0, 44 : 1, 45 : 2, 13 recursive calls Configuration Y_4(sum=10,0,2,4,4) IS NOT 7-reducible. total_time : 0.0467s nauty_time : 0.0465s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 16 : 0, 17 : 1, 18 : 2, 28 : 0, 29 : 1, 30 : 2, 43 : 0, 44 : 1, 45 : 2, 13 recursive calls Configuration Y_4(sum=10,0,3,3,4) IS NOT 7-reducible. total_time : 0.0458s nauty_time : 0.0456s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 25 : 0, 26 : 1, 27 : 2, 43 : 0, 44 : 1, 45 : 2, 13 recursive calls Configuration Y_4(sum=10,1,1,3,5) IS NOT 7-reducible. total_time : 0.0558s nauty_time : 0.0556s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 28 : 0, 29 : 1, 30 : 2, 43 : 0, 44 : 1, 45 : 2, 13 recursive calls Configuration Y_4(sum=10,1,1,4,4) IS NOT 7-reducible. total_time : 0.0599s nauty_time : 0.0597s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 25 : 0, 26 : 1, 27 : 2, 43 : 0, 44 : 1, 45 : 2, 13 recursive calls Configuration Y_4(sum=10,1,2,2,5) IS NOT 7-reducible. total_time : 0.0743s nauty_time : 0.0740s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 28 : 0, 29 : 1, 30 : 2, 43 : 0, 44 : 1, 45 : 2, 13 recursive calls Configuration Y_4(sum=10,1,2,3,4) IS NOT 7-reducible. total_time : 0.0802s nauty_time : 0.0799s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 19 : 0, 20 : 1, 21 : 2, 31 : 0, 32 : 1, 33 : 2, 43 : 0, 44 : 1, 45 : 2, 13 recursive calls Configuration Y_4(sum=10,1,3,3,3) IS NOT 7-reducible. total_time : 0.0940s nauty_time : 0.0936s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 28 : 0, 29 : 1, 30 : 2, 43 : 0, 44 : 1, 45 : 2, 13 recursive calls Configuration Y_4(sum=10,2,2,2,4) IS NOT 7-reducible. total_time : 0.1651s nauty_time : 0.1644s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 31 : 0, 32 : 1, 33 : 2, 43 : 0, 44 : 1, 45 : 2, 13 recursive calls Configuration Y_4(sum=10,2,2,3,3) IS NOT 7-reducible. total_time : 0.1697s nauty_time : 0.1690s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 10 : 0, 11 : 1, 12 : 2, 28 : 0, 29 : 1, 30 : 2, 46 : 0, 47 : 1, 48 : 2, 13 recursive calls Configuration Y_4(sum=11,0,1,5,5) IS NOT 7-reducible. total_time : 0.0596s nauty_time : 0.0594s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 13 : 0, 14 : 1, 15 : 2, 28 : 0, 29 : 1, 30 : 2, 46 : 0, 47 : 1, 48 : 2, 13 recursive calls Configuration Y_4(sum=11,0,2,4,5) IS NOT 7-reducible. total_time : 0.0540s nauty_time : 0.0537s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 16 : 0, 17 : 1, 18 : 2, 28 : 0, 29 : 1, 30 : 2, 46 : 0, 47 : 1, 48 : 2, 13 recursive calls Configuration Y_4(sum=11,0,3,3,5) IS NOT 7-reducible. total_time : 0.0532s nauty_time : 0.0530s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 16 : 0, 17 : 1, 18 : 2, 31 : 0, 32 : 1, 33 : 2, 46 : 0, 47 : 1, 48 : 2, 13 recursive calls Configuration Y_4(sum=11,0,3,4,4) IS NOT 7-reducible. total_time : 0.0709s nauty_time : 0.0706s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 28 : 0, 29 : 1, 30 : 2, 46 : 0, 47 : 1, 48 : 2, 13 recursive calls Configuration Y_4(sum=11,1,1,4,5) IS NOT 7-reducible. total_time : 0.0600s nauty_time : 0.0598s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 28 : 0, 29 : 1, 30 : 2, 46 : 0, 47 : 1, 48 : 2, 13 recursive calls Configuration Y_4(sum=11,1,2,3,5) IS NOT 7-reducible. total_time : 0.0905s nauty_time : 0.0901s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 31 : 0, 32 : 1, 33 : 2, 46 : 0, 47 : 1, 48 : 2, 13 recursive calls Configuration Y_4(sum=11,1,2,4,4) IS NOT 7-reducible. total_time : 0.0855s nauty_time : 0.0852s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 19 : 0, 20 : 1, 21 : 2, 31 : 0, 32 : 1, 33 : 2, 46 : 0, 47 : 1, 48 : 2, 13 recursive calls Configuration Y_4(sum=11,1,3,3,4) IS NOT 7-reducible. total_time : 0.0873s nauty_time : 0.0869s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 28 : 0, 29 : 1, 30 : 2, 46 : 0, 47 : 1, 48 : 2, 13 recursive calls Configuration Y_4(sum=11,2,2,2,5) IS NOT 7-reducible. total_time : 0.1775s nauty_time : 0.1768s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 31 : 0, 32 : 1, 33 : 2, 46 : 0, 47 : 1, 48 : 2, 13 recursive calls Configuration Y_4(sum=11,2,2,3,4) IS NOT 7-reducible. total_time : 0.1311s nauty_time : 0.1306s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 34 : 0, 35 : 1, 36 : 2, 46 : 0, 47 : 1, 48 : 2, 13 recursive calls Configuration Y_4(sum=11,2,3,3,3) IS NOT 7-reducible. total_time : 0.2452s nauty_time : 0.2443s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 13 : 0, 14 : 1, 15 : 2, 31 : 0, 32 : 1, 33 : 2, 49 : 0, 50 : 1, 51 : 2, 13 recursive calls Configuration Y_4(sum=12,0,2,5,5) IS NOT 7-reducible. total_time : 0.0566s nauty_time : 0.0563s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 16 : 0, 17 : 1, 18 : 2, 31 : 0, 32 : 1, 33 : 2, 49 : 0, 50 : 1, 51 : 2, 13 recursive calls Configuration Y_4(sum=12,0,3,4,5) IS NOT 7-reducible. total_time : 0.0671s nauty_time : 0.0668s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 49 : 0, 50 : 1, 51 : 2, 13 recursive calls Configuration Y_4(sum=12,0,4,4,4) IS NOT 7-reducible. total_time : 0.0881s nauty_time : 0.0877s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 31 : 0, 32 : 1, 33 : 2, 49 : 0, 50 : 1, 51 : 2, 13 recursive calls Configuration Y_4(sum=12,1,1,5,5) IS NOT 7-reducible. total_time : 0.0837s nauty_time : 0.0834s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 31 : 0, 32 : 1, 33 : 2, 49 : 0, 50 : 1, 51 : 2, 13 recursive calls Configuration Y_4(sum=12,1,2,4,5) IS NOT 7-reducible. total_time : 0.0892s nauty_time : 0.0888s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 19 : 0, 20 : 1, 21 : 2, 31 : 0, 32 : 1, 33 : 2, 49 : 0, 50 : 1, 51 : 2, 13 recursive calls Configuration Y_4(sum=12,1,3,3,5) IS NOT 7-reducible. total_time : 0.1033s nauty_time : 0.1029s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 49 : 0, 50 : 1, 51 : 2, 13 recursive calls Configuration Y_4(sum=12,1,3,4,4) IS NOT 7-reducible. total_time : 0.1073s nauty_time : 0.1069s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 31 : 0, 32 : 1, 33 : 2, 49 : 0, 50 : 1, 51 : 2, 13 recursive calls Configuration Y_4(sum=12,2,2,3,5) IS NOT 7-reducible. total_time : 0.1701s nauty_time : 0.1695s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 49 : 0, 50 : 1, 51 : 2, 13 recursive calls Configuration Y_4(sum=12,2,2,4,4) IS NOT 7-reducible. total_time : 0.2481s nauty_time : 0.2472s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 34 : 0, 35 : 1, 36 : 2, 49 : 0, 50 : 1, 51 : 2, 13 recursive calls Configuration Y_4(sum=12,2,3,3,4) IS NOT 7-reducible. total_time : 0.2172s nauty_time : 0.2164s Fails on Coloring: 13 : 0, 14 : 1, 15 : 2, 25 : 0, 26 : 1, 27 : 2, 37 : 0, 38 : 1, 39 : 2, 49 : 0, 50 : 1, 51 : 2, 13 recursive calls Configuration Y_4(sum=12,3,3,3,3) IS NOT 7-reducible. total_time : 0.6666s nauty_time : 0.6637s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 16 : 0, 17 : 1, 18 : 2, 34 : 0, 35 : 1, 36 : 2, 52 : 0, 53 : 1, 54 : 2, 13 recursive calls Configuration Y_4(sum=13,0,3,5,5) IS NOT 7-reducible. total_time : 0.0923s nauty_time : 0.0920s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 52 : 0, 53 : 1, 54 : 2, 13 recursive calls Configuration Y_4(sum=13,0,4,4,5) IS NOT 7-reducible. total_time : 0.0643s nauty_time : 0.0641s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 34 : 0, 35 : 1, 36 : 2, 52 : 0, 53 : 1, 54 : 2, 13 recursive calls Configuration Y_4(sum=13,1,2,5,5) IS NOT 7-reducible. total_time : 0.1184s nauty_time : 0.1180s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 52 : 0, 53 : 1, 54 : 2, 13 recursive calls Configuration Y_4(sum=13,1,3,4,5) IS NOT 7-reducible. total_time : 0.1095s nauty_time : 0.1092s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 22 : 0, 23 : 1, 24 : 2, 37 : 0, 38 : 1, 39 : 2, 52 : 0, 53 : 1, 54 : 2, 13 recursive calls Configuration Y_4(sum=13,1,4,4,4) IS NOT 7-reducible. total_time : 0.1369s nauty_time : 0.1364s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 52 : 0, 53 : 1, 54 : 2, 13 recursive calls Configuration Y_4(sum=13,2,2,4,5) IS NOT 7-reducible. total_time : 0.1922s nauty_time : 0.1916s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 34 : 0, 35 : 1, 36 : 2, 52 : 0, 53 : 1, 54 : 2, 13 recursive calls Configuration Y_4(sum=13,2,3,3,5) IS NOT 7-reducible. total_time : 0.2366s nauty_time : 0.2357s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 37 : 0, 38 : 1, 39 : 2, 52 : 0, 53 : 1, 54 : 2, 13 recursive calls Configuration Y_4(sum=13,2,3,4,4) IS NOT 7-reducible. total_time : 0.2819s nauty_time : 0.2810s Fails on Coloring: 13 : 0, 14 : 1, 15 : 2, 25 : 0, 26 : 1, 27 : 2, 37 : 0, 38 : 1, 39 : 2, 52 : 0, 53 : 1, 54 : 2, 13 recursive calls Configuration Y_4(sum=13,3,3,3,4) IS NOT 7-reducible. total_time : 0.4026s nauty_time : 0.3983s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 19 : 0, 20 : 1, 21 : 2, 37 : 0, 38 : 1, 39 : 2, 55 : 0, 56 : 1, 57 : 2, 13 recursive calls Configuration Y_4(sum=14,0,4,5,5) IS NOT 7-reducible. total_time : 0.1318s nauty_time : 0.1313s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 19 : 0, 20 : 1, 21 : 2, 37 : 0, 38 : 1, 39 : 2, 55 : 0, 56 : 1, 57 : 2, 13 recursive calls Configuration Y_4(sum=14,1,3,5,5) IS NOT 7-reducible. total_time : 0.1324s nauty_time : 0.1319s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 22 : 0, 23 : 1, 24 : 2, 37 : 0, 38 : 1, 39 : 2, 55 : 0, 56 : 1, 57 : 2, 13 recursive calls Configuration Y_4(sum=14,1,4,4,5) IS NOT 7-reducible. total_time : 0.1306s nauty_time : 0.1302s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 37 : 0, 38 : 1, 39 : 2, 55 : 0, 56 : 1, 57 : 2, 13 recursive calls Configuration Y_4(sum=14,2,2,5,5) IS NOT 7-reducible. total_time : 0.2677s nauty_time : 0.2668s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 37 : 0, 38 : 1, 39 : 2, 55 : 0, 56 : 1, 57 : 2, 13 recursive calls Configuration Y_4(sum=14,2,3,4,5) IS NOT 7-reducible. total_time : 0.2277s nauty_time : 0.2268s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 25 : 0, 26 : 1, 27 : 3, 40 : 0, 41 : 1, 42 : 3, 55 : 4, 56 : 5, 57 : 6, 586 recursive calls Configuration Y_4(sum=14,2,4,4,4) IS NOT 7-reducible. total_time : 1587.0000s nauty_time : 94.3034s Fails on Coloring: 13 : 0, 14 : 1, 15 : 2, 25 : 0, 26 : 1, 27 : 2, 37 : 0, 38 : 1, 39 : 2, 55 : 0, 56 : 1, 57 : 2, 13 recursive calls Configuration Y_4(sum=14,3,3,3,5) IS NOT 7-reducible. total_time : 0.4040s nauty_time : 0.3998s Fails on Coloring: 13 : 0, 14 : 1, 15 : 2, 25 : 0, 26 : 1, 27 : 3, 40 : 0, 41 : 1, 42 : 4, 55 : 2, 56 : 3, 57 : 4, 553 recursive calls Configuration Y_4(sum=14,3,3,4,4) IS NOT 7-reducible. total_time : 1629.0000s nauty_time : 320.1491s Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 22 : 0, 23 : 1, 24 : 2, 40 : 0, 41 : 1, 42 : 2, 58 : 0, 59 : 1, 60 : 2, 13 recursive calls Configuration Y_4(sum=15,0,5,5,5) IS NOT 7-reducible. total_time : 0.1398s nauty_time : 0.1391s Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 22 : 0, 23 : 1, 24 : 2, 40 : 0, 41 : 1, 42 : 2, 58 : 0, 59 : 1, 60 : 2, 13 recursive calls Configuration Y_4(sum=15,1,4,5,5) IS NOT 7-reducible. total_time : 0.1538s nauty_time : 0.1534s Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 40 : 0, 41 : 1, 42 : 2, 58 : 0, 59 : 1, 60 : 2, 13 recursive calls Configuration Y_4(sum=15,2,3,5,5) IS NOT 7-reducible. total_time : 0.3704s nauty_time : 0.3693s