На Ахиллесе-3 проверился паттерн b209.
Показываю частично логи

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b209 *RT*
305 3 2^2.7 5 2.3^2 11^2 2^5 3.13^2 2.5^2 7^2 2^2.3 . 2 3^2.5 W(47904413,0): 6 / 17 (597.33s)
305 3 2^2.7 5 2.3^2 11^2 2^5 3.13^2 2.5^2 7^2 2^2.3 . 2 3^2.5 W(17596171,11): 0 / 131 (1197.14s)
305 3 2^2.7 5 2.3^2 11^2 2^5 3.13^2 2.5^2 7^2 2^2.3 . 2 3^2.5 W(10459499,11): 363 / 371 (1797.02s)
. . . . . . . . 
305 3 2^2.7 5 2.3^2 11^2 2^5 3.13^2 2.5^2 7^2 2^2.3 . 2 3^2.5 W(854993,2): 38675 / 55621 (19185.62s)
305 3 2^2.7 5 2.3^2 11^2 2^5 3.13^2 2.5^2 7^2 2^2.3 . 2 3^2.5 W(829501,10): 17481 / 59093 (19785.53s)
305 3 2^2.7 5 2.3^2 11^2 2^5 3.13^2 2.5^2 7^2 2^2.3 . 2 3^2.5 W(805723,2): 31538 / 62632 (20385.52s)
305 3.463^2 2^2.7 5.29^2 2.3^2 11^2 2^5 3.13^2 2.5^2 7^2 2^2.3 17^2 2.188941^5 3^2.5 (20985.39s)
305 3.139^2 2^2.7 5.53^2 2.3^2 11^2 2^5 3.13^2 2.5^2 7^2 2^2.3 17^2 2.16561^2 3^2.5 (21585.33s)
305 3.19^2 2^2.7 5.107^2 2.3^2 11^2 2^5 3.13^2 2.5^2 7^2 2^2.3 17^2 2.23^2 3^2.5: 7695 / 64348 (22185.25s)
. . . . . . . . . 
305 3 2^2.7 5.175229^2 2.3^2 11^2 2^5 3.13^2 2.5^2 7^2 2^2.3 696427^2 2 3^2.5 (158193.25s)
305 3 2^2.7 5 2.3^2 11^2 2^5 3.13^2 2.5^2 7^2 2^2.3 718723^2 2 3^2.5: 5540 / 78713 (158792.34s)
305 3 2^2.7 5 2.3^2 11^2 2^5 3.13^2 2.5^2 7^2 2^2.3 789181^2 2 3^2.5: 6316 / 65285 (159390.56s)
367 coul(12, 13): recurse 16500939957, walk 20787965151, walkc 34985416238 (159698.86s)

Запущен паттерн b257.

Состояние проверки паттернов для D(12,13) с LCM=7214407200

b98:,7214407200 - проверен
b101:,7214407200 - проверен
b129:,7214407200 - проверен
b133:,7214407200 - проверен
b167:,7214407200 - проверен
b170:,7214407200 - проверен
b197:,7214407200 - проверен
b202:,7214407200 - проверен
b206:,7214407200 - проверен
b207:,7214407200 - проверен
b209:,7214407200 - проверен
b211:,7214407200 - в проверке
b214:,7214407200 - в проверке
b234:,7214407200 - в проверке
b238:,7214407200 - проверен
b252:,7214407200 - в проверке
b253:,7214407200 - в проверке
b254:,7214407200 - в проверке
b257:,7214407200 - в проверке

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

А Вы сверили что все проверки она делала без ключей -p и -W? Это важно.

Непременно сделать независимую проверку! Опять эта глупая Макарова всё напутала


Ядряра отвечает
https://dxdy.ru/post1578288.html#p1578288

Я-то сверил. Но это в первую очередь Hugo надо спросить. Всё ли квадратные паттерны для 13-15-к правильно проверялись...

Sic!

Ну, за отсутствием Hugo господин Петухов главный :))

Кстати, я сомневаюсь, что "квадратные" паттерны надо проверять даже без параметра g (что уже отмечала выше):

PS. Согласно примеру, приведённому господином Петуховым, ни параметр g, ни параметр р в проверке этих паттернов задавать не нужно.
Поверим господину Петухову.
Хотя параметр g в проверке паттернов с квадратами простых [для D(12,11)] Hugo рекомендовал задавать.

Но проверила, как господин Петухов сказал
https://dxdy.ru/post1575868.html#p1575868

T:\M12minimal\Hugo>pcoul -v -f13 -x8e34 -b127 12 15
001 pcoul(12 15) -f13 -x80000000000000000000000000000000000 -b127 *RT*
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: 60988592220412786461516805 / 60989071978082967093956104
367 coul(12, 15): recurse 280, walk 3786, walkc 64728917793 (36716.80s)

Повтор цитаты господина Никонова

Но это в первую очередь Hugo надо спросить. Всё ли квадратные паттерны для 13-15-к правильно проверялись...

Действительно, надо бы спросить.
Но... что-то очень похоже на то, что Hugo все эти проверки "квадратных" паттернов для 13-ок - 15-ок абсолютно не интересуют.
[И не только "квадратных" - замечу в скобках.]
Правильно ли они проверялись, или неправильно - один чёрт.
Как верно заметил недавно господин Петухов, Hugo результаты этих проверок не принимает.
А если бы его эти проверки интересовали, давно бы отписался где-нибудь:
а) на форуме dxdy.ru;
b) на форуме boinc.ru;
c) в личной переписке.
Хотя, возможно, в личной переписке с кем-то он и отписался, со мной - нет.

Конечно, обидно, что результаты проверок игнорируются, вопросы на форуме boinc.ru игнорируются.
Но ничего не поделаешь.
Остаётся ждать. Возможно, какая-то информация появится.
Хотя я уже теряю всякую надежду.
Наверное, Hugo доказывает минимальность 13-ки в гордом одиночестве.
Надоели все эти помощники :)

А между тем, проверился ещё один паттерн для 13-ок - b214.
Показываю логи частично

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b214 *RT*
305 3 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 . 2.13^2 3^2.5 W(48409741,2): 0 / 16 (598.92s)
305 3 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 . 2.13^2 3^2.5 W(17875661,2): 10 / 126 (1197.95s)
305 3 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 . 2.13^2 3^2.5 W(10624531,6): 135 / 359 (1797.23s)
. . . . . . . . . . . . . 
305 3 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 . 2.13^2 3^2.5 W(859853,0): 11441 / 54994 (19764.61s)
305 3 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 . 2.13^2 3^2.5 W(835327,2): 56987 / 58271 (20363.24s)
305 3 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 . 2.13^2 3^2.5 W(812353,0): 14935 / 61614 (20961.62s)
305 3.83^2 2^2.7 5.23^2 2.3^2 11^2 2^5 3.19^2 2.5^2 7^2 2^2.3 17^2 2.13^2 3^2.5: 65980 / 106943 (21560.11s)
305 3.1409^2 2^2.7 5.41^2 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 17^2 2.13^2 3^2.5: 18000 / 42157 (22158.89s)
305 3.331^2 2^2.7 5.79^2 2.3^2 11^2 2^5 3.171481^2 2.5^2 7^2 2^2.3 17^2 2.13^2 3^2.5 (22757.91s)
. . . . . . . . . . . . 
305 3 2^2.7 5.95987^2 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 695567^2 2.13^2 3^2.5 (159346.23s)
305 3 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 715963^2 2.13^2 3^2.5: 31300 / 79320 (159946.17s)
305 3 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 788107^2 2.13^2 3^2.5: 2351 / 65463 (160546.16s)
367 coul(12, 13): recurse 16500939957, walk 20699808719, walkc 34985413677 (160865.75s)

Запущен паттерн b260.

Паттерны этой группы проверяются в 7 потоков: один поток на Ахиллесе и 6 потоков на Ахиллесе-3.

Состояние проверки паттернов для D(12,13) с LCM=7214407200

b98:,7214407200 - проверен
b101:,7214407200 - проверен
b129:,7214407200 - проверен
b133:,7214407200 - проверен
b167:,7214407200 - проверен
b170:,7214407200 - проверен
b197:,7214407200 - проверен
b202:,7214407200 - проверен
b206:,7214407200 - проверен
b207:,7214407200 - проверен
b209:,7214407200 - проверен
b211:,7214407200 - в проверке
b214:,7214407200 - проверен
b234:,7214407200 - в проверке
b238:,7214407200 - проверен
b252:,7214407200 - в проверке
b253:,7214407200 - в проверке
b254:,7214407200 - в проверке
b257:,7214407200 - в проверке
b260:,7214407200 - в проверке

Ахиллес-3 осилил ещё один паттерн - b211.
Показываю логи частично

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b211 *RT*
305 3 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 13^2 2 3^2.5 W(48310387,6): 0 / 17 (599.27s)
305 3 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 13^2 2 3^2.5 W(18179461,0): 12 / 122 (1198.45s)
305 3 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 13^2 2 3^2.5 W(10740659,2): 62 / 352 (1797.62s)
. . . . . . . . . . .
305 3 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 13^2 2 3^2.5 W(893407,11): 4086 / 50941 (19175.59s)
305 3 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 13^2 2 3^2.5 W(867211,6): 4960 / 54065 (19774.39s)
305 3 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 13^2 2 3^2.5 W(842551,0): 41369 / 57276 (20373.62s)
305 3 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 13^2 2 3^2.5 W(819583,11): 21304 / 60531 (20972.64s)
305 3.19^2 2^2.7 5.17^2 2.3^2 11^2 2^5 3.151^2 2.5^2 7^2 2^2.3 13^2 2.755203^2 3^2.5 (21571.62s)
305 3.31^2 2^2.7 5.17^2 2.3^2 11^2 2^5 3.1093^2 2.5^2 7^2 2^2.3 13^2 2.403547^2 3^2.5 (22170.78s)
305 3.61^2 2^2.7 5.17^2 2.3^2 11^2 2^5 3.59^2 2.5^2 7^2 2^2.3 13^2 2.19^2 3^2.5: 3040 / 30088 (22769.72s)
. . . . . . . . . . .
305 3.119389^2 2^2.7 5.686989^2 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 13^2 2 3^2.5 (161186.30s)
305 3.104959^2 2^2.7 5.706193^2 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 13^2 2 3^2.5 (161785.11s)
305 3 2^2.7 5.757331^2 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 13^2 2 3^2.5: 56177 / 70892 (162383.62s)
367 coul(12, 13): recurse 16475670452, walk 20839501184, walkc 34950271475 (162720.36s)

Запущен паттерн b346.

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

Недооценил скорость своей проги, до 5e11 порог для всех паттернов уменьшила за 12ч, вдвое дольше первоначальной оценки.
Продолжает считать дальше.

Недохвастанул :))

Напомню: у меня паттерны с LCM=7214407200 для D(12,13) проверяются с порогом -р2е8.
Я его снизила с потолка :)
При этом указан ещё параметр W со значением 8e5, и это тоже с потолка.
Да, и параметр g тоже указан - с потолка.
В общем, запуск такой

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b211 *RT*

Что-то программа pcoul считает. Бог знает - что, а может, и Бог не знает :)
Может, ещё Hugo знает, но он пока отмалчивается.

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

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b234 *RT*
305 3 2^2.7 5 2.3^2 13^2 2^5 3.11^2 2.5^2 7^2 2^2.3 . 2 3^2.5 W(47831347,10): 9 / 17 (599.45s)
305 3 2^2.7 5 2.3^2 13^2 2^5 3.11^2 2.5^2 7^2 2^2.3 . 2 3^2.5 W(17750983,10): 3 / 128 (1198.61s)
305 3 2^2.7 5 2.3^2 13^2 2^5 3.11^2 2.5^2 7^2 2^2.3 . 2 3^2.5 W(10519913,10): 356 / 367 (1797.98s)
. . . . . . . . . .
305 3 2^2.7 5 2.3^2 13^2 2^5 3.11^2 2.5^2 7^2 2^2.3 . 2 3^2.5 W(859513,2): 12071 / 55038 (19755.56s)
305 3 2^2.7 5 2.3^2 13^2 2^5 3.11^2 2.5^2 7^2 2^2.3 . 2 3^2.5 W(833977,2): 35050 / 58460 (20354.14s)
305 3 2^2.7 5 2.3^2 13^2 2^5 3.11^2 2.5^2 7^2 2^2.3 . 2 3^2.5 W(810763,11): 51674 / 61855 (20952.83s)
305 3.853^2 2^2.7 5.23^2 2.3^2 13^2 2^5 3.11^2 2.5^2 7^2 2^2.3 17^2 2.458377^2 3^2.5 (21551.86s)
305 3.431^2 2^2.7 5.43^2 2.3^2 13^2 2^5 3.11^2 2.5^2 7^2 2^2.3 17^2 2.77377^5 3^2.5 (22150.64s)
305 3.2671^2 2^2.7 5.83^2 2.3^2 13^2 2^5 3.11^2 2.5^2 7^2 2^2.3 17^2 2 3^2.5: 2322 / 2862 (22749.47s)
. . . . . . . . . . 
305 3 2^2.7 5.135727^5 2.3^2 13^2 2^5 3.11^2 2.5^2 7^2 2^2.3 696373^2 2 3^2.5 (159940.91s)
305 3 2^2.7 5 2.3^2 13^2 2^5 3.11^2 2.5^2 7^2 2^2.3 717883^2 2 3^2.5: 31519 / 78897 (160539.36s)
305 3 2^2.7 5 2.3^2 13^2 2^5 3.11^2 2.5^2 7^2 2^2.3 788813^2 2 3^2.5: 30452 / 65346 (161137.70s)
367 coul(12, 13): recurse 16500939957, walk 20787965151, walkc 34985398093 (161451.47s)

Запущен паттерн b349.

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

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b254 *RT*
305 3 2^2.7 5 2.3^2 13^2 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(19802599,11): 15 / 103 (584.32s)
305 3 2^2.7 5 2.3^2 13^2 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(8206199,0): 28 / 603 (1168.74s)
305 3 2^2.7 5 2.3^2 13^2 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(5183683,2): 144 / 1512 (1752.94s)
. . . . . . . . . . .
305 3 2^2.7 5 2.3^2 13^2 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(943783,0): 848 / 45648 (9368.11s)
305 3 2^2.7 5 2.3^2 13^2 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(890161,6): 3986 / 51313 (9952.65s)
305 3 2^2.7 5 2.3^2 13^2 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(842497,6): 52634 / 57283 (10537.07s)
305 3.19^2 2^2.7 5.17^2 2.3^2 13^2 2^5 3.41^2 2.5^2 7^2 2^2.3 11^2 2.23^2 3^2.5: 331407 / 438272 (11133.81s)
305 3.53^2 2^2.7 5.17^2 2.3^2 13^2 2^5 3.491^2 2.5^2 7^2 2^2.3 11^2 2.663203^2 3^2.5 (11718.42s)
305 3.197^2 2^2.7 5.17^2 2.3^2 13^2 2^5 3.139^2 2.5^2 7^2 2^2.3 11^2 2.79999^5 3^2.5 (12302.85s)
. . . . . . . . . .
305 3.704849^2 2^2.7 5.643991^2 2.3^2 13^2 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 (83068.82s)
305 3.170707^5 2^2.7 5.679781^2 2.3^2 13^2 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 (83654.01s)
305 3 2^2.7 5.721709^2 2.3^2 13^2 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5: 22412 / 78063 (84239.62s)
367 coul(12, 13): recurse 16475670452, walk 20839501184, walkc 34950284779 (84572.96s)

Запущен паттерн b357.

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

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b252 *RT*
305 3.13^2 2^2.7 5 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(48712127,6): 3 / 16 (598.56s)
305 3.13^2 2^2.7 5 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(18346687,6): 50 / 120 (1196.30s)
305 3.13^2 2^2.7 5 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(10927087,6): 305 / 340 (1794.59s)
. . . . . . . . . . 
305 3.13^2 2^2.7 5 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(853493,2): 49275 / 55817 (20372.12s)
305 3.13^2 2^2.7 5 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(829519,6): 10342 / 59090 (20971.97s)
305 3.13^2 2^2.7 5 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(807011,11): 43817 / 62432 (21571.91s)
305 3.13^2 2^2.7 5.29^2 2.3^2 17^2 2^5 3.43^2 2.5^2 7^2 2^2.3 11^2 2.19^2 3^2.5: 146526 / 250630 (22171.95s)
305 3.13^2 2^2.7 5.47^2 2.3^2 17^2 2^5 3.613^2 2.5^2 7^2 2^2.3 11^2 2.670279^2 3^2.5 (22771.91s)
305 3.13^2 2^2.7 5.101^2 2.3^2 17^2 2^5 3.139^2 2.5^2 7^2 2^2.3 11^2 2.128213^5 3^2.5 (23371.92s)
. . . . . . . . 
305 3.13^2 2^2.7 5.333581^2 2.3^2 690397^2 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 (164715.70s)
305 3.13^2 2^2.7 5.63313^5 2.3^2 708221^2 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 (165314.36s)
305 3.13^2 2^2.7 5 2.3^2 761869^2 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5: 36601 / 70049 (165912.95s)
367 coul(12, 13): recurse 16500939957, walk 20787965151, walkc 34985424271 (166443.64s)

Запущен паттерн b360.

Состояние проверки паттернов для D(12,13) с LCM=7214407200

b98:,7214407200 - проверен
b101:,7214407200 - проверен
b129:,7214407200 - проверен
b133:,7214407200 - проверен
b167:,7214407200 - проверен
b170:,7214407200 - проверен
b197:,7214407200 - проверен
b202:,7214407200 - проверен
b206:,7214407200 - проверен
b207:,7214407200 - проверен
b209:,7214407200 - проверен
b211:,7214407200 - проверен
b214:,7214407200 - проверен
b234:,7214407200 - проверен
b238:,7214407200 - проверен
b252:,7214407200 - проверен
b253:,7214407200 - в проверке
b254:,7214407200 - проверен
b257:,7214407200 - в проверке
b260:,7214407200 - в проверке
b346:,7214407200 - в проверке
b349:,7214407200 - в проверке
b357:,7214407200 - в проверке
b360:,7214407200 - в проверке

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

Сегодня пришлось подумать.
Слово хорошее загадано.
После третьей попытки получила комбинацию **Т*А и ещё букв Б где-то тут бултыхается - позиция её неизвестна.
Ну вот, долго думала, что же это за слово.
Не поверите, пришлось взять словарь :)
В словаре сразу же слово нашла.
Четвёртой попыткой слово отгадано.
Хотя сыграла на "троечку", но куча удовольствия :)

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

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b253 *RT*
305 3 2^2.7 5.13^2 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(48317419,4): 6 / 16 (599.11s)
305 3 2^2.7 5.13^2 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(17898043,11): 77 / 126 (1198.22s)
305 3 2^2.7 5.13^2 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(10584029,4): 348 / 362 (1797.34s)
. . . . . . . . . . 
305 3 2^2.7 5.13^2 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(856139,6): 8641 / 55473 (19768.08s)
305 3 2^2.7 5.13^2 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(831821,11): 4899 / 58764 (20359.16s)
305 3 2^2.7 5.13^2 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(809719,11): 24563 / 62016 (20958.19s)
305 3.23^2 2^2.7 5.13^2 2.3^2 17^2 2^5 3.809^2 2.5^2 7^2 2^2.3 11^2 2.14957^5 3^2.5 (21556.83s)
305 3.43^2 2^2.7 5.13^2 2.3^2 17^2 2^5 3.37^2 2.5^2 7^2 2^2.3 11^2 2.428567^2 3^2.5 (22155.48s)
305 3.79^2 2^2.7 5.13^2 2.3^2 17^2 2^5 3.263^2 2.5^2 7^2 2^2.3 11^2 2.188401^2 3^2.5 (22754.30s)
. . . . . . . . . . 
305 3.157433^5 2^2.7 5.13^2 2.3^2 705899^2 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 (161172.12s)
305 3 2^2.7 5.13^2 2.3^2 753983^2 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5: 13812 / 71523 (161771.28s)
305 3.627383^2 2^2.7 5.13^2 2.3^2 193^5 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5 (162370.14s)
367 coul(12, 13): recurse 16500939957, walk 20871253024, walkc 34985412970 (162373.22s)

Запущен паттерн b368.

Музыкальная пауза

Д. Хворостовский "К России с любовью" | Dmitri Hvorostovsky The concert "For Russia with love" 2007
https://youtu.be/hPGLoCGpwkk

Ахиллесы выдали по одному паттерну: b257 и b357.
Показываю логи частично

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b257 *RT*
305 3 2^2.7 5 2.3^2 . 2^5 3.13^2 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(47599289,2): 5 / 17 (598.83s)
305 3 2^2.7 5 2.3^2 . 2^5 3.13^2 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(17715811,0): 22 / 129 (1197.39s)
305 3 2^2.7 5 2.3^2 . 2^5 3.13^2 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(10562021,11): 61 / 363 (1795.95s)
. . . . . . . . 
305 3 2^2.7 5 2.3^2 . 2^5 3.13^2 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(854929,2): 32189 / 55630 (19764.77s)
305 3 2^2.7 5 2.3^2 . 2^5 3.13^2 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(830579,0): 50438 / 58939 (20364.75s)
305 3 2^2.7 5 2.3^2 . 2^5 3.13^2 2.5^2 7^2 2^2.3 11^2 2 3^2.5 W(808097,0): 36214 / 62264 (20964.66s)
305 3.2273^2 2^2.7 5.23^2 2.3^2 17^2 2^5 3.13^2 2.5^2 7^2 2^2.3 11^2 2 3^2.5: 42368 / 51477 (21564.27s)
305 3.31^2 2^2.7 5.47^2 2.3^2 17^2 2^5 3.13^2 2.5^2 7^2 2^2.3 11^2 2.19^2 3^2.5: 90676 / 183589 (22164.24s)
305 3.467^2 2^2.7 5.89^2 2.3^2 17^2 2^5 3.13^2 2.5^2 7^2 2^2.3 11^2 2.135661^5 3^2.5 (22764.17s)
. . . . . . . . . 
305 3 2^2.7 5.710483^2 2.3^2 695293^2 2^5 3.13^2 2.5^2 7^2 2^2.3 11^2 2 3^2.5 (161165.06s)
305 3 2^2.7 5 2.3^2 714851^2 2^5 3.13^2 2.5^2 7^2 2^2.3 11^2 2 3^2.5: 76740 / 79568 (161764.27s)
305 3 2^2.7 5 2.3^2 786589^2 2^5 3.13^2 2.5^2 7^2 2^2.3 11^2 2 3^2.5: 62587 / 65716 (162363.38s)
367 coul(12, 13): recurse 16500939957, walk 20787965151, walkc 34985418661 (162686.59s)

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b357 *RT*
305 3 2^2 5 2.3^2 7.11^2 2^5 3 2.5^2 13^2 2^2.3 . 2.7^2 3^2.5 W(19271731,6): 10 / 108 (583.96s)
305 3 2^2 5 2.3^2 7.11^2 2^5 3 2.5^2 13^2 2^2.3 . 2.7^2 3^2.5 W(7923869,0): 604 / 646 (1167.76s)
305 3 2^2 5 2.3^2 7.11^2 2^5 3 2.5^2 13^2 2^2.3 . 2.7^2 3^2.5 W(4987501,6): 176 / 1634 (1751.27s)
. . . . . . . . 
305 3 2^2 5 2.3^2 7.11^2 2^5 3 2.5^2 13^2 2^2.3 . 2.7^2 3^2.5 W(901471,0): 39260 / 50034 (9334.08s)
305 3 2^2 5 2.3^2 7.11^2 2^5 3 2.5^2 13^2 2^2.3 . 2.7^2 3^2.5 W(850027,6): 39533 / 56273 (9917.64s)
305 3 2^2 5 2.3^2 7.11^2 2^5 3 2.5^2 13^2 2^2.3 . 2.7^2 3^2.5 W(804179,2): 37368 / 62873 (10500.57s)
305 3.281^2 2^2 5.47^2 2.3^2 7.11^2 2^5 3.344479^2 2.5^2 13^2 2^2.3 17^2 2.7^2 3^2.5 (11083.64s)
305 3.89^2 2^2 5.181^2 2.3^2 7.11^2 2^5 3.260081^2 2.5^2 13^2 2^2.3 17^2 2.7^2 3^2.5 (11666.82s)
305 3.37^2 2^2 5.941^2 2.3^2 7.11^2 2^5 3.327941^2 2.5^2 13^2 2^2.3 17^2 2.7^2 3^2.5 (12250.73s)
. . . . . . . . . 
305 3 2^2 5.530653^2 2.3^2 7.11^2 2^5 3 2.5^2 13^2 2^2.3 639491^2 2.7^2 3^2.5 (79961.79s)
305 3 2^2 5.208001^2 2.3^2 7.11^2 2^5 3 2.5^2 13^2 2^2.3 674159^2 2.7^2 3^2.5 (80552.15s)
305 3 2^2 5.335743^2 2.3^2 7.11^2 2^5 3 2.5^2 13^2 2^2.3 708371^2 2.7^2 3^2.5 (81136.70s)
367 coul(12, 13): recurse 16500939957, walk 20699808719, walkc 34985412520 (81687.16s)

Запущены паттерны b371 и b374.

Состояние проверки паттернов для D(12,13) с LCM=7214407200

b98:,7214407200 - проверен
b101:,7214407200 - проверен
b129:,7214407200 - проверен
b133:,7214407200 - проверен
b167:,7214407200 - проверен
b170:,7214407200 - проверен
b197:,7214407200 - проверен
b202:,7214407200 - проверен
b206:,7214407200 - проверен
b207:,7214407200 - проверен
b209:,7214407200 - проверен
b211:,7214407200 - проверен
b214:,7214407200 - проверен
b234:,7214407200 - проверен
b238:,7214407200 - проверен
b252:,7214407200 - проверен
b253:,7214407200 - проверен
b254:,7214407200 - проверен
b257:,7214407200 - проверен
b260:,7214407200 - в проверке
b346:,7214407200 - в проверке
b349:,7214407200 - в проверке
b357:,7214407200 - проверен
b360:,7214407200 - в проверке
b368:,7214407200 - в проверке
b371:,7214407200 - в проверке
b374:,7214407200 - в проверке

to@Hugo
если вы читаете блог, пожалуйста, прокомментируйте проверку этой группы паттернов.
Может быть, я выполняю абсолютно бесполезную работу :(

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

Всё же полезно иногда прежде чем писать программы подумать головой ...

затем в сообщении
https://dxdy.ru/post1578627.html#p1578627

Что-то странное, в 15-ку с LCM=7214407200 ни в один паттерн типа нельзя расставить более двух простых в квадратах, все p<241, а там где можно два, там 19 и 47. Но ведь пятнашки найдены ... Что-то вероятно я не так делаю ...

Наверное, опять не головой подумал :)))

Повеселю вас, дорогие читатели.
Детская загадка
"Шла баба с тестом, упала мягким местом. Чем ты думаешь?"

Ваш ответ на загадку :)

PS. Да-да, помнится, ещё господин Никонов писал, что для 13-ок порог -р1000 явно завышен.
Сдаётся мне, что понимание сути порога р у всех участников проекта, включая Супермена, весьма приблизительное.
[Возможно, за исключением Hugo.]
Хотя Супермен писал, что это только мои проблемы.
Ну, мои-то ладно, мне простительно.
А вот Супермену, который этот порог и придумал, не простительно.

А сейчас я проверяю паттерны для 13-ок с порогом -p2е8.
Это ж совсем ни в какие ворота - с точки зрения господина Никонова.

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

Да, это я погорячился! Не то нулю приравнял.
Не выходит такого строго ограничения.

"О, сколько нам открытий чудных!..."

Люди, понимающие в математике, давно проект бросили.
Приходится одному Супермену за всех отдуваться.
Ну вот и заходят шарики за ролики :)
Надо быть осторожней, так и крыша может съехать!
К примеру, я в суть порога р не вникаю, у меня свои пороги :)
А если во всё вникать, точно крыша поедет.

Цитата

to@Hugo
если вы читаете блог, пожалуйста, прокомментируйте проверку этой группы паттернов.
Может быть, я выполняю абсолютно бесполезную работу :(

Итак, комментарий не получен.
Возможны два варианта:
1) Hugo не читает блог;
2) Hugo читает блог, но не хочет комментировать проверку.

Ладно, пока продолжу проверку в том же режиме.
Проверились паттерны b260, b346, b349.
Логи показывать не буду, так как они никому не нужны (даже Hugo).
Состояние проверки тоже не буду показывать.
Решений в проверенных паттернах не найдено.

Запущены паттерны b376-b378.

Напомню: паттерны для 13-ок с LCM=7214407200 проверяются у меня в 7 потоков: один - на Ахиллесе, 6 - на Ахиллесе-3.
Параметры программы видны здесь

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b357 *RT*

Паттерны с этим шагом самые многочисленные, их 418 штук из 3408 основных паттернов.
Паттерн, дающий известную минимальную 13-ку, принадлежит этой группе паттернов.
Поэтому я выбрала эту группу паттернов для проверки.
Вдруг ещё найдётся цепочка.
Однако... параметры выбраны с потолка, отсюда и надежды на решения весьма призрачны.
Как говорится: поживём - увидим.
Если, конечно, поживём :)

Ахиллес расправился с паттерном b371.
Запущен паттерн b380.

Ахиллес-3 расправился с паттерном b360.
Запущен паттерн b411.

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

After a bit of a break, I've started working to remove the restrictions on -W in pcoul. As part of that, I'd like to simplify it to act in a more natural order, in particular to try the different primes in ascending order.

That implies two things: first, that with the new code you would not be able to recover a run started with the old code (if the last log line shows "W"); second, that you could no longer change your mind about the -W limit without restarting.

If anyone is currently using it in a way that would be substantially inconvenienced by such a change, please let me know either here or by email.

Google перевёл это так

После небольшого перерыва я начал работать над снятием ограничений на -W в pcoul. В рамках этого я хотел бы упростить его, чтобы действовать в более естественном порядке, в частности, чтобы попробовать разные простые числа в порядке возрастания.

Это подразумевает две вещи: во-первых, с новым кодом вы не сможете восстановить прогон, начатый со старым кодом (если в последней строке журнала отображается «W»); во-вторых, что вы больше не могли изменить свое мнение об ограничении -W без перезапуска.

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

Ничего не поняла из этого сообщения.

...я начал работать над снятием ограничений на -W в pcoul.

Почему надо снимать ограничения -W?
Ведь вроде бы с этими ограничениями всё было так хорошо.
Что изменилось?
А это вообще мрак

...во-вторых, что вы больше не могли изменить свое мнение об ограничении -W без перезапуска.

Я сейчас использую ограничение -W в проверке паттернов для 13-ок.
Может, не надо использовать?
Или надо использовать как-то по-другому?
В общем, всё - ёжик в тумане!
Толком ничего не видно, но натыкаешься и колется :)

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

Проверено 26 паттернов, в проверке 7 паттернов.

Кстати, на этой же странице, где Hugo написал своё последнее сообщение, есть неявно заданный ему вопрос

Но это в первую очередь Hugo надо спросить. Все ли квадратные паттерны для 13-15-к правильно проверялись...

https://dxdy.ru/post1578288.html#p1578288

Увы! Ответа нет.
Hugo и тему "Пентадекатлон мечты" уже не читает?
Или читает, но не считает нужным отвечать на вопросы?
Странно как-то всё это!