Ахиллес-3 молодец!
Вот завершилась проверка первого паттерна в третьем пакете (с LCM=5436568048111200) - b858.
Показываю частично логи

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b858 *RT*
305 . 2^2.3 11^2 2.5^2 3 2^5 7^5 2.3^2 5 2^2 3 2 13^5: 244944283 / 53957111753 (599.61s)
305 . 2^2.3 11^2 2.5^2 3 2^5 7^5 2.3^2 5 2^2 3 2 13^5: 487844878 / 53957111753 (1199.09s)
305 . 2^2.3 11^2 2.5^2 3 2^5 7^5 2.3^2 5 2^2 3 2 13^5: 731923571 / 53957111753 (1798.42s)
305 . 2^2.3 11^2 2.5^2 3 2^5 7^5 2.3^2 5 2^2 3 2 13^5: 976264282 / 53957111753 (2397.95s)
305 . 2^2.3 11^2 2.5^2 3 2^5 7^5 2.3^2 5 2^2 3 2 13^5: 1221736571 / 53957111753 (2997.47s)
305 . 2^2.3 11^2 2.5^2 3 2^5 7^5 2.3^2 5 2^2 3 2 13^5: 1463156840 / 53957111753 (3597.08s)
. . . . . . . . . 
305 . 2^2.3 11^2 2.5^2 3 2^5 7^5 2.3^2 5 2^2 3 2 13^5: 52565464577 / 53957111753 (129452.33s)
305 . 2^2.3 11^2 2.5^2 3 2^5 7^5 2.3^2 5 2^2 3 2 13^5: 52798114502 / 53957111753 (130051.50s)
305 . 2^2.3 11^2 2.5^2 3 2^5 7^5 2.3^2 5 2^2 3 2 13^5: 53030089292 / 53957111753 (130650.89s)
305 . 2^2.3 11^2 2.5^2 3 2^5 7^5 2.3^2 5 2^2 3 2 13^5: 53263313138 / 53957111753 (131250.34s)
305 . 2^2.3 11^2 2.5^2 3 2^5 7^5 2.3^2 5 2^2 3 2 13^5: 53499476692 / 53957111753 (131849.88s)
305 . 2^2.3 11^2 2.5^2 3 2^5 7^5 2.3^2 5 2^2 3 2 13^5: 53733379477 / 53957111753 (132449.17s)
367 coul(12, 13): recurse 1081, walk 13772, walkc 16271465152 (133004.05s)

Остановила и этот пакет.

А почему в теме "Пентадекатлон мечты" не звучат фанфары?
Все обалдели от такого ускорения господина Петухова и дар речи (письма) потеряли? :)

В первом пакете проверился второй паттерн - b284.

Показываю частично логи

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b284 *RT*
305 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7^5 2^2.3 13^5 2 3^2.5: 459472621 / 53957111754 (598.88s)
305 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7^5 2^2.3 13^5 2 3^2.5: 923557933 / 53957111754 (1197.23s)
305 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7^5 2^2.3 13^5 2 3^2.5: 1387809853 / 53957111754 (1796.00s)
305 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7^5 2^2.3 13^5 2 3^2.5: 1859810311 / 53957111754 (2394.86s)
305 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7^5 2^2.3 13^5 2 3^2.5: 2330121958 / 53957111754 (2993.78s)
305 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7^5 2^2.3 13^5 2 3^2.5: 2785823368 / 53957111754 (3592.44s)
. . . . . . . . . . 
305 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7^5 2^2.3 13^5 2 3^2.5: 51691847104 / 53957111754 (67135.77s)
305 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7^5 2^2.3 13^5 2 3^2.5: 52150386271 / 53957111754 (67734.77s)
305 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7^5 2^2.3 13^5 2 3^2.5: 52610634397 / 53957111754 (68333.61s)
305 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7^5 2^2.3 13^5 2 3^2.5: 53061554941 / 53957111754 (68932.55s)
305 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7^5 2^2.3 13^5 2 3^2.5: 53499658849 / 53957111754 (69531.72s)
305 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7^5 2^2.3 13^5 2 3^2.5: 53942843797 / 53957111754 (70131.22s)
367 coul(12, 13): recurse 1142, walk 14562, walkc 35049144570 (70151.16s)

Остановила и этот пакет.

В четвёртом пакете проверка должна завершиться к утру, если всё будет нормально на Ахиллесе-3.

Завершилась проверка второго пакета паттернов с LCM=21096420035090400 (22 паттерна).
Показываю частично логи последних проверенных паттернов

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b5262 *RT*
305 . 2 3 2^2 5 2.3^2 7^2 2^5 3 2.5^2 11^5 2^2.3 13^5: 383341756 / 13904800399 (585.19s)
305 . 2 3 2^2 5 2.3^2 7^2 2^5 3 2.5^2 11^5 2^2.3 13^5: 764563974 / 13904800399 (1170.13s)
. . . . . . . . 
305 . 2 3 2^2 5 2.3^2 7^2 2^5 3 2.5^2 11^5 2^2.3 13^5: 13387241260 / 13904800399 (20481.11s)
305 . 2 3 2^2 5 2.3^2 7^2 2^5 3 2.5^2 11^5 2^2.3 13^5: 13771107402 / 13904800399 (21066.12s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800423 (21270.47s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b5631 *RT*
305 13^5 2 3 2^2.7 5 2.3^2 11^5 2^5 3 2.5^2 7^2 2^2.3 .: 424935988 / 13904800399 (585.44s)
305 13^5 2 3 2^2.7 5 2.3^2 11^5 2^5 3 2.5^2 7^2 2^2.3 .: 795487447 / 13904800399 (1170.83s)
. . . . . . . .
305 13^5 2 3 2^2.7 5 2.3^2 11^5 2^5 3 2.5^2 7^2 2^2.3 .: 13195153514 / 13904800399 (19918.97s)
305 13^5 2 3 2^2.7 5 2.3^2 11^5 2^5 3 2.5^2 7^2 2^2.3 .: 13614233687 / 13904800399 (20506.56s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800423 (20913.74s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b5639 *RT*
305 . 2 3 2^2.7 5 2.3^2 11^5 2^5 3 2.5^2 7^2 2^2.3 13^5: 408093194 / 13904800398 (588.08s)
305 . 2 3 2^2.7 5 2.3^2 11^5 2^5 3 2.5^2 7^2 2^2.3 13^5: 815799184 / 13904800398 (1176.09s)
. . . . . . . .
305 . 2 3 2^2.7 5 2.3^2 11^5 2^5 3 2.5^2 7^2 2^2.3 13^5: 13173325252 / 13904800398 (18953.34s)
305 . 2 3 2^2.7 5 2.3^2 11^5 2^5 3 2.5^2 7^2 2^2.3 13^5: 13581004069 / 13904800398 (19545.68s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800422 (20015.68s)

Всё!
Поверка 44 паттернов для D(12,13) с LCM=21096420035090400 завершена.
Цепочек не найдено.
Частично логи всех 44 паттернов показаны.
Если Hugo надо, могу выслать полные логи этих паттернов, файлы у меня сохранены.
А также для всех других полностью проверенных паттернов для D(12,13) (с квадратами и без квадратов) могу выслать логи.
Частично они тоже все показаны здесь.

Сейчас пойду смотреть, как дела у Ахиллеса-3.

Посмотрела. Ахиллес-3 пока молодцом! Трудится.
Оказывается, в четвёртом пакете (с LCM=5436568048111200) два паттерна запустила на Ахиллесе-3: b937 и b944.
Оба они близки к завершению, сегодня завершатся.
C LCM=5436568048111200 пока полностью проверены следующие паттерны: b280, b284, b567, b858.

Как завершится проверка паттернов b937 и b944, остановлю и четвёртый пакет.
Не вижу абсолютно никакого смысла пересчитывать посчитанное господином Петуховым.
Если нужна независимая проверка посчитанного, её сделает автор проекта Hugo.

Репост

Вот господин Петухов что-то делает для задачи
https://dxdy.ru/post1576553.html#p1576553

И не обращает никакого внимания на мои эксперименты.
Очень правильно делает.

Правда, некоторые эксперименты имеют вполне конкретные результаты, но это, скорее, надо видеть Hugo.
Он ведь автор и координатор проекта по минимизации цепочек.
______________________________________
конец репоста

Да, совершенно правильно делает.
Ну, случайно сел мне на хвост :)
Он же не читает этот блог и ничего не знал про то, что там глупая шестиклассница считает.
Главное, что Hugo читает форум dxdy.ru!
И знает. что Супермен считает.

Репост

Выбрала все паттерны с одним квадратом для D(12,15) из общего списка паттернов, полученного программой Hugo pcoul

b127: 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13 [sq=1]
b128: 3^2.5 2 11 2^2.3 7^2.13 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 . [sq=1]
b129: 3^2.5 2 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 . [sq=1]
b130: 3^2.5 2 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 . [sq=1]
b196: 3^2.5 2.13^2 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13 [sq=1]
b197: 3^2.5 2 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 . [sq=1]
b198: 3^2.5 2 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 . [sq=1]
b248: 3^2.5 2.13^2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13 [sq=1]
b249: 3^2.5 2 11 2^2.3 7.13^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 . [sq=1]
b250: 3^2.5 2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 . [sq=1]
b251: 3^2.5 2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 . [sq=1]
b571: . 2 3 2^2 5.11^2 2.3^2 7 *2^5* 3 2.5^2 . 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b582: . 2 3 2^2 5 2.3^2 7.11^2 *2^5* 3 2.5^2 . 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b602: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^2 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b611: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^5 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b621: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b622: . 2 3.13^2 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b623: . 2 3 2^2.13 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b624: . 2 3 2^2 5.13^2 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b625: . 2 3 2^2 5 2.3^2 7 *2^5* 3.13^2 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b626: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13^2 2.7^2 3^2.5 [sq=1]
b627: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13^5 2.7^2 3^2.5 [sq=1]
b628: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13 2.7^2 3^2.5 [sq=1]

Да, их 23 штуки.
Сейчас запущу в проверку этот пакет паттернов.

Готово!
Запуск пакета такой

pcoul -rb128_15.txt -x80215613469168729088982885848674841 -f13 -b128 12 15
pcoul -rb129_15.txt -x80215613469168729088982885848674841 -f13 -b129 12 15
pcoul -rb130_15.txt -x80215613469168729088982885848674841 -f13 -b130 12 15
pcoul -rb196_15.txt -x80215613469168729088982885848674841 -f13 -b196 12 15
pcoul -rb197_15.txt -x80215613469168729088982885848674841 -f13 -b197 12 15
pcoul -rb198_15.txt -x80215613469168729088982885848674841 -f13 -b198 12 15
pcoul -rb248_15.txt -x80215613469168729088982885848674841 -f13 -b248 12 15
pcoul -rb249_15.txt -x80215613469168729088982885848674841 -f13 -b249 12 15
pcoul -rb250_15.txt -x80215613469168729088982885848674841 -f13 -b250 12 15
pcoul -rb251_15.txt -x80215613469168729088982885848674841 -f13 -b251 12 15
pcoul -rb571_15.txt -x80215613469168729088982885848674841 -f13 -b571 12 15
pcoul -rb582_15.txt -x80215613469168729088982885848674841 -f13 -b582 12 15
pcoul -rb602_15.txt -x80215613469168729088982885848674841 -f13 -b602 12 15
pcoul -rb611_15.txt -x80215613469168729088982885848674841 -f13 -b611 12 15
pcoul -rb621_15.txt -x80215613469168729088982885848674841 -f13 -b621 12 15
pcoul -rb622_15.txt -x80215613469168729088982885848674841 -f13 -b622 12 15
pcoul -rb623_15.txt -x80215613469168729088982885848674841 -f13 -b623 12 15
pcoul -rb624_15.txt -x80215613469168729088982885848674841 -f13 -b624 12 15
pcoul -rb625_15.txt -x80215613469168729088982885848674841 -f13 -b625 12 15
pcoul -rb626_15.txt -x80215613469168729088982885848674841 -f13 -b626 12 15
pcoul -rb627_15.txt -x80215613469168729088982885848674841 -f13 -b627 12 15
pcoul -rb628_15.txt -x80215613469168729088982885848674841 -f13 -b628 12 15
pause

Программа побежала.
Как шустро будет бежать - посмотрим.
Если будет в среднем 14 часов на один паттерн, то это на 13 суток.

Это последний пакет паттернов с квадратами для всех оставшихся цепочек с 12 делителями.
_________________________________________
конец репоста

На Ахиллесе запущена проверка этих паттернов с одним квадратом для D(12,15).
Паттерн b127 проверен давно, паттерн b128 в процессе.
Попался долгоиграющий паттерн.
Показываю логи на данный момент

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b128 *RT*
305 3^2.5 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 589553862744751987827 / 794994821341047138268307940 (577.73s)
305 3^2.5 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 2344701285187424022101 / 794994821341047138268307940 (1154.92s)
305 3^2.5 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 5345605048456722248532 / 794994821341047138268307940 (1742.73s)
305 3^2.5 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 9472362250489470066848 / 794994821341047138268307940 (2319.41s)
305 3^2.5 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 14781796738219910045790 / 794994821341047138268307940 (2895.88s)
305 3^2.5 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 21260738704840189497734 / 794994821341047138268307940 (3472.66s)
305 3^2.5 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 28891185689758182742344 / 794994821341047138268307940 (4048.97s)
. . . . . . . . . . . 
305 3^2.5 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 189458716613580682957282949 / 794994821341047138268307940 (319738.06s)
305 3^2.5 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 190324405698912541616429691 / 794994821341047138268307940 (320325.60s)
305 3^2.5 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 191222619940700493764320787 / 794994821341047138268307940 (320925.10s)
305 3^2.5 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 192082290806188620207582071 / 794994821341047138268307940 (321509.96s)
305 3^2.5 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 192956096149569154049092800 / 794994821341047138268307940 (322104.22s)
305 3^2.5 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 193815953876433431310633693 / 794994821341047138268307940 (322687.68s)

По примеру, приведённому господином Петуховым для паттерна b127, я не задала ни параметр g, ни параметр p.
Не знаю, правильно ли это.
Может быть, параметр g надо задавать.
Помнится, для D(12,11) Hugo рекомендовал параметр g для паттернов с квадратами.
При этом значение этого параметра было разным для паттернов с одним квадратом и с несколькими квадратами.
О параметре р в тот момент речь ещё не шла.

Ладно, пусть покрутится проверка этого паттерна, авось вырулит.
Хотя до конца ещё очень далеко.

Попробую на Ахиллесе-3 запустить проверку следующего паттерна в этом пакете - b129.
Пока не видела сообщения на dxdy.ru от господина Петухова о том, что он проверяет эти паттерны для D(12,15), кроме уже указанного примера - b127.
Ну, может скоро и увижу :)
Господин Петухов любит садиться мне на хвост, эта любовь у него давняя.

Запустила на Ахиллесе-3 проверку трёх паттернов для D(12,15) с одним квадратом: b129, b130, b196 (каждый в отдельном потоке).
Бог любит троицу :)
Пусть покрутятся.

На Ахиллесе-3 пока задействовано 10 потоков.
Можно ещё 10 потоков задействовать.
Пока мы с владельцем Ахиллеса-3 наблюдаем за его поведением :)
На данный момент всё работает стабильно.

Тэк-с, ещё на Ахиллесе выполняется тест для паттерна, дающего известную минимальную 14-ку - b1371.
Что-то проверка завязла, даже кандидат ещё не появился.
Покажу частично логи на данный момент

001 pcoul(12 14) -p50 -f13 -g9 -x1966089440441196672524986345512345 -b1371 *RT*
305 3^2.5 2.29^2 13^2 2^2.3 7^2 2.5^2 3.11^2 2^5 17^2 2.3^2 5.19^2 2^2.7 3.23^2 2.31^2: 673162258 / 3054868521 (577.22s)
305 3^2.5 2.29^2 13^2 2^2.3 7^2 2.5^2 3.11^2 2^5 17^2 2.3^2 5.19^2 2^2.7 3.23^2 2.31^2: 1350148975 / 3054868521 (1157.76s)
305 3^2.5 2.29^2 13^2 2^2.3 7^2 2.5^2 3.11^2 2^5 17^2 2.3^2 5.19^2 2^2.7 3.23^2 2.31^2: 2024045671 / 3054868521 (1738.49s)
305 3^2.5 2.29^2 13^2 2^2.3 7^2 2.5^2 3.11^2 2^5 17^2 2.3^2 5.19^2 2^2.7 3.23^2 2.31^2: 2702283274 / 3054868521 (2319.41s)
305 3^2.5 2.29^2 13^2 2^2.3 7^2 2.5^2 3.11^2 2^5 17^2 2.3^2 5.19^2 2^2.7 3.23^2 2.37^2: 316792222 / 2144432906 (2894.83s)
. . . . . . . 
305 3^2.5 2.23^2 13^2 2^2.3 7^2 2.5^2 3.11^2 2^5 17^2 2.3^2 5.37^2 2^2.7 3.31^2 2.29^2: 266436358 / 805557001 (584580.82s)
305 3^2.5 2.23^2 13^2 2^2.3 7^2 2.5^2 3.11^2 2^5 17^2 2.3^2 5.37^2 2^2.7 3.31^2 2.41^2: 321403803 / 403018106 (585165.68s)
305 3^2.5 2.29^2 13^2 2^2.3 7^2 2.5^2 3.11^2 2^5 17^2 2.3^2 5.37^2 2^2.7 3.31^2 2.19^2: 100962244 / 1180442255 (585750.12s)
305 3^2.5 2.29^2 13^2 2^2.3 7^2 2.5^2 3.11^2 2^5 17^2 2.3^2 5.37^2 2^2.7 3.31^2 2.19^2: 963979174 / 1180442255 (586339.18s)
305 3^2.5 2.29^2 13^2 2^2.3 7^2 2.5^2 3.11^2 2^5 17^2 2.3^2 5.37^2 2^2.7 3.31^2 2.23^2: 640999664 / 805557002 (586923.90s)

Почти 7 суток идёт проверка.

Наконец, на Ахиллесе проверяется минимальность D(36,6).
Вот уж поистине чудеса!
Такая короткая цепочка и - никак не проверится. И известная минимальная 6-ка не такая уж большая.

Показываю логи на данный момент

001 pcoul(36 6) -f5 -g3 -x2595541876334839548 *RT*
305 2^8.3 5^2 2.31^2 3.37^2 2^2 7^2: 738654 / 1048512 (582.65s)
305 2^8.3 5^2 2.16870181^2 3.359^2 2^2 7^2 (1166.14s)
305 2^8.3 5^2 2 3.2791^2 2^2 7^2: 161855 / 177083 (1748.72s)
305 2^8.3 5^2 2.18728447^2 3.101^2 2^2 11^2 (2330.89s)
305 2^8.3 5^2 2 3.643^2 2^2 11^2: 341355 / 1351105 (2914.33s)
305 2^8.3 5^2 2.35400061^2 3.89^2 2^2 13^2 (3496.34s)
305 2^8.3 5^2 2 3.1171^2 2^2 13^2: 8731 / 291672 (4078.80s)
305 2^8.3 5^2 2 3.163^2 2^2 17^2: 5655977 / 8802858 (4661.73s)
305 2^8.3 5^2 2.18566347^2 3.73^2 2^2 19^2 (5243.77s)
. . . . . . . . . . 
305 2^8 3.5^2 2 7^2 2^2.3^2 223^2: 3833187 / 9246337 (2207175.47s)
305 2^8 3.5^2 2 7^2 2^2.3^2 269^2: 183898 / 6354405 (2207768.48s)
305 2^8 3.5^2 2 7^2 2^2.3^2 349^2: 2494916 / 3775101 (2208361.28s)
305 2^8 3.5^2 2 7^2 2^2.3^2 509^2: 525864 / 1774777 (2208954.21s)
305 2^8 3.5^2 2 7^2 2^2.3^2 1061^2: 59981 / 408458 (2209547.46s)
305 2^8 3.5^2 2.47^2 11^2 2^2.3^2 7^2: 1233114 / 1720276 (2210140.58s)
305 2^8 3.5^2 2.1851127^2 11^2 2^2.3^2 37^2 (2210733.27s)
305 2^8 3.5^2 2 11^2 2^2.3^2 137^2: 804660 / 9920853 (2211326.20s)

Проверка выполняется уже более 25 суток.
Ни разу не прерывалась.

Проверка идёт сразу для всех паттернов.
Параметр g, конечно, задан с потолка.
Может быть, его надо совсем не таким задать.

На Ахиллесе задействовано 8 потоков.
При этом задачи из проекта Hugo считаются в трёх потоках.
В остальных пяти потоках считаются задачи моих проектов.

Сейчас думаю, чем загрузить Ахиллес-3.
Для задач из проекта Hugo на нём задействовано в данный момент пять потоков (из 10 задействованных).
Два из этих потоков близки к завершению.

У меня задач очень много в разных проектах, трудно установить приоритет.

Кстати, о птичках...
Почему бы господину Петухову не привлечь к вычислениям по своей программе с ускорителями для 13-ок участников проекта?
Или он решил сам всё посчитать, чтобы лавры ни с кем не делить? :))
А то придёт глупая шестиклассница и найдёт минимальную 13-ку по его программе.
Вот досада-то будет! :)))

Опа!
Паттерн b196 отстрелялся!

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b196 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 188968195 (262.91s)

Запустила паттерн b197.

Состояние проверки паттернов с одним квадратом для D(12,15)

b127: 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13 [sq=1] - проверен
b128: 3^2.5 2 11 2^2.3 7^2.13 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 . [sq=1] - в процессе
b129: 3^2.5 2 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 . [sq=1] - в процессе
b130: 3^2.5 2 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 . [sq=1] - в процессе
b196: 3^2.5 2.13^2 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13 [sq=1] - проверен
b197: 3^2.5 2 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 . [sq=1] - проверен
b198: 3^2.5 2 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 . [sq=1] - проверен
b248: 3^2.5 2.13^2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13 [sq=1] - в процессе
b249: 3^2.5 2 11 2^2.3 7.13^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 . [sq=1]
b250: 3^2.5 2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 . [sq=1]
b251: 3^2.5 2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 . [sq=1]
b571: . 2 3 2^2 5.11^2 2.3^2 7 *2^5* 3 2.5^2 . 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b582: . 2 3 2^2 5 2.3^2 7.11^2 *2^5* 3 2.5^2 . 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b602: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^2 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b611: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^5 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b621: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b622: . 2 3.13^2 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b623: . 2 3 2^2.13 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b624: . 2 3 2^2 5.13^2 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b625: . 2 3 2^2 5 2.3^2 7 *2^5* 3.13^2 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b626: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13^2 2.7^2 3^2.5 [sq=1]
b627: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13^5 2.7^2 3^2.5 [sq=1]
b628: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13 2.7^2 3^2.5 [sq=1]

Опа! Паттерн b197 отстрелялся

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b197 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 188968196 (255.83s)

Отметила его в состоянии проверки.
Сейчас запущу паттерн b198.

Пока пила чай, паттерн b198 отстрелялся.

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b198 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 188968196 (259.80s)

Отметила в состоянии проверки.
Сейчас запущу паттерн b248.
Очень разное время проверки в этой группе паттернов.

Ну вот, как здорово у наших умников получается :)

Дела идут,
https://dxdy.ru/post1576906.html#p1576906
контора пишет
https://dxdy.ru/post1576912.html#p1576912

Нет только "касса деньги выдаёт" :)

Тэк-с, теперь независимую проверку минимальности D(12,13) будет делать Hugo.
Как он её будет делать - пока покрыто мраком неизвестности.
Надеюсь, что как-нибудь будет.

Состояние проверки паттернов с одним квадратом для D(12,15)

b127: 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13 [sq=1] - проверен
b128: 3^2.5 2 11 2^2.3 7^2.13 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 . [sq=1] - в процессе
b129: 3^2.5 2 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 . [sq=1] - в процессе
b130: 3^2.5 2 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 . [sq=1] - в процессе
b196: 3^2.5 2.13^2 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13 [sq=1] - проверен
b197: 3^2.5 2 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 . [sq=1] - проверен
b198: 3^2.5 2 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 . [sq=1] - проверен
b248: 3^2.5 2.13^2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13 [sq=1] - в процессе
b249: 3^2.5 2 11 2^2.3 7.13^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 . [sq=1] - в процессе
b250: 3^2.5 2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 . [sq=1] - в процессе
b251: 3^2.5 2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 . [sq=1]
b571: . 2 3 2^2 5.11^2 2.3^2 7 *2^5* 3 2.5^2 . 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b582: . 2 3 2^2 5 2.3^2 7.11^2 *2^5* 3 2.5^2 . 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b602: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^2 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b611: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^5 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b621: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b622: . 2 3.13^2 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b623: . 2 3 2^2.13 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b624: . 2 3 2^2 5.13^2 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b625: . 2 3 2^2 5 2.3^2 7 *2^5* 3.13^2 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b626: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13^2 2.7^2 3^2.5 [sq=1]
b627: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13^5 2.7^2 3^2.5 [sq=1]
b628: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13 2.7^2 3^2.5 [sq=1]

Новых проверенных паттернов нет, есть ещё два запущенных: b249 и b250.
Опять все проверяемые паттерны долгоиграющие.
Что-то в квадратных паттернах не находится ни одна цепочка, какие-то они бесперспективные.

В четвёртом пакете паттернов для D(12,13) с LCM=5436568048111200 проверились два паттерна: b937 и b944.
Показываю частично логи

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b937 *RT*
305 11 2^2.3 13^5 2.5^2 3 2^5 7^5 2.3^2 5 2^2 3 2.11^2 .: 233572363 / 53957111754 (599.01s)
305 11 2^2.3 13^5 2.5^2 3 2^5 7^5 2.3^2 5 2^2 3 2.11^2 .: 477038343 / 53957111754 (1197.44s)
. . . . . . . . . 
305 11 2^2.3 13^5 2.5^2 3 2^5 7^5 2.3^2 5 2^2 3 2.11^2 .: 53683811140 / 53957111754 (134250.47s)
305 11 2^2.3 13^5 2.5^2 3 2^5 7^5 2.3^2 5 2^2 3 2.11^2 .: 53917197537 / 53957111754 (134849.36s)
367 coul(12, 13): recurse 1074, walk 13682, walkc 46117911744 (134952.89s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b944 *RT*
305 11 2^2.3 . 2.5^2 3 2^5 7^5 2.3^2 5 2^2 3 2.11^2 13^5: 251754015 / 53957111753 (598.76s)
305 11 2^2.3 . 2.5^2 3 2^5 7^5 2.3^2 5 2^2 3 2.11^2 13^5: 503446245 / 53957111753 (1197.55s)
. . . . . . . . . . 
305 11 2^2.3 . 2.5^2 3 2^5 7^5 2.3^2 5 2^2 3 2.11^2 13^5: 53587508823 / 53957111753 (134222.33s)
305 11 2^2.3 . 2.5^2 3 2^5 7^5 2.3^2 5 2^2 3 2.11^2 13^5: 53833605382 / 53957111753 (134822.33s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 53957111777 (135124.83s)

Остановила этот пакет.
Всё, паттерны с LCM=5436568048111200 больше не проверяются.
Проверены паттерны: b280, b284, b567, b858, b937, b944.
Цепочек не найдено.

О своей супер-пупер-программе господин Петухов сообщил здесь
https://dxdy.ru/post1576867.html#p1576867

Независимое подтверждение 13-ек без квадратов:
(7236072072036007200)
(21096420035090400)
LCM=5436568048111200 считаются примерно по паре-тройке минут каждый, т.е. будут готовы к ночи (запущено в одном потоке).
Перебор везде линейный, ускорителями.

Одна короткая фраза: "Перебор везде линейный, ускорителями."

Вопрос задал только Евгений
https://dxdy.ru/post1576915.html#p1576915

А при этой проверке учитывается ли возможная расстановка необязательных простых в степенях больше квадарта?
Или при линейном поиске это учитвается автоматически?

Ответ господина Петухова здесь
https://dxdy.ru/post1576963.html#p1576963

В данном случае даже шаг (LCM) исходного паттерна достаточно велик чтобы запустить линейный перебор (с ускорителями) без подстановки дополнительных простых, т.е. ровно по тому паттерну, что есть в списке. Что там будет во всех местах где numdiv<>6 ускоритель не волнует, это будет выявлено в PARI при выводе в лог. Т.е. будет найдено всё что возможно.

Ну, вполне естественно, что я в этом ответе ничего не поняла.
Евгений, видимо, всё понял.
Удивило то, что дотошный господин Никонов ничего не спросил о программе, наверное, тоже всё понял.
Возможно, он спросил в личке.

Hugo на форуме появлялся, но ничего не спросил о супер-пупер-программе господина Петухова и его проверках паттернов для D(12,13).

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

Сегодня сыграла на "отлично" :)
Первая попытка ЧИСЛО, второй попыткой слово угадано.
Игра длилась 30 секунд.

Мне очень интересно, каким образом залетает в голову первое проверочное слово.
Оно действительно залетает, только я открою игру :)
Но вот никогда не залетает то самое слово, которое загадано!

Цитата

Состояние проверки паттернов с одним квадратом для D(12,15)

b127: 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13 [sq=1] - проверен
b128: 3^2.5 2 11 2^2.3 7^2.13 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 . [sq=1] - в процессе
b129: 3^2.5 2 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 . [sq=1] - в процессе
b130: 3^2.5 2 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 . [sq=1] - в процессе
b196: 3^2.5 2.13^2 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13 [sq=1] - проверен
b197: 3^2.5 2 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 . [sq=1] - проверен
b198: 3^2.5 2 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 . [sq=1] - проверен
b248: 3^2.5 2.13^2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13 [sq=1] - в процессе
b249: 3^2.5 2 11 2^2.3 7.13^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 . [sq=1]
b250: 3^2.5 2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 . [sq=1]
b251: 3^2.5 2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 . [sq=1]
b571: . 2 3 2^2 5.11^2 2.3^2 7 *2^5* 3 2.5^2 . 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b582: . 2 3 2^2 5 2.3^2 7.11^2 *2^5* 3 2.5^2 . 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b602: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^2 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b611: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^5 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b621: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b622: . 2 3.13^2 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b623: . 2 3 2^2.13 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b624: . 2 3 2^2 5.13^2 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b625: . 2 3 2^2 5 2.3^2 7 *2^5* 3.13^2 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b626: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13^2 2.7^2 3^2.5 [sq=1]
b627: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13^5 2.7^2 3^2.5 [sq=1]
b628: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13 2.7^2 3^2.5 [sq=1]

Есть небольшое продвижение, проверились паттерны b129 и b130.
Были запущены паттерны b249 и b250.
Сейчас запущу паттерны b251 и b571.

Покажу частично логи двух последних проверенных паттернов

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b129 *RT*
305 3^2.5 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 2667655231834213404980 / 61153447795465164482177532 (598.70s)
305 3^2.5 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 10973569600561504833654 / 61153447795465164482177532 (1197.55s)
. . . . . . . . 
305 3^2.5 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 59641012083074728809683936 / 61153447795465164482177532 (86236.72s)
305 3^2.5 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 60426850943610656585324738 / 61153447795465164482177532 (86835.28s)
367 coul(12, 15): recurse 280, walk 3786, walkc 64816086764 (87376.80s)

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b130 *RT*
305 3^2.5 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 2751783543557457132683 / 61153447795465164482177533 (598.39s)
305 3^2.5 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 11148698814153788212251 / 61153447795465164482177533 (1197.33s)
. . . . . . . . 
305 3^2.5 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 60314573907612358820494074 / 61153447795465164482177533 (86849.17s)
305 3^2.5 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 61113502324540809404812507 / 61153447795465164482177533 (87447.72s)
367 coul(12, 15): recurse 280, walk 3786, walkc 64816086764 (87479.36s)

Состояние проверки на данный момент

b127: 3^2.5 2.13^2 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13 [sq=1] - проверен
b128: 3^2.5 2 11 2^2.3 7^2.13 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 . [sq=1] - в процессе
b129: 3^2.5 2 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 . [sq=1] - проверен
b130: 3^2.5 2 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 . [sq=1] - проверен
b196: 3^2.5 2.13^2 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13 [sq=1] - проверен
b197: 3^2.5 2 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 . [sq=1] - проверен
b198: 3^2.5 2 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 . [sq=1] - проверен
b248: 3^2.5 2.13^2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13 [sq=1] - в процессе
b249: 3^2.5 2 11 2^2.3 7.13^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 . [sq=1] - в процессе
b250: 3^2.5 2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 . [sq=1] - в процессе
b251: 3^2.5 2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 . [sq=1] - в процессе
b571: . 2 3 2^2 5.11^2 2.3^2 7 *2^5* 3 2.5^2 . 2^2.3 13^3 2.7^2 3^2.5 [sq=1] - в процессе
b582: . 2 3 2^2 5 2.3^2 7.11^2 *2^5* 3 2.5^2 . 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b602: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^2 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b611: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^5 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b621: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
b622: . 2 3.13^2 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b623: . 2 3 2^2.13 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b624: . 2 3 2^2 5.13^2 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b625: . 2 3 2^2 5 2.3^2 7 *2^5* 3.13^2 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
b626: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13^2 2.7^2 3^2.5 [sq=1]
b627: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13^5 2.7^2 3^2.5 [sq=1]
b628: . 2 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13 2.7^2 3^2.5 [sq=1]

11 паттернов ожидают проверки (из 23), 6 паттернов проверены и 6 паттернов в процессе.

Господин Никонов писал в сообщении
https://dxdy.ru/post1577057.html#p1577057

То есть это старая версия адаптированная под 13-ки, а не та новая, которую я жду.

Странно, что "старая версия", адаптированная для 11-ок, не давала ускорения в 1936 раз по сравнению с программой pcoul, а для некоторых паттернов и вообще не давала никакого ускорения, что признал господин Петухов (когда рекомендовал считать программой pcoul).

Для меня

Перебор везде линейный

загадочно и ничего не объясняет.
А куда делся квадратичный перебор? Его нет что ли во всех проверяемых паттернах?

Напоминаю: вопросы риторические.
Это просто размышления вслух, для себя, для понимания (не сейчас, так потом).