Low/Hi Clue Thresholds

Everything about Sudoku that doesn't fit in one of the other sections

Re: Low/Hi Clue Thresholds

Postby coloin » Tue Jul 23, 2019 4:12 pm

Thankyou !

Well it seems we will know eventually if there are any more 21 but no 20 grids.

And excellent computation with the double bands .....i knew it was big
I remember a contributor computing the 5e9 grids row by row, but i have failed to locate where it was in the forum - so we could confirm your calculation if it could be located

And its such a shame [ for me ] that the MC grid does have double band with 12 clues .....I will have to edit accordingly !

If there are any double bands which need 13 clues to complete they would surely be in the known grids with bands needing 6 clues.... and we know the status of these grids anyway.
coloin
 
Posts: 1790
Joined: 05 May 2005

LCT-20 Progress Report

Postby Mathimagics » Thu Jul 25, 2019 6:35 am

A minor milestone has been passed, the number of grids resolvedis now 3,880,139,870, which is a shade under 71%.

And the Stage 1 workers are still producing net yields that make me reluctant to kill them off and switch to Stage 2 (explicit grid testing with BlueMagic).

Productivity measures are quite rubbery here at the atomic level - the net grid rate can only be estimated, for various reasons. Administration is also complicated, again for various reasons. These vagaries will all go away when we switch to Stage 2 mode. We will have much more straight-forward DB admin and accurate timings available. But the overall progress is absolute, and indisputable ...

Despite dwindling net yields (only 20% of grids produced are new ones), these hard-working souls have delivered 460 million new grid resolutions since July 20, 5 days ago. That's the equivalent of 18 million per day per worker. This looks to have declined to 130 million for the past 2 days, but I can't kill off these guys just yet, not with those figures. And so, the execution is delayed for another 24/48 hours! :shock:

Will they survive long enough to see us safely though to the 4 billion mark? The entire planet holds its collective breath ... 8-)
User avatar
Mathimagics
2017 Supporter
 
Posts: 1274
Joined: 27 May 2015
Location: Canberra

LCT-20 Progress

Postby Mathimagics » Sat Jul 27, 2019 9:28 pm

We now have 4,065,435,695 ( 74.3%) of grids resolved.

blue has kindly provided a library interface to the BlueMagic function which will greatly simplify the system admin side of the crossover to explicit grid testing (LCT-20 Stage 2). The old (Stage 1) worker processes will be replaced by new ones over the next couple of days.

Cheers
MM
User avatar
Mathimagics
2017 Supporter
 
Posts: 1274
Joined: 27 May 2015
Location: Canberra

LCT-20 End stage 1

Postby Mathimagics » Sun Jul 28, 2019 4:26 pm

Ok, it's official! LCT-20 Stage 1 is over, with 75% of grids resolved: 4,107,224,495

The work force have been retired, given 3 weeks leave (unpaid), and will return for the LCT-19 job. They have resolved an impressive total of 800 million grids per week since the commencement (around 22 June).

Stage 2 has now commenced, with 5 workers using BlueMagic to find puzzles for the 1,365,506,043 unresolved grids.

Each should process 14-16 million grids a day, so that's at most 100 x worker-days to complete, with an eta of around 15 August looking very likely.

It is interesting that some of the bigger bands have quite low resolution rates, perhaps 50-55%, while most other bands have 80%+. Not sure if there's anything going on there ...

A full breakdown by band is included below (ng = grids in band, nu = grids unresolved). Note that Band files 250 - 300 are all multiband files (eg Band300 has grids with band index = 300 to 416).

Cheers
MM

Code: Select all
 Totals:
     17C:      46300
     18C:   10221135
     19C:    5626788
     20C: 4091330268
     21c:          4
          ----------
 Puzzles: 4107224495 (  75.05%)
     unk: 1365506043 (  24.95%)
          ----------
   Grids: 5472730538


Band status: Show
Code: Select all
c:\UA9\Find20C\Admin>count20c
Band range selected:   1 to 255
Processing (count mode)
 Band001:  ng =   1007170, nu =         0: 17c =    13, 18c =   3333, 19c =      697, 20c =    1003126, 21c =   1  (100.00%)
 Band002:  ng =  25502082, nu =   5340872: 17c =   408, 18c =  88102, 19c =    29977, 20c =   20042723, 21c =   0  ( 79.06%)
 Band003:  ng =  16538087, nu =   2858975: 17c =   281, 18c =  58532, 19c =    24849, 20c =   13595450, 21c =   0  ( 82.71%)
 Band004:  ng =   8417906, nu =   1804827: 17c =   129, 18c =  28636, 19c =    10510, 20c =    6573803, 21c =   1  ( 78.56%)
 Band005:  ng =  48737791, nu =   7162466: 17c =  1039, 18c = 205539, 19c =    94508, 20c =   41274239, 21c =   0  ( 85.30%)
 Band006:  ng =  96229042, nu =  14393253: 17c =  2146, 18c = 401009, 19c =   186984, 20c =   81245650, 21c =   0  ( 85.04%)
 Band007:  ng =  15765443, nu =   1718979: 17c =   393, 18c =  79818, 19c =    39910, 20c =   13926343, 21c =   0  ( 89.10%)
 Band008:  ng =   5306280, nu =    951699: 17c =    76, 18c =  18665, 19c =     8512, 20c =    4327328, 21c =   0  ( 82.06%)
 Band009:  ng =   8136013, nu =   1270070: 17c =   263, 18c =  37623, 19c =    13906, 20c =    6814151, 21c =   0  ( 84.39%)
 Band010:  ng =  47174193, nu =   6835086: 17c =  1112, 18c = 210041, 19c =    95986, 20c =   40031968, 21c =   0  ( 85.51%)
 Band011:  ng =  46788396, nu =   5562637: 17c =  1590, 18c = 246886, 19c =   109034, 20c =   40868249, 21c =   0  ( 88.11%)
 Band012:  ng =  46177270, nu =   6095597: 17c =  1284, 18c = 223388, 19c =   109106, 20c =   39747895, 21c =   0  ( 86.80%)
 Band013:  ng =  15340394, nu =   1916145: 17c =   433, 18c =  75035, 19c =    37823, 20c =   13310958, 21c =   0  ( 87.51%)
 Band014:  ng =  45397270, nu =   5332910: 17c =  1181, 18c = 226871, 19c =   117666, 20c =   39718642, 21c =   0  ( 88.25%)
 Band015:  ng =  45600758, nu =   5647495: 17c =  1368, 18c = 227186, 19c =   103652, 20c =   39621057, 21c =   0  ( 87.62%)
 Band016:  ng =   1631576, nu =         0: 17c =    18, 18c =   5707, 19c =     3998, 20c =    1621853, 21c =   0  (100.00%)
 Band017:  ng =  15093541, nu =   1523271: 17c =   541, 18c =  84939, 19c =    38837, 20c =   13445953, 21c =   0  ( 89.91%)
 Band018:  ng =  45101600, nu =   7112942: 17c =   761, 18c = 159014, 19c =    74459, 20c =   37754424, 21c =   0  ( 84.23%)
 Band019:  ng =  44832423, nu =   6307814: 17c =   909, 18c = 179947, 19c =    84023, 20c =   38259730, 21c =   0  ( 85.93%)
 Band020:  ng =  88782526, nu =  10590358: 17c =  2394, 18c = 421068, 19c =   185739, 20c =   77582967, 21c =   0  ( 88.07%)
 Band021:  ng =  44036568, nu =   6915808: 17c =   815, 18c = 160442, 19c =    76868, 20c =   36882635, 21c =   0  ( 84.30%)
 Band022:  ng =  85627559, nu =   9667103: 17c =  2080, 18c = 382056, 19c =   197580, 20c =   75378740, 21c =   0  ( 88.71%)
 Band023:  ng =  42711122, nu =   5640815: 17c =   819, 18c = 168178, 19c =    87585, 20c =   36813725, 21c =   0  ( 86.79%)
 Band024:  ng =  85102373, nu =   9921443: 17c =  1956, 18c = 374045, 19c =   192035, 20c =   74612894, 21c =   0  ( 88.34%)
 Band025:  ng =  41847039, nu =   4478585: 17c =  1040, 18c = 193762, 19c =    92752, 20c =   37080900, 21c =   0  ( 89.30%)
 Band026:  ng =  41335391, nu =   4152421: 17c =  1120, 18c = 202267, 19c =    97175, 20c =   36882408, 21c =   0  ( 89.95%)
 Band027:  ng =   4455504, nu =    554498: 17c =    85, 18c =  15020, 19c =     8978, 20c =    3876923, 21c =   0  ( 87.55%)
 Band028:  ng =  41102914, nu =   4699266: 17c =   860, 18c = 168139, 19c =    85534, 20c =   36149115, 21c =   0  ( 88.57%)
 Band029:  ng =   4591391, nu =    431588: 17c =   132, 18c =  22318, 19c =    10001, 20c =    4127352, 21c =   0  ( 90.60%)
 Band030:  ng =   4664261, nu =    592252: 17c =    86, 18c =  17328, 19c =     9450, 20c =    4045145, 21c =   0  ( 87.30%)
 Band031:  ng =  13606209, nu =   1211908: 17c =   389, 18c =  67031, 19c =    32343, 20c =   12294538, 21c =   0  ( 91.09%)
 Band032:  ng =  40697707, nu =  16850990: 17c =    51, 18c =  20440, 19c =    18125, 20c =   23808101, 21c =   0  ( 58.59%)
 Band033:  ng =  80468663, nu =  39014727: 17c =    51, 18c =  30778, 19c =    32125, 20c =   41390982, 21c =   0  ( 51.52%)
 Band034:  ng =  79175610, nu =  24402482: 17c =   230, 18c =  73557, 19c =    48788, 20c =   54650553, 21c =   0  ( 69.18%)
 Band035:  ng =  77979783, nu =  26923223: 17c =   179, 18c =  62267, 19c =    42897, 20c =   50951217, 21c =   0  ( 65.47%)
 Band036:  ng =  38536298, nu =  13176180: 17c =    91, 18c =  28689, 19c =    20371, 20c =   25310967, 21c =   0  ( 65.81%)
 Band037:  ng =  76146967, nu =  23300968: 17c =   216, 18c =  67880, 19c =    46423, 20c =   52731480, 21c =   0  ( 69.40%)
 Band038:  ng =  74505665, nu =  22430824: 17c =   250, 18c =  70557, 19c =    50509, 20c =   51953525, 21c =   0  ( 69.89%)
 Band039:  ng =  74154564, nu =  26857285: 17c =   175, 18c =  52462, 19c =    37886, 20c =   47206756, 21c =   0  ( 63.78%)
 Band040:  ng =  72171447, nu =  17081609: 17c =   353, 18c =  97556, 19c =    57828, 20c =   54934101, 21c =   0  ( 76.33%)
 Band041:  ng =  36053455, nu =   9586525: 17c =   161, 18c =  45091, 19c =    25942, 20c =   26395736, 21c =   0  ( 73.41%)
 Band042:  ng =  70552290, nu =  24561151: 17c =   147, 18c =  47932, 19c =    33222, 20c =   45909838, 21c =   0  ( 65.19%)
 Band043:  ng =  69437575, nu =  21326909: 17c =   237, 18c =  65875, 19c =    44669, 20c =   47999885, 21c =   0  ( 69.29%)
 Band044:  ng =  67978951, nu =  22759980: 17c =   135, 18c =  52864, 19c =    45916, 20c =   45120056, 21c =   0  ( 66.52%)
 Band045:  ng =  33904021, nu =  14767056: 17c =    38, 18c =  14862, 19c =    14144, 20c =   19107921, 21c =   0  ( 56.44%)
 Band046:  ng =  66337407, nu =  24184939: 17c =   116, 18c =  43277, 19c =    36471, 20c =   42072604, 21c =   0  ( 63.54%)
 Band047:  ng =  65880161, nu =  21831544: 17c =   147, 18c =  52855, 19c =    38797, 20c =   43956818, 21c =   0  ( 66.86%)
 Band048:  ng =  64996381, nu =  30716412: 17c =    66, 18c =  23113, 19c =    21639, 20c =   34235151, 21c =   0  ( 52.74%)
 Band049:  ng =  63898062, nu =  21707065: 17c =   163, 18c =  48329, 19c =    36152, 20c =   42106353, 21c =   0  ( 66.03%)
 Band050:  ng =  62192220, nu =  13477465: 17c =   363, 18c =  95689, 19c =    56828, 20c =   48561875, 21c =   0  ( 78.33%)
 Band051:  ng =  61691475, nu =  18628761: 17c =   181, 18c =  59192, 19c =    38439, 20c =   42964902, 21c =   0  ( 69.80%)
 Band052:  ng =  60192385, nu =  16789851: 17c =   208, 18c =  65227, 19c =    43050, 20c =   43294049, 21c =   0  ( 72.11%)
 Band053:  ng =  29966384, nu =   7108519: 17c =   159, 18c =  41850, 19c =    24570, 20c =   22791286, 21c =   0  ( 76.28%)
 Band054:  ng =  29734495, nu =  12875684: 17c =    41, 18c =  12848, 19c =    10277, 20c =   16835645, 21c =   0  ( 56.70%)
 Band055:  ng =  58731513, nu =  16660759: 17c =   228, 18c =  62905, 19c =    41102, 20c =   41966519, 21c =   0  ( 71.63%)
 Band056:  ng =  57263818, nu =  13406217: 17c =   370, 18c =  85461, 19c =    53422, 20c =   43718348, 21c =   0  ( 76.59%)
 Band057:  ng =  57033275, nu =  18036416: 17c =   182, 18c =  53549, 19c =    35162, 20c =   38907966, 21c =   0  ( 68.38%)
 Band058:  ng =  55394556, nu =  16714276: 17c =   153, 18c =  49588, 19c =    32931, 20c =   38597608, 21c =   0  ( 69.83%)
 Band059:  ng =  55022930, nu =  17901187: 17c =   143, 18c =  43532, 19c =    29778, 20c =   37048290, 21c =   0  ( 67.47%)
 Band060:  ng =  54018514, nu =  14216222: 17c =   243, 18c =  71204, 19c =    43282, 20c =   39687563, 21c =   0  ( 73.68%)
 Band061:  ng =  52964870, nu =  12168156: 17c =   337, 18c =  80560, 19c =    45911, 20c =   40669906, 21c =   0  ( 77.03%)
 Band062:  ng =  52242492, nu =  16458380: 17c =   139, 18c =  49232, 19c =    32406, 20c =   35702335, 21c =   0  ( 68.50%)
 Band063:  ng =  51245000, nu =  14630627: 17c =   204, 18c =  53700, 19c =    32321, 20c =   36528148, 21c =   0  ( 71.45%)
 Band064:  ng =  50540742, nu =  13739270: 17c =   206, 18c =  54741, 19c =    34041, 20c =   36712484, 21c =   0  ( 72.82%)
 Band065:  ng =  49644127, nu =  10593638: 17c =   324, 18c =  82652, 19c =    47138, 20c =   38920375, 21c =   0  ( 78.66%)
 Band066:  ng =  49190978, nu =  15393779: 17c =   121, 18c =  49150, 19c =    34807, 20c =   33713121, 21c =   0  ( 68.71%)
 Band067:  ng =  24077300, nu =   9985532: 17c =    41, 18c =  11824, 19c =    11396, 20c =   14068507, 21c =   0  ( 58.53%)
 Band068:  ng =  47978806, nu =  11458992: 17c =   278, 18c =  69164, 19c =    41225, 20c =   36409147, 21c =   0  ( 76.12%)
 Band069:  ng =  47059527, nu =  14180852: 17c =   137, 18c =  42046, 19c =    29664, 20c =   32806828, 21c =   0  ( 69.87%)
 Band070:  ng =  46231581, nu =  10722694: 17c =   254, 18c =  69020, 19c =    40961, 20c =   35398652, 21c =   0  ( 76.81%)
 Band071:  ng =  22715795, nu =   7342308: 17c =    79, 18c =  20862, 19c =    14884, 20c =   15337662, 21c =   0  ( 67.68%)
 Band072:  ng =  44778204, nu =  17961505: 17c =    87, 18c =  28542, 19c =    24129, 20c =   26763941, 21c =   0  ( 59.89%)
 Band073:  ng =  44053469, nu =  12061573: 17c =   189, 18c =  48835, 19c =    29657, 20c =   31913215, 21c =   0  ( 72.62%)
 Band074:  ng =  43401907, nu =  17754443: 17c =    54, 18c =  20277, 19c =    16502, 20c =   25610631, 21c =   0  ( 59.09%)
 Band075:  ng =  21398806, nu =   7037937: 17c =    46, 18c =  16393, 19c =    12447, 20c =   14331983, 21c =   0  ( 67.11%)
 Band076:  ng =  42061440, nu =  10927494: 17c =   171, 18c =  52207, 19c =    35488, 20c =   31046080, 21c =   0  ( 74.02%)
 Band077:  ng =  41316125, nu =  10937356: 17c =   191, 18c =  52477, 19c =    33560, 20c =   30292541, 21c =   0  ( 73.53%)
 Band078:  ng =  40571245, nu =  11040368: 17c =   143, 18c =  45546, 19c =    30796, 20c =   29454392, 21c =   0  ( 72.79%)
 Band079:  ng =  40282447, nu =   9989268: 17c =   178, 18c =  54418, 19c =    33113, 20c =   30205470, 21c =   0  ( 75.20%)
 Band080:  ng =  39233218, nu =  10980518: 17c =   182, 18c =  47247, 19c =    28928, 20c =   28176343, 21c =   0  ( 72.01%)
 Band081:  ng =  38522319, nu =  11551186: 17c =   176, 18c =  41217, 19c =    27650, 20c =   26902090, 21c =   0  ( 70.01%)
 Band082:  ng =  37881913, nu =  12029830: 17c =   126, 18c =  35286, 19c =    22656, 20c =   25794015, 21c =   0  ( 68.24%)
 Band083:  ng =  37460193, nu =  17607860: 17c =    38, 18c =  12134, 19c =    11969, 20c =   19828192, 21c =   0  ( 53.00%)
 Band084:  ng =  18460204, nu =   6976195: 17c =    28, 18c =  10939, 19c =     8732, 20c =   11464310, 21c =   0  ( 62.21%)
 Band085:  ng =  36127803, nu =   7673648: 17c =   265, 18c =  62459, 19c =    35246, 20c =   28356185, 21c =   0  ( 78.76%)
 Band086:  ng =  35584769, nu =   9060910: 17c =   203, 18c =  47824, 19c =    28518, 20c =   26447314, 21c =   0  ( 74.54%)
 Band087:  ng =  34821531, nu =   9577614: 17c =   132, 18c =  35140, 19c =    22804, 20c =   25185841, 21c =   0  ( 72.50%)
 Band088:  ng =  34334716, nu =   9476568: 17c =   109, 18c =  33660, 19c =    22051, 20c =   24802328, 21c =   0  ( 72.40%)
 Band089:  ng =  33769162, nu =   7122882: 17c =   239, 18c =  59802, 19c =    31827, 20c =   26554412, 21c =   0  ( 78.91%)
 Band090:  ng =  33174401, nu =   9538533: 17c =   118, 18c =  35445, 19c =    23201, 20c =   23577104, 21c =   0  ( 71.25%)
 Band091:  ng =  32520037, nu =   9201604: 17c =   113, 18c =  33322, 19c =    20488, 20c =   23264510, 21c =   0  ( 71.70%)
 Band092:  ng =  31945541, nu =   9417624: 17c =   102, 18c =  29236, 19c =    19346, 20c =   22479233, 21c =   0  ( 70.52%)
 Band093:  ng =  31221072, nu =  11968762: 17c =    55, 18c =  19952, 19c =    16955, 20c =   19215348, 21c =   0  ( 61.66%)
 Band094:  ng =  30579410, nu =   9204092: 17c =    77, 18c =  24076, 19c =    16954, 20c =   21334211, 21c =   0  ( 69.90%)
 Band095:  ng =  29977732, nu =   8614188: 17c =    99, 18c =  30040, 19c =    19726, 20c =   21313679, 21c =   0  ( 71.26%)
 Band096:  ng =  29390061, nu =   7051169: 17c =   179, 18c =  39062, 19c =    23033, 20c =   22276618, 21c =   0  ( 76.01%)
 Band097:  ng =  14518368, nu =   4347679: 17c =    33, 18c =  11778, 19c =     7703, 20c =   10151175, 21c =   0  ( 70.05%)
 Band098:  ng =  14372444, nu =   4327664: 17c =    36, 18c =  11745, 19c =     7647, 20c =   10025352, 21c =   0  ( 69.89%)
 Band099:  ng =  28268021, nu =   6866168: 17c =   138, 18c =  38431, 19c =    23459, 20c =   21339825, 21c =   0  ( 75.71%)
 Band100:  ng =  27849953, nu =  11813461: 17c =    47, 18c =  12257, 19c =    10767, 20c =   16013421, 21c =   0  ( 57.58%)
 Band101:  ng =  13768854, nu =   5721148: 17c =    20, 18c =   5612, 19c =     4580, 20c =    8037494, 21c =   0  ( 58.45%)
 Band102:  ng =  26929453, nu =   7514121: 17c =    77, 18c =  28580, 19c =    16436, 20c =   19370239, 21c =   0  ( 72.10%)
 Band103:  ng =  26382806, nu =   6455660: 17c =   102, 18c =  32645, 19c =    19693, 20c =   19874706, 21c =   0  ( 75.53%)
 Band104:  ng =   4359314, nu =   1834096: 17c =     5, 18c =   1814, 19c =     1452, 20c =    2521947, 21c =   0  ( 57.93%)
 Band105:  ng =  25997296, nu =  11631797: 17c =    17, 18c =   8549, 19c =     7423, 20c =   14349510, 21c =   0  ( 55.26%)
 Band106:  ng =  25467197, nu =   5479531: 17c =   158, 18c =  39498, 19c =    23193, 20c =   19924817, 21c =   0  ( 78.48%)
 Band107:  ng =  24888528, nu =   4160639: 17c =   212, 18c =  52455, 19c =    27644, 20c =   20647578, 21c =   0  ( 83.28%)
 Band108:  ng =  24423300, nu =   5997913: 17c =   115, 18c =  29131, 19c =    18855, 20c =   18377286, 21c =   0  ( 75.44%)
 Band109:  ng =  23988326, nu =   7541985: 17c =    77, 18c =  19762, 19c =    13709, 20c =   16412793, 21c =   0  ( 68.56%)
 Band110:  ng =  23541927, nu =   5665607: 17c =   101, 18c =  29298, 19c =    18564, 20c =   17828357, 21c =   0  ( 75.93%)
 Band111:  ng =  23070530, nu =   5223847: 17c =   119, 18c =  36160, 19c =    22454, 20c =   17787950, 21c =   0  ( 77.36%)
 Band112:  ng =  22609142, nu =   5499742: 17c =    89, 18c =  27613, 19c =    20277, 20c =   17061421, 21c =   0  ( 75.67%)
 Band113:  ng =  22100458, nu =   4862317: 17c =   135, 18c =  33013, 19c =    19772, 20c =   17185221, 21c =   0  ( 78.00%)
 Band114:  ng =  10879514, nu =   2808467: 17c =    54, 18c =  12599, 19c =     8263, 20c =    8050131, 21c =   0  ( 74.19%)
 Band115:  ng =  21378062, nu =   6386478: 17c =    70, 18c =  18367, 19c =    13586, 20c =   14959561, 21c =   0  ( 70.13%)
 Band116:  ng =  20985174, nu =   7066412: 17c =    65, 18c =  16892, 19c =    12493, 20c =   13889312, 21c =   0  ( 66.33%)
 Band117:  ng =  20674972, nu =   3394564: 17c =   219, 18c =  50322, 19c =    25867, 20c =   17204000, 21c =   0  ( 83.58%)
 Band118:  ng =  20107116, nu =   2928956: 17c =   299, 18c =  51173, 19c =    25404, 20c =   17101284, 21c =   0  ( 85.43%)
 Band119:  ng =  19854606, nu =   5589688: 17c =    68, 18c =  19689, 19c =    12056, 20c =   14233105, 21c =   0  ( 71.85%)
 Band120:  ng =   9732970, nu =   1381857: 17c =   142, 18c =  27636, 19c =    12832, 20c =    8310503, 21c =   0  ( 85.80%)
 Band121:  ng =  19084488, nu =   2856242: 17c =   250, 18c =  47570, 19c =    23462, 20c =   16156964, 21c =   0  ( 85.03%)
 Band122:  ng =   9491325, nu =   3405698: 17c =    21, 18c =   6554, 19c =     4077, 20c =    6074975, 21c =   0  ( 64.12%)
 Band123:  ng =  18532281, nu =   3881371: 17c =    98, 18c =  29451, 19c =    18235, 20c =   14603126, 21c =   0  ( 79.06%)
 Band124:  ng =   9142485, nu =   2411399: 17c =    28, 18c =  10724, 19c =     7331, 20c =    6713003, 21c =   0  ( 73.62%)
 Band125:  ng =  18075269, nu =   2918719: 17c =   192, 18c =  42177, 19c =    22527, 20c =   15091654, 21c =   0  ( 83.85%)
 Band126:  ng =  17675306, nu =   3599983: 17c =   113, 18c =  31097, 19c =    17620, 20c =   14026493, 21c =   0  ( 79.63%)
 Band127:  ng =  17545752, nu =   4279498: 17c =    75, 18c =  22290, 19c =    14448, 20c =   13229441, 21c =   0  ( 75.61%)
 Band128:  ng =  16990098, nu =   2974922: 17c =   110, 18c =  28982, 19c =    16390, 20c =   13969694, 21c =   0  ( 82.49%)
 Band129:  ng =   8369473, nu =   2162705: 17c =    27, 18c =   8555, 19c =     5017, 20c =    6193169, 21c =   0  ( 74.16%)
 Band130:  ng =  16406705, nu =   2403431: 17c =   196, 18c =  42005, 19c =    20486, 20c =   13940587, 21c =   0  ( 85.35%)
 Band131:  ng =  16189996, nu =   3685462: 17c =    61, 18c =  21520, 19c =    12209, 20c =   12470744, 21c =   0  ( 77.24%)
 Band132:  ng =  15791769, nu =   4137405: 17c =    66, 18c =  17315, 19c =    10455, 20c =   11626528, 21c =   0  ( 73.80%)
 Band133:  ng =   2613345, nu =   1067740: 17c =     1, 18c =    929, 19c =      772, 20c =    1543903, 21c =   0  ( 59.14%)
 Band134:  ng =  15362664, nu =   2305567: 17c =   168, 18c =  36442, 19c =    18824, 20c =   13001663, 21c =   0  ( 84.99%)
 Band135:  ng =  15272476, nu =   3753201: 17c =    73, 18c =  18933, 19c =    11665, 20c =   11488604, 21c =   0  ( 75.43%)
 Band136:  ng =  14918036, nu =   3535258: 17c =    67, 18c =  20468, 19c =    12856, 20c =   11349387, 21c =   0  ( 76.30%)
 Band137:  ng =   7254450, nu =   1906123: 17c =    21, 18c =   7302, 19c =     5136, 20c =    5335868, 21c =   0  ( 73.72%)
 Band138:  ng =  14383075, nu =   2517651: 17c =   150, 18c =  31632, 19c =    16034, 20c =   11817608, 21c =   0  ( 82.50%)
 Band139:  ng =   7011714, nu =   1018919: 17c =    71, 18c =  17713, 19c =     8700, 20c =    5966311, 21c =   0  ( 85.47%)
 Band140:  ng =  13738161, nu =   4038125: 17c =    39, 18c =  13224, 19c =    10820, 20c =    9675953, 21c =   0  ( 70.61%)
 Band141:  ng =  13445152, nu =   2223514: 17c =    95, 18c =  28162, 19c =    16427, 20c =   11176954, 21c =   0  ( 83.46%)
 Band142:  ng =   6593805, nu =    979629: 17c =    64, 18c =  15846, 19c =     8006, 20c =    5590260, 21c =   0  ( 85.14%)
 Band143:  ng =  12918117, nu =   1751255: 17c =   124, 18c =  32140, 19c =    17408, 20c =   11117190, 21c =   0  ( 86.44%)
 Band144:  ng =   6403269, nu =   1070061: 17c =    44, 18c =  12201, 19c =     7283, 20c =    5313680, 21c =   0  ( 83.29%)
 Band145:  ng =  12568136, nu =   1446343: 17c =   176, 18c =  34598, 19c =    18272, 20c =   11068747, 21c =   0  ( 88.49%)
 Band146:  ng =  12354720, nu =   1735745: 17c =   109, 18c =  28063, 19c =    14905, 20c =   10575898, 21c =   0  ( 85.95%)
 Band147:  ng =  12036469, nu =   1859672: 17c =    95, 18c =  25274, 19c =    13990, 20c =   10137438, 21c =   0  ( 84.55%)
 Band148:  ng =   5931073, nu =   1333507: 17c =    25, 18c =   7263, 19c =     4511, 20c =    4585767, 21c =   0  ( 77.52%)
 Band149:  ng =   5949060, nu =   1299835: 17c =    29, 18c =   8228, 19c =     5316, 20c =    4635652, 21c =   0  ( 78.15%)
 Band150:  ng =  11577852, nu =   1788877: 17c =    83, 18c =  24566, 19c =    14919, 20c =    9749407, 21c =   0  ( 84.55%)
 Band151:  ng =  11435633, nu =   2312356: 17c =    56, 18c =  18050, 19c =    11233, 20c =    9093938, 21c =   0  ( 79.78%)
 Band152:  ng =  11155974, nu =   3001624: 17c =    42, 18c =  12487, 19c =     8274, 20c =    8133547, 21c =   0  ( 73.09%)
 Band153:  ng =  10671486, nu =   1254930: 17c =   154, 18c =  28899, 19c =    15169, 20c =    9372334, 21c =   0  ( 88.24%)
 Band154:  ng =  10525735, nu =   1227380: 17c =   114, 18c =  28301, 19c =    14924, 20c =    9255016, 21c =   0  ( 88.34%)
 Band155:  ng =  10188634, nu =    942832: 17c =   164, 18c =  36458, 19c =    17538, 20c =    9191642, 21c =   0  ( 90.75%)
 Band156:  ng =  10059617, nu =   1445122: 17c =    86, 18c =  21708, 19c =    12132, 20c =    8580569, 21c =   0  ( 85.63%)
 Band157:  ng =   9805813, nu =   1443212: 17c =   106, 18c =  23908, 19c =    12083, 20c =    8326504, 21c =   0  ( 85.28%)
 Band158:  ng =   9629320, nu =   1572017: 17c =    55, 18c =  18675, 19c =    11714, 20c =    8026859, 21c =   0  ( 83.67%)
 Band159:  ng =   9490222, nu =   1393557: 17c =    92, 18c =  21759, 19c =    11939, 20c =    8062875, 21c =   0  ( 85.32%)
 Band160:  ng =   9280124, nu =   1919410: 17c =    30, 18c =  13302, 19c =     8081, 20c =    7339301, 21c =   0  ( 79.32%)
 Band161:  ng =   8844112, nu =   1309799: 17c =    70, 18c =  20131, 19c =    10804, 20c =    7503308, 21c =   0  ( 85.19%)
 Band162:  ng =   8628099, nu =    899066: 17c =   110, 18c =  27917, 19c =    14081, 20c =    7686925, 21c =   0  ( 89.58%)
 Band163:  ng =   8429593, nu =   1249705: 17c =    85, 18c =  20299, 19c =    10582, 20c =    7148922, 21c =   0  ( 85.17%)
 Band164:  ng =   8227144, nu =   1183135: 17c =    56, 18c =  17823, 19c =     9637, 20c =    7016493, 21c =   0  ( 85.62%)
 Band165:  ng =   7998287, nu =    753578: 17c =   140, 18c =  29975, 19c =    14642, 20c =    7199952, 21c =   0  ( 90.58%)
 Band166:  ng =   7813413, nu =   1030656: 17c =    79, 18c =  19049, 19c =     9861, 20c =    6753768, 21c =   0  ( 86.81%)
 Band167:  ng =   3839149, nu =    591145: 17c =    47, 18c =   9076, 19c =     5283, 20c =    3233598, 21c =   0  ( 84.60%)
 Band168:  ng =   7548052, nu =    704707: 17c =   171, 18c =  31356, 19c =    13902, 20c =    6797916, 21c =   0  ( 90.66%)
 Band169:  ng =   7349287, nu =    726565: 17c =   154, 18c =  26699, 19c =    12833, 20c =    6583036, 21c =   0  ( 90.11%)
 Band170:  ng =   7146807, nu =    685295: 17c =    98, 18c =  26884, 19c =    12807, 20c =    6421723, 21c =   0  ( 90.41%)
 Band171:  ng =   6993422, nu =   1577879: 17c =    44, 18c =  10729, 19c =     6552, 20c =    5398218, 21c =   0  ( 77.44%)
 Band172:  ng =   6828801, nu =   1034657: 17c =    61, 18c =  15570, 19c =     8025, 20c =    5770488, 21c =   0  ( 84.85%)
 Band173:  ng =   6674911, nu =    895972: 17c =    67, 18c =  16074, 19c =     8536, 20c =    5754262, 21c =   0  ( 86.58%)
 Band174:  ng =   6476248, nu =   1227200: 17c =    37, 18c =  10712, 19c =     6378, 20c =    5231921, 21c =   0  ( 81.05%)
 Band175:  ng =   3166465, nu =    501237: 17c =    33, 18c =   7150, 19c =     4138, 20c =    2653907, 21c =   0  ( 84.17%)
 Band176:  ng =   6205963, nu =    634350: 17c =    98, 18c =  22217, 19c =    10985, 20c =    5538313, 21c =   0  ( 89.78%)
 Band177:  ng =   6040631, nu =    600905: 17c =   115, 18c =  22861, 19c =    10781, 20c =    5405969, 21c =   0  ( 90.05%)
 Band178:  ng =   5882934, nu =    721010: 17c =    80, 18c =  18347, 19c =     8907, 20c =    5134590, 21c =   0  ( 87.74%)
 Band179:  ng =   5812748, nu =    617700: 17c =    88, 18c =  20822, 19c =    10002, 20c =    5164136, 21c =   0  ( 89.37%)
 Band180:  ng =   5615082, nu =    741885: 17c =    66, 18c =  16046, 19c =     8199, 20c =    4848886, 21c =   0  ( 86.79%)
 Band181:  ng =   5461387, nu =    740497: 17c =    62, 18c =  14942, 19c =     7375, 20c =    4698511, 21c =   0  ( 86.44%)
 Band182:  ng =   5367414, nu =   1078090: 17c =    35, 18c =   9356, 19c =     5485, 20c =    4274448, 21c =   0  ( 79.91%)
 Band183:  ng =   5222068, nu =   1698693: 17c =    12, 18c =   4014, 19c =     2920, 20c =    3516429, 21c =   0  ( 67.47%)
 Band184:  ng =   5072949, nu =    639546: 17c =    84, 18c =  15935, 19c =     7436, 20c =    4409948, 21c =   0  ( 87.39%)
 Band185:  ng =   4918277, nu =    481652: 17c =   110, 18c =  18796, 19c =     9282, 20c =    4408437, 21c =   0  ( 90.21%)
 Band186:  ng =   4778878, nu =    698167: 17c =    47, 18c =  11247, 19c =     6142, 20c =    4063275, 21c =   0  ( 85.39%)
 Band187:  ng =   4641003, nu =   1035177: 17c =    38, 18c =   8248, 19c =     5018, 20c =    3592522, 21c =   0  ( 77.69%)
 Band188:  ng =   4539624, nu =    844775: 17c =    34, 18c =   8088, 19c =     4736, 20c =    3681991, 21c =   0  ( 81.39%)
 Band189:  ng =   4407284, nu =    829510: 17c =    28, 18c =   7575, 19c =     4669, 20c =    3565502, 21c =   0  ( 81.18%)
 Band190:  ng =   2186822, nu =         0: 17c =    19, 18c =   4465, 19c =     2462, 20c =    2179876, 21c =   0  (100.00%)
 Band191:  ng =   4220821, nu =    758838: 17c =    30, 18c =   8018, 19c =     4449, 20c =    3449486, 21c =   0  ( 82.02%)
 Band192:  ng =   4158097, nu =    920505: 17c =    21, 18c =   6838, 19c =     3894, 20c =    3226839, 21c =   0  ( 77.86%)
 Band193:  ng =   4070158, nu =    877196: 17c =    17, 18c =   5934, 19c =     3520, 20c =    3183491, 21c =   0  ( 78.45%)
 Band194:  ng =   3857103, nu =    468202: 17c =    37, 18c =  10748, 19c =     5418, 20c =    3372698, 21c =   0  ( 87.86%)
 Band195:  ng =   3785628, nu =    691572: 17c =    19, 18c =   6942, 19c =     3716, 20c =    3083379, 21c =   0  ( 81.73%)
 Band196:  ng =   3693474, nu =    820446: 17c =    27, 18c =   6359, 19c =     3674, 20c =    2862968, 21c =   0  ( 77.79%)
 Band197:  ng =   3555681, nu =         0: 17c =    74, 18c =  12384, 19c =     5983, 20c =    3537240, 21c =   0  (100.00%)
 Band198:  ng =   3453089, nu =    452973: 17c =    32, 18c =  10427, 19c =     5858, 20c =    2983799, 21c =   0  ( 86.88%)
 Band199:  ng =   3345667, nu =         0: 17c =    80, 18c =  14888, 19c =     6867, 20c =    3323832, 21c =   0  (100.00%)
 Band200:  ng =   3252227, nu =         0: 17c =    66, 18c =  14067, 19c =     6730, 20c =    3231364, 21c =   0  (100.00%)
 Band201:  ng =   3165254, nu =         0: 17c =    82, 18c =  14851, 19c =     6724, 20c =    3143597, 21c =   0  (100.00%)
 Band202:  ng =   3064062, nu =         0: 17c =    28, 18c =   8584, 19c =     4642, 20c =    3050808, 21c =   0  (100.00%)
 Band203:  ng =   2966309, nu =         0: 17c =    34, 18c =   8568, 19c =     4369, 20c =    2953338, 21c =   0  (100.00%)
 Band204:  ng =   2932890, nu =         0: 17c =    33, 18c =   8878, 19c =     4741, 20c =    2919238, 21c =   0  (100.00%)
 Band205:  ng =   2841380, nu =         0: 17c =    36, 18c =   8034, 19c =     3907, 20c =    2829403, 21c =   0  (100.00%)
 Band206:  ng =   2701985, nu =         0: 17c =    70, 18c =  12909, 19c =     5656, 20c =    2683350, 21c =   0  (100.00%)
 Band207:  ng =   2628788, nu =         0: 17c =    71, 18c =  11689, 19c =     5289, 20c =    2611739, 21c =   0  (100.00%)
 Band208:  ng =   2532198, nu =         0: 17c =    22, 18c =   6706, 19c =     3639, 20c =    2521831, 21c =   0  (100.00%)
 Band209:  ng =   2443960, nu =         0: 17c =    43, 18c =  11112, 19c =     5189, 20c =    2427616, 21c =   0  (100.00%)
 Band210:  ng =   1243959, nu =         0: 17c =    22, 18c =   4816, 19c =     2149, 20c =    1236972, 21c =   0  (100.00%)
 Band211:  ng =   2317171, nu =         0: 17c =    54, 18c =  11325, 19c =     5077, 20c =    2300715, 21c =   0  (100.00%)
 Band212:  ng =   2357854, nu =         0: 17c =    52, 18c =   9262, 19c =     4250, 20c =    2344290, 21c =   0  (100.00%)
 Band213:  ng =   1137589, nu =         0: 17c =     5, 18c =   1782, 19c =     1143, 20c =    1134659, 21c =   0  (100.00%)
 Band214:  ng =   1083228, nu =         0: 17c =    11, 18c =   2052, 19c =     1314, 20c =    1079851, 21c =   0  (100.00%)
 Band215:  ng =   2183311, nu =         0: 17c =    45, 18c =   8682, 19c =     4178, 20c =    2170406, 21c =   0  (100.00%)
 Band216:  ng =   2244753, nu =         0: 17c =    38, 18c =   7660, 19c =     3720, 20c =    2233335, 21c =   0  (100.00%)
 Band217:  ng =   2143677, nu =         0: 17c =    15, 18c =   3380, 19c =     2026, 20c =    2138256, 21c =   0  (100.00%)
 Band218:  ng =   2100798, nu =         0: 17c =     7, 18c =   2977, 19c =     2216, 20c =    2095598, 21c =   0  (100.00%)
 Band219:  ng =   1007465, nu =         0: 17c =     4, 18c =   1018, 19c =      977, 20c =    1005466, 21c =   0  (100.00%)
 Band220:  ng =   1970315, nu =         0: 17c =    11, 18c =   3153, 19c =     2257, 20c =    1964894, 21c =   0  (100.00%)
 Band221:  ng =   1841722, nu =         0: 17c =    14, 18c =   4258, 19c =     2517, 20c =    1834933, 21c =   0  (100.00%)
 Band222:  ng =   1873099, nu =         0: 17c =    17, 18c =   3838, 19c =     2405, 20c =    1866839, 21c =   0  (100.00%)
 Band223:  ng =   1772301, nu =         0: 17c =    12, 18c =   3023, 19c =     2146, 20c =    1767120, 21c =   0  (100.00%)
 Band224:  ng =    347777, nu =         0: 17c =     0, 18c =    138, 19c =      220, 20c =     347417, 21c =   2  (100.00%)
 Band225:  ng =   1968442, nu =         0: 17c =     6, 18c =   2158, 19c =     1696, 20c =    1964582, 21c =   0  (100.00%)
 Band226:  ng =   1677704, nu =         0: 17c =     9, 18c =   2720, 19c =     1838, 20c =    1673137, 21c =   0  (100.00%)
 Band227:  ng =   1521001, nu =         0: 17c =    17, 18c =   3905, 19c =     2124, 20c =    1514955, 21c =   0  (100.00%)
 Band228:  ng =   1498734, nu =         0: 17c =    11, 18c =   3034, 19c =     1915, 20c =    1493774, 21c =   0  (100.00%)
 Band229:  ng =   1515366, nu =         0: 17c =    22, 18c =   3889, 19c =     2024, 20c =    1509431, 21c =   0  (100.00%)
 Band230:  ng =   1457098, nu =         0: 17c =    16, 18c =   2223, 19c =     1448, 20c =    1453411, 21c =   0  (100.00%)
 Band231:  ng =   1331185, nu =         0: 17c =     8, 18c =   4160, 19c =     2181, 20c =    1324836, 21c =   0  (100.00%)
 Band232:  ng =   1279569, nu =         0: 17c =     2, 18c =   2467, 19c =     1374, 20c =    1275726, 21c =   0  (100.00%)
 Band233:  ng =   1262013, nu =         0: 17c =     9, 18c =   2352, 19c =     1483, 20c =    1258169, 21c =   0  (100.00%)
 Band234:  ng =   1218744, nu =         0: 17c =    23, 18c =   4053, 19c =     2162, 20c =    1212506, 21c =   0  (100.00%)
 Band235:  ng =    386642, nu =         0: 17c =     8, 18c =   1529, 19c =      735, 20c =     384370, 21c =   0  (100.00%)
 Band236:  ng =   1182963, nu =         0: 17c =    22, 18c =   5407, 19c =     2549, 20c =    1174985, 21c =   0  (100.00%)
 Band237:  ng =    570172, nu =         0: 17c =     1, 18c =    216, 19c =      405, 20c =     569550, 21c =   0  (100.00%)
 Band238:  ng =   1111083, nu =         0: 17c =     2, 18c =   1517, 19c =     1351, 20c =    1108213, 21c =   0  (100.00%)
 Band239:  ng =   1076551, nu =         0: 17c =    13, 18c =   3012, 19c =     1591, 20c =    1071935, 21c =   0  (100.00%)
 Band240:  ng =    167032, nu =         0: 17c =     0, 18c =    117, 19c =      139, 20c =     166776, 21c =   0  (100.00%)
 Band241:  ng =    533940, nu =         0: 17c =     5, 18c =   1530, 19c =     1054, 20c =     531351, 21c =   0  (100.00%)
 Band242:  ng =   1048083, nu =         0: 17c =    15, 18c =   3771, 19c =     2133, 20c =    1042164, 21c =   0  (100.00%)
 Band243:  ng =    974591, nu =         0: 17c =    19, 18c =   4756, 19c =     2417, 20c =     967399, 21c =   0  (100.00%)
 Band244:  ng =    967788, nu =         0: 17c =    18, 18c =   4385, 19c =     2276, 20c =     961109, 21c =   0  (100.00%)
 Band245:  ng =    455310, nu =         0: 17c =     2, 18c =   1425, 19c =      754, 20c =     453129, 21c =   0  (100.00%)
 Band246:  ng =    915249, nu =         0: 17c =    12, 18c =   3249, 19c =     1832, 20c =     910156, 21c =   0  (100.00%)
 Band247:  ng =    500537, nu =         0: 17c =     4, 18c =   1101, 19c =      737, 20c =     498695, 21c =   0  (100.00%)
 Band248:  ng =    783336, nu =         0: 17c =    22, 18c =   5464, 19c =     2437, 20c =     775413, 21c =   0  (100.00%)
 Band249:  ng =    822496, nu =         0: 17c =    18, 18c =   4231, 19c =     2128, 20c =     816119, 21c =   0  (100.00%)
 Band250:  ng =   4118353, nu =         0: 17c =   102, 18c =  17397, 19c =     8384, 20c =    4092470, 21c =   0  (100.00%)
 Band260:  ng =   4942966, nu =         0: 17c =   141, 18c =  29358, 19c =    13339, 20c =    4900128, 21c =   0  (100.00%)
 Band270:  ng =   2374942, nu =         0: 17c =    80, 18c =  15562, 19c =     7117, 20c =    2352183, 21c =   0  (100.00%)
 Band280:  ng =   1443458, nu =         0: 17c =    42, 18c =   8338, 19c =     3867, 20c =    1431211, 21c =   0  (100.00%)
 Band290:  ng =   1584461, nu =         0: 17c =    63, 18c =  10999, 19c =     4815, 20c =    1568584, 21c =   0  (100.00%)
 Band300:  ng =   2097068, nu =         0: 17c =   105, 18c =  19476, 19c =     8094, 20c =    2069393, 21c =   0  (100.00%)
User avatar
Mathimagics
2017 Supporter
 
Posts: 1274
Joined: 27 May 2015
Location: Canberra

LCT-20 Progress

Postby Mathimagics » Wed Jul 31, 2019 4:21 pm

72 hours gone, and stage 2 has found 267 million 20C puzzles (all with 668-pattern). With 5 workers, this is 17.8 million grids per worker/day. Hats off to blue for that! That's roughly 1/5 of the 1,365,506,043 candidates, so the completion date might be 13 August.

Interesting to note that NO new cases of "no 668 20C puzzle" have been found. Might blue's table above in fact be complete? We'll just have to wait and see ...
User avatar
Mathimagics
2017 Supporter
 
Posts: 1274
Joined: 27 May 2015
Location: Canberra

Re: Low/Hi Clue Thresholds

Postby coloin » Wed Jul 31, 2019 5:34 pm

Great ..
.. will blue’s magic program be slower or quicker at finding 667-19Cs .... just wondering !
coloin
 
Posts: 1790
Joined: 05 May 2005

Re: Low/Hi Clue Thresholds

Postby blue » Thu Aug 01, 2019 9:07 pm

Hi Colin,

coloin wrote:will blue’s magic program be slower or quicker at finding 667-19Cs .... just wondering !

It's slower by a factor of 27 -- about 129 milliseconds per grid, for random grids, on my machine.

For finding a 19C for a grid, it's faster to look first, for puzzles with >= 8 clues a band/stack.
The best order I've hit on so far, takes ~22.6 milliseconds per grid, for random grids.
On my machine, that's ~3,800,000 grids per day per core, and 1432 core*days to do the whole catalog.
Mathimagics' puzzle morphing code, will probably do a lot better than that, for a long time.
blue
 
Posts: 840
Joined: 11 March 2013

Re: Low/Hi Clue Thresholds

Postby Mathimagics » Fri Aug 02, 2019 4:47 am

blue wrote:For finding a 19C for a grid, it's faster to look first, for puzzles with >= 8 clues a band/stack.

Thanks blue for those timings. You anticipated my questions just as I was contemplating them ...

Guesstimating times for LCT-19 is more complicated than it was LCT-20.

Let's say BlueMagic has these 2 functions, Find19C-8 for finding 19C puzzles with 8 or more clues per band/stack, and Find19C-7 for finding {667} puzzles.

So, with X = price of a Find20C call, the price of 19C testing is probably going to be Find19C-8 ~= 5X, and Find19C-7 ~= 27X.

Reducing the pool size (grids that need to be tested with Find19C) will be crucial. So, the morphing workers will clearly have to do most of the heavy lifting. How they will actually perform in the 19C context is harder to predict, but I don't expect major degradation there - I do need to run some preliminary tests, however.

Cheers
MM

PS: blue, can you do some sampling and give estimates of the probability that a grid will (a) fail the 19C-8 test, (b) fail both tests?

PPS: LCT-20 is motoring through the unresolved grids, only 972,353,033 to go ...
User avatar
Mathimagics
2017 Supporter
 
Posts: 1274
Joined: 27 May 2015
Location: Canberra

Re: Low/Hi Clue Thresholds

Postby blue » Fri Aug 02, 2019 6:07 am

Mathimagics wrote:PPS: LCT-20 is motoring through the unresolved grids, only 972,353,033 to go ...

Nice !

Mathimagics wrote:PS: blue, can you do some sampling and give estimates of the probability that a grid will (a) fail the 19C-8 test, (b) fail both tests?

I have these results from my earlier test of 10 million "no NTA" grids:
Code: Select all
3198/10,000,000 -- failed the "19-8c" test (limited to only one band having >= 8 clues)
 505/10,000,000 -- failed the "19-8c" and 667 tests
 461/10,000,000 -- failed the "19-8c", 667 and 577+757 tests
 461/10,000,000 -- failed those and 289/388 tests.

The "19-8c" testing took almost all of the time ... ~25.6 ms per grid.
The change to being it down to 22.6 ms, was to look for 559 puzzles (for up to 6 bands/stacks) first,
and skip that combination when the other "19-8c" tests run.

In a shorter run for the "559 first" method (earlier today):
Code: Select all
71905/1,000,000 -- failed the "559" test
  321/1,000,000 -- failed the rest of the "19-8c" test
   50/1,000,000 -- failed the "19-8c" and 667 tests
   48/1,000,000 -- failed the "19-8c", 667 and 577+757 tests
   48/1,000,000 -- failed those and 289/388 tests.
blue
 
Posts: 840
Joined: 11 March 2013

Re: Low/Hi Clue Thresholds

Postby Mathimagics » Fri Aug 02, 2019 7:29 am

Thanks blue!

That's more grist for the mill ... 8-)
User avatar
Mathimagics
2017 Supporter
 
Posts: 1274
Joined: 27 May 2015
Location: Canberra

Re: Low/Hi Clue Thresholds

Postby Mathimagics » Sun Aug 04, 2019 6:07 pm

Todays LCT-20 status:
Code: Select all
 Puzzles: 4726407895 (  86.36%)
 Pending:  746322643 (  13.64%)
          ==========
   Grids: 5472730538


Just 746 million to go (Aug 15 still looks like the completion date) ... no sign yet of any new 668-pattern failures ...
User avatar
Mathimagics
2017 Supporter
 
Posts: 1274
Joined: 27 May 2015
Location: Canberra

Re: Low/Hi Clue Thresholds

Postby Mathimagics » Tue Aug 06, 2019 8:14 pm

Todays LCT-20 status:
Code: Select all
 Puzzles: 4909685286 (  89.71%)
 Pending:  563045252 (  10.29%)
          ==========
   Grids: 5472730538


It looks like LCT-19 will be a much longer task! blue reports that BlueMagic19 will take 4 to 5 times longer per grid.

And now I have run a few 19C batch generations using the stage 1 worker process adapted for 19C. It looks like it will take about 3 times longer to produce batches of the same size than before. That would probably mean at least 3 times as long (6 months at least) for the full job.

I will try and find ways to speed up the batch generation ...

Cheers
MM
User avatar
Mathimagics
2017 Supporter
 
Posts: 1274
Joined: 27 May 2015
Location: Canberra

Re: Low/Hi Clue Thresholds

Postby coloin » Wed Aug 07, 2019 9:52 am

Such is the scale of the task ....
Perhaps there are casual readers who could easily help out with spare unused computer time. !
Perhaps I could put up a software guide where some could email you zipped reliable batches of up to 1M puzzles at a time.. ?
I hope you dont mind ive done it here - to see if there is any interest !!

However the 18C as we know is the stumbling block.

I’ve been looking at /generating the remote ( untouchable) puzzles which are isolated (-1+1) or existing in small pockets of isolated groups ... as of course there is
The big group of 1 billion 18C puzzles which are connected (-1+1) are there to be found easily - but not easy to collate!
coloin
 
Posts: 1790
Joined: 05 May 2005

Re: Low/Hi Clue Thresholds

Postby Mathimagics » Thu Aug 08, 2019 5:41 am

coloin wrote:Perhaps there are casual readers who could easily help out with spare unused computer time. !
Perhaps I could put up a software guide where some could email you zipped reliable batches of up to 1M puzzles at a time.. ?


That would certainly be useful, and would be much appreciated.

There is a better way, I think, than using the gsf tool. Any volunteer on a Windows system can be supplied with a Worker19 binary that will do the generation exactly as LCT-19 does it, and this would be fully automated, minimal intervention required. And, I think, this would produce more ED grid/puzzles than the gsf tool.

Unix users could be given source code to compile and run.

For file delivery, I think that a better idea would be for me to provide a cloud storage location. Batch files produced by the worker could be zipped and uploaded to that location. I'm also looking at a custom compression tool that would give smaller zip files.

Anybody who thinks they can spare a cpu core/thread (or two) over an extended period can PM me (please use subject "LCT-19").

Cheers
MM

PS: LCT-20 has passed the 5 billion grid mark:
Code: Select all
 Puzzles: 5029787238 (  91.91%)
 Pending:  442943300 (   8.09%)
          ==========
   Grids: 5472730538
User avatar
Mathimagics
2017 Supporter
 
Posts: 1274
Joined: 27 May 2015
Location: Canberra

Re: Low/Hi Clue Thresholds

Postby Mathimagics » Thu Aug 08, 2019 8:02 am

Re: gsf's Sudoku.exe tool:

Using coloin's 19C example (from here), I obtained 283,716 x 19C puzzles in 36 minutes. But this yielded only 36,480 ED grids. So the net yield with this method (for that example) is roughly 1000 grids/min.

Worker19C can produce 3 million ED grids/puzzles in about 200 minutes, which is a yield of roughly 15,000 grids/min.

So our volunteer workforce, should it materialise, should probably be using Worker19C.

Cheers
MM
User avatar
Mathimagics
2017 Supporter
 
Posts: 1274
Joined: 27 May 2015
Location: Canberra

PreviousNext

Return to General