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

Пока всё по закону: чем меньше шаг, тем больше цепочек находится.

Для паттернов с шагом LCM494233458919200 не нашлось ни одной цепочки
https://dxdy.ru/post1577063.html#p1577063
Возможно, господин Петухов их просто не вывел.
Но если действительно не нашлись даже 9-ки, это странно.

Сравнить проверку господина Петухова с проверкой программой pcoul, по-моему, невозможно.
Может быть, господин Петухов знает, как это сделать.
Программа pcoul выводит логи, которые и Hugo может проверить (например, логи полученные в проверенных мной паттернах).

Всё покажет время, когда будет работать проверка 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]

Проверился паттерн b571, запущен паттерн b582.

Показываю логи паттерна b571 полностью

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b571 *RT*
305 . 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: 3395966565282624955916 / 427646488080175975399842 (598.39s)
305 . 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: 13366117051050715927286 / 427646488080175975399842 (1197.23s)
305 . 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: 30048234301788152574980 / 427646488080175975399842 (1795.67s)
305 . 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: 53333764379396428245083 / 427646488080175975399842 (2394.06s)
305 . 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: 83420646490207168057833 / 427646488080175975399842 (2992.20s)
305 . 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: 119875406793229285577087 / 427646488080175975399842 (3590.53s)
305 . 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: 163124694709576425960513 / 427646488080175975399842 (4188.88s)
305 . 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: 213555538848746182662079 / 427646488080175975399842 (4787.33s)
305 . 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: 269925806074683949490522 / 427646488080175975399842 (5385.69s)
305 . 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: 333173092566078369476315 / 427646488080175975399842 (5984.05s)
305 . 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: 402988829775757290219827 / 427646488080175975399842 (6581.80s)
367 coul(12, 15): recurse 280, walk 3786, walkc 4529502032 (6776.86s)

Быстро отстрелялся!

7 паттернов проверено, 6 паттернов в проверке, 10 паттернов ожидают проверки.

Состояние проверки паттернов с одним квадратом для 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]

Проверен паттерн b582, запущен b602.
Показываю логи паттерна b582 полностью

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b582 *RT*
305 . 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: 3371960105200551782000 / 427646488080175975399842 (598.86s)
305 . 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: 13263539618438284209101 / 427646488080175975399842 (1197.88s)
305 . 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: 29896919561091927726673 / 427646488080175975399842 (1796.33s)
305 . 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: 53069616693045341396316 / 427646488080175975399842 (2394.74s)
305 . 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: 83286656756655975891017 / 427646488080175975399842 (2993.69s)
305 . 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: 119533889127454290467464 / 427646488080175975399842 (3592.09s)
305 . 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: 162601277493395607513589 / 427646488080175975399842 (4190.25s)
305 . 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: 212159100600156159813313 / 427646488080175975399842 (4789.28s)
305 . 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: 268914653419155185029413 / 427646488080175975399842 (5388.28s)
305 . 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: 332418600171503456339864 / 427646488080175975399842 (5987.28s)
305 . 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: 402368974378883707154017 / 427646488080175975399842 (6585.83s)
367 coul(12, 15): recurse 280, walk 3786, walkc 4529502033 (6788.39s)

8 паттернов проверено, 6 паттернов в процессе, 9 паттернов ожидают проверки.

Паттерн b602 проверен, паттерн b611 запущен.

Логи паттерна b602 полностью

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b602 *RT*
305 . 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: 3254547205326409229334 / 427646488080175975399842 (598.33s)
305 . 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: 12924581373099438448130 / 427646488080175975399842 (1197.58s)
305 . 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: 29404967965644194677401 / 427646488080175975399842 (1797.58s)
305 . 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: 52742265782509528534631 / 427646488080175975399842 (2397.55s)
305 . 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: 82815538240546959199415 / 427646488080175975399842 (2997.50s)
305 . 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: 119944911444874515901785 / 427646488080175975399842 (3597.49s)
305 . 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: 163731967259222960327886 / 427646488080175975399842 (4196.52s)
305 . 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: 213184277122489704070100 / 427646488080175975399842 (4795.22s)
305 . 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: 269196476778932950008339 / 427646488080175975399842 (5394.56s)
305 . 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: 333505636509131257188078 / 427646488080175975399842 (5994.55s)
305 . 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: 402958120356569393361006 / 427646488080175975399842 (6593.75s)
367 coul(12, 15): recurse 280, walk 3786, walkc 4529502032 (6791.33s)

9 паттернов проверено, 6 паттернов в процессе, 8 паттернов ожидают проверки.

Пока писала сообщение, паттерн b611 проверился :)
Показываю результат проверки прямо в консоли

C:\Users\boinc-remote\Documents\PCOUL\CHECK1>pcoul -rb611_15.txt -x80215613469168729088982885848674841 -f13 -b611 12 15
path b611_15.txt
001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b611 *RT*
. 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: 287102023627900161935 / 321297136048216360179
367 coul(12, 15): recurse 280, walk 3786, walkc 3403093 (5.34s)

C:\Users\boinc-remote\Documents\PCOUL\CHECK1>pause
Для продолжения нажмите любую клавишу . . .

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

Теперь 10 паттернов проверено, 6 паттернов в процессе, 7 паттернов ожидают проверки.

Сейчас искала информацию по паттернам в теме "Пентадекатлон мечты".
Наткнулась на это сообщение
https://dxdy.ru/post1575942.html#p1575942

А запуск был такой:

pcoul -rlog_b127_15.txt -x80215613469168729088982885848674841 -f13 -b127 12 15

Это хорошо.

(Источник)

Не сочтите за цитату без источника. Ибо этот источник вроде как нельзя на нашем форуме публично сообщать. Но в личке я сообщаю.

Ах, оказывается на мой блог нельзя давать ссылки ("вроде как").
Запрещённый источник!
В таком случае, и никакую информацию из этого источника публиковать на форуме dxdy.ru нельзя.

А искала я эту информацию о шагах для D(12,15) от господина Никонова

Вот они 8 различных шагов(LCM):

7214407200 = 2^5\cdot3^2\cdot5^2\cdot7^2\cdot11^2\cdot13^2 — 94;
2474541669600= 2^5\cdot3^2\cdot5^2\cdot7^5\cdot11^2\cdot13^2 — 42;
9602375983200 = 2^5\cdot3^2\cdot5^2\cdot7^2\cdot11^5\cdot13^2 — 20;
15850052618400= 2^5\cdot3^2\cdot5^2\cdot7^2\cdot11^2\cdot13^5 — 28;
3293614962237600 = 2^5\cdot3^2\cdot5^2\cdot7^5\cdot11^5\cdot13^2 — 10;
5436568048111200= 2^5\cdot3^2\cdot5^2\cdot7^5\cdot11^2\cdot13^5 — 12;
21096420035090400 = 2^5\cdot3^2\cdot5^2\cdot7^2\cdot11^5\cdot13^5 — 4;
7236072072036007200 = 2^5\cdot3^2\cdot5^2\cdot7^5\cdot11^5\cdot13^5 — 2.

94+42+20+28+10+12+4+2=212

https://dxdy.ru/post1575887.html#p1575887

Перед этим господин Никонов цитировал господина Петухова

Таких паттернов 488шт для 15-ки.
В 212 из них можно расставить 6 простых.
[..]
В 224 из 488 можно расставить 7 простых.
[..]
В 50 из 488 можно расставить 8 простых.

https://dxdy.ru/post1575857.html#p1575857

Ну, о расстановках простых мне ничего неведомо.
Показанные выше шаги, насколько могу понимать, относятся к этому

В 212 из них можно расставить 6 простых.

Сейчас посмотрю, какой шаг имеет паттерн, дающий известную минимальную 15-ку.
Паттерн вот

b587: .  2  3  2^2  5  2.3^2  7  2^5  3.11^2  2.5^2  13^2  2^2.3  .  2.7^2  3^2.5

Получается LCM=7214407200.
Хм...
Паттерн с самым маленьким шагом, значит, самый трудный для проверки.

Может, это и не самый маленький шаг для всех паттернов D(12,15), а только самый маленький шаг из приведённых в цитате от господина Никонова (это какая-то часть паттернов).

Всё-таки решила спросить у Вебера, зачем он задавал так много вопросов о проекте SPT
https://www.rechenkraft.net/forum/viewtopic.php?p=193311#p193311

Интересно, что он ответит.

Цитата

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

Теперь 10 паттернов проверено, 6 паттернов в процессе, 7 паттернов ожидают проверки.

Паттерн b621 проверился.
Показываю логи частично

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b621 *RT*
305 . 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: 294718609032787257314 / 4704111368881935729398271 (597.97s)
305 . 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: 1161502583282407090083 / 4704111368881935729398271 (1196.39s)
. . . . . . . . . . 
305 . 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: 4601321459449645585510019 / 4704111368881935729398271 (73719.44s)
305 . 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: 4672391705862977969383533 / 4704111368881935729398271 (74318.39s)
367 coul(12, 15): recurse 280, walk 3786, walkc 49824522235 (74580.64s)

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

Теперь 11 паттернов проверено, 6 паттернов в процессе, 6 паттернов ожидают проверки.

Ну вот, ответ от Вебера получен
https://www.rechenkraft.net/forum/viewtopic.php?p=193312#p193312

Naja, es hat sich leider gezeigt, dass die Voraussetzungen anscheinend nicht geliefert werden können.
Es hätte sonst gut in Yoyo@home laufen können.
Ich sehe da aber von Deiner Seite leider keine ausreichenden Bemühungen - so wie vor Jahren schon einmal.
Und ich selbst möchte mich nicht erst mit C++ befassen müssen, um "Deinen" Code so anzupassen, dass der autark läuft.

Liefere bitte eine einzige ausführbare Datei, an die man als Parameter die Randbedingungen (Zahlenintervall und ggf. andere Steuerelemente) übergeben kann und die eine einzige Ausgabedatei produziert - dann sollte das Ganze ohne Probleme in Yoyo@home laufen können.
Da es im TBG schon mal lief, brauchst Du den Code ja eigentlich nur von dort nehmen.

Michael.

Интуиция у меня сработала на 100% !
Именно такой ответ я и ожидала.
Мой ответ (по-русски):

Мне очень жаль времени, которое я потратила, отвечая на ваши вопросы.

Итак, надежда на запуск BOINC-проекта по кортежам на платформе yoyo@home исчезла.
Собственно, её почти и не было.

Поясню, что Вебера не устроило.
В программе Алексея Белышева (исходный код я предоставила) не задан конец проверяемого интервала.
И это всё!
И сделать это (добавить конец интервала), имея исходный код программы, невозможно!!
Для Вебера.
Вебер или очень ленивый, или очень тупой, а скорее всего - одновременно и ленивый, и тупой.

Ах, а эту фразу Вебер приписал, сначала её не было

Da es im TBG schon mal lief, brauchst Du den Code ja eigentlich nur von dort nehmen.

Он советует мне взять код с проекта TBEG.
Если бы я могла взять на TBEG готовое Приложение, то BOINC-проект уже запускал бы мой коллега на своём сервере.
Ответила Веберу на это

Ich habe keinen Zugriff auf den TBEG-Server.

Паттерн b622 уже отстрелялся!

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

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b622 *RT*
305 . 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: 3707244411723296459773 / 505400395003844334563449 (598.01s)
305 . 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: 14709311258907409557786 / 505400395003844334563449 (1196.50s)
305 . 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: 32952100997426422865382 / 505400395003844334563449 (1795.02s)
305 . 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: 58513190095180034709457 / 505400395003844334563449 (2393.25s)
305 . 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: 91326349398955513829662 / 505400395003844334563449 (2991.80s)
305 . 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: 131995785726185267750770 / 505400395003844334563449 (3589.51s)
305 . 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: 179659464538848007729570 / 505400395003844334563449 (4187.77s)
305 . 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: 234787029957956408982279 / 505400395003844334563449 (4785.53s)
305 . 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: 297250016944295335995013 / 505400395003844334563449 (5383.31s)
305 . 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: 367220067189345843783257 / 505400395003844334563449 (5981.11s)
305 . 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: 444563122271382207717700 / 505400395003844334563449 (6578.80s)
367 coul(12, 15): recurse 280, walk 3786, walkc 4166535873 (7015.23s)

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

Теперь 12 паттернов проверено, 6 паттернов в процессе, 5 паттернов ожидают проверки.

Состояние проверки паттернов с одним квадратом для 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]

На утро нет ни одного проверенного паттерна.
Удивительно разное время проверки паттернов этой группы!
От нескольких секунд до нескольких часов и даже нескольких суток (например, паттерн b128).

Запустила ещё паттерн b624.
Проверено 12 паттернов, 7 паттернов в процессе, 4 паттерна ожидают проверки.

Паттерн b624 уже отстрелялся!

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b624 *RT*
305 . 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: 3806467138272064413939 / 505400395003844334563450 (598.48s)
305 . 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: 15252766746808789325676 / 505400395003844334563450 (1197.22s)
305 . 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: 34450218586135108964365 / 505400395003844334563450 (1795.98s)
305 . 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: 61209794940413892317686 / 505400395003844334563450 (2394.56s)
305 . 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: 96018031108681670899027 / 505400395003844334563450 (2992.88s)
305 . 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: 138407676347469829862844 / 505400395003844334563450 (3591.59s)
305 . 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: 188668900800313948818980 / 505400395003844334563450 (4190.12s)
305 . 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: 246665853180118459100057 / 505400395003844334563450 (4788.48s)
305 . 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: 312535967182067683378144 / 505400395003844334563450 (5386.50s)
305 . 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: 386325280820540697805074 / 505400395003844334563450 (5984.78s)
305 . 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: 468383651985403668136289 / 505400395003844334563450 (6582.94s)
367 coul(12, 15): recurse 280, walk 3786, walkc 4166535870 (6838.34s)

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

Теперь 13 паттернов проверено, 7 паттернов в процессе, 3 паттерна ожидают проверки.
Выше в списке паттернов всё отметила.

Паттерн b625 проверился

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b625 *RT*
305 . 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: 3828119962026921882418 / 505400395003844334563450 (597.16s)
305 . 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: 14946208918262459299711 / 505400395003844334563450 (1195.30s)
305 . 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: 33484641624340391785540 / 505400395003844334563450 (1793.12s)
305 . 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: 59406761231702105868733 / 505400395003844334563450 (2391.08s)
305 . 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: 92720135742290451440536 / 505400395003844334563450 (2989.09s)
305 . 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: 133494710692952268603523 / 505400395003844334563450 (3586.70s)
305 . 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: 181880169100916313293325 / 505400395003844334563450 (4184.73s)
305 . 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: 237753146845606580780732 / 505400395003844334563450 (4782.53s)
305 . 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: 301458070130164191193303 / 505400395003844334563450 (5380.53s)
305 . 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: 372597616735835532709972 / 505400395003844334563450 (5978.72s)
305 . 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: 451126637889880759676482 / 505400395003844334563450 (6575.77s)
367 coul(12, 15): recurse 280, walk 3786, walkc 4166535876 (6958.95s)

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

Теперь 14 паттернов проверено, 7 паттернов в процессе и 2 паттерна ожидают проверки.

И паттерн b626 проверился!

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b626 *RT*
305 . 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: 3767170034285156873467 / 505400395003844334563450 (598.61s)
305 . 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: 15077154320384207219456 / 505400395003844334563450 (1196.56s)
305 . 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: 33909862902295948848032 / 505400395003844334563450 (1795.02s)
305 . 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: 60426830030551935703848 / 505400395003844334563450 (2393.09s)
305 . 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: 94113144808094944766460 / 505400395003844334563450 (2991.16s)
305 . 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: 135423820220200023443432 / 505400395003844334563450 (3589.27s)
305 . 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: 184105500169013674244593 / 505400395003844334563450 (4187.23s)
305 . 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: 240220812025162033024813 / 505400395003844334563450 (4785.17s)
305 . 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: 304015186280209957955574 / 505400395003844334563450 (5384.06s)
305 . 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: 375127620722258991434037 / 505400395003844334563450 (5982.02s)
305 . 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: 454153219788098173987534 / 505400395003844334563450 (6580.19s)
367 coul(12, 15): recurse 280, walk 3786, walkc 4166535873 (6939.20s)

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

15 паттернов проверено, 7 паттернов в процессе, 1 паттерн ожидает проверки.

Паттерн b627 проверялся 3 секунды!

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b627 *RT*
367 coul(12, 15): recurse 280, walk 3786, walkc 1896478 (3.17s)

Запустила последний паттерн в этой группе - b628.

Состояние проверки паттернов с одним квадратом для 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] - в процессе

7 паттернов проверяются, 16 паттернов проверены.
Проверяемые паттерны долгоиграющие.

На утро только один проверенный паттерн - b623.
Показываю частично логи

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b623 *RT*
305 . 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: 317361940206982300231 / 6570205135049976349324858 (598.08s)
305 . 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: 1249063684712552331082 / 6570205135049976349324858 (1196.14s)
. . . . . . . . . . 
305 . 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: 6453992766883695730420205 / 6570205135049976349324858 (86251.45s)
305 . 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: 6540762397355768661783444 / 6570205135049976349324858 (86849.86s)
367 coul(12, 15): recurse 280, walk 3786, walkc 54164966206 (87049.44s)

В проверке остались 6 паттернов: b128, b248-b251, 628.
Самый долгоиграющий паттерн b128 близок к завершению.
Он проверяется уже несколько суток.

Господин Петухов писал в сообщении
https://dxdy.ru/post1577355.html#p1577355

Продолжение 13-ек без квадратов:
(253354997095200)
На этом по видимому и закончу, меньшие шаги считаются часов по 20 каждый паттерн.

<…>

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

Напомню: я проверила первые 50 паттернов из 3408 основных паттернов для 13-ок с ограничением -р1000.
[Цепочек не нашлось.]
При этот господин Никонов написал на форуме, попробую найти цитату,
вот
https://dxdy.ru/post1576508.html#p1576508

Насчёт параметра p в pcoul. Даже мне понятно, что он ограничивает подставляемые простые в квадратах(и бо́льших степенях) сверху.

<…>

А в других цепочках встречалась когда-нибудь простое больше 113? О-о-очень вряд ли больше 200. Это я к тому, что ограничение в 1000 явно завышенное.

Действительно ли господину Никонову это понятно?
Что-то я сильно сомневаюсь в том, что

...ограничение в 1000 явно завышенное.

Это ограничение должно быть много больше.
Ну, я так понимаю.
Время покажет, кто из нас более правильно этот вопрос понимает.

Пока ясно одно: никто не знает, какое оптимальное ограничение р для паттернов в подзадаче D(12,13); возможно, кроме Hugo.

Цитата

Сейчас посмотрю, какой шаг имеет паттерн, дающий известную минимальную 15-ку.
Паттерн вот

b587: .  2  3  2^2  5  2.3^2  7  2^5  3.11^2  2.5^2  13^2  2^2.3  .  2.7^2  3^2.5

Получается LCM=7214407200.

А знаете ли вы, что паттерны, дающие текущие минимальные 13-ку и 14-ку, имеют такой же шаг?
Совпадение?
Кстати, паттерны с таким шагом самые многочисленные.
В иерархии шагов для паттернов 13-ок данный шаг восьмой

7207200
50450400
79279200
93693600
554954400
655855200
1030629600
7214407200
17304487200
105520615200
190349359200
205844839200
224958333600
738644306400
1371767997600
1440913874400
2264293231200
2474541669600
9602375983200
15850052618400
253354997095200
494233458919200
3013774290727200
3293614962237600
5436568048111200
21096420035090400
7236072072036010000

Насколько понимаю, господин Петухов остановился на шаге LCM=253354997095200.

Интересная таблица от господина Никонова
https://dxdy.ru/post1577084.html#p1577084

№                LCM       4   5   6   7   8   9   Total

1                7207200   4  26   4                  34
2               50450400   4  36  56  18             114
3               79279200   4  50  94  16             164
4               93693600   4  36  60  24             124
5              554954400   4  48 124  82  12         270
6              655855200   4  42 108 102   8         264
7             1030629600   4  56 156 142  24         382
8             7214407200   4  50 154 176  34         418
9            17304487200       4  26   4              34
10          105520615200       4  20   4              28
11          190349359200       4  44  74  12         134
12          205844839200       4  24   4              32
13          224958333600       4  34  50  20         108
14          738644306400       4  24  30  14          72
15         1371767997600       4  28  42  20          94
16         1440913874400       4  32  42   4          82
17         2264293231200       4  46  76  12         138
18         2474541669600       4  48 114  90  12     268
19         9602375983200       4  28  60  50         142
20        15850052618400       4  42  88  26         160
21       253354997095200           4  20   4          28
22       494233458919200           4  24   4          32
23      3013774290727200           4  18   4          26
24      3293614962237600           4  26  34  16      80
25      5436568048111200           4  40  58   8     110
26     21096420035090400           4  20  20          44
27   7236072072036007200               4  18   4      26

Обратите внимание на строку

8             7214407200   4  50 154 176  34         418

418 паттернов с шагом LCM=7214407200 !

И паттерн, дающий текущую минимальную 13-ку, находится в этой группе паттернов - самой большой.
Вот он

b4243: 3^2.5  2  .  2^2.3  7^2  2.5^2  3  *2^5*  11^2  2.3^2  5.13^2  2^2.7  3

Так вот, решила я попробовать проверку паттернов для 13-ок с шагом LCM=7214407200
(пока вроде господин Петухов эти паттерны не проверяет).

Но возник естественный вопрос: какие параметры g, p, W задать?
Поскольку ничего не знаю по данному вопросу, задала с потолка.

Итак, первый проверенный паттерн b98.
Запуск был такой

pcoul -rb98_13.txt -x586683019466361719763403545 -f13 -g10 -p2e8 -W8e5 -b98 12 13
pause

Показываю частично логи, при этом показан момент, когда прекратилась проверка с W

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b98 *RT*
305 3 2^2 5 2.3^2 11^2 2^5 3.7^2 2.5^2 13^2 2^2.3 . 2 3^2.5 W(43447007,10): 2 / 21 (598.56s)
305 3 2^2 5 2.3^2 11^2 2^5 3.7^2 2.5^2 13^2 2^2.3 . 2 3^2.5 W(16029439,0): 140 / 158 (1197.64s)
305 3 2^2 5 2.3^2 11^2 2^5 3.7^2 2.5^2 13^2 2^2.3 . 2 3^2.5 W(9542563,11): 100 / 446 (1796.58s)
305 3 2^2 5 2.3^2 11^2 2^5 3.7^2 2.5^2 13^2 2^2.3 . 2 3^2.5 W(6804871,2): 324 / 877 (2395.42s)
305 3 2^2 5 2.3^2 11^2 2^5 3.7^2 2.5^2 13^2 2^2.3 . 2 3^2.5 W(5312231,10): 219 / 1440 (2994.58s)
305 3 2^2 5 2.3^2 11^2 2^5 3.7^2 2.5^2 13^2 2^2.3 . 2 3^2.5 W(4357543,11): 319 / 2140 (3594.00s)
305 3 2^2 5 2.3^2 11^2 2^5 3.7^2 2.5^2 13^2 2^2.3 . 2 3^2.5 W(3694217,0): 1371 / 2978 (4193.33s)
305 3 2^2 5 2.3^2 11^2 2^5 3.7^2 2.5^2 13^2 2^2.3 . 2 3^2.5 W(3208021,11): 3318 / 3949 (4792.58s)
. . . . . . . . . 
305 3 2^2 5 2.3^2 11^2 2^5 3.7^2 2.5^2 13^2 2^2.3 . 2 3^2.5 W(872159,0): 40614 / 53453 (17974.06s)
305 3 2^2 5 2.3^2 11^2 2^5 3.7^2 2.5^2 13^2 2^2.3 . 2 3^2.5 W(844499,10): 10341 / 57012 (18573.11s)
305 3 2^2 5 2.3^2 11^2 2^5 3.7^2 2.5^2 13^2 2^2.3 . 2 3^2.5 W(818581,0): 19851 / 60680 (19172.14s)
305 3.1453^2 2^2 5.19^2 2.3^2 11^2 2^5 3.7^2 2.5^2 13^2 2^2.3 17^2 2.616717^2 3^2.5 (19771.03s)
305 3.18587^2 2^2 5.37^2 2.3^2 11^2 2^5 3.7^2 2.5^2 13^2 2^2.3 17^2 2 3^2.5: 65 / 296 (20370.14s)
. . . . . . . . . 
305 3 2^2 5.218923^2 2.3^2 11^2 2^5 3.7^2 2.5^2 13^2 2^2.3 643061^2 2 3^2.5 (155828.41s)
305 3 2^2 5.135581^5 2.3^2 11^2 2^5 3.7^2 2.5^2 13^2 2^2.3 662227^2 2 3^2.5 (156428.41s)
305 3 2^2 5.740681^2 2.3^2 11^2 2^5 3.7^2 2.5^2 13^2 2^2.3 681293^2 2 3^2.5 (157028.28s)
305 3 2^2 5.129919^5 2.3^2 11^2 2^5 3.7^2 2.5^2 13^2 2^2.3 700577^2 2 3^2.5 (157628.16s)
305 3 2^2 5 2.3^2 11^2 2^5 3.7^2 2.5^2 13^2 2^2.3 737047^2 2 3^2.5: 28185 / 74848 (158226.50s)
305 3.382493^2 2^2 5.101^2 2.3^2 11^2 2^5 3.7^2 2.5^2 13^2 2^2.3 23^5 2 3^2.5 (158825.42s)
367 coul(12, 13): recurse 16500939957, walk 20787965151, walkc 34985399550 (158931.89s)

Проверка длилась 44,15 час.
Проверял Ахиллес-3.
Вполне приемлемое время.
Однако... нет никакой уверенности, что проверка паттерна полная, потому что параметры заданы с потолка.
Можно продолжить проверку, вдруг найдётся меньшая цепочка.
Сейчас выберу следующий паттерн с таким же шагом и запущу его.

Поехал паттерн b101.
Запуск с теми же параметрами.
Ахиллес-3 побежал :)

Господин Никонов изобразил в таблице проверенные для 13-ок паттерны
https://dxdy.ru/post1577514.html#p1577514

Проверены паттерны с 7 шагами (самыми большими)

253354997095200
494233458919200
3013774290727200
3293614962237600
5436568048111200
21096420035090400
7236072072036010000

При этом с двумя последними шагами проверены мной и господином Петуховым.
С шагом LCM=5436568048111200 я проверила, кажется, 6 паттернов и бросила, потому что не хочу проверять одно и то же.

Господин Никонов спрашивает в этом же сообщении

А кто-нибудь занимается понижением этого порога?

Предполагаю, что Hugo занимается.
К сожалению, он ничего не сообщает ни на форуме dxdy.ru, ни на форуме boinc.ru.

Кстати, из этой фразы господина Петухова могу предположить, что порог для р надо снижать, начиная с 2.4e12

При этом запускать квадратичный перебор на PARI в полном диапазоне p<2.4e12 для 13 всё ещё невыгодно ...

Таким образом, порог -p1000 явно не завышенный, а явно сильно заниженный!
И господин Никонов писал в этом случае о чём-то совсем другом, как мне кажется.

Ну, вот я снизила порог до -p2e8, при этом ещё и параметр W задала.
Всё это методом тыка :)
Один паттерн отстрелялся с такими параметрами, запустила второй.

Наконец-то!
Завершилась проверка паттерна 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 .: 784597386865387629680562900 / 794994821341047138268307940 (664588.33s)
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 .: 785995402853440951975915641 / 794994821341047138268307940 (665165.63s)
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 .: 787392272447501677391231029 / 794994821341047138268307940 (665742.29s)
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 .: 788792213026798291829036786 / 794994821341047138268307940 (666319.29s)
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 .: 790192223366491830296500674 / 794994821341047138268307940 (666895.69s)
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 .: 791595094014910508827914264 / 794994821341047138268307940 (667472.43s)
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 .: 792997784413765574325528268 / 794994821341047138268307940 (668049.32s)
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 .: 794399870347604254939157471 / 794994821341047138268307940 (668626.43s)
367 coul(12, 15): recurse 280, walk 3786, walkc 842609127786 (668870.85s)

Проверялось около 8 суток.

В проверке остались 5 паттернов: b248-b251, b628.

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

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

Рекомендую сыграть.
Я начала со слова БОЧКА, только одна буква поймалась, к тому же, не на своём месте.

gris
за сколько попыток вы отгадаете? :)

Ну вот, gris сообщил, что отгадал слово четвёртой попыткой, помогла моя подсказка про две редкие буквы :)