Created
November 7, 2021 02:23
-
-
Save coolcomputery/f1c46f1c24e8a341afa7bc7cda7a4bfe to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| BFS.java: https://github.com/coolcomputery/Loopover-Brute-Force-and-Improvement/blob/6b8509c0f6aaab0413a810ee316196457e5ac87f/BFS.java | |
| BFS2improve.java: https://github.com/coolcomputery/Loopover-Brute-Force-and-Improvement/blob/3aaf37d8e94059b41622e17c2d2cd4779ccac4e3/BFS2improve.java |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| X X X X 0 1 | |
| X X X X 2 3 | |
| X X X X 4 5 | |
| X X X X 6 7 | |
| '8 '9 '10 '11 12 13 | |
| 14 15 16 17 18 19 | |
| ncombos=116280 | |
| idx move idxs of moves allowed to come afterward | |
| 0 R4' [0, 2, 3, 4, 5, 6, 7] | |
| 1 R4 [1, 2, 3, 4, 5, 6, 7] | |
| 2 R5' [2, 4, 5, 6, 7] | |
| 3 R5 [3, 4, 5, 6, 7] | |
| 4 C4' [0, 1, 2, 3, 4, 6, 7] | |
| 5 C4 [0, 1, 2, 3, 5, 6, 7] | |
| 6 C5' [0, 1, 2, 3, 6] | |
| 7 C5 [0, 1, 2, 3, 7] | |
| 8 - [0, 1, 2, 3, 4, 5, 6, 7] | |
| 0:1 1:2 2:6 3:25 4:82 5:254 6:800 7:2356 8:6498 9:15370 10:27218 11:32295 12:22767 13:7720 14:871 15:15 | |
| #reached=116280 | |
| diam=15 | |
| total BFS time=134 | |
| X X X X '0 1 | |
| X X X X '2 3 | |
| X X X X '4 5 | |
| X X X X '6 7 | |
| X X X X '8 9 | |
| 10 11 12 13 14 15 | |
| ncombos=524160 | |
| idx move idxs of moves allowed to come afterward | |
| 0 R5' [0, 2, 3, 4, 5] | |
| 1 R5 [1, 2, 3, 4, 5] | |
| 2 C4' [0, 1, 2, 4, 5] | |
| 3 C4 [0, 1, 3, 4, 5] | |
| 4 C5' [0, 1, 4] | |
| 5 C5 [0, 1, 5] | |
| 6 - [0, 1, 2, 3, 4, 5] | |
| 0:1 1:2 2:6 3:21 4:58 5:156 6:441 7:1165 8:2945 9:7508 10:17927 11:38631 12:72472 13:108595 14:123522 15:99620 16:43574 17:7258 18:256 19:2 | |
| #reached=524160 | |
| diam=19 | |
| total BFS time=304 | |
| X X X X '0 1 | |
| X X X X '2 3 | |
| X X X X '4 5 | |
| X X X X '6 7 | |
| 8 9 10 11 12 13 | |
| 14 15 16 17 18 19 | |
| ncombos=116280 | |
| idx move idxs of moves allowed to come afterward | |
| 0 R4' [0, 2, 3, 4, 5, 6, 7] | |
| 1 R4 [1, 2, 3, 4, 5, 6, 7] | |
| 2 R5' [2, 4, 5, 6, 7] | |
| 3 R5 [3, 4, 5, 6, 7] | |
| 4 C4' [0, 1, 2, 3, 4, 6, 7] | |
| 5 C4 [0, 1, 2, 3, 5, 6, 7] | |
| 6 C5' [0, 1, 2, 3, 6] | |
| 7 C5 [0, 1, 2, 3, 7] | |
| 8 - [0, 1, 2, 3, 4, 5, 6, 7] | |
| 0:1 1:2 2:6 3:25 4:82 5:254 6:800 7:2356 8:6498 9:15370 10:27218 11:32295 12:22767 13:7720 14:871 15:15 | |
| #reached=116280 | |
| diam=15 | |
| total BFS time=42 | |
| X X X X X 0 | |
| X X X X X 1 | |
| X X X X X 2 | |
| X X X X X 3 | |
| '4 '5 '6 '7 '8 9 | |
| 10 11 12 13 14 15 | |
| ncombos=524160 | |
| idx move idxs of moves allowed to come afterward | |
| 0 R4' [0, 2, 3, 4, 5] | |
| 1 R4 [1, 2, 3, 4, 5] | |
| 2 R5' [2, 4, 5] | |
| 3 R5 [3, 4, 5] | |
| 4 C5' [0, 1, 2, 3, 4] | |
| 5 C5 [0, 1, 2, 3, 5] | |
| 6 - [0, 1, 2, 3, 4, 5] | |
| 0:1 1:2 2:6 3:21 4:58 5:156 6:441 7:1165 8:2945 9:7508 10:17927 11:38631 12:72472 13:108595 14:123522 15:99620 16:43574 17:7258 18:256 19:2 | |
| #reached=524160 | |
| diam=19 | |
| total BFS time=274 | |
| list of safe transformations preserving [0, 1, 2, 3, 6, 7, 8, 9, 12, 13, 14, 15, 18, 19, 20, 21] [24, 25, 26, 27] [4, 10, 16, 22, 28]: | |
| translate (0,0); | |
| reduced phase 0 scrambles depth distribution: | |
| 0:1 1:2 2:6 3:25 4:82 5:254 6:800 7:2356 8:6498 9:15370 10:27218 11:32295 12:22767 13:7720 14:871 15:15 | |
| # scrambles to improve=15977787949 | |
| depths 7,19 (4712 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 21 4712 23982 5.0895585739 2356 64431 27.3476230900 | |
| depths 8,18 (1663488 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 1071 1663488 7196178 4.3259572657 6498 1917461 295.0847953216 | |
| depths 8,19 (12996 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 52 12996 69670 5.3608802709 6498 231704 35.6577408433 | |
| depths 9,17 (111555460 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 63699 111555460 555442821 4.9790733775 15370 124701723 8113.3196486662 | |
| depths 9,18 (3934720 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 2975 3934720 30062089 7.6402104851 15370 13211103 859.5382563435 | |
| depths 9,19 (30740 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 163 30740 472246 15.3625894600 15370 1806267 117.5189980481 | |
| depths 10,16 (1185997132 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 100006 193337838 1127611078 5.8323351997 4437 254978016 57466.3096686951 | |
| 200001 365803730 1988692070 5.4365002511 8395 591228064 70426.2136986301 | |
| 300016 499227318 3054258930 6.1179723542 11457 905022312 78992.9573186698 | |
| 400003 652520650 3993431353 6.1200076243 14975 1245708847 83185.8996327212 | |
| 500014 810999288 4882129167 6.0198932838 18612 1602129054 86080.4348807221 | |
| 600013 964161898 5720733768 5.9333746541 22127 1969833658 89023.9823744746 | |
| 700047 1103162958 6663711218 6.0405501922 25317 2308097573 91167.8940237785 | |
| 763739 1185997132 7176185594 6.0507613386 27218 2542281941 93404.4360717173 | |
| depths 10,17 (197548244 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 100003 97997516 1154598625 11.7819172580 13502 311113198 23042.0084431936 | |
| 200001 192242646 2211926046 11.5059072065 26487 619003616 23370.0915921018 | |
| 206659 197548244 2274126323 11.5117516458 27218 638456982 23457.1600411492 | |
| depths 10,18 (6967808 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 14353 6967808 154285784 22.1426572030 27218 82920827 3046.5437210669 | |
| depths 10,19 (54436 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 777 54436 2615415 48.0456866779 27218 9185009 337.4608347417 | |
| depths 11,15 (3217227900 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 100201 105597200 901873838 8.5406984087 1060 261199065 246414.2122641509 | |
| 200274 208504660 1660862300 7.9655883950 2093 608005018 290494.5140946010 | |
| 300143 314201480 2460193326 7.8299864342 3154 951379255 301642.1227013316 | |
| 400057 443209380 3169303418 7.1508040240 4449 1324321403 297667.2067880423 | |
| 500027 553389100 4012127932 7.2501029240 5555 1675675066 301651.6770477048 | |
| 600139 650120120 4623692396 7.1120586085 6526 2082932634 319174.4765553172 | |
| 700025 732107380 5198569069 7.1008286640 7349 2494846752 339481.1201524017 | |
| 800271 811504520 5724419018 7.0540814954 8146 2949893801 362127.8911122023 | |
| 900204 892694820 6237461825 6.9872275331 8961 3406267684 380121.3797567236 | |
| 1000130 963425020 6716170687 6.9711399928 9671 3865411917 399691.0264708924 | |
| 1102586 1038140020 7255915601 6.9893419589 10421 4342809110 416736.3122541023 | |
| 1200003 1114448940 7749656467 6.9538012814 11187 4816081946 430507.0122463574 | |
| 1300088 1210482620 8422107421 6.9576442337 12151 5222807981 429825.3626039009 | |
| 1400030 1281511680 8926669796 6.9657342460 12864 5663335969 440246.8881374378 | |
| 1500518 1354533140 9624935933 7.1057220003 13597 6086669456 447647.9705817460 | |
| 1600219 1418588800 10326178628 7.2791908607 14240 6478018757 454917.0475421348 | |
| 1700177 1473678660 10835378891 7.3526062262 14793 6941914092 469270.2015818292 | |
| 1800115 1566225640 11452951445 7.3124530416 15722 7393059884 470236.6037399822 | |
| 1900083 1657776420 12174145825 7.3436596625 16641 7826836477 470334.5037557839 | |
| 2000079 1738070140 12747271005 7.3341522368 17447 8278348633 474485.5065627329 | |
| 2100358 1786186600 13282416477 7.4361863856 17930 8695887222 484990.9214723926 | |
| 2200112 1839184440 13701839507 7.4499540171 18462 9148892081 495552.5989058607 | |
| 2300214 1910313120 14096377258 7.3790925218 19176 9597499681 500495.3942949520 | |
| 2400079 1961816660 14383038399 7.3314895792 19693 9951593547 505336.5940689585 | |
| 2500145 2006944520 14744166720 7.3465741445 20146 10290259035 510784.2268936762 | |
| 2600066 2068011580 15109347371 7.3062199057 20759 10652741464 513162.5542656197 | |
| 2700166 2118817780 15451857215 7.2926786630 21269 11008744423 517595.7695707367 | |
| 2800065 2186061280 15968553671 7.3047145645 21944 11358313071 517604.4964910682 | |
| 2900103 2264860700 16541627958 7.3035961806 22735 11790683597 518613.7495931384 | |
| 3000039 2328219020 17056034957 7.3257862815 23371 12186888676 521453.4541097942 | |
| 3100108 2393171260 17519644235 7.3206813603 24023 12631343217 525802.0737210173 | |
| 3200065 2460813240 17934501177 7.2880383141 24702 13133778738 531688.8809812971 | |
| 3300016 2542601260 18484563328 7.2699418579 25523 13610582125 533267.3324060651 | |
| 3400041 2605361860 18943535922 7.2709807466 26153 14069778046 537979.5069781670 | |
| 3500229 2665731580 19365729089 7.2646958285 26759 14580831587 544894.4873500505 | |
| 3600255 2716537780 19717954024 7.2584869495 27269 15120706564 554501.6892441968 | |
| 3700227 2786172160 20404996022 7.3236666115 27968 15517962053 554847.0413687071 | |
| 3800008 2860090200 20952775456 7.3259142163 28710 15989992634 556948.5417624521 | |
| 3900099 2914482720 21347651354 7.3246793359 29256 16453045181 562381.9107533498 | |
| 4000293 2967978660 21835531804 7.3570380065 29793 16886234970 566785.3176920753 | |
| 4100160 3029444200 22332379397 7.3717744651 30410 17369939072 571191.6827359421 | |
| 4200248 3081346220 22720173894 7.3734570126 30931 17864806905 577569.6519672820 | |
| 4300026 3144106820 23119689463 7.3533409603 31561 18379722377 582355.5139887836 | |
| 4400011 3188537340 23461399957 7.3580446002 32007 18846768557 588832.7102508827 | |
| 4464565 3217227900 23687372769 7.3626654702 32295 19139372365 592641.9682613407 | |
| depths 11,16 (1407222330 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 100129 65317426 1077234787 16.4923030953 1499 298669005 199245.5003335557 | |
| 200060 127192506 1907229115 14.9948230047 2919 591613905 202676.9116135663 | |
| 300010 204187764 2744037731 13.4387961220 4686 914506182 195157.1024327785 | |
| 400016 271335298 3663831720 13.5029675350 6227 1317006692 211499.3884695680 | |
| 500028 329724458 4374936786 13.2684630450 7567 1721206907 227462.2580943571 | |
| 600094 386632102 4966939881 12.8466825577 8873 2132736147 240362.4644426913 | |
| 700106 445936316 5643943499 12.6563890325 10234 2585918136 252679.1221418800 | |
| 800003 497048618 6276295428 12.6271257996 11407 3006835439 263595.6376786184 | |
| 923822 536221644 6771606513 12.6283722203 12306 3234576816 262845.5075572892 | |
| 1074532 543454928 6849058718 12.6028091110 12472 3286226770 263488.3555163567 | |
| 1101001 551036804 6938289647 12.5913361805 12646 3346228772 264607.6840107544 | |
| 1222371 551211100 6940932234 12.5921488773 12650 3347640239 264635.5920158103 | |
| 1300245 591822068 7560284589 12.7745905362 13582 3658501977 269364.0094978648 | |
| 1400049 624764012 8443399714 13.5145423741 14338 4093200210 285479.1609708467 | |
| 1500055 681148768 9220359935 13.5364847859 15632 4531648697 289895.6433597748 | |
| 1600159 744418216 9954226755 13.3718204916 17084 4936003404 288925.5094825568 | |
| 1700109 790650230 10736160526 13.5789001491 18145 5348202028 294747.9761917884 | |
| 1800119 850172314 11284519000 13.2732139287 19511 5858289007 300255.7022705140 | |
| 1900040 908953640 11942133151 13.1383303014 20860 6340957179 303976.8542186002 | |
| 2000030 968824316 12734217080 13.1439899574 22234 6781068170 304986.4248448322 | |
| 2100047 1024032574 13498207079 13.1814235423 23501 7227865880 307555.6733756011 | |
| 2200027 1079632998 14057855488 13.0209575977 24777 7724615445 311765.5666545586 | |
| 2300066 1133359740 14721346394 12.9891206423 26010 8185026894 314687.6929642445 | |
| 2400113 1175931538 15192236827 12.9193208414 26987 8636928143 320040.3210064105 | |
| 2500127 1213928066 15910882164 13.1069398671 27859 9026777761 324016.5749309021 | |
| 2600039 1257240622 16537414487 13.1537385904 28853 9438239749 327114.6760822098 | |
| 2700043 1298025886 17121250525 13.1902227141 29789 9837536119 330240.5625902179 | |
| 2800072 1341294868 17668112631 13.1724299052 30782 10292070169 334353.5237801313 | |
| 2900016 1386393958 18165780387 13.1028992749 31817 10763822774 338304.1384794292 | |
| 2949409 1407222330 18422229984 13.0912007231 32295 11009824004 340914.1973680136 | |
| depths 11,17 (234397110 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 100046 40027870 1134061245 28.3317909497 5515 367693732 66671.5742520399 | |
| 200014 78255756 1918725643 24.5186519315 10782 784976522 72804.3518827676 | |
| 300003 106460344 2819886411 26.4876695401 14668 1185396254 80815.1250340878 | |
| 400001 138714896 3584534735 25.8410224018 19112 1559894664 81618.5989953956 | |
| 500004 172747658 4406256853 25.5068977722 23801 1970563060 82793.2885172892 | |
| 600004 205873170 5227180448 25.3902946557 28365 2411344287 85011.2563722898 | |
| 695919 234397110 5927617175 25.2887809709 32295 2835564927 87801.9794705063 | |
| depths 11,18 (8267520 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 45045 8267520 342737742 41.4559314039 32295 274178581 8489.8151726273 | |
| depths 11,19 (64590 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 1609 64590 3819294 59.1313516024 32295 16815524 520.6850596068 | |
| depths 12,14 (2812225374 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 100010 62502132 729747965 11.6755691630 506 371470618 734131.6561264822 | |
| 200028 107711184 1290368798 11.9798961452 872 800288783 917762.3658256881 | |
| 300427 147238224 1757885768 11.9390584880 1192 1259426768 1056566.0805369127 | |
| 400181 205911174 2372238267 11.5206873960 1667 1692299429 1015176.6220755848 | |
| 501299 244450038 2812236466 11.5043404739 1979 2172191923 1097620.9818089944 | |
| 600008 304728774 3317258576 10.8859381162 2467 2623768781 1063546.3238751520 | |
| 700059 371307132 3801721450 10.2387514873 3006 3093280090 1029035.2927478376 | |
| 800021 412563480 4152608706 10.0653812257 3340 3563364216 1066875.5137724550 | |
| 900627 477783096 4793492858 10.0327803519 3868 3983172740 1029775.7859358842 | |
| 1000024 515457306 5225699845 10.1379877328 4173 4489435206 1075829.1890726096 | |
| 1100374 565360194 5628864568 9.9562449351 4577 4993178201 1090928.1627703735 | |
| 1200237 600687486 5996627031 9.9829398327 4863 5508775176 1132793.5792720544 | |
| 1300242 638855784 6327798232 9.9048930768 5172 6028231242 1165551.2842227380 | |
| 1400105 670971504 6662975619 9.9303406766 5432 6551342393 1206064.5053387333 | |
| 1500136 698269866 6947285314 9.9492841554 5653 7086212460 1253531.3037325314 | |
| 1601173 726803448 7218532072 9.9318902406 5884 7632740228 1297202.6220258328 | |
| 1700379 754595898 7502176607 9.9419790472 6109 8156953507 1335235.4733999018 | |
| 1800053 790170234 7794797884 9.8647070575 6397 8701234675 1360205.5143035797 | |
| 1900265 819321426 8079432283 9.8611265696 6633 9251730200 1394803.2865973164 | |
| 2000502 856130982 8370190457 9.7767638749 6931 9771611418 1409841.4973308325 | |
| 2100285 876018024 8606658150 9.8247500784 7092 10308022225 1453471.8309362660 | |
| 2200054 907145568 8930726022 9.8448654075 7344 10845328793 1476760.4565631808 | |
| 2300239 929873616 9175275034 9.8672280578 7528 11387050649 1512626.2817481402 | |
| 2400492 954701538 9403663876 9.8498467864 7729 11954454080 1546701.2653642127 | |
| 2500161 992993358 9751063276 9.8198675726 8039 12465994693 1550689.7242194302 | |
| 2600119 1021156374 10022680210 9.8150297694 8267 13018689813 1574778.0105237693 | |
| 2700664 1042525680 10292599797 9.8727542107 8440 13624790425 1614311.6617298578 | |
| 2801978 1065747816 10500703149 9.8528967091 8628 14194909529 1645214.3635836810 | |
| 2900234 1098110580 10829793298 9.8622064984 8890 14710324185 1654704.6327334084 | |
| 3000076 1140725670 11221515240 9.8371725430 9235 15225210878 1648642.2174336761 | |
| 3100611 1175188308 11578819918 9.8527358034 9514 15765402508 1657074.0496110995 | |
| 3200056 1204463022 11877423069 9.8611770159 9751 16283226555 1669903.2463337095 | |
| 3300252 1224103020 12082655665 9.8706199295 9910 16825649759 1697845.5861755803 | |
| 3401344 1239419748 12246676879 9.8809760767 10034 17393372698 1733443.5616902532 | |
| 3500171 1279070310 12724788697 9.9484669432 10355 17892569599 1727915.9438918396 | |
| 3600567 1298710308 13099492575 10.0865393108 10514 18437485286 1753612.8291801407 | |
| 3700106 1339102002 13487107044 10.0717548207 10841 18921580244 1745372.2206438521 | |
| 3800508 1368253194 13793785557 10.0813106942 11077 19474651540 1758116.0548885078 | |
| 3900007 1388510802 14022451749 10.0989144116 11241 20056824823 1784256.2781780981 | |
| 4000038 1417538472 14310671181 10.0954375939 11476 20635246049 1798121.8237190659 | |
| 4100060 1451259978 14623224307 10.0762265402 11749 21189397850 1803506.4984253980 | |
| 4202796 1493504502 14972113714 10.0248199413 12091 21754251337 1799210.2668927300 | |
| 4300003 1533402108 15390058291 10.0365443680 12414 22232605820 1790930.0644433703 | |
| 4400222 1570458708 15760750862 10.0357626608 12714 22769464779 1790897.0252477585 | |
| 4500395 1596645372 15992122971 10.0160769896 12926 23342160617 1805830.1575893548 | |
| 4600670 1623573168 16284110414 10.0297976925 13144 23887572526 1817374.6596165550 | |
| 4700286 1655318322 16651613315 10.0594629406 13401 24376633078 1819015.9747780017 | |
| 4801309 1680146244 17028918827 10.1353789218 13602 24959674767 1835000.3504631670 | |
| 4900552 1702874292 17298317008 10.1583053366 13786 25477780253 1848090.8351225880 | |
| 5000621 1718438064 17499985415 10.1836579284 13912 26019038370 1870258.6522426682 | |
| 5100750 1744377684 17768521221 10.1861663239 14122 26550314444 1880067.5856111033 | |
| 5200748 1760435544 17931064758 10.1855843681 14252 27060286386 1898700.9813359529 | |
| 5300164 1775752272 18090009760 10.1872372882 14376 27534070313 1915280.3500973845 | |
| 5400205 1811573652 18383591491 10.1478576213 14666 28059034670 1913202.9639983636 | |
| 5500270 1832325348 18560389543 10.1294180988 14834 28582459148 1926820.7596063100 | |
| 5601163 1861105974 18802346998 10.1027814970 15067 29131529715 1933465.8336098760 | |
| 5701233 1880869494 18980003327 10.0910793585 15227 29664494421 1948150.9437840679 | |
| 5800427 1899397794 19231791913 10.1252049327 15377 30189494373 1963288.9622813293 | |
| 5900089 1923484584 19498791099 10.1372224458 15572 30770749446 1976030.6605445673 | |
| 6000603 1949547726 19719155718 10.1147335123 15783 31319120634 1984357.8935563580 | |
| 6100467 1979810616 20019535429 10.1118436618 16028 31825834123 1985639.7631020714 | |
| 6200009 2002168098 20239462916 10.1087730527 16209 32362989309 1996606.1637978900 | |
| 6300086 2030454636 20504499056 10.0984768103 16438 32899409616 2001424.1158291763 | |
| 6822440 2057876520 20775144289 10.0954280235 16660 33336802386 2001008.5465786315 | |
| 6822732 2058000042 20776714863 10.0955852473 16661 33337748828 2000945.2510653622 | |
| 6823022 2058123564 20778154034 10.0956786062 16662 33338875065 2000892.7538710840 | |
| 6823725 2058247086 20779637021 10.0957932419 16663 33341086600 2000905.3951869411 | |
| 6824801 2058370608 20781198250 10.0959458755 16664 33346096618 2001085.9708353337 | |
| 6900247 2085174882 21063020643 10.1013209131 16881 33737070693 1998523.2328061133 | |
| 7000857 2112596766 21344320362 10.1033574914 17103 34273251132 2003932.1248903700 | |
| 7100131 2136312990 21597185009 10.1095603079 17295 34709236795 2006894.2928592078 | |
| 7200485 2154964812 21826921589 10.1286672838 17446 35171645248 2016029.1899575833 | |
| 7300277 2171022672 22048014984 10.1555894687 17576 35626575532 2027001.3388711880 | |
| 7400360 2186586444 22231671923 10.1672961451 17702 36130228783 2041025.2391255226 | |
| 7500143 2199556254 22378027550 10.1738828045 17807 36617937012 2056378.7842983096 | |
| 7600076 2228089836 22611933372 10.1485734581 18038 37075283184 2055398.7794655727 | |
| 7700124 2245012350 22784274332 10.1488414226 18175 37580538494 2067705.0065474552 | |
| 7802286 2264405304 22973421115 10.1454545590 18332 38149870059 2081053.3525529130 | |
| 7900394 2291209578 23237821070 10.1421630274 18549 38671180416 2084812.1416787966 | |
| 8000481 2321719512 23529948431 10.1347076205 18796 39236027081 2087466.8589593530 | |
| 8101756 2343212340 23772035802 10.1450625691 18970 39781102662 2097053.3822878230 | |
| 8200055 2359023156 23959593622 10.1565741570 19098 40218031065 2105876.5873389880 | |
| 8300793 2377674978 24154034966 10.1586782001 19249 40658987394 2112264.9173463555 | |
| 8400844 2391385920 24301780224 10.1622159856 19360 41119066267 2123918.7121384297 | |
| 8501218 2407073214 24478105514 10.1692401260 19487 41579557403 2133707.4666700875 | |
| 8600627 2421278244 24627794337 10.1714019849 19602 42055206476 2145454.8758289970 | |
| 8701628 2431407048 24754046725 10.1809554041 19684 42540441995 2161168.5630461290 | |
| 8800239 2439683022 24864393582 10.1916492257 19751 43030512519 2178649.8161612070 | |
| 8900006 2454505662 25078246125 10.2172288756 19871 43473678598 2187795.2089980375 | |
| 9000594 2474886792 25391366502 10.2596072613 20036 43890865027 2190600.1710421243 | |
| 9100057 2500332324 25661578649 10.2632671676 20242 44334384915 2190217.6126370914 | |
| 9200277 2528618862 25958140563 10.2657387213 20471 44837642021 2190300.5237164767 | |
| 9301341 2549988168 26182314457 10.2676219386 20644 45337965772 2196181.2522766907 | |
| 9401395 2564934330 26323042374 10.2626574358 20765 45789170307 2205112.9451962435 | |
| 9500707 2583709674 26500236364 10.2566618187 20917 46249304139 2211086.8737868720 | |
| 9600480 2599520490 26649614239 10.2517423277 21045 46678010824 2218009.5425991924 | |
| 9701184 2616813570 26862435656 10.2653226672 21185 47093962810 2222986.2076941230 | |
| 9800404 2629783380 27060389707 10.2899690951 21290 47531312003 2232565.1480976986 | |
| 9901336 2651523252 27326257476 10.3058713347 21466 48083938930 2240004.6086834995 | |
| 10002313 2667828156 27524192625 10.3170785431 21598 48588929052 2249695.7612741920 | |
| 10100258 2680797966 27668835841 10.3211193801 21703 49022709078 2258798.7410957010 | |
| 10201193 2695126518 27830848249 10.3263605857 21819 49499948862 2268662.5813282000 | |
| 10300547 2707602240 27973919372 10.3316207081 21920 50017459003 2281818.3851733576 | |
| 10400208 2724154188 28172060140 10.3415806139 22054 50530728620 2291227.3791602430 | |
| 10501396 2743547142 28347488811 10.3324227155 22211 51016920922 2296921.3867903290 | |
| 10600340 2758987392 28510424246 10.3336551405 22336 51486731036 2305100.7806232090 | |
| 10700266 2773810032 28665777048 10.3344413342 22456 51986451092 2315036.1191663700 | |
| 10801148 2787150408 28830067735 10.3439224709 22564 52501753523 2326792.8347367486 | |
| 10900414 2799996696 28974768628 10.3481438637 22668 53033144102 2339559.9127404270 | |
| 10978153 2812225374 29100574880 10.3478814853 22767 53469885194 2348569.6487899153 | |
| depths 12,15 (2268048540 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 100035 35464720 735230349 20.7313168975 356 340857051 957463.6264044944 | |
| 200110 65948440 1360681259 20.6325010720 662 789381649 1192419.4093655590 | |
| 300053 95934060 1982195216 20.6620590852 963 1230503270 1277781.1734164070 | |
| 400038 122931080 2470234106 20.0944635482 1234 1671363596 1354427.5494327391 | |
| 500176 157399600 3021245600 19.1947476360 1580 2082919144 1318303.2556962026 | |
| 600160 183599660 3552765767 19.3506119075 1843 2492717440 1352532.5230602280 | |
| 700702 209600480 4004630327 19.1060169662 2104 2932408208 1393730.1368821294 | |
| 800160 241578500 4478618063 18.5389762044 2425 3335753635 1375568.5092783505 | |
| 900175 283518520 4961418817 17.4994523003 2846 3758044287 1320465.3151791990 | |
| 1000327 307427320 5256854265 17.0995026239 3086 4104323427 1329981.6678548283 | |
| 1100019 328845620 5530098661 16.8167015909 3301 4456457970 1350032.7082702213 | |
| 1200380 366003880 6098248944 16.6617057284 3674 4718997953 1284430.5805661404 | |
| 1300246 385728640 6486454611 16.8161083683 3872 5099342862 1316979.0449380165 | |
| 1400252 409139340 6891383795 16.8436107733 4107 5479575807 1334203.9948867788 | |
| 1500609 418603240 7234331784 17.2820730771 4202 5907078607 1405777.8693479295 | |
| 1600331 445600260 7527918105 16.8938817608 4473 6315366903 1411886.1844399732 | |
| 1700136 471401840 7946418891 16.8569959146 4732 6740504803 1424451.5644547760 | |
| 1800301 494912160 8330476718 16.8322328512 4968 7280294129 1465437.6266103059 | |
| 1900107 517525900 8615273713 16.6470387530 5195 7722591608 1486543.1391722811 | |
| 2000001 539243060 9003144495 16.6958931191 5413 8228493828 1520135.5677073712 | |
| 2100662 558469720 9345075353 16.7333608580 5606 8772577529 1564855.0711737424 | |
| 2200428 573213480 9581705172 16.7157708364 5754 9245678281 1606826.2566909976 | |
| 2300348 588754200 9820083962 16.6794291438 5910 9699552744 1641210.2781725890 | |
| 2400967 610172500 10175088704 16.6757575997 6125 10228980961 1670037.7079183673 | |
| 2500047 630196120 10422901499 16.5391394333 6326 10664805538 1685868.7224154284 | |
| 2601036 649024300 10694949397 16.4785038049 6515 11086927988 1701754.1040675365 | |
| 2700088 668549820 10937613486 16.3602070613 6711 11550861891 1721183.4139472507 | |
| 2800000 694152160 11234283248 16.1841796300 6968 12065506989 1731559.5564006888 | |
| 2900101 712581860 11581073044 16.2522703623 7153 12585452228 1759464.8718020410 | |
| 3000767 732904340 11912415630 16.2537114052 7357 13116339436 1782838.0366997418 | |
| 3101394 748943160 12203559908 16.2943739389 7518 13667675782 1817993.5863261505 | |
| 3200915 766874760 12441473247 16.2236050734 7698 14216399142 1846765.2821512080 | |
| 3300222 795266460 12802467229 16.0983366871 7983 14727021339 1844797.8628335213 | |
| 3400037 818677160 13127954208 16.0355691467 8218 15268161380 1857892.5991725482 | |
| 3500452 832225480 13438744015 16.1479603040 8354 15829464442 1894836.5384247068 | |
| 3600813 854141880 13675230559 16.0104906213 8574 16363745574 1908531.0909727080 | |
| 3700029 873169300 13958203273 15.9856780043 8765 16900325658 1928160.3717056476 | |
| 3800070 901660620 14405344388 15.9764595109 9051 17375615397 1919745.3758700697 | |
| 3900592 926167140 14798792087 15.9785328672 9297 17809766779 1915646.6364418630 | |
| 4000566 947784680 15142976991 15.9772333427 9514 18263605860 1919655.8608366617 | |
| 4100451 968306400 15469966823 15.9763137195 9720 18760858188 1930129.4432098765 | |
| 4201978 985839520 15731631848 15.9575991111 9896 19273484984 1947603.5755860955 | |
| 4300739 997793920 15919108248 15.9543047206 10016 19838223639 1980653.3185902557 | |
| 4402088 1025089800 16399441069 15.9980531159 10290 20313916137 1974141.5099125365 | |
| 4500773 1040630520 16845974997 16.1882384509 10446 20804621044 1991635.1755695960 | |
| 4600459 1045810760 17235255937 16.4802817070 10498 21326996611 2031529.4923795008 | |
| 4700170 1065236660 17654478285 16.5732920654 10693 21788763134 2037666.0557373983 | |
| 4800127 1095122660 18056990124 16.4885549204 10993 22269156282 2025757.8715546257 | |
| 4900164 1105682380 18298752380 16.5497368060 11099 22758217524 2050474.5944679700 | |
| 5000359 1120326520 18568288424 16.5739970379 11246 23311276592 2072850.4883514137 | |
| 5100052 1140449760 18882369266 16.5569496599 11448 23846465481 2083024.5877882598 | |
| 5200073 1163860460 19217903668 16.5122059976 11683 24386059625 2087311.4461182915 | |
| 5300453 1186872680 19539578427 16.4630787752 11914 24863147602 2086884.9758267584 | |
| 5400021 1218751080 19950958881 16.3700030370 12234 25357877984 2072738.1056073238 | |
| 5500216 1244154180 20377271774 16.3784136256 12489 25844915034 2069414.2872928176 | |
| 5601113 1268062980 20710839068 16.3326580735 12729 26332353415 2068689.8746955770 | |
| 5700876 1285994580 20941023427 16.2839126639 12909 26830100772 2078402.7246107366 | |
| 5800111 1308309460 21263851240 16.2529217208 13133 27364376865 2083634.8789309373 | |
| 5900097 1328133840 21666271119 16.3133190846 13332 27873580074 2090727.5783078307 | |
| 6003071 1348157460 22141640058 16.4236305587 13533 28393614096 2098101.9800487696 | |
| 6100174 1365491340 22433665644 16.4290061656 13707 28922473680 2110051.3372729262 | |
| 6200358 1378043460 22735531406 16.4984139223 13833 29413403296 2126321.3544422756 | |
| 6300231 1390097480 22972755915 16.5260035685 13954 29859956855 2139885.1121542210 | |
| 6400528 1403546180 23198757619 16.5286742607 14089 30266895232 2148264.2651714105 | |
| 6500308 1414205520 23379121072 16.5316290605 14196 30743017691 2165611.2771907580 | |
| 6600534 1425661820 23566746305 16.5303902892 14311 31201844206 2180270.0164908115 | |
| 6700135 1443294560 23770203558 16.4694056340 14488 31580797128 2179789.9729431253 | |
| 6801206 1461026920 23997017601 16.4247607436 14666 31983368820 2180783.3642438290 | |
| 6900088 1473877900 24153141650 16.3874779926 14795 32406915588 2190396.4574518420 | |
| 7001168 1489717480 24311769112 16.3197179589 14954 32827186281 2195211.0660024076 | |
| 7100043 1504859720 24518511534 16.2928884388 15106 33230241603 2199804.1574870910 | |
| 7200981 1518806520 24703688100 16.2651975579 15246 33639047003 2206417.8802964710 | |
| 7300521 1528868140 24951754512 16.3204097588 15347 34038877134 2217949.9012184790 | |
| 7400236 1540623300 25198283626 16.3559019431 15465 34459469922 2228223.0793404463 | |
| 7500415 1557459080 25380062308 16.2958132473 15634 34875054614 2230718.6013816040 | |
| 7600072 1577482700 25569346401 16.2089551923 15835 35306308724 2229637.4312598673 | |
| 7700553 1593621140 25867029682 16.2316055132 15997 35704198390 2231930.8864162030 | |
| 7800411 1611353500 26138458125 16.2214300742 16175 36227536237 2239724.0331993815 | |
| 7900125 1632472940 26423847547 16.1863923741 16387 36763466269 2243453.1194849580 | |
| 8000250 1653293520 26813056094 16.2179647895 16596 37284578744 2246600.3099542060 | |
| 8100416 1679194720 27220947280 16.2107151457 16856 37785477598 2241663.3601091597 | |
| 8200290 1698222140 27549505427 16.2225569777 17047 38319809080 2247891.6571830820 | |
| 8300925 1719441200 27889380918 16.2200259701 17260 38852045702 2250987.5841251450 | |
| 8400006 1735181160 28229775226 16.2690650848 17418 39370842120 2260353.7788494662 | |
| 8500994 1747334800 28503300414 16.3124436221 17540 39801851789 2269204.7770239455 | |
| 8600167 1756499840 28691586124 16.3345224808 17632 40273594923 2284119.4942717785 | |
| 8700706 1769848920 28913938625 16.3369530011 17766 40863774935 2300111.1637397273 | |
| 8800310 1793259620 29201526766 16.2840485785 18001 41428154989 2301436.3084828620 | |
| 8900892 1807804140 29436143687 16.2828168360 18147 42020826762 2315579.8072408660 | |
| 9000653 1824042200 29670686260 16.2664472675 18310 42604814849 2326860.4505188423 | |
| 9100631 1843667340 29971351457 16.2563770626 18507 43172127679 2332745.8625925328 | |
| 9200643 1866779180 30356547431 16.2614559645 18739 43728499512 2333555.6599605100 | |
| 9300304 1883415720 30619701335 16.2575373083 18906 44302865462 2343323.0435840474 | |
| 9400477 1899155680 30886247144 16.2631465494 19064 44884167356 2354394.0073436843 | |
| 9500011 1917585380 31211529653 16.2764745594 19249 45438317105 2360554.6836199280 | |
| 9600143 1933524580 31454478152 16.2679484281 19409 46020757593 2371104.0029367820 | |
| 9700088 1947869860 31668617943 16.2580768835 19553 46611533354 2383855.8458548560 | |
| 9800373 1960023500 31850658720 16.2501412458 19675 47211170922 2399551.2539771283 | |
| 9900220 1970483600 32009982094 16.2447340815 19780 47814381874 2417309.4981799796 | |
| 10001935 1980146740 32390417841 16.3575846106 19877 48309403869 2430417.2595965187 | |
| 10100081 1993495820 32788284805 16.4476315807 20011 48737448909 2435532.9023537054 | |
| 10200944 2012224380 33110857609 16.4548536128 20199 49167185258 2434139.5741373333 | |
| 10300429 2028063960 33401744771 16.4697689174 20358 49638433797 2438276.5397877980 | |
| 10400049 2047390240 33678563194 16.4495085187 20552 50112179509 2438311.5759536787 | |
| 10500529 2058846540 33895879498 16.4635288932 20667 50625233763 2449568.5761358687 | |
| 10600545 2073092200 34077940119 16.4382173253 20810 51121260708 2456571.8744834214 | |
| 10700142 2088732540 34291283146 16.4172686016 20967 51578958196 2460006.5911193780 | |
| 10800259 2102778960 34480463698 16.3975692899 21108 52079766397 2467299.9051070684 | |
| 10900635 2117622340 34788204509 16.4279550002 21257 52527941632 2471089.1297925390 | |
| 11000056 2127185860 35067262056 16.4852835455 21353 52997780384 2481982.8775347727 | |
| 11100018 2142128860 35294081092 16.4761708556 21503 53491368097 2487623.4989071293 | |
| 11200115 2154182880 35538529782 16.4974525199 21624 53993489365 2496924.2214668887 | |
| 11300804 2165938040 35734223531 16.4982667422 21742 54508810805 2507074.3632140555 | |
| 11400805 2177892440 35923990523 16.4948414638 21862 55010011929 2516238.7672216630 | |
| 11500641 2189149500 36102865797 16.4917315135 21975 55547755697 2527770.4526507393 | |
| 11600075 2201602000 36325269513 16.4994715271 22100 56070728734 2537137.0467873304 | |
| 11700008 2218537400 36522448546 16.4623993024 22270 56565353953 2539979.9709474630 | |
| 11800862 2229894080 36691429964 16.4543375818 22384 57044617861 2548455.0509739100 | |
| 11900954 2240254560 36888241573 16.4660937340 22488 57563343861 2559736.0308164353 | |
| 12000141 2249519220 37049062138 16.4697690994 22581 58002218112 2568629.2950710775 | |
| 12100091 2258285780 37189744738 16.4681304144 22669 58468173908 2579212.7534518507 | |
| 12190568 2268048540 37333438715 16.4605995227 22767 58894165831 2586821.5325251460 | |
| depths 12,16 (992049258 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 100143 21961296 755485858 34.4007866385 504 351430742 697283.2182539683 | |
| 200311 39565192 1370643690 34.6426649465 908 748369798 824195.8127753304 | |
| 300153 55949016 1865829175 33.3487397705 1284 1106069840 861425.1090342680 | |
| 400166 76210926 2449289908 32.1383040012 1749 1468584775 839671.1120640365 | |
| 500217 91026086 2924627072 32.1295487977 2089 1901717599 910348.3001436094 | |
| 600118 112420920 3442851342 30.6246501274 2580 2360806738 915041.3713178295 | |
| 700072 135776584 3905515497 28.7642786550 3116 2764504282 887196.4961489089 | |
| 800023 161310948 4463048324 27.6673615730 3702 3124353872 843963.7687736358 | |
| 900141 174383148 5043298194 28.9207888024 4002 3649475655 911912.9572713643 | |
| 1000066 186278850 5528922862 29.6808943259 4275 4165242510 974325.7333333333 | |
| 1100038 206497186 5931539507 28.7245536944 4739 4582016301 966874.0875712176 | |
| 1200096 221225198 6246849486 28.2375133686 5077 4982843524 981454.3084498720 | |
| 1300590 237478300 6631571148 27.9249562928 5450 5475111229 1004607.5649541285 | |
| 1400222 251683424 6998841374 27.8081141093 5776 6031942754 1044311.4186288088 | |
| 1500046 267500786 7381376598 27.5938501280 6139 6576440611 1071256.0043981106 | |
| 1600030 286281180 7735738824 27.0214717712 6570 7125778591 1084593.3928462710 | |
| 1700067 307153126 8077650558 26.2984481493 7049 7681850161 1089778.7148531706 | |
| 1800372 322099008 8519245022 26.4491501383 7392 8218973589 1111874.1327110390 | |
| 1900307 336565576 8834083472 26.2477332857 7724 8781307834 1136886.0479026411 | |
| 2000095 357045356 9244403970 25.8913995509 8194 9336933618 1139484.2101537710 | |
| 2100007 371773368 9569377388 25.7398141225 8532 9929990028 1163852.5583684950 | |
| 2201375 391163798 10031777280 25.6459757557 8977 10474342233 1166797.6198061714 | |
| 2301694 411687152 10557722499 25.6450133256 9448 10998376801 1164095.7664055885 | |
| 2400163 428245272 10968844591 25.6134633776 9828 11521519721 1172315.8039275538 | |
| 2500082 438920902 11167889720 25.4439687632 10073 12047222041 1195991.4663953143 | |
| 2627422 455086856 11938202653 26.2328003888 10444 12689721862 1215025.0729605516 | |
| 2700011 457396278 12279311825 26.8461122567 10497 13085989505 1246640.8978755835 | |
| 2800120 476263820 12824889707 26.9281208617 10930 13575366677 1242028.0582799634 | |
| 2900129 485893674 13150710528 27.0649963803 11151 14110006685 1265357.9665500852 | |
| 3000282 498922300 13447881273 26.9538588935 11450 14578542603 1273235.1618340611 | |
| 3100035 514260348 13806711408 26.8477075118 11802 15067339970 1276676.8318928995 | |
| 3201075 535524460 14282131866 26.6694295644 12290 15575569747 1267336.8386493083 | |
| 3300059 554697020 14696924203 26.4954086160 12730 16081492026 1263275.1002356638 | |
| 3400384 570340086 14967316346 26.2427921751 13089 16592267382 1267649.7350446940 | |
| 3500152 584806654 15444395710 26.4094048937 13421 17037390567 1269457.6087474853 | |
| 3600356 597443114 15861206312 26.5484795796 13711 17610152153 1284381.3108453066 | |
| 3700067 608423762 16237295187 26.6874770532 13963 18160975189 1300649.9454988183 | |
| 3800441 621800980 16532954468 26.5888202170 14270 18734687781 1312872.3042046250 | |
| 3900256 640102060 16842905483 26.3128437409 14690 19301098669 1313893.7147038803 | |
| 4000217 656878050 17117599612 26.0590220848 15075 19873261262 1318292.6210281923 | |
| 4100143 669950250 17443939981 26.0376647087 15375 20434718736 1329087.3974634146 | |
| 4200094 690168586 17740028861 25.7039065829 15839 21006142704 1326229.0993118254 | |
| 4300445 705463060 18157856185 25.7389184701 16190 21545845709 1330811.9647313156 | |
| 4400414 721323996 18567712520 25.7411546309 16554 22103074607 1335210.4993959165 | |
| 4500300 739320058 19063620537 25.7853419919 16967 22626987821 1333588.0132610360 | |
| 4600371 753873774 19441087426 25.7882527507 17301 23178968988 1339747.3549505810 | |
| 4700036 765508032 19851284552 25.9321701696 17568 23729224286 1350707.2111794170 | |
| 4800235 775791496 20104182106 25.9144141302 17804 24307994227 1365310.8417771286 | |
| 4900051 791390988 20402863698 25.7810159673 18162 24876055257 1369675.9859596961 | |
| 5000443 805465390 20717156724 25.7207286386 18485 25445468127 1376546.8286177982 | |
| 5100138 819801236 21116792916 25.7584302008 18814 26012334595 1382605.2192516210 | |
| 5200087 832873436 21464374675 25.7714722877 19114 26565432501 1389841.6082975830 | |
| 5300049 846381376 21750982435 25.6987961358 19424 27132146317 1396836.1983628501 | |
| 5400332 857841338 21968567321 25.6091264758 19687 27722723338 1408174.0914308934 | |
| 5502244 865684658 22369617125 25.8403760749 19867 28299940891 1424469.7685105954 | |
| 5600244 878408266 22927430097 26.1011092273 20159 28807511340 1429014.8985564760 | |
| 5700030 890957578 23297562534 26.1489021579 20447 29364228049 1436114.2489851810 | |
| 5800038 903419742 23596600785 26.1191998448 20733 29936138504 1443888.4147976656 | |
| 5900255 917232700 23868060132 26.0218155458 21050 30509497449 1449382.3016152019 | |
| 6000159 928344070 24263055460 26.1358436425 21305 31055610495 1457667.7068763200 | |
| 6100199 941198400 24589983876 26.1262491266 21600 31613730610 1463598.6393518518 | |
| 6200228 952179048 24853994571 26.1022279614 21852 32186937384 1472951.5551894563 | |
| 6300161 962941826 25101855290 26.0678834507 22099 32763321039 1482570.2990633060 | |
| 6400293 976972654 25336353478 25.9335339370 22421 33346173140 1487274.1242585077 | |
| 6500050 986253916 25592913257 25.9496188981 22634 33924949925 1498849.0732968100 | |
| 6558676 992049258 25725622414 25.9317994611 22767 34267792862 1505151.8804409890 | |
| depths 12,17 (165242886 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 100017 14748256 791667209 53.6786999765 2032 484362787 238367.5132874016 | |
| 200159 30142474 1465887529 48.6319579806 4153 1005780365 242181.6433903202 | |
| 300016 44063318 1941947834 44.0717567842 6071 1545917853 254639.7385933125 | |
| 400021 58180128 2366499027 40.6753836465 8016 2101011300 262102.2080838324 | |
| 500113 71614686 2853598341 39.8465524376 9867 2667851820 270381.2526603831 | |
| 600037 80745250 3375977440 41.8102295801 11125 3228102876 290166.5506516854 | |
| 700060 94941898 3828394592 40.3235523267 13081 3800279081 290519.0032107637 | |
| 800044 106053896 4270960542 40.2716043737 14612 4357029687 298181.6101149740 | |
| 900042 119219908 4669700426 39.1687974294 16426 4921788499 299634.0252648240 | |
| 1000004 130506098 5106050114 39.1249925655 17981 5477434736 304623.4767810467 | |
| 1100058 141364066 5476219292 38.7384110188 19477 6051575688 310703.6857832315 | |
| 1200074 149384156 5936792672 39.7417827363 20582 6656295967 323403.7492469148 | |
| 1300111 158863104 6288844266 39.5865629442 21888 7223109159 330003.1596765351 | |
| 1368908 165242886 6486067871 39.2517222859 22767 7620287764 334707.5927438837 | |
| depths 12,18 (5828352 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 61816 5828352 282450776 48.4615163943 22767 431160757 18937.9697368999 | |
| depths 12,19 (45534 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 1115 45534 2191061 48.1192295867 22767 12363804 543.0581104230 | |
| depths 13,13 (838353400 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 100021 20415860 474411411 23.2373953877 188 514128613 2734726.6648936170 | |
| 200404 42460645 959771635 22.6037931124 391 1020777560 2610684.2966751917 | |
| 300280 63962455 1441373738 22.5346844176 589 1526855839 2592284.9558573854 | |
| 400411 85790050 1796625620 20.9421211434 790 2075181429 2626811.9354430380 | |
| 500085 117065410 2221076141 18.9729497466 1078 2591263754 2403769.7161410020 | |
| 600083 141499285 2651899995 18.7414374214 1303 3111204866 2387724.3791250960 | |
| 700005 166258945 3096951502 18.6272774797 1531 3629404198 2370610.1881123450 | |
| 800183 176466875 3328189182 18.8601355467 1625 4224052803 2599417.1095384615 | |
| 901684 196665545 3674115488 18.6820497103 1811 4781802529 2640421.0541137494 | |
| 1000461 210131325 3914855110 18.6305164639 1935 5351864576 2765821.4863049095 | |
| 1100752 221968180 4149620129 18.6946621313 2044 5936303202 2904257.9266144815 | |
| 1200355 236085530 4416148562 18.7057146704 2174 6503762631 2991611.1458141673 | |
| 1301161 247705195 4631005378 18.6956328389 2281 7095934692 3110887.6334940814 | |
| 1403976 261496760 4887169616 18.6892167077 2408 7690564736 3193756.1196013290 | |
| 1500188 276374275 5130786783 18.5646322654 2545 8241731184 3238401.2510805503 | |
| 1600159 289622865 5375698537 18.5610294857 2667 8820799287 3307386.3093363330 | |
| 1700019 302328480 5642545670 18.6636259674 2784 9390653649 3373079.6153017240 | |
| 1800481 314491120 5886135157 18.7163795181 2896 9971679748 3443259.5814917125 | |
| 1901261 324807645 6102811552 18.7890021862 2991 10563684645 3531823.6860581744 | |
| 2001881 330997560 6278895614 18.9696129905 3048 11167893965 3664007.2063648296 | |
| 2100302 345657885 6547253713 18.9414273393 3183 11726776587 3684189.9425070686 | |
| 2202097 354128295 6755762164 19.0771600558 3261 12331393108 3781475.9607482366 | |
| 2300497 364227630 6978165969 19.1588045339 3354 12916776707 3851155.8458556947 | |
| 2404700 370091760 7149943732 19.3193810422 3408 13547341938 3975159.0193661973 | |
| 2500465 384643490 7433838707 19.3265683685 3542 14090028683 3977986.6411631850 | |
| 2600106 396588940 7678595852 19.3615985660 3652 14669862993 4016939.4832968237 | |
| 2701068 408968770 7931553543 19.3940323194 3766 15252769741 4050124.7320764735 | |
| 2801171 415158685 8091386571 19.4898646309 3823 15856368555 4147624.5239340830 | |
| 2900064 430036200 8447356032 19.6433603311 3960 16399961613 4141404.4477272728 | |
| 3000705 448062970 8793892635 19.6264659742 4126 16955939417 4109534.5169655840 | |
| 3100813 460334205 9026811505 19.6092565075 4239 17537780734 4137244.8063222460 | |
| 3200337 471410895 9231946996 19.5836521682 4341 18125683010 4175462.5685325963 | |
| 3302727 481293040 9445298042 19.6248382108 4432 18728910262 4225837.1529783390 | |
| 3401604 492695515 9669148837 19.6249986911 4537 19306336581 4255308.9224156930 | |
| 3500425 505509725 9909730045 19.6034409526 4655 19877438920 4270126.5134264230 | |
| 3600327 522993520 10264839231 19.6270868347 4816 20420715485 4240181.7867524910 | |
| 3700708 535807730 10512713250 19.6203090426 4934 21004315251 4257056.1919335230 | |
| 3801775 542975000 10686904387 19.6821297242 5000 21610554304 4322110.8608000000 | |
| 3901325 552639955 10934511183 19.7859584420 5089 22185697273 4359539.6488504615 | |
| 4000536 564476810 11200576974 19.8424041087 5198 22754189063 4377489.2387456720 | |
| 4103469 573924575 11436041244 19.9260351310 5285 23357262466 4419538.7825922430 | |
| 4202486 582612175 11632142202 19.9654979781 5365 23946266894 4463423.4657968310 | |
| 4301464 594014650 11846437216 19.9430051363 5470 24527772416 4484053.4581352840 | |
| 4400580 601181920 12013741298 19.9835372594 5536 25125636436 4538590.3966763010 | |
| 4500875 613344560 12257566180 19.9847964413 5648 25708907807 4551860.4474150140 | |
| 4600887 626158770 12469776596 19.9147200254 5766 26293266458 4560053.1491501910 | |
| 4700083 633543230 12657851211 19.9794593512 5834 26885484671 4608413.5534796030 | |
| 4800088 642665210 12879413254 20.0406262135 5918 27475678594 4642730.4146671170 | |
| 4904153 652655950 13091812867 20.0592867758 6010 28090260424 4673920.2036605650 | |
| 5002169 662103715 13282031245 20.0603484682 6097 28674565613 4703061.4421846810 | |
| 5101117 671442885 13480773236 20.0773193628 6183 29261005681 4732493.2364547950 | |
| 5200067 682845360 13708540306 20.0756146399 6288 29841781333 4745830.3646628500 | |
| 5304586 693379075 13939737578 20.1040644008 6385 30455592507 4769865.7019577140 | |
| 5404170 703261220 14160744270 20.1358241679 6476 31039674126 4793031.8292155650 | |
| 5503609 709233945 14329622910 20.2043669949 6531 31640060234 4844596.5754095850 | |
| 5601578 719333280 14524775547 20.1919971602 6624 32218886751 4863962.3718297100 | |
| 5700651 725631790 14676410795 20.2256998622 6682 32817603805 4911344.4784495660 | |
| 5800678 734645175 14866854348 20.2367821282 6765 33413453946 4939165.4022172950 | |
| 5906678 743006990 15085642555 20.3035001797 6842 34041362373 4975352.5830166620 | |
| 6001141 750500045 15267162608 20.3426538209 6911 34604970561 5007230.5832730430 | |
| 6102059 757341530 15443968022 20.3923427017 6974 35217608340 5049843.4671637510 | |
| 6201691 761142355 15578405656 20.4671380507 7009 35827064096 5111579.9823084600 | |
| 6300578 772001855 15864661876 20.5500307716 7109 36399892722 5120254.9897313270 | |
| 6402399 783512925 16105306131 20.5552526539 7215 36994115564 5127389.5445599440 | |
| 6503585 790245815 16271681307 20.5906579929 7277 37605989995 5167787.5491273880 | |
| 6601257 798173250 16427093651 20.5808621762 7350 38195975678 5196731.3847619040 | |
| 6702601 805449115 16632100596 20.6494740465 7417 38797576597 5230898.8266145345 | |
| 6800815 812724980 16826119619 20.7033375780 7484 39379412584 5261813.5467664350 | |
| 6900787 817394565 16970935437 20.7622318078 7527 39987893283 5312593.7668393785 | |
| 7001594 823258695 17135679931 20.8144536281 7581 40595334048 5354878.5184012660 | |
| 7100840 831403320 17307372693 20.8170598753 7656 41189406594 5380016.5352664580 | |
| 7200265 836941665 17456069183 20.8569723709 7707 41794153833 5422882.2931101590 | |
| 7231244 838353400 17495466347 20.8688440305 7720 41984568627 5438415.6252590670 | |
| depths 13,14 (953589840 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 100435 10869936 461459851 42.4528581401 88 534122558 6069574.5227272725 | |
| 200579 23345658 892463827 38.2282575629 189 1070503682 5664040.6455026455 | |
| 300518 37180122 1388895837 37.3558708871 301 1576369185 5237106.9269102990 | |
| 400394 49038234 1774812414 36.1924210811 397 2114365192 5325856.9068010080 | |
| 501778 63737352 2236423606 35.0881160862 516 2646171529 5128239.3972868220 | |
| 600718 73989678 2662491240 35.9846307211 599 3170221599 5292523.5375626040 | |
| 701021 88071186 3043252159 34.5544586966 713 3720378370 5217921.9775596075 | |
| 800330 101411562 3382456859 33.3537595940 821 4273592564 5205350.2606577340 | |
| 900105 116481246 3694593616 31.7183558974 943 4829771799 5121709.2248144220 | |
| 1000169 135380112 4086638349 30.1864010055 1096 5362405108 4892705.3905109490 | |
| 1100446 147114702 4349709071 29.5667870843 1191 5939582872 4987055.3081444170 | |
| 1200130 171201492 4997929872 29.1932611896 1386 6392217273 4611989.3744588750 | |
| 1300902 183059604 5358695628 29.2729554249 1482 6948029928 4688279.3036437250 | |
| 1402232 191706144 5683843738 29.6487301836 1552 7538905865 4857542.4387886600 | |
| 1500745 196029414 5920579618 30.2025063341 1587 8133254480 5124924.0579710150 | |
| 1602778 206158218 6199634320 30.0722153118 1669 8730375036 5230901.7591372080 | |
| 1701310 218263374 6507358236 29.8142474238 1767 9284036400 5254123.5993208830 | |
| 1804356 227280480 6775661986 29.8118957950 1840 9877539921 5368228.2179347830 | |
| 1900127 236421108 7010773608 29.6537549769 1914 10433610922 5451207.3782654125 | |
| 2000320 247661610 7284992651 29.4151065682 2005 11006186716 5489369.9331670820 | |
| 2102875 252849534 7485526845 29.6046693327 2047 11621916774 5677536.2843185150 | |
| 2201419 262113684 7753321907 29.5799966972 2122 12185115371 5742278.6856738925 | |
| 2300248 269648526 7989155867 29.6280346328 2183 12760173345 5845246.6078790660 | |
| 2402314 276812802 8194787063 29.6040754033 2241 13369814169 5966003.6452476570 | |
| 2500087 284718210 8413329205 29.5496701985 2305 13943230823 6049124.0013015190 | |
| 2601097 291758964 8633790710 29.5922037549 2362 14542077078 6156679.5419136320 | |
| 2700145 300776070 8880081924 29.5238977090 2435 15115768677 6207707.8755646810 | |
| 2800539 312016572 9141996776 29.2997154523 2526 15691251056 6211896.6967537610 | |
| 2903300 322021854 9411362683 29.2258508735 2607 16283853858 6246204.0115074795 | |
| 3000272 331038960 9628099027 29.0844891097 2680 16851847167 6288002.6742537310 | |
| 3100009 339932544 9872453830 29.0423909221 2752 17432311024 6334415.3430232555 | |
| 3200256 348702606 10169802261 29.1646867159 2823 18000382311 6376330.9638682250 | |
| 3300887 356731536 10401606181 29.1580786426 2888 18587672442 6436174.6682825490 | |
| 3400896 363895812 10614126939 29.1680381829 2946 19176476576 6509326.7399864225 | |
| 3501342 370318956 10810483580 29.1923581141 2998 19773258888 6595483.2848565710 | |
| 3601183 375259836 10984442177 29.2715636560 3038 20366960917 6704068.7679394330 | |
| 3701059 383782854 11223922852 29.2455036358 3107 20945762722 6741474.9668490505 | |
| 3800463 393788136 11479424707 29.1512710962 3188 21513830898 6748378.5752823080 | |
| 3906066 399840714 11685735931 29.2259780503 3237 22142752500 6840516.6821130670 | |
| 4000706 406140336 11883959039 29.2607209519 3288 22702511566 6904656.8023114350 | |
| 4100922 413922222 12117328735 29.2744097586 3351 23292916223 6951034.3846612950 | |
| 4201243 419727756 12292190194 29.2861027613 3398 23892900112 7031459.7151265450 | |
| 4300310 424792158 12494961280 29.4142936603 3439 24483304986 7119309.3881942425 | |
| 4400442 437391402 12820892132 29.3121722864 3541 25040844525 7071687.2423044340 | |
| 4500565 446037942 13102436967 29.3751623646 3611 25628991414 7097477.5447244530 | |
| 4603016 453572784 13351828804 29.4370149070 3672 26231040553 7143529.5623638340 | |
| 4701513 462713412 13621972939 29.4393302328 3746 26790339821 7151719.1193272825 | |
| 4801678 467407248 13786858547 29.4964586150 3784 27392703915 7239086.6582980980 | |
| 4900035 472965738 13953587599 29.5023222147 3829 27981961469 7307903.2303473490 | |
| 5000072 486182592 14386697695 29.5911411304 3936 28503984128 7241865.8861788610 | |
| 5103033 489023598 14651759199 29.9612518883 3959 29150913035 7363201.0697145740 | |
| 5200212 493470390 14945462552 30.2864424186 3995 29725144912 7440586.9617021280 | |
| 5300127 507428376 15251087976 30.0556466633 4108 30281135003 7371259.7378286270 | |
| 5401447 519780576 15550897866 29.9181973780 4208 30849388165 7331128.3662072240 | |
| 5515447 523980324 15755766085 30.0693849813 4242 31573811001 7443142.6216407350 | |
| 5600704 529785858 15915729920 30.0418172355 4289 32080540001 7479724.8778269990 | |
| 5702080 540902838 16154762237 29.8662922471 4379 32666030668 7459700.9974880110 | |
| 5805413 547202460 16358755684 29.8952524519 4430 33276233662 7511565.1607223480 | |
| 5901740 555972522 16583882804 29.8286015006 4501 33838244339 7517939.1999555660 | |
| 6002436 564372018 16814870801 29.7939484324 4569 34422853109 7534001.5559203330 | |
| 6100234 573759690 17043875507 29.7055994070 4645 34991459867 7533145.2889128090 | |
| 6200039 585123714 17362237838 29.6727639345 4737 35544620419 7503614.1902047710 | |
| 6300440 596981826 17678988663 29.6139478507 4833 36100199956 7469522.0268984060 | |
| 6402300 605134278 17915158729 29.6052618077 4899 36696707634 7490652.7115737910 | |
| 6500146 612051510 18109771453 29.5886394480 4955 37277013547 7523110.7057517655 | |
| 6605065 617610000 18286673163 29.6087711711 5000 37906867488 7581373.4976000000 | |
| 6701343 624897798 18498347255 29.6021962539 5059 38467296173 7603735.1597153590 | |
| 6801032 633050250 18817129417 29.7245430627 5125 39026827269 7614990.6866341470 | |
| 6902077 640708614 19081396074 29.7817067807 5187 39607759647 7635966.7721226140 | |
| 7001085 647008236 19343970168 29.8975640366 5238 40183963845 7671623.4908361970 | |
| 7100908 653307858 19544242454 29.9158233208 5289 40784223538 7711140.7710342220 | |
| 7201695 660101568 19779796936 29.9647779900 5344 41370379251 7741463.1831961080 | |
| 7301436 665413014 19945746796 29.9749875286 5387 41968633511 7790724.6168553920 | |
| 7400328 673194900 20159675286 29.9462685858 5450 42551232919 7807565.6732110090 | |
| 7500990 679000434 20350544166 29.9713271847 5497 43163540355 7852199.4460614880 | |
| 7605260 684311880 20546180469 30.0245853820 5540 43800965325 7906311.4305054150 | |
| 7700101 692217288 20765123474 29.9979844970 5604 44362486041 7916218.0658458250 | |
| 7800012 701481438 20992395565 29.9258033468 5679 44951974054 7915473.5083641480 | |
| 7902333 711857286 21213741203 29.8005535944 5763 45556331283 7904968.1212909940 | |
| 8002026 717662820 21408139457 29.8303588543 5810 46155533120 7944153.7211703960 | |
| 8100385 724703574 21633441716 29.8514351138 5867 46737307837 7966133.9418783020 | |
| 8201030 729520932 21913521070 30.0382348316 5906 47367134910 8020171.8438875720 | |
| 8300396 735944076 22132936472 30.0742097039 5958 47961725589 8049970.7265861025 | |
| 8400004 743231874 22324326372 30.0368258587 6017 48558597001 8070233.8376267245 | |
| 8500856 750890238 22529103260 30.0031910390 6079 49168799827 8088303.9689093605 | |
| 8601673 757683948 22751817670 30.0281109690 6134 49771835534 8114091.2184545160 | |
| 8700054 763489482 22931709751 30.0353970705 6181 50369757063 8149127.4976541010 | |
| 8801030 770653758 23132110898 30.0162176047 6239 50978545341 8170948.1232569320 | |
| 8900528 780288474 23435998972 30.0350444136 6317 51549088577 8160374.9528257080 | |
| 9003330 787452750 23656243304 30.0414765254 6375 52165419094 8182810.8382745100 | |
| 9100204 793752372 23849930039 30.0470661636 6426 52749436523 8208751.4041394340 | |
| 9202099 798446208 24098747028 30.1820545787 6464 53371121443 8256671.0153155940 | |
| 9301405 803510610 24298960900 30.2409956976 6505 53969393383 8296601.5961568020 | |
| 9401446 807339792 24484403044 30.3272590880 6536 54580859138 8350804.6416768660 | |
| 9500500 814133502 24669180782 30.3011492850 6591 55176330996 8371465.7860719160 | |
| 9604948 820433124 24851799096 30.2910723239 6642 55809332820 8402489.1327913270 | |
| 9701666 825374004 25012118855 30.3039818722 6682 56403446281 8441102.4066147860 | |
| 9805300 830932494 25181510391 30.3051217431 6727 57037089407 8478829.9995540360 | |
| 9902238 839826078 25459950461 30.3157417088 6799 57607734797 8472971.7306956910 | |
| 10000679 844766958 25650736673 30.3642755320 6839 58200846199 8510139.8156163190 | |
| 10100476 849090228 25830842326 30.4217873133 6874 58807405022 8555048.7375618280 | |
| 10200713 855389850 26033031722 30.4341134303 6925 59408769051 8578883.6174729240 | |
| 10301234 860207208 26218197202 30.4789322365 6964 60028748452 8619866.2337736930 | |
| 10402302 863542302 26374890760 30.5426737045 6991 60654970515 8676150.8389357740 | |
| 10518431 868236138 26571333583 30.6038097472 7029 61370211824 8731001.8244415990 | |
| 10600230 870953622 26777728609 30.7452979500 7051 61867591693 8774300.3393844850 | |
| 10701451 879847206 27104156989 30.8055271463 7123 62451196794 8767541.3160185310 | |
| 10800390 888246702 27360086377 30.8023506481 7191 63032007931 8765402.2988457800 | |
| 10907739 894052236 27581138317 30.8495826154 7238 63685445305 8798762.8219121300 | |
| 11002829 899116638 27731083432 30.8425873351 7279 64264867506 8828804.4382470120 | |
| 11100389 905539782 27904547830 30.8153748567 7331 64856589580 8846895.3185104360 | |
| 11200201 911098272 28072307893 30.8115038254 7376 65465409355 8875462.2227494590 | |
| 11302069 915915630 28302873804 30.9011800617 7415 66081820303 8911911.0320971010 | |
| 11400255 920609466 28480415161 30.9364787272 7453 66677713479 8946426.0672212540 | |
| 11502835 925426824 28678441141 30.9894206622 7492 67295480053 8982311.8063267490 | |
| 11601561 929132484 28832216390 31.0313296397 7522 67899476460 9026784.9587875570 | |
| 11702483 932838144 28973003686 31.0589826031 7552 68522163393 9073379.6865730940 | |
| 11800782 939384810 29182578765 31.0656276899 7605 69108924638 9087301.0700854700 | |
| 11902523 944696256 29341760882 31.0594656173 7648 69734753011 9118037.7890951880 | |
| 12000255 948896004 29489925275 31.0781425474 7682 70334280218 9155725.0999739650 | |
| 12101926 952725186 29641696222 31.1125355534 7713 70962789713 9200413.5502398550 | |
| 12124572 953589840 29672231260 31.1163458495 7720 71103234960 9210263.5958549230 | |
| depths 13,15 (769066400 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 100512 4482900 366216802 81.6919409311 45 595925047 13242778.8222222220 | |
| 202102 16337680 966520769 59.1589974219 164 1100066389 6707721.8841463410 | |
| 301564 23111840 1355715175 58.6589027529 232 1651932261 7120397.6767241380 | |
| 400570 32376500 1856382947 57.3373572499 325 2160682646 6648254.2953846160 | |
| 500238 40844200 2214708740 54.2233350145 410 2715461033 6623075.6902439030 | |
| 600305 50507340 2664401557 52.7527594405 507 3274814502 6459200.2011834320 | |
| 700631 57978840 3149886430 54.3282071528 582 3807278044 6541714.8522336770 | |
| 802729 65948440 3480672059 52.7786867893 662 4391188043 6633214.5664652570 | |
| 901875 73718800 3861364960 52.3796502385 740 4973404012 6720816.2324324325 | |
| 1000419 81987260 4208064741 51.3258369776 823 5529817517 6719097.8335358440 | |
| 1100046 90554580 4483516140 49.5117545683 909 6105443095 6716659.0704070400 | |
| 1200120 101114300 4809119559 47.5612209055 1015 6668108638 6569565.1605911330 | |
| 1301430 113068700 5162876132 45.6614087895 1135 7232417373 6372173.8969162990 | |
| 1400996 121237540 5448597265 44.9415029784 1217 7807897529 6415692.2999178310 | |
| 1500045 139468000 6127988840 43.9383144521 1400 8256279144 5897342.2457142850 | |
| 1601162 145644440 6474737442 44.4557817792 1462 8846241396 6050780.7086183310 | |
| 1702012 153215560 6835888528 44.6161507878 1538 9417736438 6123365.6944083230 | |
| 1824953 155108340 7203983525 46.4448496129 1557 10207940731 6556159.7501605660 | |
| 1900144 157798080 7415815230 46.9955986156 1584 10666674734 6734011.8270202020 | |
| 2007266 165966920 7685233542 46.3058152914 1666 11301111929 6783380.5096038410 | |
| 2100745 174135760 7970476469 45.7716236401 1748 11837114151 6771804.4342105270 | |
| 2203314 182005740 8279727512 45.4915735734 1827 12424152293 6800302.2950191570 | |
| 2301519 186986740 8492515091 45.4177397338 1877 13011471350 6932057.1923281830 | |
| 2400372 195354820 8766060173 44.8725051831 1961 13584508019 6927337.0826109130 | |
| 2500986 201033160 9011576818 44.8263202847 2018 14185067166 7029270.1516352830 | |
| 2602469 206512260 9249414564 44.7886946954 2073 14792784437 7135930.7462614570 | |
| 2700386 212489460 9501371937 44.7145563691 2133 15363301921 7202673.1931551810 | |
| 2801084 218167800 9745893221 44.6715474098 2190 15954796007 7285294.9803652970 | |
| 2900418 223248420 9958843295 44.6087963131 2241 16554820107 7387246.8125836680 | |
| 3003889 229026380 10185806483 44.4743809993 2299 17172261979 7469448.4467159630 | |
| 3101167 234007380 10427046184 44.5586211170 2349 17756079254 7558994.9995742870 | |
| 3207383 240781540 10701203287 44.4436200840 2417 18379711877 7604349.1423251960 | |
| 3300240 246858360 10911630723 44.2019898496 2478 18931892697 7639988.9818401930 | |
| 3401960 255724540 11172351131 43.6890066593 2567 19527987715 7607318.9384495520 | |
| 3500211 261402880 11416014154 43.6721055024 2624 20105539549 7662172.0842225610 | |
| 3600860 271464500 11704498618 43.1161297997 2725 20687015647 7591565.3750458710 | |
| 3701027 276445500 11947671162 43.2189026843 2775 21279439796 7668266.5931531540 | |
| 3801036 282323080 12238688017 43.3499380107 2834 21858507672 7712952.6012702890 | |
| 3902418 288300280 12456022533 43.2050309941 2894 22462138257 7761623.4474775400 | |
| 4002238 293978620 12687121158 43.1566117223 2951 23053559650 7812117.8075228730 | |
| 4101206 298660760 12874485777 43.1073897254 2998 23653423256 7889734.2414943300 | |
| 4204665 303143660 13055851073 43.0681976756 3043 24279333328 7978749.0397633910 | |
| 4300955 310117060 13295279491 42.8718094096 3113 24843602195 7980598.1994860270 | |
| 4401160 317987040 13562396649 42.6507842867 3192 25426683393 7965752.9426691730 | |
| 4500120 322569560 13759385651 42.6555613338 3238 26026601924 8037863.4725138970 | |
| 4612998 327650180 14018267829 42.7842518780 3289 26722643411 8124853.5758589240 | |
| 4700726 334125480 14226650500 42.5787656182 3354 27241510502 8122096.1544424570 | |
| 4800293 339206100 14401018721 42.4550700032 3405 27848975047 8178847.2972099860 | |
| 4900583 343888240 14646720823 42.5915141006 3452 28349261597 8212416.4533603700 | |
| 5000471 350064680 14939582567 42.6766349779 3514 28918617916 8229544.0853727940 | |
| 5100745 357536180 15229916884 42.5968551882 3589 29484496796 8215240.1214823070 | |
| 5201263 363214520 15505849731 42.6906108572 3646 30073192011 8248269.8878222710 | |
| 5301502 370187920 15766713390 42.5911072139 3716 30649268956 8247919.5252960175 | |
| 5401066 375965880 15997856650 42.5513523993 3774 31227927092 8274490.4854266030 | |
| 5501180 379751440 16153794510 42.5378097579 3812 31831779727 8350414.4089716680 | |
| 5603197 388617620 16536696332 42.5526159416 3901 32380262982 8300503.1996923860 | |
| 5729199 393997100 16886653743 42.8598427323 3955 33041322441 8354316.6728192160 | |
| 5804497 394295960 17091776704 43.3475826230 3958 33498551581 8463504.6945426990 | |
| 5901126 395989500 17424374830 44.0021132631 3975 34096088816 8577632.4065408800 | |
| 6002909 397583420 17738095229 44.6147760110 3991 34653759683 8682976.6181408170 | |
| 6104669 404955300 17998887230 44.4466024522 4065 35205251279 8660578.4204182050 | |
| 6200433 416112740 18314773239 44.0139690003 4177 35735416131 8555282.7701699790 | |
| 6300483 421591840 18510532474 43.9062873560 4232 36340788755 8587142.9005198480 | |
| 6401466 422687660 18818891701 44.5219803696 4243 37053781914 8732920.5547961350 | |
| 6500891 427867900 19009537763 44.4285204920 4295 37658457291 8767976.0863795110 | |
| 6600110 436634460 19249548812 44.0861878194 4383 38244145251 8725563.5982203970 | |
| 6706015 441515840 19460015240 44.0754633854 4432 38884319592 8773537.8140794230 | |
| 6800941 448389620 19700859148 43.9369206361 4501 39449288949 8764560.9751166400 | |
| 6902326 454267200 19929827207 43.8724768308 4560 40055413595 8784081.9287280700 | |
| 7002517 462236800 20180286406 43.6578965716 4640 40648380510 8760426.8340517250 | |
| 7100363 470704500 20490655029 43.5318868398 4725 41208239176 8721320.4605291000 | |
| 7203328 478574480 20786201302 43.4335765292 4804 41802660139 8701636.1654870940 | |
| 7302842 486544080 21061873673 43.2887266309 4884 42384541952 8678243.6429156440 | |
| 7401075 491923560 21265503523 43.2292844909 4938 42958183238 8699510.5787768330 | |
| 7500971 496705320 21444020529 43.1725203366 4986 43553189191 8735096.1073004420 | |
| 7602799 502184420 21640715514 43.0931638899 5041 44159015684 8759971.3715532630 | |
| 7702014 507265040 21933571684 43.2388789971 5092 44719322464 8782270.7117046340 | |
| 7800426 512644520 22191272690 43.2878375253 5146 45282888888 8799628.6218422070 | |
| 7943814 516728940 22386517293 43.3235214056 5187 45623319604 8795704.5698862540 | |
| 8063784 517326660 22416742836 43.3318917606 5193 45683555783 8797141.4948969760 | |
| 8336575 517824760 22444676321 43.3441543448 5198 45748937772 8801257.7475952280 | |
| 8338039 517924380 22447108203 43.3405127656 5199 45756848682 8801086.4939411430 | |
| 8339076 518024000 22449222533 43.3362595806 5200 45762000332 8800384.6792307700 | |
| 8414559 521112220 22676633245 43.5158347371 5231 46179616788 8828066.6771171860 | |
| 8501073 525794360 22849827476 43.4577264693 5278 46673574494 8843041.7760515340 | |
| 8600036 529779160 23069639246 43.5457658357 5318 47274922991 8889605.6771342600 | |
| 8702651 534361680 23283905725 43.5733073618 5364 47874045760 8925064.4593586880 | |
| 8800319 539043820 23477562668 43.5540892909 5411 48435973762 8951390.4568471630 | |
| 8900240 544224060 23675261203 43.5027830320 5463 49012043971 8971635.3598755260 | |
| 9013032 548208860 23883661213 43.5667187375 5503 49689579710 9029543.8324550240 | |
| 9106458 552193660 24071535471 43.5925603909 5543 50241317307 9063921.5780263400 | |
| 9200183 558170860 24281684300 43.5022428437 5603 50763283605 9060018.4909869710 | |
| 9300450 565243880 24505480936 43.3538191267 5674 51339036109 9048120.5690870640 | |
| 9401288 573611960 24721544387 43.0980281286 5758 51936040859 9019805.6372004170 | |
| 9500470 578692580 24919969092 43.0625343287 5809 52509135459 9039272.7593389560 | |
| 9600814 584470540 25148603006 43.0280078890 5867 53070362110 9045570.4976989940 | |
| 9703510 587558760 25441345229 43.3000866654 5898 53693709160 9103714.6761614100 | |
| 9803648 591145080 25634111880 43.3634868111 5934 54294661693 9149757.6159420300 | |
| 9900113 598118480 25870011107 43.2523186827 6004 54843645012 9134517.8234510330 | |
| 10000379 604294920 26061546691 43.1271980426 6066 55400584989 9132968.1815034620 | |
| 10101848 609774020 26287340581 43.1099714301 6121 55982961973 9146048.3537003750 | |
| 10200253 613459960 26466327951 43.1427145645 6158 56569552331 9186351.4665475800 | |
| 10303407 619935260 26669304289 43.0194989861 6223 57174714846 9187645.0017676350 | |
| 10400029 624717020 26912717685 43.0798534751 6271 57724434476 9204980.7807367240 | |
| 10500225 631291940 27225239471 43.1262269418 6337 58298205272 9199653.6645100210 | |
| 10601166 635874460 27416470949 43.1161694228 6383 58910408687 9229266.5967413450 | |
| 10700788 640755840 27636766482 43.1315093156 6432 59490115733 9249085.1574937810 | |
| 10815383 643744440 27947644829 43.4141921738 6462 60180238219 9312943.0855772220 | |
| 10903241 647131520 28151576554 43.5020945263 6496 60692832896 9343108.5123152710 | |
| 11000334 649223540 28344846656 43.6596101491 6517 61287675823 9404277.4011048020 | |
| 11101474 653208340 28513634892 43.6516699894 6557 61897811819 9439959.1000457520 | |
| 11203557 659584020 28725263019 43.5505745257 6621 62483513976 9437171.7227004990 | |
| 11301561 663369580 28869196458 43.5190236761 6659 63053439748 9468905.2031836600 | |
| 12030597 664664640 28964301626 43.5773168646 6672 63380229995 9499434.9512889680 | |
| 12031794 664764260 28967200913 43.5751478471 6673 63387215601 9499058.2348269150 | |
| 12034155 664863880 28972233181 43.5761876266 6674 63401520711 9499778.3504644900 | |
| 12035293 664963500 28974086823 43.5724469433 6675 63408529027 9499405.0976779030 | |
| 12037974 665063120 28977649166 43.5712766121 6676 63425011588 9500451.1066506900 | |
| 12039011 665162740 28980842549 43.5695519400 6677 63431147163 9499947.1563576460 | |
| 12039267 665262360 28982665413 43.5657676665 6678 63432250628 9498689.8215034440 | |
| 12100605 667454000 29081913039 43.5714117213 6700 63778065472 9519114.2495522390 | |
| 12201392 672235760 29294861565 43.5782552910 6748 64355326261 9536948.1714582090 | |
| 12300749 677914100 29559789201 43.6040336099 6805 64925494077 9540851.4440852310 | |
| 12400892 681600040 29755849541 43.6558799806 6842 65508530815 9574471.0340543700 | |
| 12500557 684987120 29930279954 43.6946609361 6876 66042298209 9604755.4114310650 | |
| 12602121 689768880 30133371546 43.6861859381 6924 66626821489 9622591.2029173900 | |
| 12704323 693554440 30313845007 43.7079532026 6962 67208390217 9653603.8806377480 | |
| 12800454 696244180 30463962385 43.7547102871 6989 67786962434 9699093.2084704540 | |
| 12901119 699730880 30626640654 43.7691711619 7024 68375710270 9734582.8972095680 | |
| 13002476 701225180 30862463463 44.0122008497 7039 68975186378 9799003.6053416670 | |
| 13103758 704014540 31234764177 44.3666464289 7067 69542439993 9840447.1477288800 | |
| 13201580 709493640 31487345638 44.3800252219 7122 70097692727 9842416.8389497320 | |
| 13301500 714375020 31723226129 44.4069644666 7171 70659103075 9853451.8302886640 | |
| 13400042 720252600 31945115963 44.3526562251 7230 71225753840 9851418.2351313980 | |
| 13501075 723540060 32118977172 44.3914289583 7263 71838464637 9891018.1243287900 | |
| 13600834 728222200 32294541437 44.3470982305 7310 72428830724 9908184.7775649800 | |
| 13702861 732306620 32438715995 44.2966308225 7351 73037193822 9935681.3796762340 | |
| 13802020 736689900 32677164294 44.3567426321 7395 73606005348 9953482.8056795130 | |
| 13901754 739977360 32877197769 44.4300049518 7428 74188328198 9987658.6157781370 | |
| 14000573 743962160 33066275163 44.4461787720 7468 74767749972 10011750.1301553290 | |
| 14102325 746950760 33231819744 44.4899738023 7498 75357390317 10050332.1308348890 | |
| 14202351 750038980 33385335887 44.5114677733 7529 75948242611 10087427.6279718430 | |
| 14301566 753226820 33526632666 44.5106729816 7561 76544799989 10123634.4384340700 | |
| 14400274 758207820 33732340121 44.4895703146 7611 77103534816 10130539.3267638940 | |
| 14500204 762391860 33885826030 44.4467311469 7653 77699006612 10152751.4193126880 | |
| 14602131 765380460 34039639370 44.4741421410 7683 78309809932 10192608.3472601850 | |
| 14703525 768169820 34184747542 44.5015498552 7711 78904459977 10232714.3012579440 | |
| 14735322 769066400 34225428091 44.5025658266 7720 79097451410 10245783.8613989630 | |
| depths 13,16 (336391280 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 100598 5969638 492045474 82.4246753321 137 523998067 3824803.4087591240 | |
| 200395 11198518 882229229 78.7808912751 257 1070075855 4163719.2801556420 | |
| 300407 17734618 1309636230 73.8463174115 407 1594271578 3917129.1842751843 | |
| 400363 23834978 1768082437 74.1801581273 547 2127221306 3888887.2138939670 | |
| 500819 29412450 2132124295 72.4905370005 675 2643424270 3916184.1037037037 | |
| 600513 33464832 2474986119 73.9578229169 768 3199086950 4165477.7994791665 | |
| 766461 37517214 2666062867 71.0623893075 861 3494550912 4058711.8606271776 | |
| 2030132 38170824 2697237310 70.6622762453 876 3573601628 4079453.9132420090 | |
| 2030437 38214398 2699031224 70.6286469304 877 3574562595 4075898.0558722920 | |
| 2030847 38257972 2702092180 70.6282125984 878 3575981278 4072871.6150341686 | |
| 2030932 38301546 2703272730 70.5786844740 879 3576038937 4068303.6825938565 | |
| 2031306 38345120 2704754212 70.5371169004 880 3577254012 4065061.3772727274 | |
| 2031792 38388694 2706586056 70.5047703889 881 3578990462 4062418.2315550510 | |
| 2031995 38432268 2707885900 70.4586546909 882 3579371979 4058244.8741496596 | |
| 2032184 38475842 2708843939 70.4037598190 883 3579596042 4053902.6523216306 | |
| 2032730 38519416 2710042778 70.3552405364 884 3582294598 4052369.4547511310 | |
| 2032961 38562990 2710895247 70.2978489738 885 3583331385 4048962.0169491526 | |
| 2034771 38606564 2713985361 70.2985471849 886 3592670255 4054932.5677200905 | |
| 2035443 38650138 2715051582 70.2468793772 887 3595003216 4052991.2243517474 | |
| 2036336 38693712 2716341705 70.2011144601 888 3599779214 4053805.4211711710 | |
| 2100684 43312556 2894291244 66.8233766670 994 3928303011 3952015.1016096580 | |
| 2200662 50632988 3200357704 63.2069690219 1162 4504010038 3876084.3700516350 | |
| 2300088 62877282 3743901147 59.5429864001 1443 4995421178 3461830.3381843380 | |
| 2400114 66232480 4117465197 62.1668582695 1520 5569480910 3664132.1776315790 | |
| 2501212 68062588 4403209926 64.6935424495 1562 6167827862 3948673.4071702943 | |
| 2600298 72768580 4654605282 63.9644923949 1670 6763495593 4049997.3610778440 | |
| 2700643 79435402 4963850883 62.4891516631 1823 7331692527 4021773.1908941306 | |
| 2800129 84489986 5195877075 61.4969574619 1939 7875228813 4061489.8468282620 | |
| 2902205 89413848 5434613507 60.7804454071 2052 8464167182 4124837.8079922027 | |
| 3000064 93640526 5668449168 60.5341448851 2149 9006870692 4191191.5737552350 | |
| 3100434 97823630 5883445331 60.1433961406 2245 9560358085 4258511.3964365255 | |
| 3425169 98172222 5901136373 60.1100418507 2253 9602340031 4262023.9818020420 | |
| 3426111 98215796 5903222529 60.1046142211 2254 9606055160 4261781.3487133980 | |
| 3428098 98259370 5906488409 60.1111976293 2255 9616309900 4264438.9800443460 | |
| 3562681 99305146 5954437338 59.9610148904 2279 9750844146 4278562.5914874940 | |
| 3600199 100917384 6029078615 59.7427160320 2316 9953609489 4297758.8467184800 | |
| 3700680 105274784 6287955187 59.7289773304 2416 10486347656 4340375.6854304630 | |
| 3801484 111418718 6514457856 58.4682535658 2557 11036259692 4316096.8682049280 | |
| 3900179 117214060 6751429793 57.5991463225 2690 11585505941 4306879.5319702610 | |
| 4000145 121920052 7029169747 57.6539267470 2798 12153174531 4343521.9910650470 | |
| 4100142 127236080 7274271112 57.1714494191 2920 12719591596 4356024.5191780820 | |
| 4200084 130765574 7463157126 57.0727975086 3001 13282623653 4426065.8623792070 | |
| 4300003 135863732 7671346282 56.4635327550 3118 13828594983 4435084.9849262350 | |
| 4403218 141049038 7904952879 56.0440042065 3237 14418581671 4454303.8835341360 | |
| 4500247 145450012 8125393006 55.8638180518 3338 14977008605 4486821.0320551230 | |
| 4601663 149589542 8345025010 55.7861525507 3433 15578725309 4537933.3845033500 | |
| 4700292 154600552 8711577505 56.3489417877 3548 16165755990 4556301.0118376550 | |
| 4801208 160047302 8987347449 56.1543202334 3673 16756906682 4562185.3204465015 | |
| 4901168 164971164 9224578992 55.9163114834 3786 17346448004 4581734.8135235080 | |
| 5000538 170679358 9541366923 55.9022897368 3917 17917345814 4574252.1863671180 | |
| 5107509 172509466 9886134996 57.3077827277 3959 18597222909 4697454.6372821420 | |
| 5201596 173860260 10228635431 58.8325096891 3990 19172969172 4805255.4315789470 | |
| 5300089 181834302 10534670534 57.9355513131 4173 19732881490 4728703.9276300030 | |
| 5401855 184971630 10755332013 58.1458465441 4245 20362830188 4796897.5707891640 | |
| 7075194 189241882 10909147691 57.6465821186 4343 20800232155 4789369.5959014510 | |
| 7075248 189285456 10909857219 57.6370601817 4344 20800273279 4788276.5375230200 | |
| 7076507 189329030 10911560444 57.6327911467 4345 20806752137 4788665.6241657070 | |
| 7076836 189372604 10912892715 57.6265652185 4346 20808031306 4787858.1007823280 | |
| 7077874 189416178 10914443999 57.6214984076 4347 20813221269 4787950.6024844720 | |
| 7077982 189459752 10914928198 57.6108016757 4348 20813606786 4786938.0832566690 | |
| 7078167 189503326 10916670696 57.6067498467 4349 20814188502 4785971.1432513220 | |
| 7078300 189546900 10917338528 57.5970302231 4350 20814690441 4784986.3082758620 | |
| 7078477 189590474 10918057859 57.5875867002 4351 20815476923 4784067.3231441050 | |
| 7078553 189634048 10918581033 57.5771131195 4352 20815770879 4783035.5880055150 | |
| 7079004 189677622 10919530589 57.5688922808 4353 20818174462 4782488.9643923730 | |
| 7079616 189721196 10920710299 57.5618883353 4354 20821723363 4782205.6414791000 | |
| 7079804 189764770 10921319715 57.5518823383 4355 20822703655 4781332.6417910450 | |
| 7080708 189808344 10923310757 57.5491599937 4356 20827611822 4781361.7589531680 | |
| 7081058 189851918 10924257543 57.5409385277 4357 20829503422 4780698.5131971540 | |
| 7082131 189895492 10925812996 57.5359261082 4358 20835867818 4781061.9132629640 | |
| 7100400 190854120 10966601730 57.4606496836 4380 20939729645 4780760.1929223740 | |
| 7201257 195995852 11200203840 57.1451065199 4498 21536998343 4788127.6885282350 | |
| 7300057 201573324 11452308112 56.8146016781 4626 22127077195 4783198.7019022920 | |
| 7400741 208327294 11752874649 56.4154337309 4781 22703797416 4748754.9500104580 | |
| 7500699 213730470 11990412344 56.1006221715 4905 23299520602 4750157.1054026500 | |
| 7600132 217826426 12176567338 55.9003219288 4999 23871757967 4775306.6547309460 | |
| 7700023 222968158 12472249805 55.9373585757 5117 24443541655 4776928.2108657420 | |
| 8173887 223883212 12534082922 55.9849164662 5138 24602436532 4788329.4145581940 | |
| 8174804 223926786 12535544608 55.9805498570 5139 24607586056 4788399.6995524420 | |
| 8175589 223970360 12537445436 55.9781456618 5140 24611958745 4788318.8219844350 | |
| 8176126 224013934 12539211054 55.9751388233 5141 24614795865 4787939.2851585300 | |
| 8200176 225146858 12598566274 55.9571045580 5167 24753606230 4790711.4824850010 | |
| 8300082 229591406 12877894909 56.0904919455 5269 25296135101 4800936.6295312205 | |
| 8400421 233164474 13096758500 56.1696139867 5351 25859883666 4832719.8030274715 | |
| 8500155 237260430 13294036977 56.0314123050 5445 26425956993 4853251.9730027550 | |
| 8600531 240702776 13482512906 56.0131176302 5524 27018231937 4891062.9864228820 | |
| 8700200 246018804 13718056961 55.7601969360 5646 27586605219 4886044.1408076510 | |
| 8800343 251901294 13918679181 55.2544965529 5781 28152939322 4869908.2030790520 | |
| 8900156 256345842 14134585348 55.1387346006 5883 28721439539 4882107.6897841240 | |
| 9000254 260049632 14417878145 55.4427938779 5968 29325872318 4913852.6002010720 | |
| 9102221 265452808 14600839132 55.0035211230 6092 29913519351 4910295.3629349960 | |
| 9200308 268764432 14812346089 55.1127467975 6168 30486196137 4942638.8030155650 | |
| 9300548 273296128 15060119476 55.1054988822 6272 31061345183 4952382.8416772960 | |
| 9400356 277784250 15333686966 55.1999869179 6375 31622791920 4960437.9482352940 | |
| 9500114 281444466 15539785023 55.2143918261 6459 32192915910 4984195.0627032050 | |
| 9600254 283231000 15842726512 55.9357079981 6500 32805826829 5047050.2813846150 | |
| 9700057 285714718 16027238254 56.0952490169 6557 33368622434 5089007.5391184995 | |
| 9801089 290159266 16204989676 55.8486030772 6659 33932746222 5095772.0711818590 | |
| 9900073 293514464 16406462954 55.8966080595 6736 34537455238 5127294.4236935870 | |
| 10000843 297566846 16671979464 56.0276781103 6829 35133790531 5144792.8731878750 | |
| 10100207 301096340 16876855259 56.0513464196 6910 35711330404 5168065.1814761220 | |
| 10202295 304364390 17057844360 56.0441527342 6985 36312082155 5198580.1224051540 | |
| 10331922 306281646 17363475831 56.6912058158 7029 37198567143 5292156.3725992320 | |
| 10401016 306978830 17584289800 57.2817669544 7045 37603473449 5337611.5612491130 | |
| 19278526 307240274 17642350597 57.4219986440 7051 37711182368 5348345.2514536950 | |
| 19278866 307283848 17646850693 57.4285007424 7052 37711593261 5347645.1022404990 | |
| 19279130 307327422 17650356926 57.4317671073 7053 37712015217 5346946.7201190980 | |
| 19279198 307370996 17651589941 57.4276368646 7054 37712030424 5346190.8738304510 | |
| 19279715 307414570 17654278605 57.4282429262 7055 37714392583 5345767.9068745570 | |
| 19280124 307458144 17657776641 57.4314812783 7056 37715896901 5345223.4837018140 | |
| 19280542 307501718 17660437499 57.4319961978 7057 37717572028 5344703.4190165790 | |
| 19282368 307545292 17667459183 57.4466904309 7058 37727066803 5345291.4144233490 | |
| 19283068 307588866 17670613819 57.4488083681 7059 37730473382 5345016.7703640740 | |
| 19283567 307632440 17677033424 57.4615389196 7060 37731730994 5344437.8178470260 | |
| 19283928 307676014 17681288014 57.4672291939 7061 37732767056 5343827.6527404050 | |
| 19284569 307719588 17684918458 57.4708895620 7062 37735738650 5343491.7374681390 | |
| 19285510 307763162 17690429602 57.4806597614 7063 37739920780 5343327.3085091320 | |
| 19286200 307806736 17693150282 57.4813615580 7064 37743497122 5343077.1690260480 | |
| 19286688 307850310 17697208052 57.4864064681 7065 37745414871 5342592.3384288745 | |
| 19287028 307893884 17699467118 57.4856079895 7066 37746872213 5342042.4869799040 | |
| 19290675 307937458 17714634860 57.5267295348 7067 37769669510 5344512.4536578460 | |
| 19291745 307981032 17717189773 57.5268861785 7068 37776024243 5344655.3824278440 | |
| 19292588 308024606 17721179213 57.5316999610 7069 37780457173 5344526.4072711840 | |
| 19292879 308068180 17724706890 57.5350134831 7070 37781303936 5343890.2314002830 | |
| 19293282 308111754 17728036849 57.5376843592 7071 37782902623 5343360.5746004805 | |
| 19294060 308155328 17730512010 57.5375805607 7072 37787176793 5343209.3881504530 | |
| 19294415 308198902 17733373708 57.5387309719 7073 37788584648 5342652.9970309630 | |
| 19295125 308242476 17734617717 57.5346329524 7074 37792899260 5342507.6703420980 | |
| 19295556 308286050 17737576442 57.5360981854 7075 37794826511 5342024.9485512370 | |
| 19296549 308329624 17741039262 57.5391979267 7076 37800309933 5342044.9311758060 | |
| 19296668 308373198 17741931852 57.5339619885 7077 37800812123 5341361.0460647170 | |
| 19298186 308416772 17744244423 57.5333316276 7078 37810239579 5341938.3411980780 | |
| 19298662 308460346 17745727376 57.5300118998 7079 37812895985 5341558.9751377310 | |
| 19298780 308503920 17746381472 57.5240064113 7080 37813462736 5340884.5672316380 | |
| 19299408 308547494 17747735913 57.5202724317 7081 37817073617 5340640.2509532550 | |
| 19299565 308591068 17748455229 57.5144813621 7082 37817885442 5340000.7684269980 | |
| 19300126 308634642 17751245471 57.5154018874 7083 37820653675 5339637.6782436820 | |
| 19300410 308678216 17753536807 57.5147058871 7084 37821854204 5339053.3884810840 | |
| 19301312 308721790 17755740368 57.5137257658 7085 37827194547 5339053.5705010580 | |
| 19301413 308765364 17757754112 57.5121311599 7086 37827206183 5338301.7475303410 | |
| 19301492 308808938 17759321119 57.5090903586 7087 37827238275 5337553.0231409620 | |
| 19301650 308852512 17761099261 57.5067340265 7088 37827744083 5336871.3435383750 | |
| 19301924 308896086 17764705084 57.5102951742 7089 37828453588 5336218.5904923120 | |
| 19302169 308939660 17767730211 57.5119756751 7090 37829126885 5335560.9146685470 | |
| 19302338 308983234 17769890581 57.5108569839 7091 37829503763 5334861.6221971510 | |
| 19302532 309026808 17772021890 57.5096445678 7092 37829847841 5334157.9020022560 | |
| 19302610 309070382 17773390477 57.5059646997 7093 37829919235 5333415.9361342160 | |
| 19302685 309113956 17774518277 57.5015069103 7094 37830059308 5332683.8607273750 | |
| 19302776 309157530 17775484833 57.4965288182 7095 37830351718 5331973.4627202260 | |
| 19302923 309201104 17776400903 57.4913888503 7096 37831012093 5331315.1202085680 | |
| 19303723 309244678 17777809270 57.4878422645 7097 37835579870 5331207.5341693675 | |
| 19304161 309288252 17780199309 57.4874706492 7098 37837650424 5330748.1577909270 | |
| 19304388 309331826 17781153121 57.4824561408 7099 37838881138 5330170.6068460345 | |
| 19304791 309375400 17782853276 57.4798554636 7100 37840996416 5329717.8050704230 | |
| 19305660 309418974 17784224215 57.4761915376 7101 37846403653 5329728.7217293335 | |
| 19306992 309462548 17787624249 57.4790854789 7102 37854363612 5330099.0723739790 | |
| 19309514 309506122 17791229738 57.4826424209 7103 37869952147 5331543.3122624240 | |
| 19311093 309549696 17793341052 57.4813714306 7104 37880045706 5332213.6410472970 | |
| 19312486 309593270 17796407803 57.4831869020 7105 37888578904 5332664.1666432090 | |
| 19315527 309636844 17801904393 57.4928492457 7106 37907937934 5334638.0430622010 | |
| 19317299 309680418 17804932194 57.4945368163 7107 37919000579 5335444.0099901500 | |
| 19318903 309723992 17807583434 57.4950081168 7108 37929039387 5336105.7100450200 | |
| 19320451 309767566 17810724206 57.4970596050 7109 37938824587 5336731.5497257000 | |
| 19321911 309811140 17814114059 57.4999144931 7110 37947869919 5337253.1531645570 | |
| 19323392 309854714 17816876552 57.5007438873 7111 37957175782 5337811.2476444940 | |
| 19325776 309898288 17820101829 57.5030663900 7112 37972126485 5339162.8915916760 | |
| 19328286 309941862 17824836103 57.5102568849 7113 37987797265 5340615.3894278080 | |
| 19330053 309985436 17827405064 57.5104601495 7114 37998501767 5341369.3796738820 | |
| 19332212 310029010 17830913699 57.5136942798 7115 38011853704 5342495.2500351370 | |
| 19333285 310072584 17832326692 57.5101689481 7116 38018651422 5342699.7501405280 | |
| 19334296 310116158 17834785402 57.5100166242 7117 38025062479 5342849.8635661090 | |
| 19337272 310159732 17840831352 57.5214301256 7118 38043539521 5344695.0717898290 | |
| 19338373 310203306 17842016735 57.5171714482 7119 38050448359 5344914.7856440510 | |
| 19338969 310246880 17845386378 57.5199543602 7120 38053391399 5344577.4436797750 | |
| 19339813 310290454 17847492633 57.5186648604 7121 38058433206 5344534.9257126800 | |
| 19341010 310334028 17851056655 57.5220731353 7122 38065395797 5344762.1169615280 | |
| 19342401 310377602 17853835861 57.5229518688 7123 38073708977 5345178.8539941030 | |
| 19343605 310421176 17856319072 57.5228768285 7124 38080606771 5345396.7954800680 | |
| 19361079 310464750 17858343260 57.5213233064 7125 38089154085 5345846.1873684210 | |
| 19361897 310508324 17860027379 57.5186750195 7126 38093175630 5345660.3466180180 | |
| 19362831 310551898 17862835783 57.5196477563 7127 38097164666 5345469.9966325240 | |
| 19363009 310595472 17863728468 57.5144523292 7128 38097983677 5344834.9715207630 | |
| 19364125 310639046 17865428066 57.5118559500 7129 38102886016 5344772.9016692390 | |
| 19365043 310682620 17866792571 57.5081817290 7130 38107626841 5344688.1964936890 | |
| 19366380 310726194 17868100352 57.5043259855 7131 38114744272 5344936.7931566400 | |
| 19367024 310769768 17869074726 57.4993984807 7132 38118050224 5344650.9007291090 | |
| 19367815 310813342 17870543795 57.4960639721 7133 38122008681 5344456.5654002520 | |
| 19369461 310856916 17874345824 57.5002353301 7134 38131330474 5345014.0838239420 | |
| 19374965 310900490 17885541814 57.5281879228 7135 38163093510 5348716.6797477220 | |
| 19375825 310944064 17888314395 57.5290428924 7136 38167908555 5348641.8939181610 | |
| 19379231 310987638 17893475527 57.5375781561 7137 38182533459 5349941.6364018500 | |
| 19379842 311031212 17894956303 57.5342782737 7138 38183906645 5349384.5117680020 | |
| 19380456 311074786 17896903900 57.5324799870 7139 38187205471 5349097.2784703740 | |
| 19401339 311815544 17942134321 57.5408592235 7156 38282104563 5349651.2804639460 | |
| 19501377 315650056 18152041628 57.5068538179 7244 38870128450 5365837.7208724460 | |
| 19601352 319615290 18330317810 57.3511918344 7335 39473635035 5381545.3353783230 | |
| 19702287 322796192 18546377849 57.4553799228 7408 40073128375 5409439.5754589630 | |
| 19801165 326151390 18755345347 57.5050296336 7485 40649232175 5430759.1416165660 | |
| 19900398 328722256 18899192503 57.4928899946 7544 41219505740 5463879.3398727470 | |
| 20002307 332600342 19079871685 57.3657608716 7633 41808644858 5477354.2326739160 | |
| 20101368 335345504 19234692848 57.3578372710 7696 42382125071 5507032.8834459460 | |
| 20145783 336391280 19292783334 57.3522100038 7720 42649962512 5524606.5430051815 | |
| depths 13,17 (56031760 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 10877101 3556420 331712515 93.2714682180 490 404370061 825245.0224489796 | |
| 10877546 3563678 332377891 93.2682164326 491 405408256 825678.7291242363 | |
| 10878111 3570936 333145440 93.2935902520 492 406779838 826788.2886178861 | |
| 10878287 3578194 333496655 93.2025080250 493 407196916 825957.2332657201 | |
| 10878406 3585452 334001825 93.1547333502 494 407402042 824700.4898785425 | |
| 10878840 3592710 334525316 93.1122511976 495 408462857 825177.4888888889 | |
| 10878869 3599968 334753706 92.9879671153 496 408484001 823556.4536290322 | |
| 10879254 3607226 335331340 92.9610010573 497 409420423 823783.5472837022 | |
| 10879425 3614484 336139676 92.9979703880 498 409684549 822659.7369477912 | |
| 10879489 3621742 336402183 92.8840825768 499 409787841 821218.1182364730 | |
| 10879629 3629000 336889107 92.8324902177 500 410046273 820092.5460000000 | |
| 10879706 3636258 337265469 92.7506983828 501 410154937 818672.5289421157 | |
| 10880095 3643516 337681843 92.6802141119 502 411152883 819029.6474103585 | |
| 10880326 3650774 337951867 92.5699227068 503 411748237 818584.9642147117 | |
| 10880452 3658032 338174951 92.4472369296 504 412038201 817536.1130952381 | |
| 14640972 3665290 346522358 94.5415937075 505 429569876 850633.4178217822 | |
| 14642871 3672548 349934661 95.2838903671 506 430402270 850597.3715415020 | |
| 14643166 3679806 350599835 95.2767170335 507 431073713 850244.0098619330 | |
| 14644984 3687064 355534204 96.4274566430 508 435488098 857260.0354330709 | |
| 14645310 3694322 357495328 96.7688598882 509 435860914 856308.2789783890 | |
| 14645351 3701580 357745053 96.6465814598 510 435881135 854668.8921568628 | |
| 14645443 3708838 358390278 96.6314187894 511 435932975 853097.7984344423 | |
| 14646049 3716096 359452987 96.7286601315 512 437836789 855149.9785156250 | |
| 14646206 3723354 359684140 96.6021871678 513 438173970 854140.2923976608 | |
| 14646461 3730612 360592659 96.6577759896 514 438483628 853080.9883268483 | |
| 14647681 3737870 363062573 97.1308721277 515 441467433 857218.3165048544 | |
| 14648765 3745128 364782748 97.4019440724 516 444114426 860686.8720930233 | |
| 14649686 3752386 365843629 97.4962674416 517 446380219 863404.6789168279 | |
| 14650596 3759644 366699399 97.5356706646 518 448538222 865903.9034749034 | |
| 14651913 3766902 367706710 97.6151516551 519 451608559 870151.3660886320 | |
| 14652120 3774160 368044186 97.5168477224 520 451927141 869090.6557692308 | |
| 14652238 3781418 368364249 97.4143162697 521 452062506 867682.3531669866 | |
| 14652489 3788676 368750176 97.3295620950 522 452578338 867008.3103448276 | |
| 14652578 3795934 369058827 97.2247744560 523 452748109 865675.1606118546 | |
| 14652659 3803192 369391564 97.1267198711 524 452906185 864324.7805343511 | |
| 14653510 3810450 370675899 97.2787725859 525 454590341 865886.3638095238 | |
| 14653894 3817708 371418262 97.2882844890 526 455342602 865670.3460076046 | |
| 14654224 3824966 372256091 97.3227189470 527 456066812 865401.9203036053 | |
| 14655341 3832224 373103863 97.3596175485 528 458665321 868684.3200757576 | |
| 14655399 3839482 373424493 97.2590815636 529 458744363 867191.6124763705 | |
| 14657924 3846740 375774853 97.6865743461 530 463017955 873618.7830188680 | |
| 14658149 3853998 376393137 97.6630338158 531 463471455 872827.5988700564 | |
| 14658550 3861256 377363797 97.7308412081 532 464411009 872953.0244360903 | |
| 14659045 3868514 377871379 97.6786898018 533 465715744 873763.1219512195 | |
| 14659307 3875772 378358129 97.6213587899 534 466288806 873200.0112359550 | |
| 14659415 3883030 378691248 97.5246773782 535 466463371 871894.1514018691 | |
| 14659693 3890288 378979517 97.4168280086 536 467162294 871571.4440298508 | |
| 14659801 3897546 379258033 97.3068779689 537 467387331 870367.4692737430 | |
| 14660065 3904804 379671894 97.2319978160 538 468010812 869908.5724907063 | |
| 14660120 3912062 380120333 97.1662343286 539 468038964 868346.8719851577 | |
| 14660528 3919320 380575316 97.1023840870 540 469034414 868582.2481481482 | |
| 14660792 3926578 381307207 97.1092913473 541 469543325 867917.4214417745 | |
| 14661012 3933836 382262507 97.1729647601 542 470034758 867222.8007380074 | |
| 14661696 3941094 383300282 97.2573305788 543 471722858 868734.5451197054 | |
| 14662127 3948352 384169190 97.2986172459 544 472744864 869016.2941176471 | |
| 14662553 3955610 386584930 97.7308000536 545 473343765 868520.6697247706 | |
| 14662938 3962868 388723166 98.0913737223 546 473828279 867817.3608058608 | |
| 14663263 3970126 390128390 98.2659970993 547 474349036 867182.8811700182 | |
| 14663719 3977384 391082074 98.3264562838 548 475453543 867615.9543795620 | |
| 14664067 3984642 391720397 98.3075510924 549 476324610 867622.2404371585 | |
| 14664113 3991900 392002913 98.1995824044 550 476372142 866131.1672727272 | |
| 14664792 3999158 393133253 98.3040062433 551 478013223 867537.6098003630 | |
| 14665058 4006416 393702243 98.2679389759 552 478597387 867024.2518115942 | |
| 14665298 4013674 394449733 98.2764751198 553 479103839 866372.2224231465 | |
| 14665446 4020932 394829309 98.1934807652 554 479410496 865361.9061371841 | |
| 14665651 4028190 395251035 98.1212492459 555 479894898 864675.4918918919 | |
| 14665844 4035448 395631250 98.0389909621 556 480359198 863955.3920863309 | |
| 14666331 4042706 396278617 98.0231105106 557 481593111 864619.5888689407 | |
| 14667114 4049964 397180875 98.0702235872 558 483651233 866758.4820788531 | |
| 14667360 4057222 398350095 98.1829673111 559 484031441 865888.0876565295 | |
| 14667916 4064480 399072754 98.1854392198 560 485444434 866865.0607142857 | |
| 14668449 4071738 399588266 98.1370279718 561 486819105 867770.2406417113 | |
| 14668715 4078996 399890465 98.0364935391 562 487545281 867518.2935943061 | |
| 14668859 4086254 400244987 97.9491208819 563 487851419 866521.1705150977 | |
| 14669072 4093512 400883154 97.9313494134 564 488280962 865746.3865248227 | |
| 14669244 4100770 401421699 97.8893473665 565 488627718 864827.8194690265 | |
| 14669295 4108028 401659385 97.7742568941 566 488702214 863431.4734982332 | |
| 14669470 4115286 402153375 97.7218533536 567 489184842 862759.8624338624 | |
| 14669640 4122544 402626093 97.6644744119 568 489530995 861850.3433098592 | |
| 14669921 4129802 404265924 97.8899046492 569 489886092 860959.7398945518 | |
| 14670082 4137060 405371974 97.9855196686 570 490027096 859696.6596491229 | |
| 14670361 4144318 407234252 98.2632732334 571 490285854 858644.2276707530 | |
| 14670393 4151576 407423542 98.1370790273 572 490321308 857205.0839160839 | |
| 14670498 4158834 407670993 98.0253102192 573 490575091 856151.9912739965 | |
| 14670691 4166092 408674063 98.0953044244 574 490844514 855129.8153310105 | |
| 14670859 4173350 409014351 98.0062422275 575 491225166 854304.6365217392 | |
| 14671027 4180608 409675739 97.9942962842 576 491499375 853297.5260416666 | |
| 14671744 4187866 411116573 98.1685118387 577 493245533 854844.9445407279 | |
| 14672091 4195124 411494898 98.0888522008 578 494129723 854895.7145328720 | |
| 14672647 4202382 412180459 98.0825776905 579 495712715 856153.2210708117 | |
| 14673644 4209640 413093887 98.1304546232 580 498317635 859168.3362068966 | |
| 14674186 4216898 414424022 98.2769851203 581 499614525 859921.7297762479 | |
| 14674882 4224156 415413348 98.3423311071 582 501435966 861573.8247422681 | |
| 14675006 4231414 415862977 98.2799076148 583 501698032 860545.5094339623 | |
| 14675147 4238672 416461508 98.2528273006 584 501928574 859466.7363013698 | |
| 14675299 4245930 417328731 98.2891218178 585 502163772 858399.6102564102 | |
| 14675476 4253188 417805619 98.2335177754 586 502520952 857544.2866894198 | |
| 14675617 4260446 418380146 98.2010207382 587 502770715 856508.8841567291 | |
| 14676754 4267704 419280875 98.2450692457 588 505770152 860153.3197278911 | |
| 14677677 4274962 420087785 98.2670220227 589 508167544 862763.2325976231 | |
| 14678271 4282220 420675904 98.2378074924 590 509712269 863919.1000000000 | |
| 14678803 4289478 421394201 98.2390400417 591 511302679 865148.3570219966 | |
| 14679111 4296736 421939830 98.2000825743 592 512017874 864895.0574324324 | |
| 14679452 4303994 422437736 98.1501684250 593 512877954 864886.9376053963 | |
| 14679981 4311252 422853854 98.0814515134 594 514248093 865737.5303030303 | |
| 14680462 4318510 423754206 98.1250954612 595 515920868 867093.8957983194 | |
| 14680764 4325768 424275480 98.0809604214 596 516628533 866826.3976510067 | |
| 14680924 4333026 424868004 98.0534167116 597 517024702 866038.0268006700 | |
| 14681752 4340284 425548924 98.0463315304 598 519249177 868309.6605351170 | |
| 14682168 4347542 426029237 97.9931273809 599 520328287 868661.5809682804 | |
| 14682358 4354800 426311310 97.8945783963 600 520792716 867987.8600000000 | |
| 14682457 4362058 426537202 97.7834778905 601 520999068 866886.9683860233 | |
| 14682918 4369316 426924746 97.7097435846 602 522209909 867458.3205980066 | |
| 14683193 4376574 427424620 97.6619200315 603 522829624 867047.4693200664 | |
| 14683617 4383832 427812355 97.5886747029 604 523932674 867438.2019867550 | |
| 14683790 4391090 428357917 97.5516140639 605 524321790 866647.5867768595 | |
| 14684352 4398348 428921424 97.5187556783 606 525795369 867649.1237623763 | |
| 14684725 4405606 429412158 97.4694872851 607 526726359 867753.4744645800 | |
| 14685460 4412864 429954701 97.4321214069 608 528695634 869565.1875000000 | |
| 14685779 4420122 430339727 97.3592418942 609 529515670 869483.8587848933 | |
| 14686278 4427380 430712773 97.2838954415 610 530830650 870214.1803278689 | |
| 14687420 4434638 432269855 97.4757928381 611 535355568 876195.6923076923 | |
| 14687475 4441896 432537119 97.3766875677 612 535437343 874897.6192810457 | |
| 14687567 4449154 432708106 97.2562662475 613 535626321 873778.6639477977 | |
| 14687893 4456412 432978611 97.1585685973 614 536494155 873768.9820846906 | |
| 14688039 4463670 433257015 97.0629582832 615 536823852 872884.3121951220 | |
| 14688212 4470928 433472263 96.9535324657 616 537272825 872196.1444805195 | |
| 14688327 4478186 433754042 96.8593180364 617 537521622 871185.7730956239 | |
| 14688575 4485444 434075058 96.7741561371 618 538127350 870756.2297734628 | |
| 14688725 4492702 434292456 96.6662057710 619 538562211 870052.0371567043 | |
| 14689269 4499960 435141009 96.6988615454 620 539943055 870875.8951612903 | |
| 14689600 4507218 435640193 96.6538989239 621 540743995 870763.2769726248 | |
| 14690026 4514476 436014244 96.5813627096 622 541836788 871120.2379421222 | |
| 14690061 4521734 436124154 96.4506434921 623 541902298 869827.1235955056 | |
| 14690311 4528992 436862950 96.4592010761 624 542456667 869321.5817307692 | |
| 14690803 4536250 437845869 96.5215473133 625 543631098 869809.7568000000 | |
| 14690907 4543508 438581573 96.5292837605 626 543720572 868563.2140575080 | |
| 14691210 4550766 438951092 96.4565288569 627 544471377 868375.4019138756 | |
| 14691342 4558024 439271683 96.3732711807 628 544792675 867504.2595541402 | |
| 14691617 4565282 440282000 96.4413589347 629 545307840 866944.1017488076 | |
| 14691751 4572540 440553126 96.3475718091 630 545608534 866045.2920634921 | |
| 14692011 4579798 441088848 96.3118565491 631 546285228 865745.2107765452 | |
| 14692125 4587056 441515133 96.2523965262 632 546498343 864712.5680379746 | |
| 14692283 4594314 442139651 96.2362718351 633 546772602 863779.7819905214 | |
| 14693363 4601572 443444772 96.3681046390 634 549816227 867218.0236593060 | |
| 14693549 4608830 443837584 96.3015741522 635 550237857 866516.3102362205 | |
| 14700310 4739474 455613239 96.1316042666 653 567191860 868593.9663093415 | |
| 17071456 4891892 470408855 96.1609240351 674 590225246 875705.1127596439 | |
| 17074022 4899150 471252992 96.1907661533 675 591866649 876839.4800000000 | |
| 17075104 4906408 472713143 96.3460729316 676 594645129 879652.5576923077 | |
| 17075386 4913666 473321660 96.3276014283 677 595340696 879380.6440177253 | |
| 17075755 4920924 474063310 96.3362388852 678 596137492 879258.8377581121 | |
| 17076108 4928182 474498918 96.2827505153 679 597028761 879276.5257731959 | |
| 17076143 4935440 474748918 96.1918122802 680 597058959 878027.8808823529 | |
| 17076191 4942698 475135788 96.1288324717 681 597085826 876778.0117474302 | |
| 17077338 4949956 476279883 96.2190134619 682 600007024 879775.6950146628 | |
| 17077991 4957214 476972822 96.2179203883 683 601699312 880965.3177159590 | |
| 17078798 4964472 478572065 96.3993884949 684 603894563 882886.7880116960 | |
| 17078866 4971730 478909555 96.3265412643 685 603966979 881703.6189781022 | |
| 17078940 4978988 479267461 96.2580068480 686 604063373 880558.8527696793 | |
| 17078962 4986246 479419210 96.1483268174 687 604076059 879295.5735080058 | |
| 17079007 4993504 479733232 96.0714624440 688 604107068 878062.5988372093 | |
| 17079440 5000762 480196143 96.0245944518 689 604505694 877366.7547169811 | |
| 17079677 5008020 480955049 96.0369665057 690 605871643 878074.8449275362 | |
| 17079847 5015278 481406272 95.9879536090 691 606223247 877312.9479015919 | |
| 17080464 5022536 482433388 96.0537441643 692 607750991 878252.8771676300 | |
| 17080688 5029794 482922405 96.0123625341 693 608264259 877726.2034632035 | |
| 17080732 5037052 483204225 95.9299655830 694 608298650 876511.0230547551 | |
| 17081122 5044310 483946169 95.9390221854 695 609266145 876641.9352517986 | |
| 17081945 5051568 484511086 95.9130087925 696 611448250 878517.6005747126 | |
| 17100039 5269308 511471419 97.0661458772 726 653738604 900466.3966942149 | |
| 17200021 7308806 661339608 90.4853142907 1007 911302630 904967.8550148958 | |
| 17312924 10516842 870613667 82.7828037162 1449 1183355282 816670.3119392685 | |
| 17400622 11315222 1004027982 88.7325040552 1559 1429067987 916656.8229634381 | |
| 17500042 14022456 1165540804 83.1195907479 1932 1771737353 917048.3193581781 | |
| 17600035 18442578 1428332379 77.4475444268 2541 2376176494 935134.3935458481 | |
| 17700052 23160278 1685033310 72.7553145087 3191 2968017134 930121.3205891570 | |
| 17800088 27007018 1953700420 72.3404716507 3721 3541692773 951812.0862671325 | |
| 17900037 30178764 2246851453 74.4514073870 4158 4116108253 989925.0247715248 | |
| 18000049 34700498 2484939171 71.6110521238 4781 4687990550 980546.0259359967 | |
| 18100124 38590786 2743825029 71.1005220003 5317 5287816572 994511.2981004326 | |
| 18200184 42045594 2931393917 69.7194078647 5793 5803312188 1001780.1118591403 | |
| 18300066 45725400 3164863468 69.2145605725 6300 6368612031 1010890.7985714285 | |
| 18400895 48425376 3355848266 69.2993744850 6672 6906361944 1035126.1906474820 | |
| 18502193 51023740 3564462674 69.8589063444 7030 7459183015 1061050.2155049786 | |
| 18600015 53571298 3790867900 70.7630399398 7381 8001515373 1084069.2823465655 | |
| 18700222 55915632 3946370046 70.5772233067 7704 8497582862 1103009.1980789201 | |
| 18706401 56031760 3952974170 70.5488132088 7720 8528616620 1104743.0854922280 | |
| depths 13,18 (1976320 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 69012 1976320 137970248 69.8116944624 7720 336888315 43638.3827720207 | |
| depths 13,19 (15440 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 936 15440 941231 60.9605569948 7720 5763717 746.5954663212 | |
| depths 14,12 (63123112 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 100287 7537088 382646230 50.7684439932 104 429133276 4126281.5000000000 | |
| 201957 15219120 769148400 50.5382965638 210 869417659 4140084.0904761907 | |
| 300139 21306768 1058485784 49.6783831316 294 1388473203 4722697.9693877550 | |
| 400045 25800032 1320277426 51.1734801724 356 1959713350 5504812.7808988765 | |
| 502165 29496104 1558161721 52.8260180056 407 2540170124 6241204.2358722360 | |
| 600812 36525888 1884932750 51.6053914966 504 3007808560 5967874.1269841270 | |
| 706158 41961288 2127163758 50.6934810485 579 3528421087 6093991.5146804830 | |
| 800875 46961856 2391141184 50.9166670074 648 3988530796 6155140.1172839510 | |
| 900089 50223096 2600801481 51.7849692301 693 4509952199 6507867.5310245310 | |
| 1001520 54716360 2836941753 51.8481447414 755 4992273953 6612283.3814569535 | |
| 1102156 58557376 3049592288 52.0787046196 808 5513050378 6823082.1509900990 | |
| 1201528 61601200 3255366920 52.8458361201 850 6044918718 7111669.0800000000 | |
| 1260382 63123112 3355367707 53.1559297488 871 6393573218 7340497.3800229630 | |
| depths 14,13 (94586245 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 110800 5212560 481084447 92.2933159522 48 571196627 11899929.7291666660 | |
| 201797 9664955 793819581 82.1338103488 89 1024531863 11511593.9662921350 | |
| 310334 17375200 1303242575 75.0059035292 160 1496606458 9353790.3625000000 | |
| 407393 20415860 1534872523 75.1804000909 188 1997637618 10625732.0106382980 | |
| 505153 23456520 1807245683 77.0466242648 216 2522266653 11677160.4305555560 | |
| 600031 26388585 2018493927 76.4911770373 243 3070941064 12637617.5473251030 | |
| 700365 31166765 2309495134 74.1012143545 287 3574356560 12454204.0418118460 | |
| 803856 34533210 2566381075 74.3163197108 318 4113719390 12936224.4968553460 | |
| 906325 37791060 2802215886 74.1502325153 348 4644205133 13345417.0488505750 | |
| 1004769 40397340 3025309365 74.8888259722 372 5157353858 13863854.4569892470 | |
| 1108592 42243455 3202480411 75.8100967594 389 5710685156 14680424.5655526980 | |
| 1202425 44198165 3392145791 76.7485661678 407 6206021740 15248210.6633906630 | |
| 1300611 48759155 3719957005 76.2924830219 449 6700101957 14922276.0734966580 | |
| 1403182 53863120 4023992519 74.7077502937 496 7198828673 14513767.4858870970 | |
| 1506247 56577995 4208716010 74.3878606868 521 7753968308 14882856.6372360850 | |
| 1605793 61356175 4468776386 72.8333600652 565 8264155744 14626824.3256637170 | |
| 1708711 65808570 4770209282 72.4861409692 606 8777642756 14484559.0033003300 | |
| 1803401 69609395 5015634683 72.0539904563 641 9265147266 14454207.9032761300 | |
| 1900569 71564105 5202271659 72.6938687908 659 9789313331 14854800.1987860390 | |
| 2001656 73518815 5392182473 73.3442517130 677 10303568548 15219451.3264401780 | |
| 2103832 76016500 5594768607 73.5993975913 700 10866569441 15523670.6300000000 | |
| 2213293 80577490 5897795080 73.1940778994 742 11480817102 15472799.3288409710 | |
| 2300876 83618150 6143293617 73.4684230278 770 11974672705 15551522.9935064930 | |
| 2400705 86007240 6341567592 73.7329507609 792 12564364753 15864096.9103535360 | |
| 2507370 88287735 6544625973 74.1283709793 813 13164228077 16192162.4563345630 | |
| 2603871 90676825 6755305194 74.4986957141 835 13732449931 16446047.8215568870 | |
| 2706665 93065915 6969721375 74.8901611831 857 14289345501 16673682.0315052510 | |
| 2796476 94586245 7103530377 75.1010929443 871 14774812111 16963044.9035591260 | |
| depths 14,14 (107587662 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 100763 1605786 246632335 153.5897902958 13 483224381 37171106.2307692300 | |
| 220326 5929056 774979386 130.7087310358 48 1010592329 21054006.8541666680 | |
| 300529 8399496 1073085050 127.7558855912 68 1357369292 19961313.1176470600 | |
| 402209 10499370 1288179849 122.6911566123 85 1871515662 22017831.3176470600 | |
| 500887 13834464 1560750918 112.8161465453 112 2348122056 20965375.5000000000 | |
| 620302 19763520 2137632951 108.1605377483 160 2819608259 17622551.6187500000 | |
| 701209 21122262 2323995832 110.0258974157 171 3262226045 19077345.2923976600 | |
| 804680 23222136 2552226092 109.9048809291 188 3778020274 20095852.5212765970 | |
| 902577 24457356 2792028914 114.1590658451 198 4262156155 21526041.1868686860 | |
| 1000403 26927796 3029065908 112.4884453224 218 4754893522 21811438.1743119300 | |
| 1102532 28780626 3218280869 111.8210864837 233 5252547852 22543123.8283261800 | |
| 1202435 30880500 3428247733 111.0165875876 250 5809041802 23236167.2080000000 | |
| 1304423 34462638 3709824660 107.6477273736 279 6289078755 22541500.9139784950 | |
| 1402254 36933078 3936979998 106.5976683016 299 6728551299 22503516.0501672250 | |
| 1502663 38538864 4119194964 106.8841822634 312 7179576255 23011462.3557692320 | |
| 1611671 40885782 4307420916 105.3525383469 331 7674572098 23186018.4229607250 | |
| 1701140 42862134 4500151037 104.9912969102 347 8078353418 23280557.4005763680 | |
| 1803145 44097354 4651877112 105.4910712330 357 8572645277 24013011.9803921580 | |
| 1917112 46567794 4911784088 105.4759881475 377 9091572435 24115576.7506631300 | |
| 2007100 47308926 5038543690 106.5030241862 383 9562849099 24968274.4099216720 | |
| 2127437 48914712 5227468767 106.8690492750 396 10148803756 25628292.3131313140 | |
| 2204663 50273454 5394462081 107.3023962308 407 10512321978 25828800.9287469280 | |
| 2301221 52496850 5613860649 106.9370952543 425 10951743416 25768808.0376470570 | |
| 2410918 55708422 5962354786 107.0278886377 451 11434549894 25353769.1662971200 | |
| 2500579 57931818 6165660693 106.4296082163 469 11874483121 25318727.3368869950 | |
| 2603181 61761000 6435899017 104.2065221904 500 12344447194 24688894.3880000000 | |
| 2708515 63366786 6599300574 104.1444736364 513 12902612938 25151292.2768031170 | |
| 2804748 66207792 6797120718 102.6634556549 536 13364245958 24933294.6977611930 | |
| 2905875 69666408 7026773766 100.8631558268 564 13812644314 24490504.1028368800 | |
| 3002176 72136848 7221818756 100.1127572971 584 14261920992 24421097.5890410950 | |
| 3109055 75595464 7547763664 99.8441343518 612 14815579821 24208463.7598039200 | |
| 3205100 78683514 7808289577 99.2366657264 637 15372834704 24133178.4992150700 | |
| 3300674 80783388 8011128933 99.1680236660 654 15944180829 24379481.3899082580 | |
| 3411025 82142130 8240735695 100.3228878409 665 16608178436 24974704.4150375950 | |
| 3500894 84612570 8488082258 100.3170363221 685 17123650426 24998029.8189781000 | |
| 3622021 86218356 8739484449 101.3645452599 698 17872287214 25604996.0085959900 | |
| 3701599 87700620 8914561468 101.6476447715 710 18346173922 25839681.5802816900 | |
| 3804963 91653324 9212244588 100.5118438258 742 18936247599 25520549.3247978430 | |
| 3910853 94000242 9503021428 101.0957123706 761 19546478921 25685254.8239159000 | |
| 4001100 96347160 9711865953 100.8007496329 780 20076367837 25738933.1243589740 | |
| 4109364 97952946 9928240526 101.3572427520 793 20727862368 26138540.1866330400 | |
| 4200331 100052820 10129172163 101.2382475876 810 21267675387 26256389.3666666670 | |
| 4311911 101782128 10344589974 101.6346403565 824 21949081884 26637235.2961165050 | |
| 4405636 103387914 10560594896 102.1453522701 837 22504506922 26887105.0442054940 | |
| 4507134 105240744 10795502928 102.5791201932 852 23103246265 27116486.2265258200 | |
| 4602462 106846530 10960813205 102.5846436473 865 23680010671 27375734.8797687850 | |
| 4667889 107587662 11065587887 102.8518296736 871 24079979385 27646359.7990815160 | |
| depths 14,15 (86769020 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 104427 1693540 328295045 193.8513675496 17 610980791 35940046.5294117600 | |
| 208418 4781760 820031590 171.4915825972 48 1153213817 24025287.8541666680 | |
| 305451 6873780 1191793999 173.3826219344 69 1698253658 24612371.8550724650 | |
| 400260 7571120 1385403414 182.9852669090 76 2287299629 30096047.7500000000 | |
| 500736 10659340 1696446729 159.1511978228 107 2854963563 26681902.4579439240 | |
| 611225 15939200 2332866288 146.3603121863 160 3393718397 21210739.9812500000 | |
| 700083 17333880 2555303015 147.4166784932 174 3926396513 22565497.2011494260 | |
| 806908 19425900 2869400729 147.7100535368 195 4562716536 23398546.3384615370 | |
| 907263 21318680 3161631175 148.3033271760 214 5150419916 24067382.7850467300 | |
| 1003065 22314880 3322194848 148.8780064244 224 5676011891 25339338.7991071400 | |
| 1102068 24008420 3539696840 147.4356429952 241 6265382680 25997438.5062240660 | |
| 1204981 26698160 3832893592 143.5639606625 268 6856780760 25585002.8358208950 | |
| 1304677 29686760 4127791413 139.0448608403 298 7425625413 24918206.0838926170 | |
| 1403482 31181060 4335306029 139.0365186110 313 7958880992 25427734.7987220440 | |
| 1501193 33372700 4534917078 135.8870297579 335 8479303067 25311352.4388059700 | |
| 1603597 35165860 4754574074 135.2042598702 353 9008238644 25519089.6430594900 | |
| 1703834 37058640 4994604037 134.7756970304 372 9521775978 25596171.9838709700 | |
| 1813254 38154460 5188266546 135.9806047838 383 10189256649 26603803.2610966040 | |
| 1905418 39449520 5368191628 136.0774891051 396 10746325100 27137184.5959595960 | |
| 2010903 40644960 5636758954 138.6828515516 408 11399270847 27939389.3308823500 | |
| 2105046 43733180 6000679647 137.2111437357 439 11910507889 27130997.4692482900 | |
| 2200238 45426720 6295874660 138.5940842746 456 12458113795 27320424.9890350900 | |
| 2301475 48913420 6597636401 134.8839725580 491 13032583821 26542940.5723014250 | |
| 2400006 50905820 6794203647 133.4661468374 511 13622024221 26657581.6457925630 | |
| 2501211 53695180 7027852892 130.8842412298 539 14217871782 26378240.7829313540 | |
| 2600564 56982640 7301525511 128.1359640585 572 14791528743 25859315.9842657340 | |
| 2708640 60170480 7636002523 126.9061261103 604 15401610170 25499354.5860927140 | |
| 2801819 62660980 7885281368 125.8403773449 629 15942611646 25345964.4610492850 | |
| 2902199 64454140 8094106932 125.5793178219 647 16543239165 25569148.6321483780 | |
| 3010202 65948440 8327737558 126.2764905129 662 17188193720 25964038.8519637470 | |
| 3105678 67741600 8563088404 126.4081215088 680 17746595875 26097935.1102941200 | |
| 3236174 69534760 8850939369 127.2879832907 698 18535450332 26555086.4355300850 | |
| 3315031 70530960 9031222451 128.0462147545 708 19011590948 26852529.5875706230 | |
| 3401648 73718800 9294174454 126.0760410370 740 19503481075 26356055.5067567560 | |
| 3503423 75611580 9579272778 126.6905516060 759 20088671630 26467288.0500658750 | |
| 3606480 77404740 9800291639 126.6110013289 777 20701545570 26642915.7915057900 | |
| 3710439 78998660 10021060830 126.8510229161 793 21322244426 26888076.1992433780 | |
| 3805574 80692200 10228281459 126.7567554113 810 21887109285 27021122.5740740750 | |
| 3905546 82086880 10420794698 126.9483588364 824 22499261003 27304928.4016990300 | |
| 4006777 83581180 10669715484 127.6569137215 839 23096122282 27528155.2824791400 | |
| 4103885 84975860 10872020973 127.9424647541 853 23676643174 27756908.7620164120 | |
| 4200551 86370540 11037866947 127.7966647771 867 24262104625 27983973.0392156880 | |
| 4248362 86769020 11113714214 128.0838969254 871 24554770746 28191470.4316877160 | |
| depths 14,16 (37952954 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 102373 2047978 416733728 203.4854515039 47 561743306 11951985.2340425530 | |
| 248270 3137328 842902424 268.6688876649 72 1463798712 20330537.6666666680 | |
| 301177 4313826 999215939 231.6310252198 99 1765884680 17837218.9898989900 | |
| 401536 7276858 1434796973 197.1725946830 167 2301585303 13781947.9221556900 | |
| 500482 8627652 1685792739 195.3941511549 198 2889308520 14592467.2727272730 | |
| 600337 10327038 1923558010 186.2642521505 237 3486321901 14710218.9915611820 | |
| 704060 12636460 2194306263 173.6488116925 290 4099196114 14135159.0137931030 | |
| 804007 14597290 2447386390 167.6603253070 335 4691383895 14004131.0298507460 | |
| 900794 16383824 2696991359 164.6130573058 376 5260828428 13991564.9680851060 | |
| 1031535 17429600 2983736451 171.1878901983 400 6064998251 15162495.6275000000 | |
| 1100140 19085412 3222416659 168.8418703772 438 6453958738 14735065.6118721460 | |
| 1200544 21176964 3527077737 166.5525680168 486 7043679155 14493166.9855967070 | |
| 1301027 23312090 3745824036 160.6816049526 535 7644780229 14289308.8392523360 | |
| 1400829 26187974 4043748462 154.4124208310 601 8215899089 13670381.1797005000 | |
| 1501376 28148804 4278106839 151.9818333667 646 8815512815 13646304.6671826630 | |
| 1600570 29456024 4506937573 153.0056321586 676 9412106057 13923233.8121301770 | |
| 1708641 30850392 4749610113 153.9562321607 708 10069694140 14222731.8361581920 | |
| 1800903 33072666 5017472594 151.7105574132 759 10600547492 13966465.7338603420 | |
| 1900902 34597756 5230079193 151.1681622646 794 11202034306 14108355.5491183880 | |
| 2006680 36209994 5461703492 150.8341451810 831 11839319876 14247075.6630565580 | |
| 2101200 37342918 5669214451 151.8149827231 857 12409255865 14479878.4889148200 | |
| 2159686 37952954 5765341939 151.9075943074 871 12768024224 14659040.4408725610 | |
| depths 14,17 (6321718 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 100255 1357246 330230579 243.3093035456 187 599569889 3206256.0909090910 | |
| 203724 2903200 588111690 202.5736049876 400 1220551866 3051379.6650000000 | |
| 300439 4775764 845397181 177.0182071392 658 1796487985 2730224.9012158057 | |
| 400540 6140268 1091483598 177.7582994749 846 2417212028 2857224.6193853426 | |
| 418904 6321718 1122952202 177.6340232196 871 2529997860 2904704.7761194030 | |
| depths 14,18 (222976 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 14164 222976 38162067 171.1487648895 871 88860944 102021.7497129736 | |
| depths 14,19 (1742 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 158 1742 259333 148.8708381171 871 1549694 1779.2123995408 | |
| depths 15,11 (579465 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 15439 579465 67093531 115.7853036853 15 82548080 5503205.3333333330 | |
| depths 15,12 (1087080 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 44834 1087080 169455956 155.8817713508 15 248967523 16597834.8666666670 | |
| depths 15,13 (1628925 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 101134 1628925 345287327 211.9725137744 15 575412348 38360823.2000000000 | |
| 101134 1628925 345287327 211.9725137744 15 575412348 38360823.2000000000 | |
| depths 15,14 (1852830 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 126806 1358742 391771109 288.3337005848 11 735079428 66825402.5454545500 | |
| 157428 1852830 504453586 272.2611281121 15 906599743 60439982.8666666700 | |
| depths 15,15 (1494300 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 126598 1095820 380974010 347.6611213520 11 738621153 67147377.5454545500 | |
| 160056 1494300 493397772 330.1865569163 15 930116252 62007750.1333333300 | |
| depths 15,16 (653610 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 79748 653610 240749591 368.3382919478 15 464931829 30995455.2666666660 | |
| depths 15,17 (108870 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 14804 108870 44359613 407.4548819693 15 86422318 5761487.8666666660 | |
| depths 15,18 (3840 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 521 3840 1622073 422.4148437500 15 3065303 204353.5333333333 | |
| depths 15,19 (30 tot scrambles) | |
| time (ms) scrms ^(-1) * attempts = phase 0 scrms ^(-1) * dfs node visits = | |
| 6 30 10446 348.2000000000 15 58408 3893.8666666667 | |
| total program time=129523756 | |
| Process finished with exit code 0 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment