Ядряра в своём амплуа :)

А Вы считаете это доказанным?

А вдруг у Hugo система паттернов не полная.
А к тому же, вдруг программа Hugo pcoul не имеет доказательной силы.

Так вот, давно ведь говорено: выполните полностью независимый эксперимент!
При этом обгоните Hugo "на три порядка" и всё такое прочее :)))
Например, ещё докажите, что программа господина Петухова имеет доказательную силу (именно его программа, а не оптимизация программы Hugo!).
И ещё, например, докажите, что система паттернов, которую Ядряра пока не построил, является полной.

Ой, EUgeneUS ответил Ядряре
https://dxdy.ru/post1572673.html#p1572673

Щас начнётся :)

Паттерны Ахиллес щёлкает, как белка орешки :)
Это самые лёгкие паттерны.

Ещё две порции осталось запустить, после той, которая в работе.

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

001 pcoul(12 12) -p1000000000 -W10000000 -f11 -g12 -x120402988681658048433948 -b1167 *RT*
367 coul(12, 12): recurse 8642487, walk 209416301, walkc 11144716 (538.53s)

b1171

001 pcoul(12 12) -p1000000000 -W10000000 -f11 -g12 -x120402988681658048433948 -b1171 *RT*
367 coul(12, 12): recurse 8642487, walk 209416301, walkc 11144808 (536.27s)

Ответ Hugo на вопрос Ядряры "А Вы считаете это доказанным?"

Yes, in the same way as someone who writes a paper about a theorem considers it proved. Obviously it is is possible that someone will find a mistake (either in the theory behind the code, or in the code itself), and then one must consider whether the error can be fixed or whether it is a fatal flaw. But until someone demonstrates such an error, I consider it proved.

https://dxdy.ru/post1572691.html#p1572691

Кто сомневается в полученном результате, пусть укажет ошибку и покажет новый (правильный) результат.
Всё. Точка.

Выделенные мне паттерны уже проверила :)
Осталось собрать и отправить Hugo результаты.

С почином, господа!
12-ка поехала!

Отправила Hugo результаты для паттернов:
• (19488845930400, 8): 34, 38, 1167, 1171
• (19488845930400, 7): 62, 119, 123, 382, 386, 411, 467, 471, 811, 815, 888, 921, 925, 1228, 1232, 1305
• (19488845930400, 6): 87, 435, 858, 1275

Попросила закрепить за мной паттерны
• (56818792800, 7): 12, 15, 19, 24, 29, 45, 49, 1147, 1150, 1157, 1162, 1186, 1189, 1192
• (56818792800, 6): 54, 109, 114, 362, 365, 369, 373, 378, 393, 397, 403, 457, 462, 801, 806, 880, 902, 905, 912, 917, 938, 941, 944, 1218, 1223, 1297
• (56818792800, 5): 78, 426, 849, 1266

Завтра начну проверять этот блок паттернов.
Это тоже лёгкие паттерны.
Hugo рекомендовал параметры
-p1e9 -W35969 -g4

PS. Запустила на ночь первую порцию из 5 паттернов: 12, 15, 19, 24, 29.
Посмотрю завтра утром, посчитаются ли.

Паттерны с шагом LCM=56818792800 почти проверены, запущена предпоследняя порция из 5 паттернов.
Покажу логи для двух паттернов из этой группы
b12

001 pcoul(12 12) -p1000000000 -W35969 -f11 -g4 -x120402988681658048433948 -b12 *RT*
367 coul(12, 12): recurse 15751152, walk 225240047, walkc 41288620 (580.68s)

b15

001 pcoul(12 12) -p1000000000 -W35969 -f11 -g4 -x120402988681658048433948 -b15 *RT*
367 coul(12, 12): recurse 15751152, walk 225240047, walkc 41290944 (588.01s)

Меньше 10 минут!

Запустила последнюю порцию из 4-х паттернов.
Всего в этой группе 44 паттерна.
Сейчас начну собирать результаты для отправки Hugo.

Отправила Hugo результаты для паттернов с шагом LCM=56818792800.

Попросила закрепить за мной паттерны с шагом LCM=14642258400.

Полностью проверила 24+44=68 лёгких паттернов с шагами LCM=19488845930400 и LCM=56818792800.

Hugo немножко тормозит, может, спит :)

Начала считать группу паттернов

(14642258400, 8): 32, 36, 40, 1165, 1169, 1173
-p9e8 -W35969 -g2

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

Ну вот, наконец-то объединил программы.

Теперь одна и та же прога выдаёт на экран все 1044 основных паттерна, попутно проверив в пяти вложенных циклах 5*9*16*29*33 = 689040 вариантов.

<…>

285 + 129 + 216 + 129 + 285 = 1044

Браво, браво, браво!
Не, ну чё, у него усилилась уверенность, что эти 1044 основных паттерна правильные.
А то мало ли чего коллеги настроили!
А теперь-то уже железобетонно всё правильно, потому что сам Ядряра построил по своей проге.
В-о-т!
Польза-то очевидная: Ядряра научился полную систему паттернов составлять, хотя - нет, пока не полная

А вот с 99 и 68 пока непонятно. Я сейчас пытаюсь проверить БКП-паттерны и у меня пока получается гораздо больше таких паттернов.

Ну, всё впереди :)
Щас Супермен ему подскажет,

не заглядывая в программу Hugo.

У меня довольно часто программа завершается нестандартно, показываю консоль

C:\Users\boinc\Documents\pcoul_20221202>pcoul -x:120402988681658048433948 -f11 -
p9e8 -W35969 -g2 -rb36.log -b36 12 12
path b36.log
001 pcoul(12 12) -p900000000 -W35969 -f11 -g2 -x120402988681658048433948 -b36 *R
T*
2^2.7 5 2.3^2 41^5 2^5 3.11^2 2.5^2 7^5 2^2.3 10559^2 2 3^2.5
367 coul(12, 12): recurse 22252142, walk 215504226, walkc 126368220 (631.27s)

C:\Users\boinc\Documents\pcoul_20221202>12
"12" не является внутренней или внешней
командой, исполняемой программой или пакетным файлом.

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

Стандартное завершение другого паттерна

C:\Users\boinc\Documents\pcoul_20221202>pcoul -x:120402988681658048433948 -f11 -
p9e8 -W35969 -g2 -rb1165.log -b1165 12 12
path b1165.log
001 pcoul(12 12) -p900000000 -W35969 -f11 -g2 -x120402988681658048433948 -b1165
*RT*
3^2.5 2.11^2 35221^2 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5 2^2.7: 1902 / 3313
367 coul(12, 12): recurse 22252142, walk 215437446, walkc 126365794 (627.48s)

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

Вот это

C:\Users\boinc\Documents\pcoul_20221202>12
"12" не является внутренней или внешней
командой, исполняемой программой или пакетным файлом.

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

@Hugo, @Demis
вопрос к вам.

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

Странно!
Появилось закрепление заданий за CorporalTermit.
А закрепления выбранных мной заданий до сих пор нет.
И результатов, которые я отправила, нет.

Отправила это письмо снова.
У Hugo слишком много писем, и он не все письма успевает читать?
Или какая причина, что ответа на моё письмо нет целый день?

Ну вот, получила закрепление заданий

Natalia (14642258400, 8): 32, 36, 40, 1165, 1169, 1173
-p7e8 -W35969 -g2
Natalia (14642258400, 7): 33, 37, 60, 64, 65, 66, 121, 125, 126, 380, 384, 409, 413, 414, 415, 469, 473, 474, 808, 809, 813, 884, 885, 886, 890, 923, 927, 1166, 1170, 1225, 1226, 1230, 1301, 1302, 1303, 1307
-p7e8 -W35969 -g2
Natalia (14642258400, 6): 61, 89, 90, 92, 93, 118, 122, 381, 385, 410, 437, 438, 440, 441, 466, 470, 810, 814, 852, 853, 855, 856, 887, 920, 924, 1227, 1231, 1269, 1270, 1272, 1273, 1304
-p7e8 -W5e4 -g5
Natalia (14642258400, 5): 86, 434, 857, 1274
-p7e8 -W5e4 -g5

Продолжаю считать.
В этой группе 78 паттернов; проверяются быстро.

По поводу ошибки...

Hugo попросил, чтобы я прислала ему пакетный файл, с помощью которого запускается программа.
Цитирую

Please can you send me the batch file you used to launch the run
for b36? It sounds like there is a small error there.

In any case, the 001 line shows that pcoul was launched correctly:
:001 pcoul(12 12) -p900000000 -W35969 -f11 -g2 -x120402988681658048433948 -b36 *RT*

Вот этот пакетный файл start.bat

pcoul -x:120402988681658048433948 -f11 -p9e8 -W35969 -g2 -rb36.log -b36 12 12
pause

Сейчас запустила проверку этого паттерна снова, вот что получилось в консоли

C:\Users\boinc\Documents\pcoul_20221202>pcoul -x:120402988681658048433948 -f11 -
p9e8 -W35969 -g2 -rb36.log -b36 12 12
path b36.log
001 pcoul(12 12) -p900000000 -W35969 -f11 -g2 -x120402988681658048433948 -b36 *R
T*
2^2.7 5.25147^5 2.3^2 13^5 2^5 3.11^2 2.5^2 7^5 2^2.3 19^2 2 3^2.5
367 coul(12, 12): recurse 22252142, walk 215504226, walkc 126368220 (488.97s)

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

Проверка завершилась стандартно!

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

C:\Users\boinc\Documents\pcoul_20221202>pcoul -x:120402988681658048433948 -f11 -
p9e8 -W35969 -g2 -rb36.log -b36 12 12
path b36.log
001 pcoul(12 12) -p900000000 -W35969 -f11 -g2 -x120402988681658048433948 -b36 *R
T*
2^2.7 5 2.3^2 41^5 2^5 3.11^2 2.5^2 7^5 2^2.3 10559^2 2 3^2.5
367 coul(12, 12): recurse 22252142, walk 215504226, walkc 126368220 (631.27s)

C:\Users\boinc\Documents\pcoul_20221202>12
"12" не является внутренней или внешней
командой, исполняемой программой или пакетным файлом.

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

При стандартном завершении проверки

2^2.7 5.25147^5 2.3^2 13^5 2^5 3.11^2 2.5^2 7^5 2^2.3 19^2 2 3^2.5
367 coul(12, 12): recurse 22252142, walk 215504226, walkc 126368220 (488.97s)

При нестандартном завершении проверки

2^2.7 5 2.3^2 41^5 2^5 3.11^2 2.5^2 7^5 2^2.3 10559^2 2 3^2.5
367 coul(12, 12): recurse 22252142, walk 215504226, walkc 126368220 (631.27s)

Хотя последняя строка с кодом 367 совпадает, за исключением времени.
[Со временем всё понятно: работало разное количество потоков в первом и во втором прогоне.]

В чём же ошибка???
И главный вопрос: влияет ли эта ошибка на результат проверки?

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

The error message should just mean that there was an extra "12" on
a line of its own in the batch file, so I suspect something went wrong
when you edited the file.

The error is coming from running the batch file, not from running pcoul.

Я редактирую пакетный файл для запуска проверки нового паттерна, но при этом я изменяю только имя паттерна и соответственно имя выходного файла.
Я совсем не трогаю при редактировании аргументы "12 12" в конце командной строки!
Получается, что я вроде бы добавила при редактировании ещё одну запись "12" в командную строку.
Так что ли?
И не слишком ли часто что-то идёт не так при редактировании командной строки в пакетном файле?
У меня ведь очень часто возникает эта ошибка - нестандартное завершение процесса.

Далее, предполагаю, что если в командной строке будет лишняя запись "12", то программа pcoul не запустится корректно.
Да или нет?
Можно попробовать.
В командной строке будут три аргумента "12", а их должно быть два.
Сейчас я это попробую.

Вот пожалуйста, смотрите.
Запускаю этот пакетный файл start.txt

pcoul -x:120402988681658048433948 -f11 -p7e8 -W35969 -g2 -rb890.log -b890 12 12 12
pause

Лишняя запись "12" в командной строке.

Получаю

C:\Users\boinc\Documents\pcoul_20221202>pcoul -x:120402988681658048433948 -f11 -
p7e8 -W35969 -g2 -rb890.log -b890 12 12 12
wrong number of arguments

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

Как я и предположила, программа не запускается, если в командной строке три записи "12" вместо положенных двух.

Следовательно, ответ Hugo о причине ошибки неправильный.
Да и неоткуда взяться лишней записи "12" в командной строке! Я её там не приписываю при редактировании.

PS. А что может сказать Demis об этой ошибке?

Hugo пишет в письме

So your example of an error is what I would expect from something like:

pcoul (...options...) 12 12
12
pause

.. as three separate lines.

Ещё интереснее!
И откуда же взялась вторая строка "12"???
Как она могла возникнуть, если я изменяла при редактировании только имя паттерна и имя выходного файла???
Кто её вставил?
Не сама же она вставилась!

У меня есть стойкое подозрение, что это как-то связано с двумя скриптами Demis, которые я вижу в архиве.
Эти скрипты ведь участвуют в процессе?
Могу ошибаться, но другого объяснения этой ошибки я не вижу.

Вот смотрите, это у меня сейчас записано в пакетном файле start.bat

pcoul -x:120402988681658048433948 -f11 -p7e8 -W35969 -g2 -rb1170.log -b1170 12 12
pause

Теперь я изменю b1170 на b1225 в двух местах командной строки.
Может ли при таком редактировании вдруг возникнуть вторая строка "12", как показывает Hugo?
То есть вместо того, чтобы получить

pcoul -x:120402988681658048433948 -f11 -p7e8 -W35969 -g2 -rb1225.log -b1225 12 12
pause

я получу такое

pcoul -x:120402988681658048433948 -f11 -p7e8 -W35969 -g2 -rb1225.log -b1225 12 12
12
pause

Я не могу понять, как такое может произойти и может ли?

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

Пока минимальность 11-ки не доказана.

Это уж прямо-таки неприличный рефрен!
Явное выражение недоверия к результату, полученному Hugo.
При этом господину Никонову неоднократно объяснили, что вот так утверждать, что полученный результат (минимальная 11-ка) неверный, можно, имея на то какие-то основания.
Никаких оснований категорически утверждать, что

Пока минимальность 11-ки не доказана.

у господина Никонова нет на данный момент.

Завершила проверку групп паттернов

•	Natalia (14642258400, 8): 32, 36, 40, 1165, 1169, 1173
•	
o	-p7e8 -W35969 -g2
•	Natalia (14642258400, 7): 33, 37, 60, 64, 65, 66, 121, 125, 126, 380, 384, 409, 413, 414, 415, 469, 473, 474, 808, 809, 813, 884, 885, 886, 890, 923, 927, 1166, 1170, 1225, 1226, 1230, 1301, 1302, 1303, 1307
•	
o	-p7e8 -W35969 -g2

Начала проверку группы паттернов

•	Natalia (14642258400, 6): 61, 89, 90, 92, 93, 118, 122, 381, 385, 410, 437, 438, 440, 441, 466, 470, 810, 814, 852, 853, 855, 856, 887, 920, 924, 1227, 1231, 1269, 1270, 1272, 1273, 1304
•	
o	-p7e8 -W5e4 -g5

Паттерны проверяются быстро.