Milestones: August 9, 1994: Nauty included successfully. October 31, 1995: Runnning on yam-suff. November 26, 1995: Use mathematica built-in database. Degree 2: ========= Fri Jun 3 12:29:47 1994 m=2, #graphs=2, #relations=3, dim of relations=1, time=27.4333 Second Degree 2, 2 components: ----------------------- Tue Jun 7 09:44:57 1994 Green + 2 OV + Red; #graphs=1, #rels=1, dim rels=0, time=0.583333 Degree 2, 3 components: ----------------------- Wed Jun 22 09:54:45 1994 Graph[Blue[4],Green[4],Red[4],OV[1,2,3]] Blue + Green + OV + Red; #graphs=1, #rels=0, dim rels=0, time=0.166667 Degree 3: ========= Fri Jun 3 11:09:31 1994 m=3, #graphs=4, #relations=7, dim of relations=3, time=129.933 Second Wed Jun 15 14:06:40 1994 Prism[3] 6 OV; #graphs=4, #rels=4, dim rels=3, time=48.05 2 components: ------------- Tue Jun 7 09:46:44 1994 Green + 4 OV + Red; #graphs=3, #rels=3, dim rels=2, time=14.85 Tue Jun 7 09:53:54 1994 2 Green + 3 OV + Red; #graphs=1, #rels=2, dim rels=1, time=1.88333 Wed Jun 22 09:58:04 1994 Tree@{Green,Red,Green,Red} 2 Green + 2 OV + 2 Red; #graphs=1, #rels=1, dim rels=0, time=1.23333 3 components: ------------- Tue Jun 7 10:36:08 1994 Blue + Green + 3 OV + Red; #graphs=4, #rels=4, dim rels=3, time=4.5 Tue Jun 7 14:47:00 1994 2 Blue + Green + 2 OV + Red; #graphs=1, #rels=1, dim rels=0, time=0.833333 4 components: ------------- Sun Jul 10 13:17:43 EDT 1994 BSeedGraph[3,{1,1,1,1}] C1 + C2 + C3 + C4 + 2 OV; #graphs=3, #rels=1, time=1.11667 Degree 4: ========= Fri Jun 3 11:46:35 1994 m=4, #graphs=14, #relations=39, dim of relations=12, time=730.15 Second Wed Jun 15 14:14:27 1994 8 OV; #graphs=14, #rels=20, dim rels=12, time=350.567 Sun Jun 5 12:28:39 1994 4 OV + 4 UV; #graphs=1, #rels=1, dim rels=0, time=9.38333 2 components: ------------- Tue Jun 7 09:50:28 1994 Green + 6 OV + Red; #graphs=14, #rels=24, dim rels=13, time=154.867 Tue Jun 7 09:56:52 1994 2 Green + 5 OV + Red; #graphs=7, #rels=14, dim rels=7, time=42.9 Wed Jun 22 10:01:42 1994 Ring@{Green,Green,Green,Red} 3 Green + 4 OV + Red; #graphs=1, #rels=1, dim rels=0, time=4.6 Tue Jun 7 10:14:21 1994 2 Green + 4 OV + 2 Red; #graphs=6, #rels=5, dim rels=4, time=26.8333 Wed Jun 22 10:03:17 1994 Tree@{Green,Red,Green,Green,Red} 3 Green + 3 OV + 2 Red; #graphs=0, #rels=0, dim rels=0, time=0.6 3 components: ------------- Tue Jun 7 10:39:04 1994 Blue + Green + 5 OV + Red; #graphs=21, #rels=34, dim rels=20, time=117.433 Tue Jun 7 14:48:23 1994 2 Blue + Green + 4 OV + Red; #graphs=10, #rels=11, dim rels=8, time=26.7 Tue Jun 7 15:07:02 1994 2 Blue + 2 Green + 3 OV + Red; #graphs=2, #rels=2, dim rels=1, time=3.5 Tue Jun 7 15:14:00 1994 3 Blue + Green + 3 OV + Red; #graphs=1, #rels=1, dim rels=0, time=1.83333 4 components: ------------- Sun Jul 10 13:19:10 EDT 1994 BSeedGraph[4,{1,1,1,1}] C1 + C2 + C3 + C4 + 4 OV; #graphs=24, #rels=21, time=31.4333 Sun Jul 10 13:20:26 EDT 1994 BSeedGraph[4,{2,1,1,1}] 2 C1 + C2 + C3 + C4 + 3 OV; #graphs=6, #rels=3, time=6.16667 5 components: ------------- Sun Jul 10 13:22:02 EDT 1994 BSeedGraph[4,{1,1,1,1,1} C1 + C2 + C3 + C4 + C5 + 3 OV; #graphs=15, #rels=9, time=8.5 Degree 5: ========= Fri Jun 3 14:03:14 1994 m=5, #graphs=54, #relations=222, dim of relations=52, time=3130.72 Second Tue Aug 9 15:16:36 EDT 1994 DimBTable[5] 10 OV; #graphs=54, #rels=52, time=100.45 Fri Jul 29 13:18:12 EDT 1994 IHX[BSeedGraph[5,{3}]] 3 C1 + 7 OV; #graphs=10, #rels=10, time=146.65 Sun Jun 5 12:29:34 1994 6 OV + 4 UV; #graphs=5, #rels=5, dim rels=4, time=109.9 2 components: ------------- Fri Jun 17 12:12:37 1994 Green + 8 OV + Red; #graphs=88, #rels=247, dim rels=86, time=1087.67 Tue Jun 7 10:11:43 1994 2 Green + 7 OV + Red; #graphs=56, #rels=156, dim rels=56, time=772.1 Tue Jun 7 10:28:58 1994 2 Green + 6 OV + 2 Red; #graphs=46, #rels=74, dim rels=43, time=502.133 Fri Jun 17 16:36:25 1994 3 Green + 6 OV + Red; #graphs=21, #rels=37, dim rels=20, time=130.883 Mon Jun 20 09:52:09 1994 3 Green + 5 OV + 2 Red; #graphs=7, #rels=11, dim rels=7, time=29.45 Wed Jun 22 10:08:49 1994 Tree@{Green,Red,Green,Green,Green,Red} 4 Green + 4 OV + 2 Red; #graphs=1, #rels=1, dim rels=0, time=3.9 Sun Jul 10 12:52:50 EDT 1994 BSeedGraph[5,{3,3}] 3 C1 + 3 C2 + 4 OV; #graphs=1, #rels=0, time=4.35 3 components: ------------- Tue Jun 7 11:31:58 1994 Blue + Green + 7 OV + Red; #graphs=141, #rels=355, dim rels=139, time=2045.47 Tue Jun 7 15:04:41 1994 2 Blue + Green + 6 OV + Red; #graphs=85, #rels=166, dim rels=82, time=752.95 Tue Jun 7 15:11:32 1994 2 Blue + 2 Green + 5 OV + Red; #graphs=35, #rels=51, dim rels=33, time=158.65 Tue Jun 7 15:16:36 1994 3 Blue + Green + 5 OV + Red; #graphs=20, #rels=25, dim rels=18, time=94.8 Wed Jun 22 10:11:03 1994 Tree@{Blue,Green,Blue,Blue,Blue,Red} 4 Blue + Green + 4 OV + Red; #graphs=1, #rels=1, dim rels=0, time=3.78333 Wed Jun 22 10:12:12 1994 Tree@{Blue,Green,Blue,Blue,Green,Red} 3 Blue + 2 Green + 4 OV + Red; #graphs=4, #rels=3, dim rels=2, time=11.4167 Wed Jun 22 10:13:38 1994 Tree@{Blue,Green,Blue,Red,Green,Red} 2 Blue + 2 Green + 4 OV + 2 Red; #graphs=10, #rels=7, dim rels=6, time=20.4667 4 components: ------------- Sun Jul 10 13:24:31 EDT 1994 BSeedGraph[5,{1,1,1,1}] C1 + C2 + C3 + C4 + 6 OV; #graphs=192, #rels=187, time=1210.1 Sun Jul 10 13:25:43 EDT 1994 BSeedGraph[5,{2,1,1,1}] 2 C1 + C2 + C3 + C4 + 5 OV; #graphs=84, #rels=78, time=244.283 Sun Jul 10 13:29:12 EDT 1994 BSeedGraph[5,{3,1,1,1}] 3 C1 + C2 + C3 + C4 + 4 OV; #graphs=10, #rels=6, time=19.2167 Sun Jul 10 13:30:08 EDT 1994 BSeedGraph[5,{2,2,1,1}] 2 C1 + 2 C2 + C3 + C4 + 4 OV; #graphs=19, #rels=13, time=30.2667 Degree 5, 5 components: ----------------------- Sun Jul 10 13:26:45 EDT 1994 BSeedGraph[5,{1,1,1,1,1}] C1 + C2 + C3 + C4 + C5 + 5 OV; #graphs=192, #rels=180, time=676.133 Sun Jul 10 13:32:11 EDT 1994 BSeedGraph[5,{2,1,1,1,1}] 2 C1 + C2 + C3 + C4 + C5 + 4 OV; #graphs=45, #rels=33, time=58.1667 Degree 5, 6 components: ----------------------- Sun Jul 10 13:33:00 EDT 1994 BSeedGraph[5,{1,1,1,1,1,1}] C1 + C2 + C3 + C4 + C5 + C6 + 4 OV; #graphs=105, #rels=81, time=132.067 Degree 6: ========= Sat Jun 4 17:34:25 1994 m=6, #graphs=298, #relations=1076, dim of relations=295, time=37441.9 Second Fri Jun 17 11:17:47 1994 12 OV; #graphs=298, #rels=1076, dim rels=295, time=17569. Fri Jul 29 14:14:10 EDT 1994 BBasis[6,{3}] 3 C1 + 9 OV; #graphs=118, #rels=118, time=2209.05 Sun Jun 5 12:33:00 1994 8 OV + 4 UV; #graphs=52, #rels=101, dim rels=50, time=1329.45 Wed Jun 15 14:35:42 1994 Jump@Jump@Ring[4] 8 OV + 4 UV; #graphs=52, #rels=101, dim rels=50, time=1051.72 Tue Jul 5 13:59:44 EDT 1994 Jump@Jump@Ring[4] 8 OV + 4 UV; #graphs=52, #rels=50, time=823.433 Tue Aug 9 12:48:25 EDT 1994 Jump@Jump@Ring[4] 8 OV + 4 UV; #graphs=52, #rels=50, time=56.6667 Sun Jun 5 12:37:20 1994 6 OV + 6 UV; #graphs=1, #rels=1, dim rels=0, time=26.9 Degree 6, 2 components: ----------------------- Fri Jun 17 16:17:00 1994 2 Green + 9 OV + Red; #graphs=501, #rels=1846, dim rels=501, time=13523.8 Sun Jun 19 07:11:50 1994 3 Green + 8 OV + Red; #graphs=215, #rels=595, dim rels=213, time=3055.47 Mon Jun 20 09:33:37 1994 2 Green + 8 OV + 2 Red; #graphs=395, #rels=1047, dim rels=390, time=7310.15 Mon Jun 20 09:46:37 1994 4 Green + 7 OV + Red; #graphs=39, #rels=84, dim rels=39, time=344.55 Mon Jun 20 10:14:49 1994 3 Green + 7 OV + 2 Red; #graphs=107, #rels=253, dim rels=107, time=877.3 Wed Jun 22 09:16:55 1994 5 Green + 6 OV + Red; #graphs=1, #rels=1, dim rels=0, time=11.6167 Wed Jun 22 09:21:13 1994 4 Green + 6 OV + 2 Red; #graphs=19, #rels=21, dim rels=16, time=123.167 Wed Jun 22 09:50:10 1994 3 Green + 6 OV + 3 Red; #graphs=26, #rels=35, dim rels=23, time=143.3 Sun Jul 10 13:11:38 EDT 1994 0 (By checking UOV's) 5 C1 + 2 C2 + 5 OV; #graphs=0, #rels=0, time=1.16667 Wed Jun 22 10:23:32 1994 Tree@{Green,Red,Green,Green,Red,Green,Red} 4 Green + 5 OV + 3 Red; #graphs=1, #rels=2, dim rels=1, time=6.68333 Degree 6, 3 components: ----------------------- Mon Jul 18 09:17:02 EDT 1994 DimB[6,{1,1,1}] C1 + C2 + C3 + 9 OV; #graphs=1153, #rels=1151, time=56071.9 Thu Jun 23 09:30:45 1994 Jump@Jump@Ring@{Blue,Blue,Green,Red} 2 Blue + Green + 8 OV + Red; #graphs=791, #rels=2303, dim rels=786, time=23839.7 Tue Jun 7 16:29:35 1994 3 Blue + Green + 7 OV + Red; #graphs=256, #rels=572, dim rels=253, time=3963.2 Wed Jun 22 09:11:14 1994 2Blue + 2Green + 7OV + Red; #graphs=429, #rels=1016, dim rels=426, time=5809.1 Thu Jun 23 09:37:02 1994 Jump@Tree@{Blue,Green,Blue,Blue,Blue,Red} 4 Blue + Green + 6 OV + Red; #graphs=35, #rels=47, dim rels=32, time=183.317 Thu Jun 23 09:41:27 1994 Jump@Tree@{Blue,Green,Blue,Blue,Green,Red} 3 Blue + 2 Green + 6 OV + Red; #graphs=100, #rels=158, dim rels=94, time=479.833 Thu Jun 23 09:51:51 1994 Jump@Tree@{Blue,Green,Blue,Red,Green,Red} 2Blue + 2Green + 6OV + 2 Red; #graphs=183, #rels=295, dim rels=172, time=995.383 Thu Jun 23 10:16:23 1994 Tree@{Blue,Green,Blue,Blue,Blue,Blue,Red} 5 Blue + Green + 5 OV + Red; #graphs=1, #rels=1, dim rels=0, time=5.98333 Thu Jun 23 10:16:57 1994 Tree@{Blue,Green,Blue,Blue,Blue,Green,Red} 4 Blue + 2 Green + 5 OV + Red; #graphs=6, #rels=5, dim rels=4, time=24.2833 Thu Jun 23 10:19:10 1994 Tree@{Blue,Green,Blue,Blue,Green,Green,Red} 3 Blue + 3 Green + 5 OV + Red; #graphs=11, #rels=10, dim rels=8, time=37.8167 Thu Jun 23 10:20:32 1994 Tree@{Blue,Green,Blue,Blue,Red,Green,Red} 3 Blue + 2 Green + 5 OV + 2 Red; #graphs=19, #rels=20, dim rels=15, time=56.85 Degree 6, 4 components: ----------------------- Fri Jul 15 09:53:54 EDT 1994 BSeedGraph[6,{1,1,1,1}] C1 + C2 + C3 + C4 + 8 OV; #graphs=1728, #rels=1720, time=86597.9 Fri Jul 15 09:55:58 EDT 1994 BSeedGraph[6,{2,1,1,1}] 2 C1 + C2 + C3 + C4 + 7 OV; #graphs=966, #rels=956, time=22472.2 Fri Jul 15 09:56:41 EDT 1994 BSeedGraph[6,{3,1,1,1}] 3 C1 + C2 + C3 + C4 + 6 OV; #graphs=224, #rels=214, time=1409.8 Fri Jul 15 09:57:44 EDT 1994 BSeedGraph[6,{2,2,1,1}] 2 C1 + 2 C2 + C3 + C4 + 6 OV; #graphs=388, #rels=372, time=3120.88 Fri Jul 15 09:59:14 EDT 1994 BSeedGraph[6,{4,1,1,1}] 4 C1 + C2 + C3 + C4 + 5 OV; #graphs=15, #rels=10, time=51.2 Fri Jul 15 09:59:57 EDT 1994 BSeedGraph[6,{3,2,1,1}] 3 C1 + 2 C2 + C3 + C4 + 5 OV; #graphs=46, #rels=36, time=127.417 Fri Jul 15 10:00:51 EDT 1994 BSeedGraph[6,{2,2,2,1}] 2 C1 + 2 C2 + 2 C3 + C4 + 5 OV; #graphs=81, #rels=67, time=221.3 Degree 6, 5 components: ----------------------- Sat Jul 16 20:29:36 EDT 1994 DimB[6,{1,1,1,1,1}] C1 + C2 + C3 + C4 + C5 + 7 OV; #graphs=2130, #rels=2108, time=91862.8 Sat Jul 16 20:31:17 EDT 1994 DimB[6,{2,1,1,1,1}] 2 C1 + C2 + C3 + C4 + C5 + 6 OV; #graphs=864, #rels=834, time=11750. Sat Jul 16 12:30:12 EDT 1994 DimB[6,{3, 1, 1, 1, 1}] 3 C1 + C2 + C3 + C4 + C5 + 5 OV; #graphs=105, #rels=85, time=301.533 Sat Jul 16 12:47:19 EDT 1994 DimB[6,{2, 2, 1, 1, 1}] 2 C1 + 2 C2 + C3 + C4 + C5 + 5 OV; #graphs=186, #rels=156, time=592.55 Degree 6, 6 components: ----------------------- Mon Jul 18 09:17:52 EDT 1994 DimB[6,{1,1,1,1,1,1,1}] C1 + C2 + C3 + C4 + C5 + C6 + 6 OV; #graphs=1920, #rels=1860, time=49779.8 Sat Jul 16 12:51:14 EDT 1994 DimB[6,{2, 1, 1, 1, 1, 1}] 2 C1 + C2 + C3 + C4 + C5 + C6 + 5 OV; #graphs=420, #rels=360, time=1939.73 Degree 7: ========= Thu Jun 23 10:23:07 1994 Jump@Jump@Jump@Ring[4] Aborted due to lack of interest. Tue Aug 9 14:14:23 EDT 1994 Jump@Jump@Jump@Ring[4] 10 OV + 4 UV; #graphs=515, #rels=512, time=1237.87 Sun Jun 5 12:44:58 1994 8 OV + 6 UV; #graphs=9, #rels=8, dim rels=7, time=339.183 Degree 7, 2 components: ----------------------- Mon Aug 15 10:10:38 EDT 1994 DimB[7,{2, 1}] 2 C1 + C2 + 11 OV; #graphs=5059, #rels=5059, time=71040.7 Fri Jul 29 10:40:46 EDT 1994 DimB[7,{3, 1}] 3 C1 + C2 + 10 OV; #graphs=2347, #rels=2344, time=58017.9 Tue Aug 2 09:19:17 EDT 1994 DimB[7,{2, 2}] 2 C1 + 2 C2 + 10 OV; #graphs=3988, #rels=3981, time=141707. Tue Jun 21 15:55:48 1994 4 Green + 9 OV + Red; #graphs=574, #rels=1813, dim rels=574, time=15883.4 Tue Jun 21 09:49:43 1994 3 Green + 9 OV + 2 Red; #graphs=1431, #rels=4706; Out of memory. Exiting. Tue Jul 5 15:09:18 EDT 1994 Jump@Jump@Jump@Tree@{Green,Red,Green,Green,Red} 3 Green + 9 OV + 2 Red; #graphs=1431, #rels=1431, time=73508. Thu Jun 23 10:27:35 1994 ThetaGraph[{Green,Green,Green,Green},{Green,Red}] 5 Green + 8 OV + Red; #graphs=77, #rels=158, dim rels=75, time=1046.35 Thu Jun 23 10:50:05 1994 Jump@Ring@{Green,Green,Green,Green,Red,Red} 4 Green + 8 OV + 2 Red; #graphs=319, #rels=709, dim rels=313, time=5117.92 Thu Jun 23 12:20:15 1994 Jump@Ring@{Green,Green,Green,Red,Red,Red} 3 Green + 8 OV + 3 Red; #graphs=452, #rels=1107, dim rels=446, time=8822.72 Thu Jun 23 16:27:12 1994 Mess (O<) 6 Green + 7 OV + Red; #graphs=1, #rels=2, dim rels=1, time=17.5667 Thu Jun 23 16:27:58 1994 Mess (O<) 5 Green + 7 OV + 2 Red; #graphs=22, #rels=36, dim rels=22, time=208.1 Thu Jun 23 16:33:43 1994 Ring@{Green,Green,Green,Red,Red,Green,Red} 4 Green + 7 OV + 3 Red; #graphs=58, #rels=102, dim rels=57, time=459.1 Wed Jun 22 10:17:14 1994 Tree@{Green,Red,Green,Green,Green,Green,Green,Red} 6 Green + 6 OV + 2 Red; #graphs=1, #rels=1, dim rels=0, time=10.8167 Wed Jun 22 10:19:45 1994 Tree@{Green,Red,Green,Green,Green,Red,Green,Red} 5 Green + 6 OV + 3 Red; #graphs=2, #rels=2, dim rels=1, time=19.7667 Thu Jun 23 16:43:49 1994 Tree@{Green,Red,Green,Green,Red,Red,Green,Red} 4 Green + 6 OV + 4 Red; #graphs=5, #rels=4, dim rels=3, time=41.3333 Degree 7, 3 components: ----------------------- Mon Aug 15 10:05:58 EDT 1994 DimB[7,{1, 1, 1}] C1 + C2 + C3 + 11 OV; #graphs=11089, #rels=11086, time=303727. Wed Aug 17 09:19:24 EDT 1994 DimB[7,{2, 1, 1}] 2 C1 + C2 + C3 + 10 OV; #graphs=8229, #rels=8222, time=143250. Mon Aug 29 11:28:01 EDT 1994 DimB[7,{3, 1, 1}] 3 C1 + C2 + C3 + 9 OV; #graphs=3186, #rels=3181, time=18539.6 Mon Aug 29 11:28:36 EDT 1994 DimB[7,{2, 2, 1}] 2 C1 + 2 C2 + C3 + 9 OV; #graphs=5213, #rels=5208, time=46248.7 Thu Jun 23 16:47:08 1994 Jump@Jump@Tree@{Blue,Green,Blue,Blue,Blue,Red} 4 Blue + Green + 8 OV + Red; #graphs=644, #rels=1559, dim rels=638, time=16398.6 Fri Jun 24 09:00:38 1994 Jump@Jump@Tree@{Blue,Green,Blue,Blue,Green,Red} Interupted by power failure, would have died anyway for "Out of memory". Wed Jul 6 12:19:25 EDT 1994 Jump@Jump@Tree@{Blue,Green,Blue,Blue,Green,Red} 3 Blue + 2 Green + 8 OV + Red; #graphs=1637, #rels=1625, time=72058.4 Thu Jul 28 09:53:37 EDT 1994 IHX[BSeedGraph[7,{3,2,1}]] 3 C1 + 2 C2 + C3 + 8 OV; #graphs=1637, #rels=1625, time=35653.3 Thu Jul 28 16:31:48 EDT 1994 IHX[BSeedGraph[7,{3,2,1}]] 3 C1 + 2 C2 + C3 + 8 OV; #graphs=1637, #rels=1625, time=21506.2 Wed Sep 28 17:07:06 EDT 1994 DimB[7,{3,2,1}] 3 C1 + 2 C2 + C3 + 8 OV; #graphs=1637, #rels=1625, time=3714.67 Sun Nov 26 12:02:45 IST 1995 BBasis[7,{3,2,1}] 3 C1 + 2 C2 + C3 + 8 OV; #graphs=1637, #rels=1625, time=504.483 Wed Aug 31 14:23:31 EDT 1994 DimB[7,{2, 2, 2}] 2 C1 + 2 C2 + 2 C3 + 8 OV; #graphs=2780, #rels=2758, time=11817.1 Sat Jun 25 15:37:42 1994 Jump@Tree@{Blue,Green,Blue,Blue,Blue,Blue,Red} 5 Blue + Green + 7 OV + Red; #graphs=56, #rels=80, dim rels=53, time=462.017 Sat Jun 25 16:07:03 1994 Jump@Tree@{Blue,Green,Blue,Blue,Blue,Green,Red} 4 Blue + 2 Green + 7 OV + Red; #graphs=226, #rels=403, dim rels=220, time=2072.1 Sat Jun 25 17:23:39 1994 Jump@Tree@{Blue,Green,Blue,Blue,Green,Green,Red} 3 Blue + 3 Green + 7 OV + Red; #graphs=356, #rels=663, dim rels=346, time=4064.1 Sun Jun 26 20:16:40 1994 Jump@Tree@{Blue,Green,Blue,Blue,Red,Green,Red} 3Blue + 2Green + 7OV + 2Red; #graphs=593, #rels=1166, dim rels=581, time=11337.9 Sun Jun 26 20:28:04 1994 Tree@{Blue,Green,Blue,Blue,Blue,Blue,Blue,Red} 6 Blue + Green + 6 OV + Red; #graphs=1, #rels=1, dim rels=0, time=10.6667 Sun Jun 26 20:29:59 1994 Tree@{Blue,Green,Blue,Blue,Blue,Blue,Green,Red} 5 Blue + 2 Green + 6 OV + Red; #graphs=9, #rels=7, dim rels=6, time=62.7833 Sun Jun 26 20:31:49 1994 Tree@{Blue,Green,Blue,Blue,Blue,Green,Green,Red} 4 Blue + 3 Green + 6 OV + Red; #graphs=24, #rels=25, dim rels=19, time=134.633 Sun Jun 26 20:35:37 1994 Tree@{Blue,Green,Blue,Blue,Blue,Red,Green,Red} 4 Blue + 2 Green + 6 OV + 2 Red; #graphs=46, #rels=47, dim rels=37, time=238.033 Sun Jun 26 20:43:04 1994 Tree@{Blue,Green,Blue,Blue,Red,Green,Green,Red} 3 Blue + 3 Green + 6 OV + 2 Red; #graphs=67, #rels=82, dim rels=57, time=323.733 Degree 7, 4 components: ----------------------- Mon Aug 29 11:25:50 EDT 1994 DimB[7,{1, 1, 1, 1}] C1 + C2 + C3 + C4 + 10 OV; #graphs=17646, #rels=17635, time=617850. Fri Sep 9 09:50:34 EDT 1994 DimB[7,{2,1,1,1}] 2 C1 + C2 + C3 + C4 + 9 OV; #graphs=11346, #rels=11330, time=213920. Thu Sep 1 09:54:13 EDT 1994 DimB[7,{3,1,1,1}] 3 C1 + C2 + C3 + C4 + 8 OV; #graphs=3556, #rels=3536, time=18589.3 Fri Sep 2 10:06:47 EDT 1994 DimB[7,{2,2,1,1}] 2 C1 + 2 C2 + C3 + C4 + 8 OV; #graphs=5914, #rels=5882, time=47821.4 Thu Sep 1 09:55:20 EDT 1994 DimB[7,{2,2,1,1,1}] 2 C1 + 2 C2 + C3 + C4 + C5 + 7 OV; #graphs=4836, #rels=4746, time=22272.3 Thu Jul 21 14:23:34 EDT 1994 DimB[7,{4, 1, 1, 1}] 4 C1 + C2 + C3 + C4 + 7 OV; #graphs=504, #rels=489, time=7027.35 Mon Jul 25 15:01:04 EDT 1994 DimB[7,{3,2,1,1}] 3 C1 + 2 C2 + C3 + C4 + 7 OV; #graphs=1316, #rels=1286, time=33652.7 Mon Jul 25 15:01:38 EDT 1994 DimB[7,{2,2,2,1}] 2 C1 + 2 C2 + 2 C3 + C4 + 7 OV; #graphs=2205, #rels=2163, time=88856.2 Mon Jul 18 09:24:41 EDT 1994 DimB[7,{5, 1, 1, 1}] 5 C1 + C2 + C3 + C4 + 6 OV; #graphs=21, #rels=15, time=128.333 Mon Jul 18 09:38:05 EDT 1994 DimB[7,{4, 2, 1, 1}] 4 C1 + 2 C2 + C3 + C4 + 6 OV; #graphs=94, #rels=79, time=511.267 Mon Jul 18 10:13:15 EDT 1994 DimB[7,{3, 3, 1, 1}] 3 C1 + 3 C2 + C3 + C4 + 6 OV; #graphs=150, #rels=130, time=832.15 Mon Jul 18 10:33:56 EDT 1994 DimB[7,{3, 2, 2, 1}] 3 C1 + 2 C2 + 2 C3 + C4 + 6 OV; #graphs=257, #rels=227, time=1603.13 Tue Jul 19 11:00:37 EDT 1994 DimB[7,{2, 2, 2, 2}] 2 C1 + 2 C2 + 2 C3 + 2 C4 + 6 OV; #graphs=450, #rels=402, time=3711.02 Degree 7, 5 components: ----------------------- Tue Nov 15 06:17:40 EST 1994 DimB[7,{1,1,1,1,1}] C1 + C2 + C3 + C4 + C5 + 9 OV; #graphs=24480, #rels=24446, time=827210. Tue Sep 6 09:21:20 EDT 1994 DimB[7,{2,1,1,1,1}] 2 C1 + C2 + C3 + C4 + C5 + 8 OV; #graphs=12831, #rels=12771, time=199927. Thu Sep 1 09:53:20 EDT 1994 DimB[7,{3,1,1,1,1}] 3 C1 + C2 + C3 + C4 + C5 + 7 OV; #graphs=2880, #rels=2820, time=9093.43 Mon Jul 18 09:38:50 EDT 1994 DimB[7,{4, 1, 1, 1, 1}] 4 C1 + C2 + C3 + C4 + C5 + 6 OV; #graphs=210, #rels=180, time=1343.68 Mon Jul 18 11:24:40 EDT 1994 DimB[7,{3, 2, 1, 1, 1}] 3 C1 + 2 C2 + C3 + C4 + C5 + 6 OV; #graphs=570, #rels=510, time=5232.62 Tue Jul 19 14:14:02 EDT 1994 DimB[7,{2, 2, 2, 1, 1}] 2 C1 + 2 C2 + 2 C3 + C4 + C5 + 6 OV; #graphs=972, #rels=882, time=12807. Degree 7, 6 components: ----------------------- Sat Nov 5 08:33:29 EST 1994 DimB[7,{1,1,1,1,1,1}] C1 + C2 + C3 + C4 + C5 + C6 + 8 OV; #graphs=27825, #rels=27705, time=770558. Mon Sep 5 09:06:00 EDT 1994 DimB[7,{2,1,1,1,1,1}] 2 C1 + C2 + C3 + C4 + C5 + C6 + 7 OV; #graphs=10560, #rels=10380, time=95852.4 Mon Jul 18 13:38:00 EDT 1994 DimB[7,{3, 1, 1, 1, 1, 1}] 3 C1 + C2 + C3 + C4 + C5 + C6 + 6 OV; #graphs=1260, #rels=1140, time=20478.5 Wed Jul 20 09:47:03 EDT 1994 DimB[7,{2, 2, 1, 1, 1, 1}] 2 C1 + 2 C2 + C3 + C4 + C5 + C6 + 6 OV; #graphs=2145, #rels=1965, time=55879.8 Degree 7, 7 components: ----------------------- Thu Oct 6 16:43:29 EDT 1994 DimB[7,{1,1,1,1,1,1,1}] Killed for lack of memory at "18075(3776): 422/21851". Mon Oct 31 09:01:21 EST 1994 DimB[7,{1,1,1,1,1,1,1}] C1+C2+C3+C4+C5+C6+C7+7OV; #graphs=23040, #rels=22680, time=345480 Sat Aug 6 11:42:08 EDT 1994 DimB[7,{2,1,1,1,1,1,1}] 2 C1 + C2 + C3 + C4 + C5 + C6 + C7 + 6 OV; #graphs=4725, #rels=4365, time=26622 Degree 8: ========= Sun Jun 5 12:46:40 EDT 1994 8 OV + 8 UV; #graphs=1, #rels=1, dim rels=0, time=62.6 Degree 8, 2 components: ----------------------- Wed Oct 12 09:14:19 EDT 1994 DimB[8,{4,1}] 4 C1 + C2 + 11 OV; #graphs=8157, #rels=8157, time=143496. Mon Oct 10 08:58:04 EDT 1994 DimB[8,{3,2}] Out of memory. Fri Oct 7 08:29:47 EDT 1994 DimB[8,{5,1}] 5 C1 + C2 + 10 OV; #graphs=1440, #rels=1436, time=5199.58 Fri Oct 14 14:30:21 EDT 1994 DimB[8,{4, 2}] 4 C1 + 2 C2 + 10 OV; #graphs=5005, #rels=4994, time=42789.8 Thu Oct 6 17:01:40 EDT 1994 DimB[8,{6,1}] 6 C1 + C2 + 9 OV; #graphs=123, #rels=123, time=158.533 Mon Jun 27 12:01:17 1994 Jump@Jump@Tree@{Green,Red,Green,Green,Green,Green,Red} 5 Green + 9 OV + 2 Red; #graphs=635, #rels=1680, dim rels=635, time=18477.6 Tue Jun 28 09:14:47 1994 Jump@Jump@Tree@{Green,Red,Green,Green,Red,Green,Red} Crashed. Thu Jul 7 11:16:48 1994 Jump@Jump@Tree@{Green,Red,Green,Green,Red,Green,Red} 4 Green + 9 OV + 3 Red; #graphs=1387, #rels=1386, time=66169.8 Thu Oct 6 16:56:55 EDT 1994 DimB[8,{7,1}] 7 C1 + C2 + 8 OV; #graphs=1, #rels=0, time=1.41667 Mon Jun 27 10:00:21 1994 Jump@Tree@{Green,Red,Green,Green,Green,Green,Green,Red} 6 Green + 8 OV + 2 Red; #graphs=44, #rels=57, dim rels=40, time=607.45 Mon Jun 27 10:16:10 1994 Jump@Tree@{Green,Red,Green,Green,Green,Red,Green,Red} 5 Green + 8 OV + 3 Red; #graphs=128, #rels=229, dim rels=123, time=1559.53 Mon Jun 27 11:06:53 EDT 1994 Jump@Tree@{Green,Red,Green,Green,Red,Red,Green,Red} 4 Green + 8 OV + 4 Red; #graphs=200, #rels=363, dim rels=192, time=2551.12 Mon Jun 27 09:54 1994 Tree@{Green,Red,Green,Green,Green,Green,Green,Green,Red} 7 Green + 7 OV + 2 Red; #graphs=0, #rels=0, dim rels=0, time=2.45 Mon Jun 27 09:57:13 1994 Tree@{Green,Red,Green,Green,Green,Green,Red,Green,Red} 6 Green + 7 OV + 3 Red; #graphs=3, #rels=3, dim rels=2, time=35.6 Mon Jun 27 09:58:11 1994 Tree@{Green,Red,Green,Green,Green,Red,Red,Green,Red} 5 Green + 7 OV + 4 Red; #graphs=7, #rels=8, dim rels=6, time=71. Degree 8, 3 components: ----------------------- Thu Oct 13 13:09:02 EDT 1994 DimB[8,{5, 1, 1}] 5 C1 + C2 + C3 + 9 OV; #graphs=1421, #rels=1415, time=3667.6 Wed Jun 29 14:06:10 EDT 1994 Jump@Tree@{Blue,Green,Blue,Blue,Blue,Blue,Blue,Red} 6 Blue + Green + 8 OV + Red; #graphs=84, #rels=125, dim rels=80, time=1065.65 Wed Jun 29 14:07:47 1994 Jump@Tree@{Blue,Green,Blue,Blue,Green,Green,Blue,Red} 4Blue + 3Green + 8OV +Red; #graphs=1024, #rels=2129, dim rels=1005, time=45323.9 Thu Jun 30 09:12:36 EDT 1994 Jump@Tree@{Blue,Green,Blue,Blue,Green,Red,Blue,Red} 4Blue+2Green+8OV+2Red; #graphs=1721, #rels=3627, dim rels=1688, time=206199. Mon Jul 4 15:37:02 EDT 1994 Jump@Tree@{Blue,Green,Blue,Blue,Green,Red,Blue,Red} 4 Blue + 2 Green + 8 OV + 2 Red; #graphs=1721, #rels=1688, time=72929.5 Fri Oct 14 09:12:04 EDT 1994 DimB[8,{3, 3, 2}] 3 C1 + 3 C2 + 2 C3 + 8 OV; #graphs=2548, #rels=2510, time=6633.8 Mon Jun 27 09:46:19 1994 Jump@Tree@{Blue,Green,Blue,Blue,Blue,Blue,Green,Red} 5Blue + 2Green + 8OV + Red; #graphs=464, #rels=873, dim rels=452, time=7834.88 Wed Jun 29 09:09:11 EDT 1994 Tree@{Blue,Green,Blue,Blue,Blue,Blue,Blue,Blue,Red} 7 Blue + Green + 7 OV + Red; #graphs=1, #rels=1, dim rels=0, time=14. Wed Jun 29 09:09:41 1994 Tree@{Blue,Green,Blue,Blue,Blue,Blue,Blue,Green,Red} 6 Blue + 2 Green + 7 OV + Red; #graphs=12, #rels=10, dim rels=9, time=113.1 Wed Jun 29 09:55:49 1994 Tree@{Blue,Green,Blue,Blue,Blue,Blue,Green,Green,Red} 5 Blue + 3 Green + 7 OV + Red; #graphs=46, #rels=53, dim rels=39, time=346.9 Wed Jun 29 10:13:48 EDT 1994 Tree@{Blue,Green,Blue,Blue,Blue,Blue,Red,Green,Red} 5 Blue + 2 Green + 7 OV + 2 Red; #graphs=76, #rels=95, dim rels=67, time=573.883 Wed Jun 29 10:33:23 1994 Tree@{Blue,Green,Blue,Blue,Blue,Green,Green,Green,Red} 4 Blue + 4 Green + 7 OV + Red; #graphs=69, #rels=89, dim rels=61, time=510.75 Wed Jun 29 11:02:19 1994 Tree@{Blue,Green,Blue,Blue,Blue,Green,Red,Green,Red} 4Blue + 3Green + 7OV + 2Red; #graphs=179, #rels=259, dim rels=163, time=1398.48 Wed Jun 29 12:30:17 EDT 1994 Tree@{Blue,Green,Blue,Blue,Red,Green,Red,Green,Red} 3Blue + 3Green + 7OV + 3 Red; #graphs=279, #rels=419, dim rels=255, time=2488.48 Degree 8, 4 components: ----------------------- Thu Oct 13 16:34:34 EDT 1994 DimB[8,{5, 1, 1, 1}] 5 C1 + C2 + C3 + C4 + 8 OV; #graphs=1008, #rels=987, time=1575.73 Thu Oct 13 10:48:36 EDT 1994 DimB[8,{6, 1, 1, 1}] 6 C1 + C2 + C3 + C4 + 7 OV; #graphs=28, #rels=21, time=19.9333 Thu Oct 13 10:50:21 EDT 1994 DimB[8,{5, 2, 1, 1}] 5 C1 + 2 C2 + C3 + C4 + 7 OV; #graphs=172, #rels=151, time=116.467 Thu Oct 13 10:57:41 EDT 1994 DimB[8, {4, 3, 1, 1}] 4 C1 + 3 C2 + C3 + C4 + 7 OV; #graphs=396, #rels=361, time=287.433 Thu Oct 13 16:42:08 EDT 1994 DimB[8,{4, 2, 2, 1}] 4 C1 + 2 C2 + 2 C3 + C4 + 7 OV; #graphs=661, #rels=610, time=550.933 Fri Oct 14 09:13:00 EDT 1994 DimB[8,{3, 3, 2, 1}] 3 C1 + 3 C2 + 2 C3 + C4 + 7 OV; #graphs=1013, #rels=943, time=951.617 Degree 8, 5 components: ----------------------- Thu Oct 13 16:35:28 EDT 1994 DimB[8,{5, 1, 1, 1, 1}] 5 C1 + C2 + C3 + C4 + C5 + 7 OV; #graphs=378, #rels=336, time=280.417 Degree 9: ========= Mon Jun 6 17:25:05 1994 11 OV + 7 UV; #graphs=199, #rels=631, dim rels=199, time=10138.7 Wed Jun 15 10:00:28 1994 11 OV + 7 UV; #graphs=199, #rels=631, dim rels=199, time=8883.93 Sun Jun 5 13:05:37 1994 10 OV + 8 UV; #graphs=12, #rels=11, dim rels=10, time=801.683 Degree 9, 2 components: ----------------------- Thu Oct 13 11:35:18 EDT 1994 DimB[9,{7, 1}] 7 C1 + C2 + 10 OV; #graphs=203, #rels=200, time=322.867 Thu Oct 13 17:04:19 EDT 1994 DimB[9,{6, 2}] 6 C1 + 2 C2 + 10 OV; #graphs=1386, #rels=1376, time=4637.27 Thu Oct 13 11:32:20 EDT 1994 DimB[9,{8, 1}] 8 C1 + C2 + 9 OV; #graphs=1, #rels=1, time=1.68333 Jul 3 17:33 1994 Jump@Tree@{Green,Red,Green,Green,Green,Green,Green,Green,Red} 7 Green + 9 OV + 2 Red; #graphs=50, #rels=85, dim rels=50, time=959.05 Sun Jul 3 17:50 1994 Jump@Tree@{Green,Red,Green,Green,Green,Green,Red,Green,Red} 6 Green + 9 OV + 3 Red; #graphs=239, #rels=469, dim rels=236, time=4497.42 Mon Jul 4 13:27 1994 Jump@Tree@{Green,Red,Green,Green,Green,Red,Red,Green,Red} 5 Green + 9 OV + 4 Red; #graphs=480, #rels=1043, dim rels=476, time=11348.6 Jul 3 17:19 94 Tree@{Green,Red,Green,Green,Green,Green,Green,Green,Green,Red} 8 Green + 8 OV + 2 Red; #graphs=1, #rels=1, dim rels=0, time=22.3667 Jul 3 17:20 1994 Tree@{Green,Red,Green,Green,Green,Green,Green,Red,Green,Red} 7 Green + 8 OV + 3 Red; #graphs=4, #rels=4, dim rels=3, time=71.2 Jul 3 17:23 1994 Tree@{Green,Red,Green,Green,Green,Green,Red,Red,Green,Red} 6 Green + 8 OV + 4 Red; #graphs=17, #rels=18, dim rels=14, time=226.717 Sun Jul 3 17:27 1994 Tree@{Green,Red,Green,Green,Green,Red,Red,Red,Green,Red} 5 Green + 8 OV + 5 Red; #graphs=21, #rels=27, dim rels=18, time=275.983 Degree 9, 3 components: ----------------------- Thu Oct 13 11:36:28 EDT 1994 DimB[9,{7, 1, 1}] 7 C1 + C2 + C3 + 9 OV; #graphs=120, #rels=116, time=144.95 Fri Oct 14 09:08:06 EDT 1994 DimB[9,{6, 2, 1}] 6 C1 + 2 C2 + C3 + 9 OV; #graphs=854, #rels=842, time=1496.78 Thu Oct 13 11:33:22 EDT 1994 DimB[9,{8, 1, 1}] 8 C1 + C2 + C3 + 8 OV; #graphs=1, #rels=0, time=1.25 Thu Oct 13 11:34:16 EDT 1994 DimB[9,{7, 2, 1}] 7 C1 + 2 C2 + C3 + 8 OV; #graphs=16, #rels=12, time=14.8167 Thu Oct 13 11:38:21 EDT 1994 DimB[9,{6, 3, 1}] 6 C1 + 3 C2 + C3 + 8 OV; #graphs=80, #rels=71, time=66.9 Thu Oct 13 11:39:09 EDT 1994 DimB[9,{5, 4, 1}] 5 C1 + 4 C2 + C3 + 8 OV; #graphs=169, #rels=155, time=141.083 Fri Oct 14 09:06:28 EDT 1994 DimB[9,{5, 3, 2}] 5 C1 + 3 C2 + 2 C3 + 8 OV; #graphs=419, #rels=391, time=404.667 Fri Oct 14 09:15:09 EDT 1994 DimB[9,{4, 4, 2}] 4 C1 + 4 C2 + 2 C3 + 8 OV; #graphs=618, #rels=580, time=649.25 Thu Oct 13 11:39:48 EDT 1994 DimB[9,{6, 2, 2}] 6 C1 + 2 C2 + 2 C3 + 8 OV; #graphs=140, #rels=124, time=120.083 Degree 9, 4 components: ----------------------- Thu Oct 13 11:37:30 EDT 1994 DimB[9,{7, 1, 1, 1}] 7 C1 + C2 + C3 + C4 + 8 OV; #graphs=36, #rels=28, time=33.0833 Fri Oct 14 09:08:55 EDT 1994 DimB[9,{6, 2, 1, 1}] 6 C1 + 2 C2 + C3 + C4 + 8 OV; #graphs=290, #rels=262, time=264.133 Degree 10: ========== Wed Sep 14 09:07:30 EDT 1994 DimB[10,{7}] 7 C1 + 13 OV; #graphs=5673, #rels=5673, time=105984. Mon Jun 6 10:23:40 1994 12 OV + 8 UV; #graphs=451, #rels=1178, dim rels=447, time=35394.4 Mon Sep 12 09:05:14 EDT 1994 DimB[10,{10}] 10 C1 + 10 OV; #graphs=1, #rels=0, time=1.75 Mon Sep 12 09:06:48 EDT 1994 DimB[10,{11}] 0; #graphs=0, #rels=0, time=0.116667 Degree 10, 2 components: ------------------------ Thu Oct 13 16:37:42 EDT 1994 DimB[10,{8, 1}] 8 C1 + C2 + 11 OV; #graphs=297, #rels=297, time=590.433 Thu Oct 13 13:23:39 EDT 1994 DimB[10,{9, 1}] 9 C1 + C2 + 10 OV; #graphs=1, #rels=0, time=1.91667 Thu Oct 13 13:40:07 EDT 1994 DimB[10,{8, 2}] 8 C1 + 2 C2 + 10 OV; #graphs=85, #rels=80, time=125. Thu Oct 13 16:45:57 EDT 1994 DimB[10,{7, 3}] 7 C1 + 3 C2 + 10 OV; #graphs=428, #rels=420, time=751.333 Thu Oct 13 13:15:24 EDT 1994 DimB[10,{10, 1}] 0; #graphs=0, #rels=0, time=0.116667 Thu Oct 13 13:21:11 EDT 1994 DimB[10,{9, 2}] 0; #graphs=0, #rels=0, time=0.116667 Thu Oct 13 13:27:10 EDT 1994 DimB[10,{8, 3}] 8 C1 + 3 C2 + 9 OV; #graphs=5, #rels=4, time=6.26667 Thu Oct 13 13:34:41 EDT 1994 DimB[10,{7, 4}] 7 C1 + 4 C2 + 9 OV; #graphs=23, #rels=21, time=24.1167 Thu Oct 13 13:38:52 EDT 1994 DimB[10,{6, 5}] 6 C1 + 5 C2 + 9 OV; #graphs=48, #rels=45, time=48.2667 Degree 10, 3 components: ------------------------ Thu Oct 13 16:38:18 EDT 1994 DimB[10,{8, 1, 1}] 8 C1 + C2 + C3 + 10 OV; #graphs=165, #rels=160, time=245.3 Thu Oct 13 13:24:58 EDT 1994 DimB[10,{9, 1, 1}] 9 C1 + C2 + C3 + 9 OV; #graphs=1, #rels=0, time=1.58333 Thu Oct 13 13:40:59 EDT 1994 DimB[10,{8, 2, 1}] 8 C1 + 2 C2 + C3 + 9 OV; #graphs=20, #rels=16, time=23.65 Thu Oct 13 16:46:42 EDT 1994 DimB[10,{7, 3, 1}] 7 C1 + 3 C2 + C3 + 9 OV; #graphs=130, #rels=118, time=138.667 Fri Oct 14 09:16:13 EDT 1994 DimB[10,{7, 2, 2}] 7 C1 + 2 C2 + 2 C3 + 9 OV; #graphs=210, #rels=194, time=226.4 Degree 10, 4 components: ------------------------ Thu Oct 13 16:39:10 EDT 1994 DimB[10,{8, 1, 1, 1}] 8 C1 + C2 + C3 + C4 + 9 OV; #graphs=45, #rels=36, time=49.0333 Fri Nov 18 14:04:38 EST 1994 BBasis[10, {6, 2, 2, 1}] 6 C1 + 2 C2 + 2 C3 + C4 + 9 OV; #graphs=3031, #rels=2907, time=10574. Degree 11: ========== Thu Sep 22 17:55:04 EDT 1994 DimB[11,{8}] 8 C1 + 14 OV; #graphs=12430, #rels=12422, time=580852. Mon Sep 12 11:51:00 EDT 1994 DimB[11,{9}] 9 C1 + 13 OV; #graphs=538, #rels=538, time=1878.77 Tue Jul 19 10:57:54 EDT 1994 DimB[11,{10}] 10 C1 + 12 OV; #graphs=17, #rels=15, time=1226.33 Mon Sep 12 09:08:20 EDT 1994 DimB[11,{11}] 0; #graphs=0, #rels=0, time=0.116667 Mon Sep 12 09:09:19 EDT 1994 DimB[11,{12}] 0; #graphs=0, #rels=0, time=0.133333 Degree 11, 2 components: ------------------------ Thu Oct 13 13:18:05 EDT 1994 DimB[11, {11, 1}] 0; #graphs=0, #rels=0, time=0.116667 Thu Oct 13 13:26:21 EDT 1994 DimB[11, {10, 2}] 10 C1 + 2 C2 + 10 OV; #graphs=1, #rels=0, time=1.75 Thu Oct 13 13:37:59 EDT 1994 DimB[11, {9, 3}] 9 C1 + 3 C2 + 10 OV; #graphs=7, #rels=5, time=10.4667 Thu Oct 13 16:33:24 EDT 1994 DimB[11, {8, 4}] 8 C1 + 4 C2 + 10 OV; #graphs=43, #rels=38, time=51.9167 Fri Oct 14 09:10:01 EDT 1994 DimB[11, {7, 5}] 7 C1 + 5 C2 + 10 OV; #graphs=102, #rels=96, time=121.1 Fri Oct 14 09:13:56 EDT 1994 DimB[11, {6, 6}] 6 C1 + 6 C2 + 10 OV; #graphs=148, #rels=139, time=181.45 Thu Oct 13 13:30:29 EDT 1994 DimB[11, {10, 1}] 10 C1 + C2 + 11 OV; #graphs=1, #rels=1, time=2.23333 Thu Oct 13 16:43:12 EDT 1994 DimB[11, {9, 2}] 9 C1 + 2 C2 + 11 OV; #graphs=95, #rels=95, time=156.983 Degree 11, 3 components: ------------------------ Thu Oct 13 13:31:20 EDT 1994 DimB[11, {10, 1, 1}] 10 C1 + C2 + C3 + 10 OV; #graphs=1, #rels=0, time=1.73333 Thu Oct 13 16:44:06 EDT 1994 DimB[11, {9, 2, 1}] 9 C1 + 2 C2 + C3 + 10 OV; #graphs=25, #rels=20, time=33.0667 Degree 12: ========== Sat Jun 11 17:34:12 1994 14 OV + 10 UV; #graphs=1020, #rels=2857, dim rels=1015, time=162754. Mon Sep 12 09:10:08 EDT 1994 DimB[12,{12}] 12 C1 + 12 OV; #graphs=1, #rels=0, time=2.18333 Mon Sep 12 09:11:14 EDT 1994 DimB[12,{13}] 0; #graphs=0, #rels=0, time=0.133333 Degree 12, 2 components: ------------------------ Thu Oct 13 16:30:15 EDT 1994 DimB[12, {11, 1}] 11 C1 + C2 + 12 OV; #graphs=1, #rels=0, time=2.28333 Thu Oct 13 13:20:15 EDT 1994 DimB[12, {12, 1}] 0; #graphs=0, #rels=0, time=0.116667 Thu Oct 13 13:32:18 EDT 1994 DimB[12, {11, 2}] 0; #graphs=0, #rels=0, time=0.15 Thu Oct 13 16:36:32 EDT 1994 DimB[12, {10, 3}] 10 C1 + 3 C2 + 11 OV; #graphs=8, #rels=7, time=12.6167 Degree 12, 3 components: ------------------------ Thu Oct 13 16:40:46 EDT 1994 DimB[13, {12, 1, 1}] 12 C1 + C2 + C3 + 12 OV; #graphs=1, #rels=0, time=2.31667 Thu Oct 13 16:31:09 EDT 1994 DimB[12, {11, 1, 1}] 11 C1 + C2 + C3 + 11 OV; #graphs=1, #rels=0, time=1.95 Degree 13: ========== Mon Aug 8 10:04:40 EDT 1994 DimB[13,{11}] 11 C1 + 15 OV; #graphs=1214, #rels=1214, time=174129. Thu Jun 9 13:33:15 1994 14 OV + 12 UV; #graphs=22, #rels=20, dim rels=19, time=2827.47 Mon Sep 12 11:49:31 EDT 1994 DimB[13,{13}] 0; #graphs=0, #rels=0, time=0.15 Mon Sep 12 11:50:03 EDT 1994 DimB[13,{14}] 0; #graphs=0, #rels=0, time=0.133333 Degree 13, 2 components: ------------------------ Thu Oct 13 16:39:56 EDT 1994 DimB[13,{12, 1}] 12 C1 + C2 + 13 OV; #graphs=1, #rels=1, time=2.6 Thu Oct 13 13:21:42 EDT 1994 DimB[13, {13, 1}] 0; #graphs=0, #rels=0, time=0.133333 Thu Oct 13 16:32:24 EDT 1994 DimB[13, {12, 2}] 12 C1 + 2 C2 + 12 OV; #graphs=1, #rels=0, time=2.16667 Fri Oct 14 09:19:03 EDT 1994 DimB[13, {11, 3}] 11 C1 + 3 C2 + 12 OV; #graphs=10, #rels=8, time=18.35 Degree 14: ========== Thu Oct 13 13:16:22 EDT 1994 DimB[14, {15}] 0; #graphs=0, #rels=0, time=0.116667 Thu Oct 13 13:28:24 EDT 1994 DimB[14, {14}] 14 C1 + 14 OV; #graphs=1, #rels=0, time=3.03333 Fri Aug 5 08:47:14 EDT 1994 BBasis[14,{12}] 12 C1 + 16 OV; #graphs=2069, #rels=2062, time=330823. Degree 14, 2 components: ------------------------ Thu Oct 13 13:29:15 EDT 1994 DimB[14, {14, 1}] 0; #graphs=0, #rels=0, time=0.116667 Thu Oct 13 16:44:47 EDT 1994 DimB[14, {13, 2}] 0; #graphs=0, #rels=0, time=0.15 Degree 15: ========== Thu Oct 13 13:19:03 EDT 1994 DimB[15,{16}] 0; #graphs=0, #rels=0, time=0.133333 Thu Oct 13 13:35:19 EDT 1994 DimB[15,{15}] 0; #graphs=0, #rels=0, time=0.15 Fri Jul 29 10:11:47 EDT 1994 BBasis[15,{14}] 14 C1 + 16 OV; #graphs=28, #rels=25, time=5381.68 Degree 15, 2 components: ------------------------ Thu Oct 13 13:36:30 EDT 1994 DimB[15,{15, 1}] 0; #graphs=0, #rels=0, time=0.15 Unsorted (but stored in Dims.m): ================================ 4953(0): 12/4953. 4 C1 + 2 C2 + C3 + 9 OV; #graphs=4953, #rels=4941, time=30265.3 beta[8, {4, 2, 1}]=12 Type: 3 C1 + 2 C2 + 2 C3 + 2 C4 + 7 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 1684(0): 102/1684. 3 C1 + 2 C2 + 2 C3 + 2 C4 + 7 OV; #graphs=1684, #rels=1582, time=2357.12 beta[8, {3, 2, 2, 2}]=102 Type: 4 C1 + 2 C2 + C3 + C4 + 8 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 3664(0): 54/3664. 4 C1 + 2 C2 + C3 + C4 + 8 OV; #graphs=3664, #rels=3610, time=14016.6 beta[8, {4, 2, 1, 1}]=54 Type: 4 C1 + 2 C2 + C3 + C4 + C5 + 7 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 1446(0): 105/1446. 4 C1 + 2 C2 + C3 + C4 + C5 + 7 OV; #graphs=1446, #rels=1341, time=1903.03 beta[8, {4, 2, 1, 1, 1}]=105 Type: 4 C1 + 3 C2 + 3 C3 + 8 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 904(0): 46/904. 4 C1 + 3 C2 + 3 C3 + 8 OV; #graphs=904, #rels=858, time=1176.4 beta[9, {4, 3, 3}]=46 Type: 6 C1 + 4 C2 + 10 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 1153(0): 16/1153. 6 C1 + 4 C2 + 10 OV; #graphs=1153, #rels=1137, time=3092.42 beta[10, {6, 4}]=16 Type: 6 C1 + 4 C2 + C3 + 9 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 362(0): 20/362. 6 C1 + 4 C2 + C3 + 9 OV; #graphs=362, #rels=342, time=431.867 beta[10, {6, 4, 1}]=20 Type: 9 C1 + C2 + 12 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 442(0): 3/442. 9 C1 + C2 + 12 OV; #graphs=442, #rels=439, time=1115.92 beta[11, {9, 1}]=3 Type: 9 C1 + C2 + C3 + 11 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 220(0): 5/220. 9 C1 + C2 + C3 + 11 OV; #graphs=220, #rels=215, time=390.35 beta[11, {9, 1, 1}]=5 Type: 9 C1 + C2 + C3 + C4 + 10 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 55(0): 10/55. 9 C1 + C2 + C3 + C4 + 10 OV; #graphs=55, #rels=45, time=70.5833 beta[11, {9, 1, 1, 1}]=10 Type: 9 C1 + 4 C2 + 11 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 57(0): 3/57. 9 C1 + 4 C2 + 11 OV; #graphs=57, #rels=54, time=82.65 beta[12, {9, 4}]=3 Type: 13 C1 + C2 + 14 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 13 C1 + C2 + 14 OV; #graphs=1, #rels=0, time=2.86667 beta[14, {13, 1}]=1 Type: 13 C1 + C2 + C3 + 13 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 13 C1 + C2 + C3 + 13 OV; #graphs=1, #rels=0, time=2.45 beta[14, {13, 1, 1}]=1 Type: 14 C1 + 2 C2 + 14 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 14 C1 + 2 C2 + 14 OV; #graphs=1, #rels=0, time=2.73333 beta[15, {14, 2}]=1 Type: 5 C1 + 3 C2 + 10 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 3789(0): 13/3789. 5 C1 + 3 C2 + 10 OV; #graphs=3789, #rels=3776, time=22687.2 beta[9, {5, 3}]=13 Type: 6 C1 + C2 + 11 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 3086(0): 0/3086. 6 C1 + C2 + 11 OV; #graphs=3086, #rels=3086, time=21088.6 beta[9, {6, 1}]=0 Type: 5 C1 + 3 C2 + C3 + 9 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 2540(0): 28/2540. 5 C1 + 3 C2 + C3 + 9 OV; #graphs=2540, #rels=2512, time=8189.45 beta[9, {5, 3, 1}]=28 Type: 6 C1 + C2 + C3 + 10 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 2851(0): 11/2851. 6 C1 + C2 + C3 + 10 OV; #graphs=2851, #rels=2840, time=13945.4 beta[9, {6, 1, 1}]=11 Type: 5 C1 + 3 C2 + C3 + C4 + 8 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 906(0): 56/906. 5 C1 + 3 C2 + C3 + C4 + 8 OV; #graphs=906, #rels=850, time=1131.75 beta[9, {5, 3, 1, 1}]=56 Type: 6 C1 + C2 + C3 + C4 + 9 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 1848(0): 28/1848. 6 C1 + C2 + C3 + C4 + 9 OV; #graphs=1848, #rels=1820, time=5481.7 beta[9, {6, 1, 1, 1}]=28 Type: 6 C1 + C2 + C3 + C4 + C5 + 8 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 630(0): 56/630. 6 C1 + C2 + C3 + C4 + C5 + 8 OV; #graphs=630, #rels=574, time=762.5 beta[9, {6, 1, 1, 1, 1}]=56 Type: 5 C1 + 5 C2 + 10 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 1541(0): 16/1541. 5 C1 + 5 C2 + 10 OV; #graphs=1541, #rels=1525, time=4838.45 beta[10, {5, 5}]=16 Type: 5 C1 + 5 C2 + C3 + 9 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. Type: 14 C1 + C2 + C3 + 14 OV... Appending 1 graphs... -- linked to nauty -- Considering 0 given relations... 1(0): 1/1. 14 C1 + C2 + C3 + 14 OV; #graphs=1, #rels=0, time=2.73333 beta[15, {14, 1, 1}]=1 Type: 14 C1 + C2 + 15 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 14 C1 + C2 + 15 OV; #graphs=1, #rels=1, time=3.15 beta[15, {14, 1}]=0 Type: 10 C1 + 2 C2 + C3 + 11 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 30(0): 5/30. 10 C1 + 2 C2 + C3 + 11 OV; #graphs=30, #rels=25, time=46.5333 beta[12, {10, 2, 1}]=5 Type: 12 C1 + 3 C2 + 13 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 12(0): 2/12. 12 C1 + 3 C2 + 13 OV; #graphs=12, #rels=10, time=24.4833 beta[14, {12, 3}]=2 Type: 10 C1 + C2 + C3 + C4 + 11 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 66(0): 11/66. 10 C1 + C2 + C3 + C4 + 11 OV; #graphs=66, #rels=55, time=101.367 beta[12, {10, 1, 1, 1}]=11 Type: 11 C1 + 2 C2 + C3 + 12 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 36(0): 6/36. 11 C1 + 2 C2 + C3 + 12 OV; #graphs=36, #rels=30, time=64.0833 beta[13, {11, 2, 1}]=6 Type: 13 C1 + 3 C2 + 14 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 14(0): 2/14. 13 C1 + 3 C2 + 14 OV; #graphs=14, #rels=12, time=32.3 beta[15, {13, 3}]=2 Type: 11 C1 + C2 + C3 + C4 + 12 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 78(0): 12/78. 11 C1 + C2 + C3 + C4 + 12 OV; #graphs=78, #rels=66, time=140.683 beta[13, {11, 1, 1, 1}]=12 Type: 12 C1 + 2 C2 + C3 + 13 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 42(0): 6/42. 12 C1 + 2 C2 + C3 + 13 OV; #graphs=42, #rels=36, time=87.7 beta[14, {12, 2, 1}]=6 Type: 12 C1 + C2 + C3 + C4 + 13 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 91(0): 13/91. 12 C1 + C2 + C3 + C4 + 13 OV; #graphs=91, #rels=78, time=189.5 beta[14, {12, 1, 1, 1}]=13 Type: 13 C1 + 2 C2 + C3 + 14 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 49(0): 7/49. 13 C1 + 2 C2 + C3 + 14 OV; #graphs=49, #rels=42, time=113.05 beta[15, {13, 2, 1}]=7 Type: 10 C1 + 2 C2 + 12 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 146(0): 6/146. 10 C1 + 2 C2 + 12 OV; #graphs=146, #rels=140, time=299.683 beta[12, {10, 2}]=6 Type: 10 C1 + C2 + C3 + 12 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1 286(0): 6/286. 10 C1 + C2 + C3 + 12 OV; #graphs=286, #rels=280, time=626.75 DimB[12, {10, 1, 1}] = 6 Type: 13 C1 + C2 + C3 + C4 + 14 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 105(0): 14/105. 13 C1 + C2 + C3 + C4 + 14 OV; #graphs=105, #rels=91, time=250.467 DimB[15, {13, 1, 1, 1}] = 14 Type: 8 C1 + 3 C2 + C3 + 10 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 200(0): 15/200. 8 C1 + 3 C2 + C3 + 10 OV; #graphs=200, #rels=185, time=267.183 DimB[11, {8, 3, 1}] = 15 Type: 10 C1 + 4 C2 + 12 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 92(0): 7/92. 10 C1 + 4 C2 + 12 OV; #graphs=92, #rels=85, time=157.683 DimB[13, {10, 4}] = 7 Type: 11 C1 + 2 C2 + 13 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 161(0): 0/161. 11 C1 + 2 C2 + 13 OV; #graphs=161, #rels=161, time=366.1 DimB[13, {11, 2}] = 0 Type: 11 C1 + C2 + C3 + 13 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 364(0): 6/364. 11 C1 + C2 + C3 + 13 OV; #graphs=364, #rels=358, time=976.967 DimB[13, {11, 1, 1}] = 6 Type: 7 C1 + 2 C2 + C3 + C4 + 9 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 460(0): 36/460. 7 C1 + 2 C2 + C3 + C4 + 9 OV; #graphs=460, #rels=424, time=608.283 DimB[10, {7, 2, 1, 1}] = 36 Type: 8 C1 + 5 C2 + 11 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 193(0): 7/193. 8 C1 + 5 C2 + 11 OV; #graphs=193, #rels=186, time=295.4 DimB[12, {8, 5}] = 7 Type: 11 C1 + 4 C2 + 13 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 118(0): 5/118. 11 C1 + 4 C2 + 13 OV; #graphs=118, #rels=113, time=234.233 DimB[14, {11, 4}] = 5 Type: 12 C1 + 2 C2 + 14 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 231(0): 7/231. 12 C1 + 2 C2 + 14 OV; #graphs=231, #rels=224, time=638.317 DimB[14, {12, 2}] = 7 Type: 12 C1 + C2 + C3 + 14 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 455(0): 7/455. 12 C1 + C2 + C3 + 14 OV; #graphs=455, #rels=448, time=1484.1 DimB[14, {12, 1, 1}] = 7 Type: 5 C1 + 5 C2 + C3 + 9 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 506(0): 25/506. 5 C1 + 5 C2 + C3 + 9 OV; #graphs=506, #rels=481, time=653.717 DimB[10, {5, 5, 1}] = 25 Type: 9 C1 + 3 C2 + C3 + 11 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 295(0): 18/295. 9 C1 + 3 C2 + C3 + 11 OV; #graphs=295, #rels=277, time=502.4 DimB[12, {9, 3, 1}] = 18 Type: 8 C1 + 2 C2 + 2 C3 + 10 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 335(0): 25/335. 8 C1 + 2 C2 + 2 C3 + 10 OV; #graphs=335, #rels=310, time=490.3 DimB[11, {8, 2, 2}] = 25 Type: 7 C1 + C2 + C3 + C4 + C5 + 9 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 990(0): 72/990. 7 C1 + C2 + C3 + C4 + C5 + 9 OV; #graphs=990, #rels=918, time=1755. DimB[10, {7, 1, 1, 1, 1}] = 72 Type: 13 C1 + 2 C2 + 15 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 252(0): 0/252. 13 C1 + 2 C2 + 15 OV; #graphs=252, #rels=252, time=799.467 DimB[15, {13, 2}] = 0 Type: 13 C1 + C2 + C3 + 15 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 560(0): 7/560. 13 C1 + C2 + C3 + 15 OV; #graphs=560, #rels=553, time=2234.62 DimB[15, {13, 1, 1}] = 7 Type: 7 C1 + 6 C2 + 11 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 342(0): 9/342. 7 C1 + 6 C2 + 11 OV; #graphs=342, #rels=333, time=577.15 DimB[12, {7, 6}] = 9 Type: 10 C1 + C2 + 13 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 608(0): 0/608. 10 C1 + C2 + 13 OV; #graphs=608, #rels=608, time=2031.8 DimB[12, {10, 1}] = 0 Type: 8 C1 + 2 C2 + C3 + C4 + 10 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 695(0): 45/695. 8 C1 + 2 C2 + C3 + C4 + 10 OV; #graphs=695, #rels=650, time=1300.55 DimB[11, {8, 2, 1, 1}] = 45 Type: 12 C1 + 4 C2 + 14 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 174(0): 9/174. 12 C1 + 4 C2 + 14 OV; #graphs=174, #rels=165, time=421.983 DimB[15, {12, 4}] = 9 Type: 4 C1 + 4 C2 + C3 + C4 + 8 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 1304(0): 70/1304. 4 C1 + 4 C2 + C3 + C4 + 8 OV; #graphs=1304, #rels=1234, time=1981.28 DimB[9, {4, 4, 1, 1}] = 70 Type: 3 C1 + 3 C2 + C3 + C4 + C5 + 7 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 2205(0): 140/2205. 3 C1 + 3 C2 + C3 + C4 + C5 + 7 OV; #graphs=2205, #rels=2065, time=3384.6 DimB[8, {3, 3, 1, 1, 1}] = 140 Type: 7 C1 + 2 C2 + C3 + 10 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 1484(0): 20/1484. 7 C1 + 2 C2 + C3 + 10 OV; #graphs=1484, #rels=1464, time=4406.37 DimB[10, {7, 2, 1}] = 20 Type: 8 C1 + 3 C2 + 11 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 703(0): 5/703. 8 C1 + 3 C2 + 11 OV; #graphs=703, #rels=698, time=1718.28 DimB[11, {8, 3}] = 5 Type: 7 C1 + 4 C2 + C3 + 10 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 712(0): 30/712. 7 C1 + 4 C2 + C3 + 10 OV; #graphs=712, #rels=682, time=1304.4 DimB[11, {7, 4, 1}] = 30 Type: 9 C1 + 5 C2 + 12 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 347(0): 11/347. 9 C1 + 5 C2 + 12 OV; #graphs=347, #rels=336, time=700.05 DimB[13, {9, 5}] = 11 Type: 10 C1 + 3 C2 + C3 + 12 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 420(0): 22/420. 10 C1 + 3 C2 + C3 + 12 OV; #graphs=420, #rels=398, time=918.683 DimB[13, {10, 3, 1}] = 22 Type: 4 C1 + C2 + C3 + C4 + C5 + C6 + 7 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 3150(0): 210/3150. 4 C1 + C2 + C3 + C4 + C5 + C6 + 7 OV; #graphs=3150, #rels=2940, time=6364.83 DimB[8, {4, 1, 1, 1, 1, 1}] = 210 Type: 9 C1 + 2 C2 + 2 C3 + 11 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 470(0): 25/470. 9 C1 + 2 C2 + 2 C3 + 11 OV; #graphs=470, #rels=445, time=901.9 DimB[12, {9, 2, 2}] = 25 Type: 11 C1 + C2 + 14 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 846(0): 4/846. 11 C1 + C2 + 14 OV; #graphs=846, #rels=842, time=3692.83 DimB[13, {11, 1}] = 4 Type: 5 C1 + 2 C2 + 2 C3 + C4 + 8 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 1491(0): 84/1491. 5 C1 + 2 C2 + 2 C3 + C4 + 8 OV; #graphs=1491, #rels=1407, time=2459.32 DimB[9, {5, 2, 2, 1}] = 84 Type: 8 C1 + C2 + C3 + C4 + C5 + 10 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 1485(0): 90/1485. 8 C1 + C2 + C3 + C4 + C5 + 10 OV; #graphs=1485, #rels=1395, time=4073.8 DimB[11, {8, 1, 1, 1, 1}] = 90 Type: 6 C1 + 3 C2 + 2 C3 + 9 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 869(0): 40/869. 6 C1 + 3 C2 + 2 C3 + 9 OV; #graphs=869, #rels=829, time=1377.38 DimB[10, {6, 3, 2}] = 40 Type: 7 C1 + C2 + C3 + C4 + 10 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 3168(0): 36/3168. 7 C1 + C2 + C3 + C4 + 10 OV; #graphs=3168, #rels=3132, time=15868.9 DimB[10, {7, 1, 1, 1}] = 36 Type: 9 C1 + 2 C2 + C3 + C4 + 11 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 1010(0): 55/1010. 9 C1 + 2 C2 + C3 + C4 + 11 OV; #graphs=1010, #rels=955, time=2701.28 DimB[12, {9, 2, 1, 1}] = 55 Type: 6 C1 + 3 C2 + C3 + C4 + 9 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 1866(0): 84/1866. 6 C1 + 3 C2 + C3 + C4 + 9 OV; #graphs=1866, #rels=1782, time=4576.88 DimB[10, {6, 3, 1, 1}] = 84 Type: 12 C1 + C2 + 15 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 1114(0): 0/1114. 12 C1 + C2 + 15 OV; #graphs=1114, #rels=1114, time=6306.38 DimB[14, {12, 1}] = 0 Type: 11 C1 + 3 C2 + C3 + 13 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 581(0): 26/581. 11 C1 + 3 C2 + C3 + 13 OV; #graphs=581, #rels=555, time=1664.67 DimB[14, {11, 3, 1}] = 26 Type: 6 C1 + 5 C2 + C3 + 10 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 1308(0): 42/1308. 6 C1 + 5 C2 + C3 + 10 OV; #graphs=1308, #rels=1266, time=3246.07 DimB[11, {6, 5, 1}] = 42 Type: 9 C1 + 3 C2 + 12 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 1126(0): 12/1126. 9 C1 + 3 C2 + 12 OV; #graphs=1126, #rels=1114, time=4069.68 DimB[12, {9, 3}] = 12 Type: 3 C1 + 2 C2 + 2 C3 + C4 + C5 + 7 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 3673(0): 210/3673. 3 C1 + 2 C2 + 2 C3 + C4 + C5 + 7 OV; #graphs=3673, #rels=3463, time=8021.62 DimB[8, {3, 2, 2, 1, 1}] = 210 Type: 4 C1 + C2 + C3 + C4 + C5 + 8 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 1114(0): 0/1114. 12 C1 + C2 + 15 OV; #graphs=1114, #rels=1114, time=6306.38 DimB[14, {12, 1}] = 0 Type: 11 C1 + 3 C2 + C3 + 13 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 7920(0): 105/7920. 4 C1 + C2 + C3 + C4 + C5 + 8 OV; #graphs=7920, #rels=7815, time=53015.2 DimB[8, {4, 1, 1, 1, 1}] = 105 Type: 5 C1 + 2 C2 + C3 + C4 + C5 + 8 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 3216(0): 168/3216. 5 C1 + 2 C2 + C3 + C4 + C5 + 8 OV; #graphs=3216, #rels=3048, time=8873.3 DimB[9, {5, 2, 1, 1, 1}] = 168 Type: 3 C1 + 3 C2 + C3 + C4 + 8 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 5504(0): 70/5504. 3 C1 + 3 C2 + C3 + C4 + 8 OV; #graphs=5504, #rels=5434, time=26782.1 DimB[8, {3, 3, 1, 1}] = 70 Type: 8 C1 + 2 C2 + C3 + 11 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 2419(0): 20/2419. 8 C1 + 2 C2 + C3 + 11 OV; #graphs=2419, #rels=2399, time=11735.5 DimB[11, {8, 2, 1}] = 20 Type: 8 C1 + 6 C2 + 12 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 788(0): 19/788. 8 C1 + 6 C2 + 12 OV; #graphs=788, #rels=769, time=2111.22 DimB[13, {8, 6}] = 19 Type: 10 C1 + 2 C2 + 2 C3 + 12 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 686(0): 36/686. 10 C1 + 2 C2 + 2 C3 + 12 OV; #graphs=686, #rels=650, time=1787.27 DimB[13, {10, 2, 2}] = 36 Type: 10 C1 + 5 C2 + 13 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 584(0): 13/584. 10 C1 + 5 C2 + 13 OV; #graphs=584, #rels=571, time=1620.3 DimB[14, {10, 5}] = 13 Type: 4 C1 + 4 C2 + C3 + 9 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 3588(0): 32/3588. 4 C1 + 4 C2 + C3 + 9 OV; #graphs=3588, #rels=3556, time=15583.9 DimB[9, {4, 4, 1}] = 32 Type: 8 C1 + 4 C2 + C3 + 11 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 1299(0): 40/1299. 8 C1 + 4 C2 + C3 + 11 OV; #graphs=1299, #rels=1259, time=3855.8 DimB[12, {8, 4, 1}] = 40 Type: 9 C1 + C2 + C3 + C4 + C5 + 11 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 2145(0): 110/2145. 9 C1 + C2 + C3 + C4 + C5 + 11 OV; #graphs=2145, #rels=2035, time=8982.95 DimB[12, {9, 1, 1, 1, 1}] = 110 Type: 13 C1 + C2 + 16 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 1478(0): 5/1478. 13 C1 + C2 + 16 OV; #graphs=1478, #rels=1473, time=11048.3 DimB[15, {13, 1}] = 5 Type: 7 C1 + 7 C2 + 12 OV... Appending 1 graphs... Considering 0 given relations... 1(0): 1/1. 7 C1 + 7 C2 + 12 OV; #graphs=1000, #rels=981, time=3016.35 DimB[13, {7, 7}] = 19 5 C1 + 4 C2 + 2 C3 + 9 OV; #graphs=1694, #rels=1634, time=3767.07 DimB[10, {5, 4, 2}] = 60 8 C1 + C2 + C3 + C4 + 11 OV; #graphs=5148, #rels=5103, time=45533. DimB[11, {8, 1, 1, 1}] = 45 10 C1 + 2 C2 + C3 + C4 + 12 OV; #graphs=1421, #rels=1355, time=5485.83 DimB[13, {10, 2, 1, 1}] = 66 12 C1 + 3 C2 + C3 + 14 OV; #graphs=784, #rels=754, time=2920.85 DimB[15, {12, 3, 1}] = 30 4 C1 + 3 C2 + 2 C3 + C4 + 8 OV; #graphs=3194, #rels=3054, time=8440.65 DimB[9, {4, 3, 2, 1}] = 140 5 C1 + 2 C2 + 2 C3 + 9 OV; #graphs=4121, #rels=4085, time=20357.9 DimB[9, {5, 2, 2}] = 36 7 C1 + 2 C2 + 11 OV; #graphs=2445, #rels=2445, time=13184.1 DimB[10, {7, 2}] = 0 3 C1 + 2 C2 + C3 + C4 + C5 + C6 + 7 OV; #graphs=7980, #rels=7560, time=35375.9 DimB[8, {3, 2, 1, 1, 1, 1}] = 420 5 C1 + C2 + C3 + C4 + C5 + C6 + 8 OV; #graphs=6930, #rels=6594, time=38170.1 DimB[9, {5, 1, 1, 1, 1, 1}] = 336 11 C1 + 2 C2 + 2 C3 + 13 OV; #graphs=917, #rels=881, time=3687.65 DimB[14, {11, 2, 2}] = 36 9 C1 + 2 C2 + C3 + 12 OV; #graphs=3794, #rels=3764, time=32725.8 DimB[12, {9, 2, 1}] = 30 2 C1 + 2 C2 + 2 C3 + 2 C4 + C5 + 7 OV; #graphs=6105, #rels=5793, time=22026.3 DimB[8, {2, 2, 2, 2, 1}] = 312 11 C1 + 5 C2 + 14 OV; #graphs=948, #rels=930, time=4310.07 DimB[15, {11, 5}] = 18 3 C1 + 2 C2 + 2 C3 + C4 + 8 OV; #graphs=9076, #rels=8968, time=71371.6 DimB[8, {3, 2, 2, 1}] = 108 4 C1 + C2 + C3 + C4 + 9 OV; #graphs=10698, #rels=10666, time=137443. DimB[8, {4, 1, 1, 1}] = 32 5 C1 + 2 C2 + C3 + C4 + 9 OV; #graphs=8876, #rels=8792, time=87409.5 DimB[9, {5, 2, 1, 1}] = 84 5 C1 + 3 C2 + 3 C3 + 9 OV; #graphs=2495, #rels=2411, time=8106.95 DimB[10, {5, 3, 3}] = 84 6 C1 + 3 C2 + C3 + 10 OV; #graphs=5644, #rels=5600, time=47398. DimB[10,{6, 3, 1}]=44 10 C1 + C2 + C3 + C4 + C5 + 12 OV; #graphs=3003, #rels=2871, time=20846.8 DimB[13,{10, 1, 1, 1, 1}]=132 7 C1 + 3 C2 + C3 + C4 + 10 OV; #graphs=3546, #rels=3426, time=18855. DimB[11,{7, 3, 1, 1}]=120 11 C1 + 2 C2 + C3 + C4 + 13 OV; #graphs=1946, #rels=1868, time=11795.7 DimB[14,{11, 2, 1, 1}]=78 4 C1 + 3 C2 + C3 + C4 + C5 + 8 OV; #graphs=6870, #rels=6590, time=37070.9 DimB[9,{4, 3, 1, 1, 1}]=280 3 C1 + 3 C2 + 3 C3 + C4 + 8 OV; #graphs=4755, #rels=4569, time=18895. DimB[9,{3, 3, 3, 1}]=186 9 C1 + 4 C2 + C3 + 12 OV; #graphs=2244, #rels=2189, time=12422.8 DimB[13,{9, 4, 1}]=55 9 C1 + 6 C2 + 13 OV; #graphs=1584, #rels=1562, time=8076.48 DimB[14,{9, 6}]=22 3 C1 + 3 C2 + C3 + 9 OV; #graphs=7393, #rels=7374, time=71373.6 DimB[8,{3, 3, 1}]=19 9 C1 + C2 + C3 + C4 + 12 OV; #graphs=8008, #rels=7953, time=129470. DimB[12,{9, 1, 1, 1}]=55 7 C1 + 5 C2 + C3 + 11 OV; #graphs=3033, #rels=2967, time=17470.1 DimB[12,{7, 5, 1}]=66 6 C1 + 2 C2 + C3 + C4 + C5 + 9 OV; #graphs=6486, #rels=6234, time=44145.7 DimB[10,{6, 2, 1, 1, 1}]=252 11 C1 + 3 C2 + 14 OV; #graphs=2520, #rels=2504, time=22032.8 DimB[14,{11, 3}]=16 12 C1 + 2 C2 + 2 C3 + 14 OV; #graphs=1260, #rels=1211, time=6730.62 DimB[15,{12, 2, 2}]=49 6 C1 + 5 C2 + 11 OV; #graphs=4180, #rels=4164, time=33371.9 DimB[11,{6, 5}]=16 4 C1 + 2 C2 + 2 C3 + 2 C4 + 8 OV; #graphs=5268, #rels=5052, time=22923.3 DimB[9,{4, 2, 2, 2}]=216 4 C1 + 4 C2 + 3 C3 + 9 OV; #graphs=3491, #rels=3389, time=14088.3 DimB[10,{4, 4, 3}]=102 8 C1 + 2 C2 + 12 OV; #graphs=4504, #rels=4489, time=50105.1 DimB[11,{8, 2}]=15 8 C1 + C2 + C3 + 12 OV; #graphs=9299, #rels=9283, time=185834. DimB[11,{8, 1, 1}]=16 6 C1 + 6 C2 + C3 + 11 OV; #graphs=3992, #rels=3917, time=28064.8 DimB[12,{6, 6, 1}]=75 10 C1 + 2 C2 + C3 + 13 OV; #graphs=5705, #rels=5675, time=79118.3 DimB[13,{10, 2, 1}]=30 4 C1 + 4 C2 + 10 OV; #graphs=5391, #rels=5371, time=48274.7 DimB[9,{4, 4}]=20 4 C1 + 3 C2 + 2 C3 + 9 OV; #graphs=8617, #rels=8553, time=84315.7 DimB[9,{4, 3, 2}]=64 11 C1 + C2 + C3 + C4 + C5 + 13 OV; #graphs=4095, #rels=3939, time=41721.7 DimB[14,{11, 1, 1, 1, 1}]=156 12 C1 + 2 C2 + C3 + C4 + 14 OV; #graphs=2604, #rels=2513, time=22020.7 DimB[15,{12, 2, 1, 1}]=91 8 C1 + 4 C2 + 12 OV; #graphs=4645, #rels=4616, time=48060.2 DimB[12,{8, 4}]=29 8 C1 + 3 C2 + 2 C3 + 11 OV; #graphs=2989, #rels=2909, time=16584.4 DimB[12,{8, 3, 2}]=80 8 C1 + 7 C2 + 13 OV; #graphs=2574, #rels=2546, time=17958.5 DimB[14,{8, 7}]=28 5 C1 + 4 C2 + C3 + 10 OV; #graphs=10673, #rels=10607, time=151605. DimB[10,{5, 4, 1}]=66 6 C1 + 2 C2 + 2 C3 + 10 OV; #graphs=9173, #rels=9099, time=117713. DimB[10,{6, 2, 2}]=74 6 C1 + 4 C2 + 2 C3 + 10 OV; #graphs=4239, #rels=4129, time=25186.7 DimB[11,{6, 4, 2}]=110 7 C1 + 2 C2 + 2 C3 + C4 + 10 OV; #graphs=5711, #rels=5531, time=43614. DimB[11,{7, 2, 2, 1}]=180 12 C1 + 3 C2 + 15 OV; #graphs=3595, #rels=3583, time=46090.9 DimB[15, {12, 3}] = 12 10 C1 + 4 C2 + C3 + 13 OV; #graphs=3692, #rels=3622, time=33994.6 DimB[14, {10, 4, 1}] = 70 10 C1 + 6 C2 + 14 OV; #graphs=3106, #rels=3070, time=28719.2 DimB[15, {10, 6}] = 36 13 C1 + 17 OV; #graphs=2440, #rels=2440, time=31183.3 DimB[15, {13}] = 0 12 C1 + C2 + C3 + C4 + C5 + 14 OV; #graphs=5460, #rels=5278, time=79954.7 DimB[15, {12, 1, 1, 1, 1}] = 182 11 C1 + 2 C2 + C3 + 14 OV; #graphs=8344, #rels=8302, time=180761. DimB[14, {11, 2, 1}] = 42 8 C1 + 3 C2 + C3 + C4 + 11 OV; #graphs=6321, #rels=6156, time=63019.7 DimB[12, {8, 3, 1, 1}] = 165 8 C1 + 5 C2 + C3 + 12 OV; #graphs=6456, #rels=6357, time=77938.3 DimB[13, {8, 5, 1}] = 99 7 C1 + 3 C2 + C3 + 11 OV; #graphs=11516, #rels=11456, time=212648. DimB[11, {7, 3, 1}] = 60 9 C1 + 2 C2 + 13 OV; #graphs=7280, #rels=7280, time=136701. DimB[12, {9, 2}] = 0 6 C1 + 4 C2 + C3 + C4 + 10 OV; #graphs=8911, #rels=8701, time=96770. DimB[11, {6, 4, 1, 1}] = 210 6 C1 + C2 + C3 + C4 + C5 + C6 + 9 OV; #graphs=13860, #rels=13356, time=180772. DimB[10, {6, 1, 1, 1, 1, 1}] = 504 12 C1 + 2 C2 + C3 + 15 OV; #graphs=11844, #rels=11802, time=403059. DimB[15, {12, 2, 1}] = 42 5 C1 + 5 C2 + 2 C3 + 10 OV; #graphs=5677, #rels=5551, time=41436. DimB[11, {5, 5, 2}] = 126 9 C1 + 4 C2 + 13 OV; #graphs=8364, #rels=8344, time=163294. DimB[13, {9, 4}] = 20 9 C1 + 3 C2 + 2 C3 + 12 OV; #graphs=5089, #rels=4979, time=50121. DimB[13, {9, 3, 2}] = 110 9 C1 + 7 C2 + 14 OV; #graphs=6080, #rels=6033, time=95173.3 DimB[15, {9, 7}] = 47 7 C1 + C2 + 12 OV; #graphs=6295, #rels=6289, time=98648.8 DimB[10, {7, 1}] = 6 5 C1 + 3 C2 + 2 C3 + C4 + 9 OV; #graphs=8620, #rels=8368, time=71680.4 DimB[10, {5, 3, 2, 1}] = 252 6 C1 + 3 C2 + 3 C3 + 10 OV; #graphs=6093, #rels=5952, time=47421. DimB[11, {6, 3, 3}] = 141 7 C1 + 5 C2 + 12 OV; #graphs=10288, #rels=10250, time=206123. DimB[12, {7, 5}] = 38 8 C1 + 8 C2 + 14 OV; #graphs=7655, #rels=7597, time=147773. DimB[15, {8, 8}] = 58 0; #graphs=0, #rels=0, time=0.116667 DimB[20, {21}] = 0 0; #graphs=0, #rels=0, time=0.15 DimB[19, {20}] = 0 0; #graphs=0, #rels=0, time=0.15 DimB[18, {19}] = 0 0; #graphs=0, #rels=0, time=0.15 DimB[17, {18}] = 0 0; #graphs=0, #rels=0, time=0.133333 DimB[16, {17}] = 0 0; #graphs=0, #rels=0, time=0.1 DimB[16, {16, 1}] = 0 0; #graphs=0, #rels=0, time=0.133333 DimB[17, {17, 1}] = 0 0; #graphs=0, #rels=0, time=0.1 DimB[18, {18, 1}] = 0 0; #graphs=0, #rels=0, time=0.133333 DimB[19, {19, 1}] = 0 0; #graphs=0, #rels=0, time=0.133333 DimB[20, {20, 1}] = 0 16 C1 + 16 OV; #graphs=1, #rels=0, time=4.71667 DimB[16, {16}] = 1 0; #graphs=0, #rels=0, time=0.116667 DimB[17, {17}] = 0 18 C1 + 18 OV; #graphs=1, #rels=0, time=5.36667 DimB[18, {18}] = 1 0; #graphs=0, #rels=0, time=0.133333 DimB[19, {19}] = 0 20 C1 + 20 OV; #graphs=1, #rels=0, time=6.48333 DimB[20, {20}] = 1 0; #graphs=0, #rels=0, time=0.116667 DimB[16, {15, 2}] = 0 16 C1 + 2 C2 + 16 OV; #graphs=1, #rels=0, time=4.53333 DimB[17, {16, 2}] = 1 0; #graphs=0, #rels=0, time=0.116667 DimB[18, {17, 2}] = 0 18 C1 + 2 C2 + 18 OV; #graphs=1, #rels=0, time=5.35 DimB[19, {18, 2}] = 1 15 C1 + C2 + C3 + 15 OV; #graphs=1, #rels=0, time=4.18333 DimB[16, {15, 1, 1}] = 1 0; #graphs=0, #rels=0, time=0.133333 DimB[20, {19, 2}] = 0 16 C1 + C2 + C3 + 16 OV; #graphs=1, #rels=0, time=4.53333 DimB[17, {16, 1, 1}] = 1 17 C1 + C2 + C3 + 17 OV; #graphs=1, #rels=0, time=4.78333 DimB[18, {17, 1, 1}] = 1 18 C1 + C2 + C3 + 18 OV; #graphs=1, #rels=0, time=5.18333 DimB[19, {18, 1, 1}] = 1 19 C1 + C2 + C3 + 19 OV; #graphs=1, #rels=0, time=5.63333 DimB[20, {19, 1, 1}] = 1 15 C1 + C2 + 16 OV; #graphs=1, #rels=0, time=4.6 DimB[16, {15, 1}] = 1 16 C1 + C2 + 17 OV; #graphs=1, #rels=1, time=5. DimB[17, {16, 1}] = 0 17 C1 + C2 + 18 OV; #graphs=1, #rels=0, time=5.38333 DimB[18, {17, 1}] = 1 18 C1 + C2 + 19 OV; #graphs=1, #rels=1, time=5.63333 DimB[19, {18, 1}] = 0 19 C1 + C2 + 20 OV; #graphs=1, #rels=0, time=6.43333 DimB[20, {19, 1}] = 1 16 C1 + 18 OV; #graphs=34, #rels=31, time=169.167 DimB[17, {16}] = 3 18 C1 + 20 OV; #graphs=42, #rels=38, time=242.617 DimB[19, {18}] = 4 14 C1 + 3 C2 + 15 OV; #graphs=16, #rels=14, time=52.25 DimB[16, {14, 3}] = 2 15 C1 + 3 C2 + 16 OV; #graphs=19, #rels=16, time=69.3667 DimB[17, {15, 3}] = 3 16 C1 + 3 C2 + 17 OV; #graphs=21, #rels=19, time=83.65 DimB[18, {16, 3}] = 2 17 C1 + 3 C2 + 18 OV; #graphs=24, #rels=21, time=102.033 DimB[19, {17, 3}] = 3 18 C1 + 3 C2 + 19 OV; #graphs=27, #rels=24, time=127.9 DimB[20, {18, 3}] = 3 14 C1 + 2 C2 + C3 + 15 OV; #graphs=56, #rels=49, time=185.267 DimB[16, {14, 2, 1}] = 7 15 C1 + 2 C2 + C3 + 16 OV; #graphs=64, #rels=56, time=235.75 DimB[17, {15, 2, 1}] = 8 16 C1 + 2 C2 + C3 + 17 OV; #graphs=72, #rels=64, time=293.383 DimB[18, {16, 2, 1}] = 8 14 C1 + C2 + C3 + C4 + 15 OV; #graphs=120, #rels=105, time=406.6 DimB[16, {14, 1, 1, 1}] = 15 17 C1 + 2 C2 + C3 + 18 OV; #graphs=81, #rels=72, time=357.583 DimB[19, {17, 2, 1}] = 9 15 C1 + C2 + C3 + C4 + 16 OV; #graphs=136, #rels=120, time=513.133 DimB[17, {15, 1, 1, 1}] = 16 18 C1 + 2 C2 + C3 + 19 OV; #graphs=90, #rels=81, time=436.3 DimB[20, {18, 2, 1}] = 9 14 C1 + 2 C2 + 16 OV; #graphs=344, #rels=336, time=1571.12 DimB[16, {14, 2}] = 8 16 C1 + C2 + C3 + C4 + 17 OV; #graphs=153, #rels=136, time=648.233 DimB[18, {16, 1, 1, 1}] = 17 15 C1 + 2 C2 + 17 OV; #graphs=372, #rels=372, time=1895.37 DimB[17, {15, 2}] = 0 13 C1 + 4 C2 + 15 OV; #graphs=218, #rels=211, time=746.9 DimB[16, {13, 4}] = 7 17 C1 + C2 + C3 + C4 + 18 OV; #graphs=171, #rels=153, time=802.883 DimB[19, {17, 1, 1, 1}] = 18 14 C1 + C2 + C3 + 16 OV; #graphs=680, #rels=672, time=3767.45 DimB[16, {14, 1, 1}] = 8 16 C1 + 2 C2 + 18 OV; #graphs=489, #rels=480, time=2963.47 DimB[18, {16, 2}] = 9 18 C1 + C2 + C3 + C4 + 19 OV; #graphs=190, #rels=171, time=990.683 DimB[20, {18, 1, 1, 1}] = 19 15 C1 + C2 + C3 + 17 OV; #graphs=816, #rels=808, time=5400.2 DimB[17, {15, 1, 1}] = 8 14 C1 + 4 C2 + 16 OV; #graphs=302, #rels=290, time=1236.55 DimB[17, {14, 4}] = 12 17 C1 + 2 C2 + 19 OV; #graphs=525, #rels=525, time=3547.08 DimB[19, {17, 2}] = 0 16 C1 + C2 + C3 + 18 OV; #graphs=969, #rels=960, time=7629.55 DimB[18, {16, 1, 1}] = 9 18 C1 + 2 C2 + 20 OV; #graphs=670, #rels=660, time=5414.5 DimB[20, {18, 2}] = 10 15 C1 + 4 C2 + 17 OV; #graphs=370, #rels=361, time=1756.82 DimB[18, {15, 4}] = 9 17 C1 + C2 + C3 + 19 OV; #graphs=1140, #rels=1131, time=10703.3 DimB[19, {17, 1, 1}] = 9 18 C1 + C2 + C3 + 20 OV; #graphs=1330, #rels=1320, time=14892.9 DimB[20, {18, 1, 1}] = 10 14 C1 + C2 + 17 OV; #graphs=1882, #rels=1882, time=19982.1 DimB[16, {14, 1}] = 0 16 C1 + 4 C2 + 18 OV; #graphs=490, #rels=475, time=2787.9 DimB[19, {16, 4}] = 15 15 C1 + C2 + 18 OV; #graphs=2410, #rels=2405, time=33089.8 DimB[17, {15, 1}] = 5 17 C1 + 4 C2 + 19 OV; #graphs=590, #rels=578, time=3907.05 DimB[20, {17, 4}] = 1 16 C1 + C2 + 19 OV; #graphs=2990, #rels=2990, time=52557.8 DimB[18, {16, 1}] = 0 17 C1 + C2 + 20 OV; #graphs=3725, #rels=3719, time=84811.9 DimB[19, {17, 1}] = 6 13 C1 + 3 C2 + C3 + 15 OV; #graphs=1036, #rels=1001, time=5711.03 DimB[16, {13, 3, 1}] = 35 12 C1 + 5 C2 + 15 OV; #graphs=1474, #rels=1453, time=9558.23 DimB[16, {12, 5}] = 21 18 C1 + C2 + 21 OV; #graphs=4525, #rels=4525, time=131052. DimB[20, {18, 1}] = 0 14 C1 + 3 C2 + C3 + 16 OV; #graphs=1344, #rels=1304, time=9520.03 DimB[17, {14, 3, 1}] = 40 14 C1 + 18 OV; #graphs=3834, #rels=3826, time=80493.1 DimB[16, {14}] = 8 13 C1 + 5 C2 + 16 OV; #graphs=2230, #rels=2202, time=21156.5 DimB[17, {13, 5}] = 28 15 C1 + 3 C2 + C3 + 17 OV; #graphs=1716, #rels=1671, time=15639.2 DimB[18, {15, 3, 1}] = 45 13 C1 + 2 C2 + 2 C3 + 15 OV; #graphs=1624, #rels=1575, time=11255.7 DimB[16, {13, 2, 2}] = 49 15 C1 + 19 OV; #graphs=4493, #rels=4493, time=111989. DimB[17, {15}] = 0 13 C1 + 3 C2 + 16 OV; #graphs=5040, #rels=5019, time=94989.2 DimB[16, {13, 3}] = 21 16 C1 + 20 OV; #graphs=6655, #rels=6645, time=263300. DimB[18, {16}] = 10 16 C1 + 3 C2 + C3 + 18 OV; #graphs=2160, #rels=2109, time=25405.3 DimB[19, {16, 3, 1}] = 51 14 C1 + 5 C2 + 17 OV; #graphs=3272, #rels=3240, time=45793.1 DimB[18, {14, 5}] = 32 14 C1 + 2 C2 + 2 C3 + 16 OV; #graphs=2136, #rels=2072, time=19801.4 DimB[17, {14, 2, 2}] = 64 17 C1 + 21 OV; #graphs=7720, #rels=7720, time=365236. DimB[19, {17}] = 0 14 C1 + 3 C2 + 17 OV; #graphs=6876, #rels=6860, time=187950. DimB[17, {14, 3}] = 16 17 C1 + 3 C2 + C3 + 19 OV; #graphs=2685, #rels=2628, time=40591.1 DimB[20, {17, 3, 1}] = 57 13 C1 + 2 C2 + C3 + C4 + 15 OV; #graphs=3416, #rels=3311, time=39891.5 DimB[16, {13, 2, 1, 1}] = 105 11 C1 + 6 C2 + 15 OV; #graphs=5620, #rels=5578, time=94432.8 DimB[16, {11, 6}] = 42 15 C1 + 2 C2 + 2 C3 + 17 OV; #graphs=2676, #rels=2612, time=32341.7 DimB[18, {15, 2, 2}] = 64 15 C1 + 5 C2 + 18 OV; #graphs=4700, #rels=4659, time=97646.6 DimB[19, {15, 5}] = 41 15 C1 + 3 C2 + 18 OV; #graphs=9258, #rels=9231, time=364958. DimB[18, {15, 3}] = 27 11 C1 + 4 C2 + C3 + 14 OV; #graphs=5848, #rels=5757, time=89279.3 DimB[15, {11, 4, 1}] = 91 14 C1 + 2 C2 + C3 + C4 + 16 OV; #graphs=4404, #rels=4284, time=70919.1 DimB[17, {14, 2, 1, 1}] = 120 16 C1 + 2 C2 + 2 C3 + 18 OV; #graphs=3405, #rels=3324, time=54926.8 DimB[19, {16, 2, 2}] = 81 5 C1 + 2 C2 + C3 + 10 OV; #graphs=13080, #rels=13050, time=249850. DimB[9, {5, 2, 1}] = 30 16 C1 + 5 C2 + 19 OV; #graphs=6598, #rels=6552, time=201961. DimB[20, {16, 5}] = 46 8 C1 + C2 + 13 OV; #graphs=11744, #rels=11744, time=360162. DimB[11, {8, 1}] = 0 13 C1 + C2 + C3 + C4 + C5 + 15 OV; #graphs=7140, #rels=6930, time=151345. DimB[16, {13, 1, 1, 1, 1}] = 210 MemoryUsed[16, {13, 1, 1, 1, 1}] = 15167112 2C1 + 2C2 + 2C3 + C4 + C5 + C6 + 7OV; #graphs=13263, #rels=12633, time=90213.9 DimB[8, {2, 2, 2, 1, 1, 1}] = 630 MemoryUsed[8, {2, 2, 2, 1, 1, 1}] = 16327784 4 C1 + 2 C2 + 2 C3 + C4 + C5 + 8 OV; #graphs=11259, #rels=10839, time=90040.2 DimB[9, {4, 2, 2, 1, 1}] = 420 MemoryUsed[9, {4, 2, 2, 1, 1}] = 15377568 3C1+C2+C3+C4+C5+C6+C7+7OV; #graphs=17325, #rels=16485, time=149645. DimB[8, {3, 1, 1, 1, 1, 1, 1}] = 840 MemoryUsed[8, {3, 1, 1, 1, 1, 1, 1}] = 20578392 16 C1 + 2 C2 + C3 + C4 + 18 OV; #graphs=7005, #rels=6852, time=207594. DimB[19, {16, 2, 1, 1}] = 153 MemoryUsed[19, {16, 2, 1, 1}] = 16596032 7 C1 + 2 C2 + C3 + C4 + C5 + 10 OV; #graphs=12126, #rels=11766, time=176216. DimB[11, {7, 2, 1, 1, 1}] = 360 MemoryUsed[11, {7, 2, 1, 1, 1}] = 18773576 14 C1 + C2 + C3 + C4 + C5 + 16 OV; #graphs=9180, #rels=8940, time=275707. DimB[17, {14, 1, 1, 1, 1}] = 240 MemoryUsed[17, {14, 1, 1, 1, 1}] = 19732704 15 C1 + 2 C2 + C3 + C4 + 17 OV; #graphs=5592, #rels=5456, time=122341. DimB[18, {15, 2, 1, 1}] = 136 MemoryUsed[18, {15, 2, 1, 1}] = 13148568 15 C1 + C2 + C3 + C4 + C5 + 17 OV; #graphs=11628, #rels=11356, time=243705. DimB[18, {15, 1, 1, 1, 1}] = 272 MemoryUsed[18, {15, 1, 1, 1, 1}] = 38962976 17 C1 + 2 C2 + 2 C3 + 19 OV; #graphs=4170, #rels=4089, time=42075.6 DimB[20, {17, 2, 2}] = 81 MemoryUsed[20, {17, 2, 2}] = 16683904 17 C1 + 2 C2 + C3 + C4 + 19 OV; #graphs=8670, #rels=8499, time=170731. DimB[20, {17, 2, 1, 1}] = 171 MemoryUsed[20, {17, 2, 1, 1}] = 32106280 2C1+2C2+C3+C4+C5+C6+C7+7OV; #graphs=28770, #rels=27510, time=196286. DimB[8, {2, 2, 1, 1, 1, 1, 1}] = 1260 MemoryUsed[8, {2, 2, 1, 1, 1, 1, 1}] = 50415168 2C1+2C2+C3+C4+C5+C6+C7+7OV; #graphs=28770, #rels=27510, time=12263.9 DimB[8, {2, 2, 1, 1, 1, 1, 1}] = 1260 MemoryUsed[8, {2, 2, 1, 1, 1, 1, 1}] = 55064648 3 C1 + 3 C2 + 2 C3 + 2 C4 + 8 OV; #graphs=7785, #rels=7505, time=21916.4 DimB[9, {3, 3, 2, 2}] = 280 MemoryUsed[9, {3, 3, 2, 2}] = 16502744 2C1+C2+C3+C4+C5+C6+C7+C8+7OV; #graphs=62370, #rels=59850,time=47648. DimB[8, {2, 1, 1, 1, 1, 1, 1, 1}] = 2520 MemoryUsed[8, {2, 1, 1, 1, 1, 1, 1, 1}] = 114445696 3 C1 + 2 C2 + C3 + C4 + C5 + 8 OV; #graphs=19584, #rels=19374, time=8748.2 DimB[8, {3, 2, 1, 1, 1}] = 210 MemoryUsed[8, {3, 2, 1, 1, 1}] = 39055696 3 C1 + C2 + C3 + C4 + C5 + C6 + 8 OV; #graphs=42240, #rels=41820, time=31148. DimB[8, {3, 1, 1, 1, 1, 1}] = 420 MemoryUsed[8, {3, 1, 1, 1, 1, 1}] = 81250808 2 C1 + 2 C2 + 2 C3 + 2 C4 + 8 OV; #graphs=15015, #rels=14844, time=6407.97 DimB[8, {2, 2, 2, 2}] = 171 MemoryUsed[8, {2, 2, 2, 2}] = 30454976 2 C1 + 2 C2 + 2 C3 + C4 + C5 + 8 OV; #graphs=32244, #rels=31926, time=20114. DimB[8, {2, 2, 2, 1, 1}] = 318 MemoryUsed[8, {2, 2, 2, 1, 1}] = 62439640 2 C1 + 2 C2 + C3 + C4 + C5 + C6 + 8 OV; #graphs=69504, #rels=68874, time=76600.5 DimB[8, {2, 2, 1, 1, 1, 1}] = 630 MemoryUsed[8, {2, 2, 1, 1, 1, 1}] = 13297916 3 C1 + 2 C2 + 2 C3 + 9 OV; #graphs=12043, #rels=12019, time=6164.98 DimB[8, {3, 2, 2}] = 24 MemoryUsed[8, {3, 2, 2}] = 25729168 3 C1 + 2 C2 + C3 + C4 + 9 OV; #graphs=25973, #rels=25910, time=18689.6 DimB[8, {3, 2, 1, 1}] = 63 MemoryUsed[8, {3, 2, 1, 1}] = 52591568 3 C1 + C2 + C3 + C4 + C5 + 9 OV; #graphs=55740, #rels=55609, time=90423.2 DimB[8, {3, 1, 1, 1, 1}] = 131 MemoryUsed[8, {3, 1, 1, 1, 1}] = 43700448 2 C1 + 2 C2 + 2 C3 + C4 + 9 OV; #graphs=42399, #rels=42311, time=63346.1 DimB[8, {2, 2, 2, 1}] = 88 MemoryUsed[8, {2, 2, 2, 1}] = 33653144 2 C1 + 2 C2 + C3 + C4 + C5 + 9 OV; #graphs=91068, #rels=90875, time=189732. DimB[8, {2, 2, 1, 1, 1}] = 193 MemoryUsed[8, {2, 2, 1, 1, 1}] = 72831856 3 C1 + 3 C2 + 10 OV; #graphs=7193, #rels=7182, time=7480.23 DimB[8, {3, 3}] = 11 MemoryUsed[8, {3, 3}] = 7792440 4 C1 + C2 + C3 + 10 OV; #graphs=10432, #rels=10420, time=11900.7 DimB[8, {4, 1, 1}] = 12 MemoryUsed[8, {4, 1, 1}] = 10018576 3 C1 + 2 C2 + C3 + 10 OV; #graphs=24949, #rels=24927, time=33767.4 DimB[8, {3, 2, 1}] = 22 MemoryUsed[8, {3, 2, 1}] = 20594088 3 C1 + 2 C2 + 11 OV; #graphs=19268, #rels=19268, time=31576. DimB[8, {3, 2}] = 0 MemoryUsed[8, {3, 2}] = 15239776 2 C1 + 2 C2 + 2 C3 + 10 OV; #graphs=40810, #rels=40771, time=75987.2 DimB[8, {2, 2, 2}] = 39 MemoryUsed[8, {2, 2, 2}] = 32432592 3 C1 + C2 + C3 + C4 + 10 OV; #graphs=53280, #rels=53244, time=110263. DimB[8, {3, 1, 1, 1}] = 36 MemoryUsed[8, {3, 1, 1, 1}] = 41434184 3 C1 + C2 + C3 + 11 OV; #graphs=41503, #rels=41496, time=96291.6 DimB[8, {3, 1, 1}] = 7 MemoryUsed[8, {3, 1, 1}] = 32636992