Получила письмо от Hugo.
Цитирую

In my testing, most cases were fastest with a value around 15 or 16.
One case was faster with 8. So I recommended 16 as the best option
for the general case.

Sadly I do not know of any way to predict the optimal value for any
particular pattern, and it takes a lot of work to discover it. So
the best I can do is test several cases, then recommend something
based on those.

For a single pattern that is faster with -g3 than with -g16, it is
likely that the optimal value was closer to -g8.

With the new options discussed in my recent email ("Faster route to
D(12,11)"), I recommend -g12 instead.

Перевод в Google

В моем тестировании большинство случаев были самыми быстрыми со значением около 15 или 16.
Один случай был быстрее с 8. Поэтому я рекомендовал 16 как лучший вариант
для общего случая.

К сожалению, я не знаю способа предсказать оптимальное значение для любого
конкретный паттерн, и требуется много работы, чтобы обнаружить его. Так
лучшее, что я могу сделать, это протестировать несколько случаев, а затем что-то порекомендовать
исходя из тех.

Для одного шаблона, который быстрее с -g3, чем с -g16, это
вероятно, оптимальное значение было ближе к -g8.

С новыми вариантами, обсуждавшимися в моем недавнем электронном письме («Более быстрый путь к
D(12,11)"), вместо этого я рекомендую -g12.

Новое письмо «Более быстрый путь к D(12,11)" пока не смотрела.

Слишком много рекомендованных -g, поэтому я ничего не буду изменять для проверяющихся у меня паттернов.
Пусть считаются, как считаются, то есть с -g3.
У меня проверяются всего 8 паттернов.

Посмотрю сейчас, что там рекомендуется в «Более быстрый путь к D(12,11)".
Не такие же это сырые рекомендации, как для параметра g?

Прочитала письмо «Более быстрый путь к D(12,11)".
Всё не буду приводить.
С облегчением прочитала это

For existing processes, please continue running them with the original
set of options for now. When the new release (v20221123) is available
for Windows, it should be safe to stop any running processes and restart
them with the new options. (The new release fixes a recovery bug that is
quite likely to affect these cases.)

Слава Богу, я ничего не изменяю.
Мои 8 паттернов продолжают считаться, как считались.
Впрочем, я и не собиралась ничего изменять - в любом случае.
Досчитаю 8 паттернов и выхожу из проекта.

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

В моем тестировании большинство случаев были самыми быстрыми со значением около 15 или 16.
Один случай был быстрее с 8. Поэтому я рекомендовал 16 как лучший вариант
для общего случая.

К сожалению, я не знаю способа предсказать оптимальное значение для любого
конкретный паттерн, и требуется много работы, чтобы обнаружить его. Так
лучшее, что я могу сделать, это протестировать несколько случаев, а затем что-то порекомендовать
исходя из тех.

Для одного шаблона, который быстрее с -g3, чем с -g16, это
вероятно, оптимальное значение было ближе к -g8.

Меня такой подход не устраивает.
Hugo постоянно ищет новые пути, выдаёт новые рекомендации, в которых сам полностью не уверен.
А я должна за этими рекомендациями успевать!
Приношу извинения, но это не для меня.
Я готова была считать проверенной программой, которая не будет изменяться каждый день.

Итак, я продолжу проверку тех 8 паттернов, которые у меня проверяются.
Если же Hugo не устраивает скорость, с которой они проверяются, могу вообще прекратить проверку этих паттернов и выслать полученные на данный момент логи.

Как поступит corporaltermit, его дело.
Я хотела написать ему письмо, но с прошедшей субботы написала ему два письма и ни на одно не получила ответа.
Так что, ограничусь сообщением здесь.

Кстати, о птичках...

Смотрим сообщение
https://dxdy.ru/post1571133.html#p1571133
Hugo

(but I'm not yet sure what Z will be)

господин Петухов

So far, I have confirmed the -p4e9 capability twice with slightly different programs, the rest is in progress.

В результате Hugo выбрал -p5e8.

Вопрос: он уверен в этом выборе?
Впрочем, это меня не касается.
Он автор проекта и взял на себя ответственность за выбор этого параметра.
А я с этим параметром считать уже не буду.

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

Huz
It is probably useful to check if the -g selection recommendations change when -p5e8 is used.

Очень хорошее предложение!
А именно: протестировать все паттерны (ну, или некоторое множество паттернов) и выбрать оптимальный параметр g.

Но Hugo уже всё сделал! :))

Yes, I reduced the recommendation from -g16 to -g12.

А может, лучше -g8 или -g10?

Написала ответ Hugo

Hello dear Hugo!

Please see my answer here
https://boinc.progger.info/odlk/forum_thread.php?id=196&postid=10338

If you are not satisfied with the speed of checking the 8 patterns that I am checking, I can stop the check and send you intermediate logs.

Best regards,
Natalia

Кстати, это письмо автоматически отправлено и corporaltermit.

Hugo ответил, что я могу продолжать проверку паттернов с прежними параметрами.
Ну и отлично.
Пусть 8 паттернов проверяются дальше.
Ничего я не буду изменять.
Тем более что я не уверена в новом параметре p, а равно и в новом парметре g.
О новом параметре р писала выше.

В общем, кому надо быстро, пусть бегут.
Я буду проверять по отлаженной программе.

Тише едешь - дальше будешь. (пословица)

Напомню: у меня в проверке находятся следующие паттерны

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

У господина Петухова наполеоновские планы :)
https://dxdy.ru/post1571262.html#p1571262

Первая победа одержана. На удивление. Благодарю всех участвовавших и агитировавших.
Теперь можно побороться за действительно хорошее ускорение - вторую идею обосновывать, с каждым паттерном и порогом порядка миллионов.
Потом третью - на PARI всё переписать.
Ну и четвёртую - ускорители на асме.

Интересно, будет ли это всё работать для доказательства минимальной 12-ки? минимальной 13-ки?
Или всё это только для доказательства минимальной 11-ки?
Если последнее, тогда грош цена этим наполеоновским планам.
По той простой причине, что минимальность 11-ки уже почти доказана.
Больше половины паттернов проверено первоначальной программой Hugo.
Дальше можно и не проверять, ибо Hugo предчувствует, что текущая наименьшая 11-ка и есть минимальная.
Но даже и допроверить оставшиеся паттерны программой Hugo не проблема.
Не миллионы лет, и не тысячи лет, и даже не много лет, а всего 2-3 месяца.

Между прочим, а как там у господина Петухова с доказательной силой? :)
А у него, собственно, и нет независимого эксперимента, в котором всё считалось бы только его программами.
Никакой независимости, никакой доказательной силы.

А между тем началась 178-я серия мыльной оперы "Пентадекатлон мечты".
С наполеоновскими планами господина Петухова всё будет развиваться ещё быстрее.
Неожиданные повороты сюжета, новые победы...

Смотрите, господа!

Поэтическая пауза

ОСЕНЬ

А. С. Пушкин

I
Октябрь уж наступил — уж роща отряхает
Последние листы с нагих своих ветвей;
Дохнул осенний хлад — дорога промерзает.
Журча ещё бежит за мельницу ручей,
Но пруд уже застыл; сосед мой поспешает
В отъезжие поля с охотою своей,
И страждут озими от бешеной забавы,
И будит лай собак уснувшие дубравы.

II
Теперь моя пора: я не люблю весны;
Скучна мне оттепель; вонь, грязь — весной я болен;
Кровь бродит; чувства, ум тоскою стеснены.
Суровою зимой я более доволен,
Люблю её снега; в присутствии луны
Как лёгкий бег саней с подругой быстр и волен,
Когда под соболем, согрета и свежа,
Она вам руку жмёт, пылая и дрожа!

III
Как весело, обув железом острым ноги,
Скользить по зеркалу стоячих, ровных рек!
А зимних праздников блестящие тревоги?..
Но надо знать и честь; полгода снег да снег,
Ведь это наконец и жителю берлоги,
Медведю, надоест. Нельзя же целый век
Кататься нам в санях с Армидами младыми
Иль киснуть у печей за стёклами двойными.

IV
Ох, лето красное! любил бы я тебя,
Когда б не зной, да пыль, да комары, да мухи.
Ты, все душевные способности губя,
Нас мучишь; как поля, мы страждем от засухи;
Лишь как бы напоить, да освежить себя —
Иной в нас мысли нет, и жаль зимы старухи,
И, проводив её блинами и вином,
Поминки ей творим мороженым и льдом.

V
Дни поздней осени бранят обыкновенно,
Но мне она мила, читатель дорогой,
Красою тихою, блистающей смиренно.
Так нелюбимое дитя в семье родной
К себе меня влечёт. Сказать вам откровенно,
Из годовых времён я рад лишь ей одной,
В ней много доброго; любовник не тщеславный,
Я нечто в ней нашёл мечтою своенравной.

VI
Как это объяснить? Мне нравится она,
Как, вероятно, вам чахоточная дева
Порою нравится. На смерть осуждена,
Бедняжка клонится без ропота, без гнева.
Улыбка на устах увянувших видна;
Могильной пропасти она не слышит зева;
Играет на лице ещё багровый цвет.
Она жива ещё сегодня, завтра нет.

VII
Унылая пора! очей очарованье!
Приятна мне твоя прощальная краса —
Люблю я пышное природы увяданье,
В багрец и в золото одетые леса,
В их сенях ветра шум и свежее дыханье,
И мглой волнистою покрыты небеса,
И редкий солнца луч, и первые морозы,
И отдалённые седой зимы угрозы.

VIII
И с каждой осенью я расцветаю вновь;
Здоровью моему полезен русской холод;
К привычкам бытия вновь чувствую любовь:
Чредой слетает сон, чредой находит голод;
Легко и радостно играет в сердце кровь,
Желания кипят — я снова счастлив, молод,
Я снова жизни полн — таков мой организм
(Извольте мне простить ненужный прозаизм).

IX
Ведут ко мне коня; в раздолии открытом,
Махая гривою, он всадника несёт,
И звонко под его блистающим копытом
Звенит промёрзлый дол и трескается лёд.
Но гаснет краткий день, и в камельке забытом
Огонь опять горит — то яркий свет лиёт,
То тлеет медленно — а я пред ним читаю
Иль думы долгие в душе моей питаю.

X
И забываю мир — и в сладкой тишине
Я сладко усыплён моим воображеньем,
И пробуждается поэзия во мне:
Душа стесняется лирическим волненьем,
Трепещет и звучит, и ищет, как во сне,
Излиться наконец свободным проявленьем —
И тут ко мне идёт незримый рой гостей,
Знакомцы давние, плоды мечты моей.

XI
И мысли в голове волнуются в отваге,
И рифмы лёгкие навстречу им бегут,
И пальцы просятся к перу, перо к бумаге,
Минута — и стихи свободно потекут.
Так дремлет недвижим корабль в недвижной влаге,
Но чу! — матросы вдруг кидаются, ползут
Вверх, вниз — и паруса надулись, ветра полны;
Громада двинулась и рассекает волны.

XII
Плывёт. Куда ж нам плыть?..

1833 г.

Просто тест...

Первоначальной программой pcoul

001 pcoul(12 11) -f11 -g3 -x9887353188984012120346 -b1863 *RT*
305 3^2.5 2 13^2 2^2.3 7^5 2.5^2 3 2^5 784244257^2 2.3^2 5.11^2 (213.72s)
305 3^2.5 2 13^2 2^2.3 7^5 2.5^2 3 2^5 1816084141^2 2.3^2 5.11^2 (418.46s)
305 3^2.5 2 13^2 2^2.3 7^5 2.5^2 3 2^5 2900314321^2 2.3^2 5.11^2 (627.20s)
305 3^2.5 2 13^2 2^2.3 7^5 2.5^2 3 2^5 4400719867^2 2.3^2 5.11^2 (909.08s)
305 3^2.5 2 17^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 162868313 / 1168272469 (1269.52s)
305 3^2.5 2 17^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 393254840 / 1168272469 (1526.02s)
305 3^2.5 2 17^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 730325879 / 1168272469 (1906.92s)
305 3^2.5 2 17^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 1044247523 / 1168272469 (2258.14s)
305 3^2.5 2 19^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 71447150 / 935265218 (2457.05s)
305 3^2.5 2 19^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 297353435 / 935265218 (2710.55s)
305 3^2.5 2 19^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 480691175 / 935265218 (2916.06s)
305 3^2.5 2 19^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 667353803 / 935265218 (3124.62s)
305 3^2.5 2 19^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 863045594 / 935265218 (3345.10s)
305 3^2.5 2 23^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 140696649 / 638243371 (3567.13s)
305 3^2.5 2 23^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 426418887 / 638243371 (3885.17s)
305 3^2.5 2 29^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 96295147 / 401463428 (4224.30s)
305 3^2.5 2 29^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 316963264 / 401463428 (4474.64s)
305 3^2.5 2 31^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 134214102 / 351332719 (4709.87s)
305 3^2.5 2 37^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 133847960 / 246625816 (5093.92s)
305 3^2.5 2 43^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 26851861 / 182601808 (5478.69s)
305 3^2.5 2 47^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 55522886 / 152843251 (5708.92s)
305 3^2.5 2 53^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 90656093 / 120196063 (5914.45s)
305 3^2.5 2 67^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 21600427 / 75212907 (6171.48s)
305 3^2.5 2 79^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 32602475 / 54098820 (6407.29s)
305 3^2.5 2 103^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 18386539 / 31824935 (6624.27s)
305 3^2.5 2 151^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 11283683 / 14807716 (6841.30s)
305 3^2.5 2 709^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 521709 / 671659 (7174.52s)
305 3^2.5 2 1103333107^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2 (7461.98s)
305 3^2.5 2 2186035697^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2 (7663.95s)
305 3^2.5 2 3274253681^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2 (7866.61s)
305 3^2.5 2 4408709819^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2 (8069.70s)
305 3^2.5 2 6268057793^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2 (8395.66s)
367 coul(12, 11): recurse 568817485, walk 568821556, walkc 5621052956 (8475.14s)

Программой pcoul с новым параметром -р5е8

001 pcoul(12 11) -p500000000 -f11 -g12 -x9887353188984012120346 -b1863 *RT*
305 3^2.5 2 19^2 2^2.3 7^5 2.5^2 3 2^5 193225693^2 2.3^2 5.11^2 (363.16s)
305 3^2.5 2 31^2 2^2.3 7^5 2.5^2 3 2^5 1323139^2 2.3^2 5.11^2 (687.01s)
305 3^2.5 2 41^2 2^2.3 7^5 2.5^2 3 2^5 261766397^2 2.3^2 5.11^2 (980.17s)
305 3^2.5 2 53^2 2^2.3 7^5 2.5^2 3 2^5 214483307^2 2.3^2 5.11^2 (1328.16s)
305 3^2.5 2 67^2 2^2.3 7^5 2.5^2 3 2^5 243437027^2 2.3^2 5.11^2 (1680.22s)
305 3^2.5 2 79^2 2^2.3 7^5 2.5^2 3 2^5 110911201^2 2.3^2 5.11^2 (1986.73s)
305 3^2.5 2 97^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 1061778 / 35883806 (2303.90s)
305 3^2.5 2 151^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 14465642 / 14807716 (2620.91s)
305 3^2.5 2 619^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5.11^2: 587791 / 881171 (2941.18s)
367 coul(12, 11): recurse 527152513, walk 527156908, walkc 785954809 (3122.11s)

Это тест для Hugo.
Уверен ли он в том, что многие варианты, проверяемые прежней программой, могут и не проверяться при использовании параметра -р5е8?
И при этом ничего не потеряно, проверено, всё что необходимо проверить.
Я в этом мало что понимаю, но почему-то совсем не уверена.
Впрочем, моя неуверенность не в счёт.
Главное, чтобы Hugo был уверен.

Это о том, правильно ли выбран параметр -р5е8.
Для всех ли паттернов подходит именно такой параметр?

Меня смущает это сообщение господина Петухова

So far, I have confirmed the -p4e9 capability twice with slightly different programs, the rest is in progress.

А ранее, кажется, господином Петуховым был рекомендован параметр -p1e9.

Так какой же самый правильный - для всех паттернов?
Или никакой неправильный?

Поиск минимальной 10-ки с 12 делителями
Тестирование

Сначала вывела список паттернов для 10-ок, получилось 393 паттерна.
Определила по известной минимальной 10-ке паттерн, по которому она составлена

b146: 2^2.3 . 2.5^2 3.7^2 2^5 . 2.3^2 5 2^2 3

Запустила поиск по этому паттерну.
Результаты

001 pcoul(12 10) -f7 -g3 -x2973879756088065948 -b146 *RT*
305 2^2.3 11^2 2.5^2 3.7^2 2^5 31^2 2.3^2 5 2^2 3: 493403 / 36245664 (313.09s)
305 2^2.3 13^2 2.5^2 3.7^2 2^5 11^2 2.3^2 5.17^2 2^2 3: 219420 / 713172 (741.03s)
305 2^2.3 13^2 2.5^2 3.7^2 2^5 37^2 2.3^2 5 2^2 3: 6108605 / 18216908 (1138.71s)
305 2^2.3 17^2 2.5^2 3.7^2 2^5 13^2 2.3^2 5.186430661^2 2^2 3 (1519.71s)
202 Candidate 2973879756088065948 (1656.18s)
305 2^2.3 17^2 2.5^2 3.7^2 2^5 96303731^2 2.3^2 5 2^2 3 (1882.40s)
305 2^2.3 19^2 2.5^2 3.7^2 2^5 47^2 2.3^2 5 2^2 3: 1962865 / 5285205 (2263.00s)
305 2^2.3 23^2 2.5^2 3.7^2 2^5 19^2 2.3^2 5 2^2 3: 1665211 / 22069980 (2617.24s)
305 2^2.3 29^2 2.5^2 3.7^2 2^5 43^2 2.3^2 5 2^2 3: 319496 / 2710390 (3001.26s)
305 2^2.3 37^2 2.5^2 3.7^2 2^5 13^2 2.3^2 5 2^2 3: 2510855 / 18216908 (3361.48s)
305 2^2.3 43^2 2.5^2 3.7^2 2^5 31^2 2.3^2 5 2^2 3: 1753487 / 2371943 (3761.87s)
305 2^2.3 59^2 2.5^2 3.7^2 2^5 29^2 2.3^2 5 2^2 3: 307973 / 1439675 (4086.51s)
305 2^2.3 79^2 2.5^2 3.7^2 2^5 13^2 2.3^2 5 2^2 3: 30603 / 3995985 (4456.11s)
305 2^2.3 109^2 2.5^2 3.7^2 2^5 79^2 2.3^2 5 2^2 3: 40351 / 56840 (4888.60s)
305 2^2.3 167^2 2.5^2 3.7^2 2^5 28396391^2 2.3^2 5 2^2 3 (5327.11s)
305 2^2.3 223^2 2.5^2 3.7^2 2^5 14506207^2 2.3^2 5 2^2 3 (5694.01s)
305 2^2.3 269^2 2.5^2 3.7^2 2^5 142253767^2 2.3^2 5 2^2 3 (6027.07s)
305 2^2.3 313^2 2.5^2 3.7^2 2^5 . 2.3^2 5 2^2 3: 41484181 / 43020568 (6417.86s)
305 2^2.3 353^2 2.5^2 3.7^2 2^5 . 2.3^2 5 2^2 3: 29502652 / 33823255 (6764.84s)
305 2^2.3 419^2 2.5^2 3.7^2 2^5 . 2.3^2 5 2^2 3: 19807974 / 24006938 (7210.96s)
305 2^2.3 479^2 2.5^2 3.7^2 2^5 . 2.3^2 5 2^2 3: 5233286 / 18369350 (7559.71s)
305 2^2.3 587^2 2.5^2 3.7^2 2^5 . 2.3^2 5 2^2 3: 617795 / 12231750 (7939.78s)
305 2^2.3 683^2 2.5^2 3.7^2 2^5 . 2.3^2 5 2^2 3: 4393073 / 9034901 (8258.33s)
305 2^2.3 937^2 2.5^2 3.7^2 2^5 . 2.3^2 5 2^2 3: 3291565 / 4800490 (8622.58s)
305 2^2.3 1433^2 2.5^2 3.7^2 2^5 . 2.3^2 5 2^2 3: 621974 / 2052448 (8967.95s)
305 2^2.3 3037^2 2.5^2 3.7^2 2^5 . 2.3^2 5 2^2 3: 621 / 456956 (9306.35s)
305 2^2.3 13^5 2.5^2 3.7^2 2^5 . 2.3^2 5 2^2 3: 8362961 / 11351364 (9631.61s)
367 coul(12, 10): recurse 571175687, walk 571181139, walkc 4477425976 (9646.18s)
200 f(12, 10) = 2973879756088065948 (9646.18s)

Итак, черепашка подтвердила минимальные 8-ку, 9-ку и 10-ку.
Тест для 8-ки и 9-ки показан выше.

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

Note that the best known value for D(12,12) is only 12 times larger than for D(12,11). And because there are more constraints where there are more numbers to be checked, the number of valid patterns is smaller (614 with 32p, plus 872 already checked with 8p^2). So I think it will not be much harder than D(12,11) - it will be interesting to see how quickly sq12 can reduce the threshold for that case.

Да, я получила список всех паттернов для 12-ок и нашла в списке 872 паттерна с 8p^2.
Значит, осталось проверить всего 614 паттернов, меньше, чем для D(12,11).

Далее:

By comparison, my records show that proving D(12,9) >= 15724736975643 took 244.41s, while proving D(12,8) >= 15724736975643 took 6067.21s. The difference is because D(12,9) is more constrained.

Странно, у меня программа Hugo pcoul нашла минимальную 8-ку за 1039.15s.

001 pcoul(12 8) -f7 -g3 -x18652995711772 *RT*
202 Candidate 18652995711772 (560.98s)
305 2^2 7.29269^2 2.3^2 5 2^5 3 2 19^2 (576.67s)
202 Candidate 15724736975644 (605.86s)
202 Candidate 15724736975643 (680.99s)
367 coul(12, 8): recurse 94137689, walk 94208436, walkc 427646531 (1039.15s)
200 f(12, 8) = 15724736975643 (1039.15s)

Хм...
только сейчас заметила, что программа выводит неправильно минимальную 8-ку, ведь минимальная 8-ка равна

T(6,8) 18652995711772 Hugo van der Sanden 2022-01-12

а это минимальная 9-ка

T(6,9) 15724736975643 Hugo van der Sanden 2022-01-11

Видимо, программа вывела первую найденную непрерывную 8-ку, не обращая внимания на то, что она содержится в непрерывной 9-ке.

@Hugo
вы проверили паттерны для 12-ок с квадратами?
Я, например, проверила следующие паттерны

b17: 2^2 5 2.3^2 . 2^5 3.7^2 2.5^2 11^3 2^2.3 . 2 3^2.5 [sq=1]
b47: 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]
b59: 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 . [sq=1]
b67: 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 . [sq=1]
b76: 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 . [sq=1]
b103: 2^2.3 11^2 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 . [sq=2]
b104: 2^2.3 11^5 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 . [sq=2]
b105: 2^2.3 11 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 . [sq=2]
b106: 2^2.3 . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2.11^2 . [sq=2]
b107: 2^2.3 . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2.11 . [sq=3]

Такие паттерны проверяются очень быстро.
Если вы их ещё не проверили, я могу проверить все такие паттерны (без 8p^2).

Правильно ли я думаю, что минимальную 12-ку надо искать в диапазоне

-x9887353188984012120346:120402988681658048433948

???

Определила паттерн, по которому составлена текущая минимальная 12-ка, это паттерн b58

b58: 2^2.3  7^2  2.5^2  3  2^5  _  2.3^2  5  2^2.7  3  2.11^2  _

Запустила проверку этого паттерна (тестирование)

pcoul.exe -rresult12.txt -x9887353188984012120346:120402988681658048433948 -f11 -g3 -b58 12 12
pause

@Hugo
правильный ли параметр g я использую?

Первые логи

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)

Факторизация текущей минимальной 12-ки

[2, 2; 3, 1; 10033582390138170702829, 1],
[7, 2; 17, 1; 144541402979181330653, 1],
[2, 1; 5, 2; 2408059773633160968679, 1],
[3, 1; 13, 2; 237481240003270312493, 1],
[2, 5; 3762593396301814013561, 1],
[59, 2; 239, 1; 144722262373095367, 1],
[2, 1; 3, 2; 6689054926758780468553, 1],
[5, 1; 41, 2; 14325162246479244311, 1],
[2, 2; 7, 1; 4300106738630644586927, 1],
[3, 1; 113, 2; 3143106708477772951, 1],
[2, 1; 11, 2; 497533011081231605099, 1],
[23, 2; 1070301707, 1; 212654891653, 1]

Цитата

Запустила проверку этого паттерна (тестирование)

pcoul.exe -rresult12.txt -x9887353188984012120346:120402988681658048433948 -f11 -g3 -b58 12 12
pause

Тестирование прервано.
Логи

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.7571134849^2 2^2.7 3 2.11^2 17^2 (2222.23s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.9247361171^2 2^2.7 3 2.11^2 17^2 (2523.21s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.10833976271^2 2^2.7 3 2.11^2 17^2 (2804.26s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.12143747591^2 2^2.7 3 2.11^2 17^2 (3040.51s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.13022482373^2 2^2.7 3 2.11^2 17^2 (3213.23s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.14382571361^2 2^2.7 3 2.11^2 17^2 (3459.06s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.15666008957^2 2^2.7 3 2.11^2 17^2 (3697.64s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.17069403763^2 2^2.7 3 2.11^2 17^2 (3981.75s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.18958355837^2 2^2.7 3 2.11^2 17^2 (4401.80s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.20809910371^2 2^2.7 3 2.11^2 17^2 (4864.27s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.22883096087^2 2^2.7 3 2.11^2 17^2 (5327.50s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.24684434083^2 2^2.7 3 2.11^2 17^2 (5749.77s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.26507861113^2 2^2.7 3 2.11^2 17^2 (6175.92s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.29231887693^2 2^2.7 3 2.11^2 17^2 (6709.90s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.32025175199^2 2^2.7 3 2.11^2 17^2 (7192.50s)

Может быть, продолжу завтра.
Но, похоже, это будет очень долго выполняться.
К сожалению, ресурсы у меня ограничены.
Второй компьютер в удалённое управление никто не даёт :(

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

001 pcoul(12 11) -f11 -g3 -x9887353188984012120346 -b133 *RT*
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11.31^2: 21225362 / 27140688 (362.72s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11.241^2: 371778 / 449065 (675.28s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11.312863249^2 (982.93s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11.669368069^2 (1290.49s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11.1026666229^2 (1595.81s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11.1386507713^2 (1905.85s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11.1742527973^2 (2210.60s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11.2097999269^2 (2512.38s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11.2453519821^2 (2819.30s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11.2834797709^2 (3145.00s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11.3190330289^2 (3448.29s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11.3544495181^2 (3750.19s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11.3899384303^2 (4053.94s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11.4260601951^2 (4358.73s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11.4621946801^2 (4665.77s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11.4980107831^2 (4971.64s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11.5338634017^2 (5278.25s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11.5685138323^2 (5574.68s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11.6022476959^2 (5865.42s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11.6394621489^2 (6189.87s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11.6751408897^2 (6493.39s)
305 13^2 2.5^2 3 2^5 19^2 2.3^2 5.7^2 2^2 3 2 11.23^2: 25606285 / 39471098 (6805.54s)
305 13^2 2.5^2 3 2^5 19^2 2.3^2 5.7^2 2^2 3 2 11.101^2: 740663 / 2046878 (7121.79s)
305 13^2 2.5^2 3 2^5 19^2 2.3^2 5.7^2 2^2 3 2 11.257753669^2 (7426.80s)
305 13^2 2.5^2 3 2^5 19^2 2.3^2 5.7^2 2^2 3 2 11.611002811^2 (7733.59s)
. . . . . . . . . . 
305 177011^2 2.5^2 3 2^5 . 2.3^2 5.7^2 2^2 3 2 11: 40251 / 40655 (979025.84s)
305 506533^2 2.5^2 3 2^5 . 2.3^2 5.7^2 2^2 3 2 11: 4830 / 4964 (979614.57s)
305 2270937827^2 2.5^2 3 2^5 . 2.3^2 5.7^2 2^2 3 2 11 (980203.60s)
305 13^5 2.5^2 3 2^5 8818013^2 2.3^2 5.7^2 2^2 3 2 11 (980793.41s)
305 13^5 2.5^2 3 2^5 4080463853^2 2.3^2 5.7^2 2^2 3 2 11 (981383.01s)
305 17^5 2.5^2 3 2^5 . 2.3^2 5.7^2 2^2 3 2 11: 330417511 / 897189502 (981970.92s)
305 17^5 2.5^2 3 2^5 . 2.3^2 5.7^2 2^2 3 2 11: 820482988 / 897189502 (982558.31s)
305 19^5 2.5^2 3 2^5 . 2.3^2 5.7^2 2^2 3 2 11: 426945596 / 514470864 (983146.48s)
367 coul(12, 11): recurse 45757209771, walk 45757246719, walkc 421915738213 (983673.14s)

Это трудный паттерн с LCM=3880800.
Проверка длилась 11,4 суток.
Я не надеялась, что так быстро будет.
Можно ожидать скорого завершения и остальных паттернов, большинство из них с таким же шагом.

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

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

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

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

Hugo ответил на вопрос в сообщении
https://boinc.progger.info/odlk/forum_thread.php?id=196&postid=10349

No, only those including 8p^2.

Таким образом, можно заняться проверкой паттернов с квадратами (без 8p^2).

Напомню: я уже проверила паттерны (не путать: это паттерны для 12-ок)

b17: 2^2 5 2.3^2 . 2^5 3.7^2 2.5^2 11^3 2^2.3 . 2 3^2.5 [sq=1]
b47: 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]
b59: 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 . [sq=1]
b67: 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 . [sq=1]
b76: 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 . [sq=1]
b103: 2^2.3 11^2 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 . [sq=2]
b104: 2^2.3 11^5 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 . [sq=2]
b105: 2^2.3 11 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 . [sq=2]
b106: 2^2.3 . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2.11^2 . [sq=2]
b107: 2^2.3 . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2.11 . [sq=3]

Такие паттерны очень быстро проверяются.

Проверять буду такой командной строкой

pcoul.exe -rb137_12.txt  -x120402988681658048433948 -f11 -g1e6:1 -b137 12 12

Пример проверки паттерна b137

001 pcoul(12 12) -f11 -g1000000: -x120402988681658048433948 -b137 *RT*
367 coul(12, 12): recurse 305, walk 3467, walkc 38 (0.08s)

Надеюсь, это правильно.
Если неправильно, прошу Hugo поправить.

Не помню, какой командной строкой я проверила перечисленные выше 10 паттернов.

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

 b137: 2^2.3 . 2.7 3.5 2^5 11^2 2.3^2 . 2^2.5 3.7 2 . [sq=3]
 b138: 2^2.3 . 2.7 3.5 2^5 11^5 2.3^2 . 2^2.5 3.7 2 . [sq=3]
 b139: 2^2.3 . 2.7 3.5 2^5 11 2.3^2 . 2^2.5 3.7 2 . [sq=3]
 b140: 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 2.11^2 . [sq=3]
 b141: 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 2.11 . [sq=4]
 b367: 3 2^2 5 2.3^2 . 2^5 3.7^2 2.5^2 11^3 2^2.3 . 2 [sq=1]
 b395: 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^3 2^2.3 . 2.7^2 [sq=1]
 b399: 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 [sq=1]
 b408: 11 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 [sq=1]
 b416: 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 [sq=1]
 b451: 11 2^2.3 . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2.11 [sq=3]
 b452: . 2^2.3 11^2 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 [sq=2]
 b453: . 2^2.3 11^5 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 [sq=2]
 b454: . 2^2.3 11 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 [sq=2]
 b455: 11 2^2.3 . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2.11^2 [sq=2]
 b485: 11 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 2.11 [sq=4]
 b486: . 2^2.3 . 2.7 3.5 2^5 11^2 2.3^2 . 2^2.5 3.7 2 [sq=3]
 b487: . 2^2.3 . 2.7 3.5 2^5 11^5 2.3^2 . 2^2.5 3.7 2 [sq=3]
 b488: . 2^2.3 . 2.7 3.5 2^5 11 2.3^2 . 2^2.5 3.7 2 [sq=3]
 b489: 11 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 2.11^2 [sq=3]
 b827: 2 3 2^2.5 11^2 2.3^2 7^3 2^5 3.5^2 2 . 2^2.3 . [sq=1]
 b828: 2 3 2^2.5 11^5 2.3^2 7^3 2^5 3.5^2 2 . 2^2.3 . [sq=1]
 b829: 2 3 2^2.5 11 2.3^2 7^3 2^5 3.5^2 2 . 2^2.3 . [sq=1]
 b830: 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2.11^2 . 2^2.3 . [sq=1]
 b831: 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 11^2 2^2.3 . [sq=1]
 b832: 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 11^5 2^2.3 . [sq=1]
 b833: 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 11 2^2.3 . [sq=1]
 b851: 2 3 2^2 5 2.3^2 7^2 2^5 3 2.5^2 11^3 2^2.3 . [sq=1] 
 b851: 2 3 2^2 5 2.3^2 7^2 2^5 3 2.5^2 11^3 2^2.3 . [sq=1]
 b860: 2 3 2^2 5 2.3^2 7^5 2^5 3 2.5^2 11^3 2^2.3 . [sq=1]

Большинство паттернов проверялись доли секунды, некоторые - несколько секунд, самый долгий в этой порции - b416

001 pcoul(12 12) -f11 -g1000000: -x120402988681658048433948 -b416 *RT*
367 coul(12, 12): recurse 305, walk 3467, walkc 46970699 (81.04s)

Аж 81 секунда! :)
Может, и не пригодится моя проверка, ну - играюсь, смотрю, как проверяются самые лёгкие паттерны для 12-ок.
Позже проверю оставшиеся аналогичные паттерны, их немного осталось.

Ой, что-то 179-я серия мыльной оперы "Петадекатлон мечты" совсем захирела :)
Главный герой в отпуске?