И ещё проверила паттерны с квадратами, но без 8р^2

 b870: 2 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^3 2^2.3 . [sq=1]
 b871: 2 3 2^2 5.11^2 2.3^2 7^3 2^5 3 2.5^2 . 2^2.3 . [sq=1]
 b872: 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11^2 2^2.3 . [sq=1]
 b873: 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11^5 2^2.3 . [sq=1]
 b874: 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11 2^2.3 . [sq=1]
 b875: 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11^3 2^2.3 . [sq=2]
 b891: 2.5 11^2 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 [sq=4]
 b892: 2.5 11^5 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 [sq=4]
 b893: 2.5 11 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 [sq=4]
 b894: 2.5 11^3 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 [sq=5]
 b895: 2.5 . 2^2.3 11^2 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 [sq=4]
 b896: 2.5 . 2^2.3 11^5 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 [sq=4]
 b897: 2.5 . 2^2.3 11 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 [sq=4]
 b898: 2.5 . 2^2.3 . 2.7 3.5 2^5 . 2.3^2 11^2 2^2.5 3.7 [sq=4]
 b899: 2.5 . 2^2.3 . 2.7 3.5 2^5 . 2.3^2 11^5 2^2.5 3.7 [sq=4]
 b900: 2.5 . 2^2.3 . 2.7 3.5 2^5 . 2.3^2 11 2^2.5 3.7 [sq=4]
 b1126: 3^2 2.5 11^2 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
 b1127: 3^2 2.5 11^5 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
 b1128: 3^2 2.5 11 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
 b1129: 3^2 2.5 11^3 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
 b1130: 3^2 2.5 . 2^2.3 11^2 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
 b1131: 3^2 2.5 . 2^2.3 11^5 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
 b1132: 3^2 2.5 . 2^2.3 11 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
 b1133: 3^2 2.5 . 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 11^2 2^2.5 [sq=2]
 b1134: 3^2 2.5 . 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 11^5 2^2.5 [sq=2]
 b1135: 3^2 2.5 . 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 11 2^2.5 [sq=2]
 b1136: 3^2 2.5 11^2 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
 b1137: 3^2 2.5 11^5 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
 b1138: 3^2 2.5 11 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
 b1139: 3^2 2.5 11^3 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=4]
 b1140: 3^2 2.5 . 2^2.3 11^2 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
 b1141: 3^2 2.5 . 2^2.3 11^5 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
 b1142: 3^2 2.5 . 2^2.3 11 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
 b1143: 3^2 2.5 . 2^2.3 . 2.7 3.5 2^5 . 2.3^2 11^2 2^2.5 [sq=3]
 b1144: 3^2 2.5 . 2^2.3 . 2.7 3.5 2^5 . 2.3^2 11^5 2^2.5 [sq=3]
 b1145: 3^2 2.5 . 2^2.3 . 2.7 3.5 2^5 . 2.3^2 11 2^2.5 [sq=3]

В этой порции все паттерны проверялись доли секунды.

Осталось ещё чуть-чуть.

И последняя порция

 b1195: 3^5 2.5 11^2 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
 b1196: 3^5 2.5 11^5 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
 b1197: 3^5 2.5 11 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
 b1198: 3^5 2.5 11^3 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
 b1199: 3^5 2.5 . 2^2.3 11^2 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
 b1200: 3^5 2.5 . 2^2.3 11^5 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
 b1201: 3^5 2.5 . 2^2.3 11 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
 b1202: 3^5 2.5 . 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 11^2 2^2.5 [sq=2]
 b1203: 3^5 2.5 . 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 11^5 2^2.5 [sq=2]
 b1204: 3^5 2.5 . 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 11 2^2.5 [sq=2]
 b1205: 3^5 2.5 11^2 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
 b1206: 3^5 2.5 11^5 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
 b1207: 3^5 2.5 11 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
 b1208: 3^5 2.5 11^3 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=4]
 b1209: 3^5 2.5 . 2^2.3 11^2 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
 b1210: 3^5 2.5 . 2^2.3 11^5 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
 b1211: 3^5 2.5 . 2^2.3 11 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
 b1212: 3^5 2.5 . 2^2.3 . 2.7 3.5 2^5 . 2.3^2 11^2 2^2.5 [sq=3]
 b1213: 3^5 2.5 . 2^2.3 . 2.7 3.5 2^5 . 2.3^2 11^5 2^2.5 [sq=3]
 b1214: 3^5 2.5 . 2^2.3 . 2.7 3.5 2^5 . 2.3^2 11 2^2.5 [sq=3]
 b1244: . 2 3 2^2.5 11^2 2.3^2 7^3 2^5 3.5^2 2 . 2^2.3 [sq=1]
 b1245: . 2 3 2^2.5 11^5 2.3^2 7^3 2^5 3.5^2 2 . 2^2.3 [sq=1]
 b1246: . 2 3 2^2.5 11 2.3^2 7^3 2^5 3.5^2 2 . 2^2.3 [sq=1]
 b1247: . 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2.11^2 . 2^2.3 [sq=1]
 b1248: . 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 11^2 2^2.3 [sq=1]
 b1249: . 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 11^5 2^2.3 [sq=1]
 b1250: . 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 11 2^2.3 [sq=1]
 b1268: . 2 3 2^2 5 2.3^2 7^2 2^5 3 2.5^2 11^3 2^2.3 [sq=1]
 b1277: . 2 3 2^2 5 2.3^2 7^5 2^5 3 2.5^2 11^3 2^2.3 [sq=1]
 b1287: . 2 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^3 2^2.3 [sq=1]
 b1288: . 2 3 2^2 5.11^2 2.3^2 7^3 2^5 3 2.5^2 . 2^2.3 [sq=1]
 b1289: . 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11^2 2^2.3 [sq=1]
 b1290: . 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11^5 2^2.3 [sq=1]
 b1291: . 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11 2^2.3 [sq=1]
 b1292: . 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11^3 2^2.3 [sq=2]

В этой порции почти все паттерны проверились за доли секунды, за исключением трёх паттернов, на проверку которых потребовалось несколько секунд, например

001 pcoul(12 12) -f11 -g1000000: -x120402988681658048433948 -b1291 *RT*
367 coul(12, 12): recurse 305, walk 3467, walkc 3785039 (7.64s)

Осталось посчитать все эти паттерны с квадратами, но без 8p^2.

Считаю:
1-я порция - 10 шт.
2-я порция - 30 шт.
3-я порция - 36 шт.
4-я порция - 35 шт.
_________________
Итого: 111 шт.

Остались паттерны без квадратов, которых: 614 - 111 = 503 шт.

Цитата

На Ахиллесе запустила продолжение тестирования поиска текущей минимальной 12-ки.

Смотрите сообщение
https://boinc.progger.info/odlk/forum_thread.php?id=196&postid=10351
Покручу ещё немного ради интереса: вырулит или не вырулит.

Прервала.
Состояние на момент прерывания

001 pcoul(12 12) -f11 -g3 -x9887353188984012120346:120402988681658048433948 -b58 *RT*
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.29^2 2^2.7 3 2.11^2 17^2: 32463637 / 34333080 (339.93s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.139^2 2^2.7 3 2.11^2 17^2: 1043476 / 1494441 (701.89s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.1148878033^2 2^2.7 3 2.11^2 17^2 (1016.39s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.2773163551^2 2^2.7 3 2.11^2 17^2 (1325.87s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.4590192223^2 2^2.7 3 2.11^2 17^2 (1676.81s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.5986308857^2 2^2.7 3 2.11^2 17^2 (1928.86s)
. . . . . . . . . .
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5 2^2.7 3 2.11^2 61^2: 488919436 / 2242574864 (85276.73s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5 2^2.7 3 2.11^2 61^2: 839235613 / 2242574864 (85861.67s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5 2^2.7 3 2.11^2 61^2: 1183615693 / 2242574864 (86437.18s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5 2^2.7 3 2.11^2 61^2: 1526908501 / 2242574864 (87010.94s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5 2^2.7 3 2.11^2 61^2: 1872806195 / 2242574864 (87586.66s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5 2^2.7 3 2.11^2 61^2: 2217616691 / 2242574864 (88161.93s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5 2^2.7 3 2.11^2 67^2: 471798191 / 1858904226 (88737.78s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5 2^2.7 3 2.11^2 67^2: 816863918 / 1858904226 (89312.89s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5 2^2.7 3 2.11^2 67^2: 1159442616 / 1858904226 (89887.16s)

Чуть более суток работала программа. Похоже, это будет долго проверяться.

Выполню тестирование по-другому.
Смотрите следующее сообщение.

Идея такая:
разделила весь диапазон проверки [9887353188984012120346, 120402988681658048433948] на 100 частей.
[Hugo писал, что этот диапазон будет верным, когда будет доказана минимальность 11-ки. Буду считать, что минимальность 11-ки уже доказана.]
Далее буду проверять сотую часть диапазона командной строкой

pcoul.exe -rb58_12.txt -x119297832326731308070812:120402988681658048433948 -f11 -p5e8 -g12 -b58 12 12

Интересно посмотреть, сколько будет проверяться сотая часть диапазона.

Ура!
Ахиллес справился ещё с одним паттерном - b141

001 pcoul(12 11) -f11 -g3 -x9887353188984012120346 -b141 *RT*
305 11.1597077697^2 2 3.5^2 2^5 7^2 2.3^2 13^2 2^2.5 3 2 17^2 (585.24s)
305 11.6509865389^2 2 3.5^2 2^5 7^2 2.3^2 13^2 2^2.5 3 2 17^2 (1181.19s)
305 11.1704591773^2 2 3.5^2 2^5 7^2 2.3^2 13^2 2^2.5 3 2 19^2 (1768.44s)
305 11.6516873953^2 2 3.5^2 2^5 7^2 2.3^2 13^2 2^2.5 3 2 19^2 (2356.97s)
305 11.1955798797^2 2 3.5^2 2^5 7^2 2.3^2 13^2 2^2.5 3 2 23^2 (2942.35s)
305 11.6377837993^2 2 3.5^2 2^5 7^2 2.3^2 13^2 2^2.5 3 2 23^2 (3518.66s)
305 11.2086062731^2 2 3.5^2 2^5 7^2 2.3^2 13^2 2^2.5 3 2 29^2 (4095.49s)
305 11.6466765703^2 2 3.5^2 2^5 7^2 2.3^2 13^2 2^2.5 3 2 29^2 (4672.89s)
305 11.2295309067^2 2 3.5^2 2^5 7^2 2.3^2 13^2 2^2.5 3 2 31^2 (5250.56s)
305 11.6662346389^2 2 3.5^2 2^5 7^2 2.3^2 13^2 2^2.5 3 2 31^2 (5828.56s)
. . . . . . . . . . . . 
305 11 2 3.5^2 2^5 7^2 2.3^2 303579803^2 2^2.5 3 2 . (934898.72s)
305 11 2 3.5^2 2^5 7^2 2.3^2 4848887081^2 2^2.5 3 2 . (935478.09s)
305 11 2 3.5^2 2^5 7^2 2.3^2 13^5 2^2.5 3 2 1783888261^2 (936057.67s)
305 11 2 3.5^2 2^5 7^2 2.3^2 17^5 2^2.5 3 2 .: 53038303 / 897189502 (936636.60s)
305 11 2 3.5^2 2^5 7^2 2.3^2 17^5 2^2.5 3 2 .: 423106106 / 897189502 (937213.34s)
305 11 2 3.5^2 2^5 7^2 2.3^2 17^5 2^2.5 3 2 .: 767405131 / 897189502 (937789.87s)
305 11 2 3.5^2 2^5 7^2 2.3^2 19^5 2^2.5 3 2 .: 240704974 / 514470865 (938366.79s)
305 11 2 3.5^2 2^5 7^2 2.3^2 23^5 2^2.5 3 2 .: 81348002 / 197919967 (938944.19s)
367 coul(12, 11): recurse 53738893601, walk 53738968598, walkc 487150692007 (939395.50s)

10,87 суток проверялся.

У меня в проверке остались следующие паттерны

b109, LCM=6098400
b123, LCM=3880800
b127, LCM=3880800
b128, LCM=3880800
b143, LCM=3880800
b146, LCM=3880800

Перенесла паттерн b127 с черепашки на Ахиллес.
Побыстрее пойдёт проверка.
На черепашке остался один паттерн - b109.

corporaltermit не выходит на связь с прошлой субботы.
Не иначе что-то случилось :(

Hugo писал в сообщении
https://dxdy.ru/post1571564.html#p1571564

Unfortunately I have recently also been unable to reach CorporalTermit, who was making the Windows builds, and I do not know how long they may remain unavailable.

Совсем сердце упало :(
Бог с ними - с 13 паттернами, которые у него обрабатываются.
Что с ним самим случилось???

По поводу компиляции кода Hugo для Windows...

corporaltermit опытным путём установил, каким компилятором надо пользоваться.
Все подробности он сообщил Hugo.
Так что, вполне мог бы и господин Петухов компилировать, уже зная метод компиляции.

EUgeneUS писал в сообщении
https://dxdy.ru/post1571545.html#p1571545

Huz
Are you considering using a "two-stage booster" for patterns with LCM=554400?
That is, a further decrease in the threshold of simple ones is already individual for patterns.

Argumentation:
1. With the current value of the threshold, the calculation time will be:
1.1 Less than a day for patterns with LCM=42688800
1.2 Few days for patterns with LCM=6098400 and 3880800

2. But pattern calculation time with LCM=554400 continues to be problematic.

3. Perhaps the complicated procedure for starting programs will be difficult for some participants. However, we can first close the LCM=554400 pattern issue for ranges that are not allocated to participants with such difficulties.

Он настаивает на втором этапе ускорения программы Hugo.
Насколько понимаю из ответа Hugo, вполне можно обойтись и без этого этапа.

Sorry, I don't know what sort of "two-stage booster" you mean.

I am currently testing a pattern (b1619) having LCM-554400 with "-p5e7". It currently looks like it will complete in under 3 days (probably closer to 2 days), not long after the threshold itself reaches 5e7 - after 23h the main p^2 allocation has reached p=9467 and p is growing by about 1000 every 10 minutes, still accelerating slightly. My best guess is that growth will stabilize at between 1200 and 1500 per 10 minutes, then transition to linear search somewhere around 40000 < p < 60000 before it starts to accelerate again. That's the speed on my computer, of course, but the slowest computer among the contributors is no worse than half as fast.

https://dxdy.ru/post1571564.html#p1571564

То есть проверка паттерна с LCM-554400 у Hugo займёт несколько дней только с первым способом ускорения.
Кстати, порог для p у него уже p5e7.

Этот порог действителен для любого паттерна?
Или только для конкретного паттерна b1619?
Ранее для всех паттернов был рекомендован порог p5e8.

Цитата из письма Hugo

I have now handled all primes p > 10^8, so I recommend running
with "-p1e8".

I have not tested for a new optimal value of -g, anything from
"-g8" to "-g12" should give good results.

Здесь рекомендуется -p1e8.

И ещё одна цитата

Natalia: your use of pcoul to check cases for D(12,12) with
fixed squares looks correct, but is not particularly useful at
this point. It might instead be interesting to see how long
b58 takes with various settings of -p and -g. (For example -p1e3,
-p1e4, -p1e5, -p1e6, -p1e7, -p1e8; and -g4, -g8, -g12.)

Моя проверка 111 паттернов с квадратами (но без 8p^2) для 12-ок бесполезна, насколько понимаю.
Ну и ладно, я поигралась.
Что касается тестирования паттерна b58 для текущей минимальной 12-ки, полностью проверка выполняется очень долго. я начинала и прервала через сутки. (см. выше).

В данный момент тестирую сотую часть диапазона проверки для данного паттерна.
Тестирование выполняется на Ахиллесе.
Интересно, что кандидата программа уже выдала, но проверка продолжается.
Тестирование запущено так

pcoul.exe -rb58_12.txt -x119297832326731308070812:120402988681658048433948 -f11 -p5e8 -g12 -b58 12 12

Hugo пришлось выдержать ещё один натиск - убеждение в необходимости второго этапа ускорения с помощью дополнительной PARI-программы - теперь от господина Петухова.
Господин Петухов писал ранее, что возможно кто-нибудь любезно согласится выполнить эту дополнительную программу для самых трудных паттернов.
Флаг в руки господину Петухову!
Вместо того, чтобы бесконечно доказывать необходимость этого этапа, давно бы уже начал этот этап выполнять.
И потом быстренько (за несколько дней) перещёлкал бы все 66 трудных паттернов с LCM=554400.

Hugo же убеждён, что вполне достаточно одного порога для простых (параметр р), тем более что порог этот может быть ещё снижен - сразу для всех паттернов.

I don't know how accurate that calculation is. But I believe we have 66 patterns with LCM=554400, and we can get most of that benefit (and also benefit other patterns) from running sq12 for another 33 hours, for the same runtime cost and with no new code.

So the marginal benefit does not seem to me to justify the additional complexity and all its attendant costs.

https://dxdy.ru/post1571580.html#p1571580

Игра "Угадай слово"

Вчера был пролёт, была такая конструкция: **О*А.
Ну, слов с такой конструкцией можно придумать десятки; последнее слово, которое я ввела: ЮНОША.
Загадано было слово ВДОВА.
Конечно, это слово можно было угадать, если бы было не 6, а 20 попыток :)

Сегодня не пролёт, всё-таки угадала шестой попыткой.
Слово загадано безобразное, это иностранное слово, которое в России совсем не употребляется.
В общем, извращение!

Страдания души программиста...

Видимо да, именно мне и больше всех надо ... Душа программиста не выдерживает что программу счёта на несколько недель (суммарно) можно ещё ускорить в пару-тройку раз ... :)

https://dxdy.ru/post1571603.html#p1571603

Ха-ха-ха!
Так и ускорял бы! За чем дело стало?
Уже очень давно были обещаны "ускорители" (на АСМе), которых так ждёт Ядряра.
А их всё нет и нет.

Страдания души программиста продолжаются :)

b1619 можно посчитать за часов 10-12, часа за полтора опустив порог простых до 2e6-3e6 конкретно для него. Вместо 30ч. Но конечно если три месяца счёта (на 1 поток) устраивают и двух-трёх-кратное ускорение не интересует ...

https://dxdy.ru/post1571626.html#p1571626

Цитата

В данный момент тестирую сотую часть диапазона проверки для данного паттерна.
Тестирование выполняется на Ахиллесе.
Интересно, что кандидата программа уже выдала, но проверка продолжается.
Тестирование запущено так

pcoul.exe -rb58_12.txt -x119297832326731308070812:120402988681658048433948 -f11 -p5e8 -g12 -b58 12 12

Тестирование завершилось.
Очень интересный результат!
Подчеркну: проверялась сотая часть всего диапазона.

Показываю логи - с небольшим пропуском; до появления кандидата показано всё

001 pcoul(12 12) -p500000000 -f11 -g12 -x119297832326731308070812:120402988681658048433948 -b58 *RT*
305 2^2.3 7^2 2.5^2 3.468927377^2 2^5 13^2 2.3^2 5.17^2 2^2.7 3 2.11^2 23^2 (574.50s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.438962063^2 2^2.7 3 2.11^2 43^2 (1150.96s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.435414493^2 2^2.7 3 2.11^2 73^2 (1726.26s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.452493241^2 2^2.7 3 2.11^2 107^2 (2302.17s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.460259281^2 2^2.7 3 2.11^2 149^2 (2879.39s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.478494311^2 2^2.7 3 2.11^2 181^2 (3456.08s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.468684719^2 2^2.7 3 2.11^2 227^2 (4033.45s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.478159373^2 2^2.7 3 2.11^2 263^2 (4608.88s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.477880043^2 2^2.7 3 2.11^2 307^2 (5183.84s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.483472739^2 2^2.7 3 2.11^2 349^2 (5760.35s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.491580839^2 2^2.7 3 2.11^2 389^2 (6337.27s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.311603^2 2^2.7 3 2.11^2 439^2 (6913.78s)
305 2^2.3 7^2 2.5^2 3.267236831^2 2^5 17^2 2.3^2 5.13^2 2^2.7 3 2.11^2 19^2 (7488.70s)
305 2^2.3 7^2 2.5^2 3 2^5 17^2 2.3^2 5.257956813^2 2^2.7 3 2.11^2 41^2 (8065.91s)
305 2^2.3 7^2 2.5^2 3 2^5 17^2 2.3^2 5.274353389^2 2^2.7 3 2.11^2 71^2 (8641.92s)
305 2^2.3 7^2 2.5^2 3 2^5 17^2 2.3^2 5.296357707^2 2^2.7 3 2.11^2 103^2 (9218.60s)
305 2^2.3 7^2 2.5^2 3 2^5 17^2 2.3^2 5.304941983^2 2^2.7 3 2.11^2 139^2 (9795.10s)
305 2^2.3 7^2 2.5^2 3 2^5 17^2 2.3^2 5.317858501^2 2^2.7 3 2.11^2 179^2 (10372.55s)
305 2^2.3 7^2 2.5^2 3 2^5 17^2 2.3^2 5.325830173^2 2^2.7 3 2.11^2 223^2 (10948.45s)
305 2^2.3 7^2 2.5^2 3 2^5 17^2 2.3^2 5.335909179^2 2^2.7 3 2.11^2 257^2 (11523.95s)
305 2^2.3 7^2 2.5^2 3 2^5 17^2 2.3^2 5.340771037^2 2^2.7 3 2.11^2 293^2 (12100.09s)
305 2^2.3 7^2 2.5^2 3 2^5 17^2 2.3^2 5 2^2.7 3 2.11^2 156185873^2 (12676.91s)
305 2^2.3 7^2 2.5^2 3 2^5 19^2 2.3^2 5.170183921^2 2^2.7 3 2.11^2 23^2 (13253.50s)
305 2^2.3 7^2 2.5^2 3 2^5 19^2 2.3^2 5.199433407^2 2^2.7 3 2.11^2 53^2 (13833.25s)
305 2^2.3 7^2 2.5^2 3 2^5 19^2 2.3^2 5.294388417^2 2^2.7 3 2.11^2 83^2 (14419.78s)
305 2^2.3 7^2 2.5^2 3 2^5 19^2 2.3^2 5.372873973^2 2^2.7 3 2.11^2 113^2 (15006.67s)
305 2^2.3 7^2 2.5^2 3 2^5 19^2 2.3^2 5.450601759^2 2^2.7 3 2.11^2 157^2 (15594.58s)
305 2^2.3 7^2 2.5^2 3 2^5 19^2 2.3^2 5.38120843^2 2^2.7 3 2.11^2 197^2 (16182.31s)
305 2^2.3 7^2 2.5^2 3 2^5 19^2 2.3^2 5.113414989^2 2^2.7 3 2.11^2 239^2 (16769.67s)
305 2^2.3 7^2 2.5^2 3 2^5 19^2 2.3^2 5.183660053^2 2^2.7 3 2.11^2 277^2 (17355.98s)
305 2^2.3 7^2 2.5^2 3 2^5 23^2 2.3^2 5.88825871^2 2^2.7 3 2.11^2 13^2 (17943.20s)
305 2^2.3 7^2 2.5^2 3 2^5 23^2 2.3^2 5.177727117^2 2^2.7 3 2.11^2 37^2 (18531.14s)
305 2^2.3 7^2 2.5^2 3 2^5 23^2 2.3^2 5.282400523^2 2^2.7 3 2.11^2 67^2 (19118.19s)
305 2^2.3 7^2 2.5^2 3 2^5 23^2 2.3^2 5.384720781^2 2^2.7 3 2.11^2 101^2 (19704.99s)
305 2^2.3 7^2 2.5^2 3 2^5 23^2 2.3^2 5.473916721^2 2^2.7 3 2.11^2 137^2 (20291.88s)
305 2^2.3 7^2 2.5^2 3 2^5 23^2 2.3^2 5.45837109^2 2^2.7 3 2.11^2 179^2 (20879.17s)
305 2^2.3 7^2 2.5^2 3 2^5 23^2 2.3^2 5.127684369^2 2^2.7 3 2.11^2 223^2 (21466.13s)
305 2^2.3 7^2 2.5^2 3 2^5 23^2 2.3^2 5 2^2.7 3 2.11^2 67457759^2 (22053.63s)
305 2^2.3 7^2 2.5^2 3 2^5 29^2 2.3^2 5.91440043^2 2^2.7 3 2.11^2 41^2 (22632.72s)
305 2^2.3 7^2 2.5^2 3 2^5 29^2 2.3^2 5.97410539^2 2^2.7 3 2.11^2 71^2 (23209.06s)
305 2^2.3 7^2 2.5^2 3 2^5 29^2 2.3^2 5.95852401^2 2^2.7 3 2.11^2 103^2 (23785.05s)
305 2^2.3 7^2 2.5^2 3 2^5 29^2 2.3^2 5.94173529^2 2^2.7 3 2.11^2 139^2 (24361.21s)
305 2^2.3 7^2 2.5^2 3 2^5 29^2 2.3^2 5.86405393^2 2^2.7 3 2.11^2 179^2 (24937.21s)
305 2^2.3 7^2 2.5^2 3 2^5 29^2 2.3^2 5 2^2.7 3 2.11^2 486384931^2 (25513.40s)
305 2^2.3 7^2 2.5^2 3 2^5 31^2 2.3^2 5.469836131^2 2^2.7 3 2.11^2 41^2 (26089.62s)
305 2^2.3 7^2 2.5^2 3 2^5 31^2 2.3^2 5.472291769^2 2^2.7 3 2.11^2 71^2 (26665.64s)
305 2^2.3 7^2 2.5^2 3 2^5 31^2 2.3^2 5.492698287^2 2^2.7 3 2.11^2 103^2 (27242.52s)
305 2^2.3 7^2 2.5^2 3 2^5 31^2 2.3^2 5.4714447^2 2^2.7 3 2.11^2 149^2 (27818.33s)
305 2^2.3 7^2 2.5^2 3 2^5 31^2 2.3^2 5.9468131^2 2^2.7 3 2.11^2 181^2 (28395.21s)
305 2^2.3 7^2 2.5^2 3 2^5 37^2 2.3^2 5.427522441^2 2^2.7 3 2.11^2 29^2 (28972.38s)
305 2^2.3 7^2 2.5^2 3 2^5 37^2 2.3^2 5.458434127^2 2^2.7 3 2.11^2 61^2 (29549.87s)
305 2^2.3 7^2 2.5^2 3 2^5 37^2 2.3^2 5.465657781^2 2^2.7 3 2.11^2 97^2 (30126.24s)
305 2^2.3 7^2 2.5^2 3 2^5 37^2 2.3^2 5.454815871^2 2^2.7 3 2.11^2 131^2 (30702.68s)
305 2^2.3 7^2 2.5^2 3 2^5 41^2 2.3^2 5.355215313^2 2^2.7 3 2.11^2 13^2 (31279.28s)
305 2^2.3 7^2 2.5^2 3 2^5 41^2 2.3^2 5.367360067^2 2^2.7 3 2.11^2 43^2 (31856.37s)
305 2^2.3 7^2 2.5^2 3 2^5 41^2 2.3^2 5.381868787^2 2^2.7 3 2.11^2 73^2 (32432.98s)
305 2^2.3 7^2 2.5^2 3 2^5 41^2 2.3^2 5.395405519^2 2^2.7 3 2.11^2 107^2 (33010.78s)
305 2^2.3 7^2 2.5^2 3 2^5 41^2 2.3^2 5 2^2.7 3 2.11^2 317047811^2 (33587.98s)
305 2^2.3 7^2 2.5^2 3 2^5 43^2 2.3^2 5.336496781^2 2^2.7 3 2.11^2 37^2 (34165.64s)
305 2^2.3 7^2 2.5^2 3 2^5 43^2 2.3^2 5.345604121^2 2^2.7 3 2.11^2 71^2 (34742.37s)
305 2^2.3 7^2 2.5^2 3 2^5 43^2 2.3^2 5.46160707^2 2^2.7 3 2.11^2 107^2 (35327.02s)
305 2^2.3 7^2 2.5^2 3 2^5 47^2 2.3^2 5.265435873^2 2^2.7 3 2.11^2 17^2 (35915.14s)
305 2^2.3 7^2 2.5^2 3 2^5 47^2 2.3^2 5.81920401^2 2^2.7 3 2.11^2 53^2 (36503.31s)
305 2^2.3 7^2 2.5^2 3 2^5 47^2 2.3^2 5.436206877^2 2^2.7 3 2.11^2 83^2 (37097.94s)
305 2^2.3 7^2 2.5^2 3 2^5 47^2 2.3^2 5 2^2.7 3 2.11^2 145530113^2 (37686.00s)
305 2^2.3 7^2 2.5^2 3 2^5 53^2 2.3^2 5.11042137^2 2^2.7 3 2.11^2 41^2 (38282.43s)
305 2^2.3 7^2 2.5^2 3 2^5 53^2 2.3^2 5.307111081^2 2^2.7 3 2.11^2 73^2 (38870.36s)
305 2^2.3 7^2 2.5^2 3 2^5 53^2 2.3^2 5.133880353^2 2^2.7 3 2.11^2 109^2 (39463.32s)
202 Candidate 120402988681658048433948 (39836.12s)
305 2^2.3 7^2 2.5^2 3 2^5 59^2 2.3^2 5.396832349^2 2^2.7 3 2.11^2 31^2 (40051.76s)
305 2^2.3 7^2 2.5^2 3 2^5 59^2 2.3^2 5.212432747^2 2^2.7 3 2.11^2 71^2 (40639.84s)
305 2^2.3 7^2 2.5^2 3 2^5 61^2 2.3^2 5.469845023^2 2^2.7 3 2.11^2 13^2 (41228.30s)
. . . . . . . 
305 2^2.3 7^2 2.5^2 3 2^5 5623^2 2.3^2 5 2^2.7 3 2.11^2 312568903^2 (130519.64s)
305 2^2.3 7^2 2.5^2 3 2^5 5659^2 2.3^2 5 2^2.7 3 2.11^2 301930469^2 (131095.72s)
305 2^2.3 7^2 2.5^2 3 2^5 5717^2 2.3^2 5 2^2.7 3 2.11^2 300386467^2 (131674.02s)
305 2^2.3 7^2 2.5^2 3 2^5 5791^2 2.3^2 5 2^2.7 3 2.11^2 296446177^2 (132251.44s)
305 2^2.3 7^2 2.5^2 3 2^5 23027^2 2.3^2 5 2^2.7 3 2.11^2 .: 2655217 / 2659613 (132830.28s)
305 2^2.3 7^2 2.5^2 3 2^5 31^5 2.3^2 5 2^2.7 3 2.11^2 49098619^2 (133418.79s)
367 coul(12, 12): recurse 42777650793, walk 42777651494, walkc 721495728 (133491.99s)
200 f(12, 12) = 120402988681658048433948 (133491.99s)

Кандидат появился через 39836.12s = 11,06 ч.
После чего проверка ещё долго продолжалась.
Итоговое время: 133491.99s = 37,08 ч.

@Hugo
Вопрос #1: можем ли мы считать, что на проверку всего диапазона потребуется в 100 раз больше времени, чем на проверку сотой части диапазона?
А на проверку каждой сотой части потребуется примерно 37,08 ч.

Вопрос #2: Можно ли проверять паттерн таким способом - по частям?
Мы делим весь диапазон на 100 частей и проверяем каждую часть отдельно.
Таким образом, мы проверим существование решения во всём диапазоне.

Перенесла паттерн b109 с черепашки на Ахиллес.
На черепашке нет больше проверяемых паттернов, все 6 паттернов проверяются на Ахиллесе.
Напомню проверяемые у меня паттерны

b109, LCM=6098400
b123, LCM=3880800
b127, LCM=3880800
b128, LCM=3880800
b143, LCM=3880800
b146, LCM=3880800

corporaltermit на связь пока не вышел.
Судьба 13 проверяемых у него паттернов неизвестна.

Ура!
Ахиллес завершил проверку паттерна b143

001 pcoul(12 11) -f11 -g3 -x9887353188984012120346 -b143 *RT*
305 13^2 2 3.5^2 2^5 7^2.11 2.3^2 17^2 2^2.5 3 2 72978421^2 (575.53s)
305 13^2 2 3.5^2 2^5 7^2.11 2.3^2 17^2 2^2.5 3 2 4058003743^2 (1153.91s)
305 13^2 2 3.5^2 2^5 7^2.11 2.3^2 19^2 2^2.5 3 2 57454109^2 (1731.28s)
305 13^2 2 3.5^2 2^5 7^2.11 2.3^2 19^2 2^2.5 3 2 4131078547^2 (2311.56s)
305 13^2 2 3.5^2 2^5 7^2.11 2.3^2 23^2 2^2.5 3 2 735815569^2 (2889.17s)
305 13^2 2 3.5^2 2^5 7^2.11 2.3^2 23^2 2^2.5 3 2 4862904257^2 (3468.45s)
305 13^2 2 3.5^2 2^5 7^2.11 2.3^2 29^2 2^2.5 3 2 1736143621^2 (4048.37s)
305 13^2 2 3.5^2 2^5 7^2.11 2.3^2 31^2 2^2.5 3 2 19^2: 6420803 / 21727586 (4628.16s)
305 13^2 2 3.5^2 2^5 7^2.11 2.3^2 31^2 2^2.5 3 2 2927861191^2 (5205.89s)
305 13^2 2 3.5^2 2^5 7^2.11 2.3^2 37^2 2^2.5 3 2 471835703^2 (5784.44s)
305 13^2 2 3.5^2 2^5 7^2.11 2.3^2 37^2 2^2.5 3 2 4531158763^2 (6364.00s)
305 13^2 2 3.5^2 2^5 7^2.11 2.3^2 41^2 2^2.5 3 2 2193620309^2 (6942.87s)
. . . . . . . . . 
305 211997^2 2 3.5^2 2^5 7^2.11 2.3^2 . 2^2.5 3 2 .: 16389 / 28344 (891815.61s)
305 979787^2 2 3.5^2 2^5 7^2.11 2.3^2 . 2^2.5 3 2 .: 551 / 1326 (892406.57s)
305 3417535399^2 2 3.5^2 2^5 7^2.11 2.3^2 . 2^2.5 3 2 . (892997.83s)
305 13^5 2 3.5^2 2^5 7^2.11 2.3^2 827109247^2 2^2.5 3 2 . (893589.53s)
305 13^5 2 3.5^2 2^5 7^2.11 2.3^2 5115230431^2 2^2.5 3 2 . (894181.85s)
305 17^5 2 3.5^2 2^5 7^2.11 2.3^2 . 2^2.5 3 2 .: 445842131 / 897189502 (894772.10s)
305 19^5 2 3.5^2 2^5 7^2.11 2.3^2 . 2^2.5 3 2 .: 31957066 / 514470865 (895362.36s)
305 23^5 2 3.5^2 2^5 7^2.11 2.3^2 . 2^2.5 3 2 .: 21873608 / 197919966 (895953.30s)
367 coul(12, 11): recurse 54071445683, walk 54071453016, walkc 459106532905 (896365.65s)

Паттерн проверялся 10,37 суток.

У меня остались в проверке 5 паттернов

b109, LCM=6098400
b123, LCM=3880800
b127, LCM=3880800
b128, LCM=3880800
b146, LCM=3880800

Следующие 14 паттернов у нас ожидают проверки

b147, LCM=42688800
b148, LCM=42688800
b149, LCM=42688800
b151, LCM=3880800
b164, LCM=6098400
b179, LCM=3880800
b180, LCM=42688800
b181, LCM=42688800
b183, LCM=3880800
b184, LCM=3880800
b185, LCM=42688800
b186, LCM=42688800
b187, LCM=42688800
b189, LCM=3880800

На Ахиллесе освободился один поток.
Запущу проверку паттерна b147.

Последний рекомендуемый порог в сегодняшнем письме от Hugo: -р4e7.
Попробую запустить с этим порогом.
Какой параметр g наиболее оптимальный, не знаю. Запущу с -g12.

Запустила с командной строкой

pcoul -rb147.txt -x:9887353188984012120346 -f11 -p4e7 -g12 -b147 12 11

Время проверки должно уменьшиться.
Посмотрим.

Hugo сообщил, что Demis справился с компиляцией для Windows.
Но я пока не использую новую версию программы.

Отправила Hugo результаты для паттернов b133, b141, b143.

У меня в проверке 6 паттернов

b109, LCM=6098400
b123, LCM=3880800
b127, LCM=3880800
b128, LCM=3880800
b146, LCM=3880800
b147, LCM=42688800

Все они проверяются на Ахиллесе.

У-р-р-а-а-а!
corporaltermit появился.

Из 13 паттернов, находящихся у него в проверке,

b111, LCM=554400 
b115, LCM=554400 
b120, LCM=554400 
b166, LCM=554400 
b167, LCM=6098400 
b168, LCM=6098400 
b169, LCM=6098400 
b171, LCM=554400 
b172, LCM=6098400 
b173, LCM=6098400 
b174, LCM=6098400 
b176, LCM=554400 
b177, LCM=42688800

завершились 8 штук, в том числе один из самых трудных - b111.

Остались в проверке 5 самых трудных паттернов с шагом LCM=554400.

Покажу частично логи для паттерна b111

001 pcoul(12 11) -f11 -g3 -x9887353188984012120346 -b111
305 11.17^2 2.5^2 3 2^5 7.19^2 2.3^2 5 2^2 3 2 13^2: 454265961 / 505749056 (600.00s)
305 11.17^2 2.5^2 3 2^5 7.29^2 2.3^2 5 2^2 3 2 13^2: 51967953 / 217093233 (1200.00s)
305 11.17^2 2.5^2 3 2^5 7.37^2 2.3^2 5 2^2 3 2 13^2: 93923716 / 133364067 (1800.00s)
305 11.17^2 2.5^2 3 2^5 7.59^2 2.3^2 5 2^2 3 2 13^2: 50538338 / 52449125 (2400.00s)
305 11.17^2 2.5^2 3 2^5 7.197^2 2.3^2 5 2^2 3 2 13^2: 1778070 / 4704459 (3000.00s)
305 11.17^2 2.5^2 3 2^5 7.705618461^2 2.3^2 5 2^2 3 2 13^2 (3600.00s)
305 11.17^2 2.5^2 3 2^5 7.1763834591^2 2.3^2 5 2^2 3 2 13^2 (4200.00s)
305 11.17^2 2.5^2 3 2^5 7.2832987037^2 2.3^2 5 2^2 3 2 13^2 (4800.00s)
305 11.17^2 2.5^2 3 2^5 7.3911738713^2 2.3^2 5 2^2 3 2 13^2 (5400.00s)
305 11.17^2 2.5^2 3 2^5 7.4983508753^2 2.3^2 5 2^2 3 2 13^2 (6000.00s)
305 11.17^2 2.5^2 3 2^5 7.6039327443^2 2.3^2 5 2^2 3 2 13^2 (6600.00s)
305 11.17^2 2.5^2 3 2^5 7.7086962081^2 2.3^2 5 2^2 3 2 13^2 (7200.00s)
305 11.17^2 2.5^2 3 2^5 7.8125120111^2 2.3^2 5 2^2 3 2 13^2 (7800.00s)
. . . . . . . . . 
305 11 2.5^2 3 2^5 7 2.3^2 5 2^2 3 2 1980364361^2 (1796572.18s)
305 11.47^2 2.5^2 3 2^5 7 2.3^2 5 2^2 3 2 13^5: 7413734 / 10872122 (1797172.10s)
305 11.6270319609^2 2.5^2 3 2^5 7 2.3^2 5 2^2 3 2 13^5 (1797771.89s)
305 11.4986156479^2 2.5^2 3 2^5 7 2.3^2 5 2^2 3 2 17^5 (1798371.70s)
305 11.3184399247^2 2.5^2 3 2^5 7 2.3^2 5 2^2 3 2 19^5 (1798971.53s)
305 11.1817680807^2 2.5^2 3 2^5 7 2.3^2 5 2^2 3 2 23^5 (1799571.48s)
305 11 2.5^2 3 2^5 7 2.3^2 5 2^2 3 2 29^5: 76894861 / 434747246 (1800171.34s)
305 11 2.5^2 3 2^5 7 2.3^2 5 2^2 3 2 31^5: 182897462 / 311471533 (1800771.21s)
367 coul(12, 11): recurse 1790499468, walk 1790510607, walkc 2119016151 (1801328.87s)

Паттерн проверялся 20,85 суток.

Ура!
Ахиллес уже расправился с паттерном b147

001 pcoul(12 11) -p40000000 -f11 -g12 -x9887353188984012120346 -b147 *RT*
305 13^2 2 3.5^2 2^5 7^2 2.3^2 227^2 2^2.5 3.11^2 2 21656683^2 (581.17s)
305 13^2 2 3.5^2 2^5 7^2 2.3^2 2293^2 2^2.5 3.11^2 2 .: 114826 / 130328 (1163.49s)
305 17^2 2 3.5^2 2^5 7^2 2.3^2 233^2 2^2.5 3.11^2 2 535991^2 (1748.18s)
305 19^2 2 3.5^2 2^5 7^2 2.3^2 37^2 2^2.5 3.11^2 2 13575173^2 (2332.40s)
305 19^2 2 3.5^2 2^5 7^2 2.3^2 641^2 2^2.5 3.11^2 2 .: 726489 / 780751 (2916.86s)
305 23^2 2 3.5^2 2^5 7^2 2.3^2 233^2 2^2.5 3.11^2 2 20707807^2 (3502.64s)
305 29^2 2 3.5^2 2^5 7^2 2.3^2 173^2 2^2.5 3.11^2 2 20801089^2 (4086.63s)
305 31^2 2 3.5^2 2^5 7^2 2.3^2 197^2 2^2.5 3.11^2 2 .: 1584446 / 3105132 (4671.11s)
. . . . . . . . 
305 5309^2 2 3.5^2 2^5 7^2 2.3^2 38168971^2 2^2.5 3.11^2 2 . (18706.19s)
305 6029^2 2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3.11^2 2 .: 822479 / 3185997 (19291.78s)
305 7219^2 2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3.11^2 2 .: 1392920 / 2222194 (19877.18s)
305 9127^2 2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3.11^2 2 .: 1384411 / 1390208 (20462.10s)
305 12487^2 2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3.11^2 2 .: 218912 / 742710 (21047.30s)
305 20113^2 2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3.11^2 2 .: 162010 / 286273 (21631.92s)
305 58217^2 2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3.11^2 2 .: 22488 / 34168 (22217.33s)
367 coul(12, 11): recurse 4001309182, walk 4001386749, walkc 6388825454 (22558.26s)

Всего 6,27 ч.

У меня в проверке остались 5 паттернов

b109, LCM=6098400
b123, LCM=3880800
b127, LCM=3880800
b128, LCM=3880800
b146, LCM=3880800

corporaltermit взял оставшиеся 13 паттернов

b148, LCM=42688800
b149, LCM=42688800
b151, LCM=3880800
b164, LCM=6098400
b179, LCM=3880800
b180, LCM=42688800
b181, LCM=42688800
b183, LCM=3880800
b184, LCM=3880800
b185, LCM=42688800
b186, LCM=42688800
b187, LCM=42688800
b189, LCM=3880800

Итак, мы полностью проверили 77 паттернов, в проверке находятся 23 паттерна.