Для участников форума MHP

Message boards : Cafe : Для участников форума MHP
Message board moderation

To post messages, you must log in.

Previous · 1 . . . 97 · 98 · 99 · 100 · 101 · 102 · 103 . . . 124 · Next

AuthorMessage
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13276
Credit: 0
RAC: 0
Message 10670 - Posted: 9 Jan 2023, 11:16:16 UTC
Last modified: 9 Jan 2023, 11:18:11 UTC

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

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

Правда, некоторые эксперименты имеют вполне конкретные результаты, но это, скорее, надо видеть Hugo.
Он ведь автор и координатор проекта по минимизации цепочек.
ID: 10670 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13276
Credit: 0
RAC: 0
Message 10671 - Posted: 9 Jan 2023, 11:53:54 UTC

Цитата
Теперь запущу второй пакет паттернов с LCM=21096420035090400.


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

b2672 - проверен
b2781 - проверен
b4118 - проверен
b4144 - проверен
b4203 – в процессе
b4247
b4431
b4434
b4463
b4466
b4495
b4498
b4639
b4646
b4649
b4710
b4715
b4720
b5253
b5262
b5631
b5639

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

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b2672 *RT*
305 2.7^2 13^5 2^2.3 11^5 2.5^2 3 2^5 7 2.3^2 5 2^2 3 2: 378839677 / 13904800399 (585.36s)
305 2.7^2 13^5 2^2.3 11^5 2.5^2 3 2^5 7 2.3^2 5 2^2 3 2: 752406619 / 13904800399 (1170.69s)
. . . . . . . . 
305 2.7^2 13^5 2^2.3 11^5 2.5^2 3 2^5 7 2.3^2 5 2^2 3 2: 13191361214 / 13904800399 (20028.53s)
305 2.7^2 13^5 2^2.3 11^5 2.5^2 3 2^5 7 2.3^2 5 2^2 3 2: 13612648223 / 13904800399 (20621.74s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800423 (21031.63s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b2781 *RT*
305 2 13^5 2^2.3 7^2 2.5^2 3 2^5 11^5 2.3^2 5 2^2.7 3 2: 479706194 / 13904800399 (593.47s)
305 2 13^5 2^2.3 7^2 2.5^2 3 2^5 11^5 2.3^2 5 2^2.7 3 2: 907772459 / 13904800399 (1187.14s)
305 2 13^5 2^2.3 7^2 2.5^2 3 2^5 11^5 2.3^2 5 2^2.7 3 2: 1342994199 / 13904800399 (1780.60s)
. . . . . . . . 
305 2 13^5 2^2.3 7^2 2.5^2 3 2^5 11^5 2.3^2 5 2^2.7 3 2: 13073943660 / 13904800399 (17789.45s)
305 2 13^5 2^2.3 7^2 2.5^2 3 2^5 11^5 2.3^2 5 2^2.7 3 2: 13502711034 / 13904800399 (18377.21s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800423 (18929.77s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b4118 *RT*
305 3^2.5 2.7^2 11^5 2^2.3 13^5 2.5^2 3 2^5 7 2.3^2 5 2^2 3: 816877593 / 13904800398 (587.20s)
305 3^2.5 2.7^2 11^5 2^2.3 13^5 2.5^2 3 2^5 7 2.3^2 5 2^2 3: 1633178943 / 13904800398 (1174.61s)
305 3^2.5 2.7^2 11^5 2^2.3 13^5 2.5^2 3 2^5 7 2.3^2 5 2^2 3: 2454848712 / 13904800398 (1762.03s)
. . . . . . . 
305 3^2.5 2.7^2 11^5 2^2.3 13^5 2.5^2 3 2^5 7 2.3^2 5 2^2 3: 13113300966 / 13904800398 (9971.10s)
305 3^2.5 2.7^2 11^5 2^2.3 13^5 2.5^2 3 2^5 7 2.3^2 5 2^2 3: 13847593968 / 13904800398 (10556.84s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800422 (10602.59s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b4144 *RT*
305 3^2.5 2.7^2 13^5 2^2.3 11^5 2.5^2 3 2^5 7 2.3^2 5 2^2 3: 738432547 / 13904800399 (586.52s)
305 3^2.5 2.7^2 13^5 2^2.3 11^5 2.5^2 3 2^5 7 2.3^2 5 2^2 3: 1478261038 / 13904800399 (1173.94s)
. . . . . . 
305 3^2.5 2.7^2 13^5 2^2.3 11^5 2.5^2 3 2^5 7 2.3^2 5 2^2 3: 12511033786 / 13904800399 (9988.43s)
305 3^2.5 2.7^2 13^5 2^2.3 11^5 2.5^2 3 2^5 7 2.3^2 5 2^2 3: 13245540037 / 13904800399 (10574.65s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800423 (11101.33s)

Цепочек не найдено.
Проверка пакета паттернов продолжается.
ID: 10671 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13276
Credit: 0
RAC: 0
Message 10672 - Posted: 10 Jan 2023, 4:06:44 UTC
Last modified: 10 Jan 2023, 4:08:06 UTC

Цитата
Это у меня первый пакет паттернов для D(12,13) c LCM=21096420035090400.
<...>

b109:,21096420035090400 - проверен
b112:,21096420035090400 - проверен
b141:,21096420035090400 - проверен
b144:,21096420035090400 - проверен
b179:,21096420035090400 - проверен
b182:,21096420035090400 - проверен
b220:,21096420035090400 - в процессе
b264:,21096420035090400
b390:,21096420035090400
b426:,21096420035090400
b482:,21096420035090400
b490:,21096420035090400
b742:,21096420035090400
b751:,21096420035090400
b1132:,21096420035090400
b1137:,21096420035090400
b1142:,21096420035090400
b1205:,21096420035090400
b1208:,21096420035090400
b1215:,21096420035090400
b2415:,21096420035090400
b2577:,21096420035090400

Есть продвижение в этом пакете.
Состояние проверки на данный момент

b109:,21096420035090400 - проверен
b112:,21096420035090400 - проверен
b141:,21096420035090400 - проверен
b144:,21096420035090400 - проверен
b179:,21096420035090400 - проверен
b182:,21096420035090400 - проверен
b220:,21096420035090400 - проверен
b264:,21096420035090400 - проверен
b390:,21096420035090400 - проверен
b426:,21096420035090400 - проверен
b482:,21096420035090400 - проверен
b490:,21096420035090400 - проверен
b742:,21096420035090400 - в процессе
b751:,21096420035090400
b1132:,21096420035090400
b1137:,21096420035090400
b1142:,21096420035090400
b1205:,21096420035090400
b1208:,21096420035090400
b1215:,21096420035090400
b2415:,21096420035090400
b2577:,21096420035090400

Хорошо идёт проверка, проверено 12 паттернов из 22.
Показываю частично логи последних проверенных паттернов

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b220 *RT*
305 3 2^2.7 5 2.3^2 11^5 2^5 3 2.5^2 7^2 2^2.3 13^5 2 3^2.5: 811427732 / 13904800398 (591.73s)
305 3 2^2.7 5 2.3^2 11^5 2^5 3 2.5^2 7^2 2^2.3 13^5 2 3^2.5: 1621374365 / 13904800398 (1182.85s)
. . . . . . . . . 
305 3 2^2.7 5 2.3^2 11^5 2^5 3 2.5^2 7^2 2^2.3 13^5 2 3^2.5: 12847796957 / 13904800398 (9447.36s)
305 3 2^2.7 5 2.3^2 11^5 2^5 3 2.5^2 7^2 2^2.3 13^5 2 3^2.5: 13631657282 / 13904800398 (10035.31s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800422 (10240.47s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b264 *RT*
305 3 2^2.7 5 2.3^2 13^5 2^5 3 2.5^2 7^2 2^2.3 11^5 2 3^2.5: 779745168 / 13904800398 (587.42s)
305 3 2^2.7 5 2.3^2 13^5 2^5 3 2.5^2 7^2 2^2.3 11^5 2 3^2.5: 1500505044 / 13904800398 (1173.91s)
. . . . . . . 
305 3 2^2.7 5 2.3^2 13^5 2^5 3 2.5^2 7^2 2^2.3 11^5 2 3^2.5: 12942567984 / 13904800398 (10570.02s)
305 3 2^2.7 5 2.3^2 13^5 2^5 3 2.5^2 7^2 2^2.3 11^5 2 3^2.5: 13647605505 / 13904800398 (11156.43s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800422 (11370.23s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b390 *RT*
305 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^5 2^2.3 13^5 2.7^2 3^2.5: 749121765 / 13904800398 (586.78s)
305 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^5 2^2.3 13^5 2.7^2 3^2.5: 1496116824 / 13904800398 (1172.97s)
. . . . . . . . 
305 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^5 2^2.3 13^5 2.7^2 3^2.5: 12740029977 / 13904800398 (9969.48s)
305 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^5 2^2.3 13^5 2.7^2 3^2.5: 13488188121 / 13904800398 (10555.76s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800422 (10880.63s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b426 *RT*
305 3 2^2 5 2.3^2 7 2^5 3 2.5^2 13^5 2^2.3 11^5 2.7^2 3^2.5: 751734544 / 13904800399 (586.72s)
305 3 2^2 5 2.3^2 7 2^5 3 2.5^2 13^5 2^2.3 11^5 2.7^2 3^2.5: 1501614382 / 13904800399 (1173.77s)
. . . . . . . 
305 3 2^2 5 2.3^2 7 2^5 3 2.5^2 13^5 2^2.3 11^5 2.7^2 3^2.5: 12773671897 / 13904800399 (9974.24s)
305 3 2^2 5 2.3^2 7 2^5 3 2.5^2 13^5 2^2.3 11^5 2.7^2 3^2.5: 13526953288 / 13904800399 (10561.24s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800423 (10854.00s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b482 *RT*
305 13^5 2^2.3 7^2 2.5^2 3 2^5 11^5 2.3^2 5 2^2.7 3 2 .: 433342776 / 13904800399 (587.59s)
305 13^5 2^2.3 7^2 2.5^2 3 2^5 11^5 2.3^2 5 2^2.7 3 2 .: 814597332 / 13904800399 (1175.48s)
. . . . . . . . 
305 13^5 2^2.3 7^2 2.5^2 3 2^5 11^5 2.3^2 5 2^2.7 3 2 .: 13320924494 / 13904800399 (20117.30s)
305 13^5 2^2.3 7^2 2.5^2 3 2^5 11^5 2.3^2 5 2^2.7 3 2 .: 13712761940 / 13904800399 (20710.82s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800423 (21002.71s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b490 *RT*
305 . 2^2.3 7^2 2.5^2 3 2^5 11^5 2.3^2 5 2^2.7 3 2 13^5: 380165357 / 13904800399 (593.50s)
305 . 2^2.3 7^2 2.5^2 3 2^5 11^5 2.3^2 5 2^2.7 3 2 13^5: 760824492 / 13904800399 (1187.21s)
. . . . . . . . 
305 . 2^2.3 7^2 2.5^2 3 2^5 11^5 2.3^2 5 2^2.7 3 2 13^5: 13329931356 / 13904800399 (20777.24s)
305 . 2^2.3 7^2 2.5^2 3 2^5 11^5 2.3^2 5 2^2.7 3 2 13^5: 13709688444 / 13904800399 (21370.97s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800423 (21676.21s)
ID: 10672 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13276
Credit: 0
RAC: 0
Message 10673 - Posted: 10 Jan 2023, 4:12:29 UTC
Last modified: 10 Jan 2023, 4:19:13 UTC

Во втором пакете паттернов с LCM=21096420035090400 для D(12,13) тоже есть продвижение.
Состояние проверки на данный момент

b2672 - проверен
b2781 - проверен
b4118 - проверен
b4144 - проверен
b4203 - проверен
b4247 - проверен
b4431 - проверен
b4434 - проверен
b4463 - проверен
b4466 - в процессе
b4495
b4498
b4639
b4646
b4649
b4710
b4715
b4720
b5253
b5262
b5631
b5639

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

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b4203 *RT*
305 3^2.5 2 11^5 2^2.3 7^2 2.5^2 3 2^5 13^5 2.3^2 5 2^2.7 3: 735905098 / 13904800399 (586.44s)
305 3^2.5 2 11^5 2^2.3 7^2 2.5^2 3 2^5 13^5 2.3^2 5 2^2.7 3: 1469782789 / 13904800399 (1172.94s)
. . . . . . . . 
305 3^2.5 2 11^5 2^2.3 7^2 2.5^2 3 2^5 13^5 2.3^2 5 2^2.7 3: 12440898538 / 13904800399 (9970.68s)
305 3^2.5 2 11^5 2^2.3 7^2 2.5^2 3 2^5 13^5 2.3^2 5 2^2.7 3: 13173408091 / 13904800399 (10557.09s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800423 (11143.34s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b4247 *RT*
305 3^2.5 2 13^5 2^2.3 7^2 2.5^2 3 2^5 11^5 2.3^2 5 2^2.7 3: 742148381 / 13904800399 (586.77s)
305 3^2.5 2 13^5 2^2.3 7^2 2.5^2 3 2^5 11^5 2.3^2 5 2^2.7 3: 1479491114 / 13904800399 (1173.70s)
. . . . . . . . 
305 3^2.5 2 13^5 2^2.3 7^2 2.5^2 3 2^5 11^5 2.3^2 5 2^2.7 3: 12530875736 / 13904800399 (9978.28s)
305 3^2.5 2 13^5 2^2.3 7^2 2.5^2 3 2^5 11^5 2.3^2 5 2^2.7 3: 13276357946 / 13904800399 (10567.54s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800423 (11062.28s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b4431 *RT*
305 3^2.5 2 11^5 2^2.3 13^5 2.5^2 3.7^2 2^5 . 2.3^2 5 2^2 3: 750039314 / 13904800398 (592.55s)
305 3^2.5 2 11^5 2^2.3 13^5 2.5^2 3.7^2 2^5 . 2.3^2 5 2^2 3: 1495979294 / 13904800398 (1184.50s)
. . . . . . . . 
305 3^2.5 2 11^5 2^2.3 13^5 2.5^2 3.7^2 2^5 . 2.3^2 5 2^2 3: 12649427198 / 13904800398 (10047.32s)
305 3^2.5 2 11^5 2^2.3 13^5 2.5^2 3.7^2 2^5 . 2.3^2 5 2^2 3: 13397479778 / 13904800398 (10637.25s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800422 (11039.32s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b4434 *RT*
305 3^2.5 2 11^5 2^2.3 . 2.5^2 3.7^2 2^5 13^5 2.3^2 5 2^2 3: 747463672 / 13904800398 (592.71s)
305 3^2.5 2 11^5 2^2.3 . 2.5^2 3.7^2 2^5 13^5 2.3^2 5 2^2 3: 1495285180 / 13904800398 (1184.06s)
. . . . . . . . 
305 3^2.5 2 11^5 2^2.3 . 2.5^2 3.7^2 2^5 13^5 2.3^2 5 2^2 3: 12688794520 / 13904800398 (10072.03s)
305 3^2.5 2 11^5 2^2.3 . 2.5^2 3.7^2 2^5 13^5 2.3^2 5 2^2 3: 13436334364 / 13904800398 (10664.54s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800422 (11034.48s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b4463 *RT*
305 3^2.5 2 13^5 2^2.3 11^5 2.5^2 3.7^2 2^5 . 2.3^2 5 2^2 3: 757341981 / 13904800399 (593.89s)
305 3^2.5 2 13^5 2^2.3 11^5 2.5^2 3.7^2 2^5 . 2.3^2 5 2^2 3: 1509543336 / 13904800399 (1187.39s)
. . . . . . . . 
305 3^2.5 2 13^5 2^2.3 11^5 2.5^2 3.7^2 2^5 . 2.3^2 5 2^2 3: 12770802903 / 13904800399 (10086.52s)
305 3^2.5 2 13^5 2^2.3 11^5 2.5^2 3.7^2 2^5 . 2.3^2 5 2^2 3: 13524208995 / 13904800399 (10679.17s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800423 (10979.41s)

Цепочек ни в первом, ни во втором пакете не найдено.
Бесперспективные паттерны с большим шагом, как показывает эксперимент.
Проверяются быстро, а толку никакого.
Эксперимент близок к завершению.
ID: 10673 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13276
Credit: 0
RAC: 0
Message 10674 - Posted: 10 Jan 2023, 4:28:50 UTC
Last modified: 10 Jan 2023, 4:29:56 UTC

Плохо дело в проверке паттернов с одним квадратом для D(12,15).
Всё ещё проверяется первый паттерн пакета - 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 .: 10361451215344499451559514 / 794994821341047138268307940 (75783.94s)
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 .: 10521264812822235084523658 / 794994821341047138268307940 (76366.25s)
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 .: 10681750804278621822283870 / 794994821341047138268307940 (76947.85s)
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 .: 10843988650807164399054325 / 794994821341047138268307940 (77530.17s)
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 .: 11007084488289759551785883 / 794994821341047138268307940 (78112.21s)

Почти 22 часа уже проверяется, а до конца ещё далеко.
С паттерном b127 повезло: он проверялся чуть больше 14 часов.
ID: 10674 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13276
Credit: 0
RAC: 0
Message 10675 - Posted: 10 Jan 2023, 4:44:45 UTC

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

Музыка вместе с поэзией!
Микаэл Таривердиев. Сонеты Шекспира. Вокальный цикл
ID: 10675 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13276
Credit: 0
RAC: 0
Message 10676 - Posted: 10 Jan 2023, 7:03:44 UTC
Last modified: 10 Jan 2023, 7:14:58 UTC

Hugo объявился на форуме dxdy.ru
https://dxdy.ru/post1576628.html#p1576628

Значит, у него всё в порядке.
Что же тормозит запуск BOINC-проекта?
Ну очень непонятно!
С завершения подзадачи D(12,12) прошёл почти месяц.
За это время уже посчитали бы много в подзадаче D(12,13) в ручном проекте.
Столько времени потеряно!
Жаль.

А с BOINC пока ничего неясно.
Бабушка надвое сказала: или будет, или нет.

Самое удручающее, что никакой информации о подготовке к запуску.

Евгений советует мне сообщить Hugo о том, что я проверяю паттерны в подзадаче D(12,13).
А чего сообщать? Мой блог по-прежнему всем доступен, в том числе и Hugo.
Раньше он его читал и даже отвечал в письмах на мои вопросы.
Сейчас, видимо, не читает.
Ну, значит, ему не интересно стало читать.
ID: 10676 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13276
Credit: 0
RAC: 0
Message 10677 - Posted: 11 Jan 2023, 2:51:47 UTC

Цитата
Во втором пакете паттернов с LCM=21096420035090400 для D(12,13) тоже есть продвижение.
Состояние проверки на данный момент

b2672 - проверен
b2781 - проверен
b4118 - проверен
b4144 - проверен
b4203 - проверен
b4247 - проверен
b4431 - проверен
b4434 - проверен
b4463 - проверен
b4466 - в процессе
b4495
b4498
b4639
b4646
b4649
b4710
b4715
b4720
b5253
b5262
b5631
b5639

Есть продвижение в этом пакете.
Состояние проверки на данный момент

b2672 - проверен
b2781 - проверен
b4118 - проверен
b4144 - проверен
b4203 - проверен
b4247 - проверен
b4431 - проверен
b4434 - проверен
b4463 - проверен
b4466 - проверен
b4495 - проверен
b4498 - проверен
b4639 - проверен
b4646 - проверен
b4649 - в процессе
b4710
b4715
b4720
b5253
b5262
b5631
b5639

Отлично! Проверено 14 паттернов из 22.
Показываю частично логи последних проверенных паттернов

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b4466 *RT*
305 3^2.5 2 . 2^2.3 11^5 2.5^2 3.7^2 2^5 13^5 2.3^2 5 2^2 3: 752946354 / 13904800399 (592.43s)
305 3^2.5 2 . 2^2.3 11^5 2.5^2 3.7^2 2^5 13^5 2.3^2 5 2^2 3: 1503466800 / 13904800399 (1183.86s)
. . . . . . . . 
305 3^2.5 2 . 2^2.3 11^5 2.5^2 3.7^2 2^5 13^5 2.3^2 5 2^2 3: 12607385247 / 13904800399 (10009.15s)
305 3^2.5 2 . 2^2.3 11^5 2.5^2 3.7^2 2^5 13^5 2.3^2 5 2^2 3: 13343118465 / 13904800399 (10594.42s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800423 (11042.00s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b4495 *RT*
305 3^2.5 2 13^5 2^2.3 . 2.5^2 3.7^2 2^5 11^5 2.3^2 5 2^2 3: 742302728 / 13904800398 (585.18s)
305 3^2.5 2 13^5 2^2.3 . 2.5^2 3.7^2 2^5 11^5 2.3^2 5 2^2 3: 1475651891 / 13904800398 (1168.76s)
. . . . . . . .
305 3^2.5 2 13^5 2^2.3 . 2.5^2 3.7^2 2^5 11^5 2.3^2 5 2^2 3: 13164197585 / 13904800398 (10495.06s)
305 3^2.5 2 13^5 2^2.3 . 2.5^2 3.7^2 2^5 11^5 2.3^2 5 2^2 3: 13895492912 / 13904800398 (11077.46s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800422 (11084.89s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b4498 *RT*
305 3^2.5 2 . 2^2.3 13^5 2.5^2 3.7^2 2^5 11^5 2.3^2 5 2^2 3: 733047513 / 13904800398 (582.69s)
305 3^2.5 2 . 2^2.3 13^5 2.5^2 3.7^2 2^5 11^5 2.3^2 5 2^2 3: 1463772885 / 13904800398 (1165.58s)
. . . . . . . .
305 3^2.5 2 . 2^2.3 13^5 2.5^2 3.7^2 2^5 11^5 2.3^2 5 2^2 3: 13091957448 / 13904800398 (10483.45s)
305 3^2.5 2 . 2^2.3 13^5 2.5^2 3.7^2 2^5 11^5 2.3^2 5 2^2 3: 13818650265 / 13904800398 (11065.57s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800422 (11134.98s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b4639 *RT*
305 13^5 2 3 2^2.5 11^5 2.3^2 7^2 2^5 3.5^2 2 . 2^2.3 .: 421030818 / 13904800399 (583.04s)
305 13^5 2 3 2^2.5 11^5 2.3^2 7^2 2^5 3.5^2 2 . 2^2.3 .: 788769933 / 13904800399 (1165.75s)
. . . . . . . .
305 13^5 2 3 2^2.5 11^5 2.3^2 7^2 2^5 3.5^2 2 . 2^2.3 .: 13182286440 / 13904800399 (20457.07s)
305 13^5 2 3 2^2.5 11^5 2.3^2 7^2 2^5 3.5^2 2 . 2^2.3 .: 13556772390 / 13904800399 (21039.70s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800423 (21582.08s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b4646 *RT*
305 . 2 3 2^2.5 11^5 2.3^2 7^2 2^5 3.5^2 2 13^5 2^2.3 .: 379187135 / 13904800398 (582.96s)
305 . 2 3 2^2.5 11^5 2.3^2 7^2 2^5 3.5^2 2 13^5 2^2.3 .: 756334877 / 13904800398 (1166.14s)
. . . . . . . .
305 . 2 3 2^2.5 11^5 2.3^2 7^2 2^5 3.5^2 2 13^5 2^2.3 .: 13152574228 / 13904800398 (20155.50s)
305 . 2 3 2^2.5 11^5 2.3^2 7^2 2^5 3.5^2 2 13^5 2^2.3 .: 13541410583 / 13904800398 (20748.93s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800422 (21303.28s)

Цепочек не найдено.
Ну, больше половины пакета проверено.
Думаю, что ещё примерно двое суток потребуется на этот пакет.

Интересно, что время проверки паттернов с одинаковым LCM очень не одинаково.
Например, 11042.00s и 21582.08s, почти в два раза.
ID: 10677 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13276
Credit: 0
RAC: 0
Message 10678 - Posted: 11 Jan 2023, 9:48:12 UTC
Last modified: 11 Jan 2023, 10:28:10 UTC

EUgeneUS писал в сообщении
https://dxdy.ru/post1576742.html#p1576742
Насколько понимаю, сейчас никто не считает с целью доказательства минимальности какой-либо цепочки, а Хуго адаптирует pcoul для работы в BOINC-проектах (с целью доказательства минимальности 13-ки).

Именно этим я занимаюсь.

Уже проверены для 13-ок
1) все паттерны с квадратами (и с одним, и с несколькими);
2) все паттерны с LCM=7236072072036007200 (26 штук).

В данный момент проверяются паттерны с LCM=21096420035090400.
Проверка завершается.

Начали проверяться паттерны с LCM= 5436568048111200, об этом чуть позже.

Проверка ведётся без ограничений (параметры p и W не задаются).
ID: 10678 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13276
Credit: 0
RAC: 0
Message 10679 - Posted: 11 Jan 2023, 11:30:30 UTC
Last modified: 11 Jan 2023, 11:31:05 UTC

Это первый пакет паттернов для 13-ок с LCM=21096420035090400

b109:,21096420035090400 - проверен
b112:,21096420035090400 - проверен
b141:,21096420035090400 - проверен
b144:,21096420035090400 - проверен
b179:,21096420035090400 - проверен
b182:,21096420035090400 - проверен
b220:,21096420035090400 - проверен
b264:,21096420035090400 - проверен
b390:,21096420035090400 - проверен
b426:,21096420035090400 - проверен
b482:,21096420035090400 - проверен
b490:,21096420035090400 - проверен
b742:,21096420035090400 - в процессе
b751:,21096420035090400
b1132:,21096420035090400
b1137:,21096420035090400
b1142:,21096420035090400
b1205:,21096420035090400
b1208:,21096420035090400
b1215:,21096420035090400
b2415:,21096420035090400
b2577:,21096420035090400

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

b109:,21096420035090400 - проверен
b112:,21096420035090400 - проверен
b141:,21096420035090400 - проверен
b144:,21096420035090400 - проверен
b179:,21096420035090400 - проверен
b182:,21096420035090400 - проверен
b220:,21096420035090400 - проверен
b264:,21096420035090400 - проверен
b390:,21096420035090400 - проверен
b426:,21096420035090400 - проверен
b482:,21096420035090400 - проверен
b490:,21096420035090400 - проверен
b742:,21096420035090400 - проверен
b751:,21096420035090400 - проверен
b1132:,21096420035090400 - проверен
b1137:,21096420035090400 - проверен
b1142:,21096420035090400 - проверен
b1205:,21096420035090400 - в процессе
b1208:,21096420035090400
b1215:,21096420035090400
b2415:,21096420035090400
b2577:,21096420035090400

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

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b742 *RT*
305 13^5 2^2.3 11^5 2.5^2 3 2^5 7^2 2.3^2 5 2^2 3 2 .: 420114780 / 13904800398 (593.94s)
305 13^5 2^2.3 11^5 2.5^2 3 2^5 7^2 2.3^2 5 2^2 3 2 .: 797543302 / 13904800398 (1187.40s)
. . . . . . . . .
305 13^5 2^2.3 11^5 2.5^2 3 2^5 7^2 2.3^2 5 2^2 3 2 .: 13162842126 / 13904800398 (20546.10s)
305 13^5 2^2.3 11^5 2.5^2 3 2^5 7^2 2.3^2 5 2^2 3 2 .: 13536128055 / 13904800398 (21132.15s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800422 (21711.25s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b751 *RT*
305 . 2^2.3 11^5 2.5^2 3 2^5 7^2 2.3^2 5 2^2 3 2 13^5: 372392939 / 13904800399 (586.06s)
305 . 2^2.3 11^5 2.5^2 3 2^5 7^2 2.3^2 5 2^2 3 2 13^5: 742827215 / 13904800399 (1171.79s)
. . . . . . . . .
305 . 2^2.3 11^5 2.5^2 3 2^5 7^2 2.3^2 5 2^2 3 2 13^5: 13408365782 / 13904800399 (21105.90s)
305 . 2^2.3 11^5 2.5^2 3 2^5 7^2 2.3^2 5 2^2 3 2 13^5: 13779012712 / 13904800399 (21691.52s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800423 (21890.59s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b1132 *RT*
305 13^5 2^2.3 11^5 2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 .: 434693193 / 13904800399 (586.61s)
305 13^5 2^2.3 11^5 2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 .: 815597386 / 13904800399 (1172.39s)
. . . . . . . . .
305 13^5 2^2.3 11^5 2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 .: 13296760837 / 13904800399 (20052.82s)
305 13^5 2^2.3 11^5 2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 .: 13691847312 / 13904800399 (20646.48s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800423 (20967.44s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b1137 *RT*
305 . 2^2.3 11^5 2 3.5^2 2^5 7^2 2.3^2 13^5 2^2.5 3 2 .: 382849528 / 13904800399 (593.62s)
305 . 2^2.3 11^5 2 3.5^2 2^5 7^2 2.3^2 13^5 2^2.5 3 2 .: 761568230 / 13904800399 (1187.11s)
. . . . . . . . .
305 . 2^2.3 11^5 2 3.5^2 2^5 7^2 2.3^2 13^5 2^2.5 3 2 .: 13227995983 / 13904800399 (20727.95s)
305 . 2^2.3 11^5 2 3.5^2 2^5 7^2 2.3^2 13^5 2^2.5 3 2 .: 13599942086 / 13904800399 (21315.10s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800423 (21795.46s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b1142 *RT*
305 . 2^2.3 11^5 2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 13^5: 373678488 / 13904800399 (585.66s)
305 . 2^2.3 11^5 2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 13^5: 745307082 / 13904800399 (1171.50s)
. . . . . . . . .
305 . 2^2.3 11^5 2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 13^5: 13355077780 / 13904800399 (21073.60s)
305 . 2^2.3 11^5 2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 13^5: 13725822904 / 13904800399 (21659.30s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800423 (21942.10s)

Всё чудесно.
Проверилось 17 паттернов из 22.
Только вот цепочек нет и нет.
Вдруг их и вообще нигде не будет, а искомая минимальная 13-ка уже найдена.
ID: 10679 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13276
Credit: 0
RAC: 0
Message 10680 - Posted: 11 Jan 2023, 11:43:27 UTC
Last modified: 11 Jan 2023, 11:49:40 UTC

У меня вчера появился новый Ахиллес, назвала его Ахиллес-3, так как Ахиллес-2 уже был.
Дали в удалённое управление.
Отличный подарок сразу к трём праздникам: Новый Год, Рождество и День рождения (который чуть-чуть впереди)!
Ахиллес-3 может одновременно работать в 20 потоков. Круто!

Ну вот, в связи с этим решила продолжить проверку паттернов для 13-ок, намедни хотела прекратить, проверив паттерны с LCM=21096420035090400.
Выписала из файла Евгения паттерны с LCM=5436568048111200 (следующий уровень сложности), их оказалось 110 штук.
Много. Ну, можно попробовать, как эти паттерны будут проверяться.
Вчера вечером запустила на Ахиллесе-3 три пакета по 10 паттернов.
За ночь проверенных паттернов нет.
Сейчас в первом пакете завершается один паттерн.
Завершится, покажу логи.
Проверка по-прежнему без параметров p и W, то есть без ограничений, а значит - полная.

Запущены следующие пакеты:
первый пакет
b280:,5436568048111200
b284:,5436568048111200
b292:,5436568048111200
b313:,5436568048111200
b316:,5436568048111200
b322:,5436568048111200
b547:,5436568048111200
b550:,5436568048111200
b556:,5436568048111200
b559:,5436568048111200

второй пакет
b567:,5436568048111200
b591:,5436568048111200
b595:,5436568048111200
b600:,5436568048111200
b603:,5436568048111200
b607:,5436568048111200
b612:,5436568048111200
b617:,5436568048111200
b622:,5436568048111200
b849:,5436568048111200

третий пакет
b858:,5436568048111200
b884:,5436568048111200
b887:,5436568048111200
b894:,5436568048111200
b897:,5436568048111200
b900:,5436568048111200
b907:,5436568048111200
b923:,5436568048111200
b926:,5436568048111200
b933:,5436568048111200
ID: 10680 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13276
Credit: 0
RAC: 0
Message 10681 - Posted: 11 Jan 2023, 12:08:46 UTC
Last modified: 11 Jan 2023, 12:14:04 UTC

Вот он - красавец Ахиллес-3



Пакеты снизу вверх: первый, второй, третий.
В первом пакете завершилась проверка паттерна b280.
Проверялось 19 часов с хвостиком.
Ну, это приемлемое время, можно проверять.
Однако для других паттернов время может быть и поболее.

Это частичные логи паттерна b280

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b280 *RT*
305 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5: 468165833 / 53957111754 (599.53s)
305 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5: 936745847 / 53957111754 (1199.14s)
305 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5: 1404226430 / 53957111754 (1798.77s)
305 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5: 1865554307 / 53957111754 (2398.36s)
305 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5: 2331591770 / 53957111754 (2997.89s)
305 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5: 2801025473 / 53957111754 (3597.33s)
. . . . . . . . . 
305 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5: 52064432039 / 53957111754 (66562.55s)
305 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5: 52520812889 / 53957111754 (67161.97s)
305 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5: 52979893469 / 53957111754 (67761.72s)
305 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5: 53439193568 / 53957111754 (68361.26s)
305 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5: 53898644219 / 53957111754 (68960.84s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 53957111778 (69037.80s)

Собираюсь запустить ещё один пакет из 10 паттернов - четвёртый.
ID: 10681 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13276
Credit: 0
RAC: 0
Message 10682 - Posted: 11 Jan 2023, 12:54:46 UTC
Last modified: 11 Jan 2023, 12:56:43 UTC

Репост

Выбрала из списка, присланного Евгением, различные LCM паттернов для 13-ок

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

Можно ранжировать.
Имеем 27 уровней сложности.

PS. Ранжировала LCM

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=7236072072036010000 надо исправить на LCM=7236072072036007200, это точное значение.
Во-вторых, Евгений писал, что необходимо перепроверить посчитанные им значения LCM.
Сама перепроверить не могла, то есть написать программку, обратилась за помощью к форумчанам форума MHP
https://mathhelpplanet.com/viewtopic.php?f=44&t=79101
Там помог один форумчанин, правда пришлось ему очень долго объяснять, что надо считать.
В конце концов, он понял и всё посчитал.
Так что, теперь я сравниваю количества разных LCM у Евгения и у форумчанина.
Сверила уже для LCM равных: 7236072072036007200 (26 штук), 21096420035090400 (44 штуки) и 5436568048111200 (110 штук).
Для LCM=5436568048111200 пока не полностью сверила, только 40 штук.
Пока всё в точности совпадает.

Итак, проверяю, начиная с самого большого шага:
7236072072036007200 - 26 штук (проверено);
21096420035090400 - 44 штуки (завершается);
5436568048111200 - 110 штук (только началось проверка).
ID: 10682 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13276
Credit: 0
RAC: 0
Message 10683 - Posted: 11 Jan 2023, 13:24:18 UTC

Запустила четвёртый пакет паттернов для 13-ок с LCM=5436568048111200

pcoul -rb937_13.txt -x586683019466361719763403545 -f13 -g9 -b937 12 13
pcoul -rb944_13.txt -x586683019466361719763403545 -f13 -g9 -b944 12 13
pcoul -rb1261_13.txt -x586683019466361719763403545 -f13 -g9 -b1261 12 13
pcoul -rb1266_13.txt -x586683019466361719763403545 -f13 -g9 -b1266 12 13
pcoul -rb1271_13.txt -x586683019466361719763403545 -f13 -g9 -b1271 12 13
pcoul -rb1299_13.txt -x586683019466361719763403545 -f13 -g9 -b1299 12 13
pcoul -rb1302_13.txt -x586683019466361719763403545 -f13 -g9 -b1302 12 13
pcoul -rb1306_13.txt -x586683019466361719763403545 -f13 -g9 -b1306 12 13
pcoul -rb1311_13.txt -x586683019466361719763403545 -f13 -g9 -b1311 12 13
pcoul -rb1314_13.txt -x586683019466361719763403545 -f13 -g9 -b1314 12 13
pause

Программа побежала.
Итак, запущено 40 паттернов для 13-ок с LCM=5436568048111200, 4 пакета по 10 паттернов.
Пока хватит.
Понаблюдаю за проверкой.
К тому же, всё-таки ожидаю BOINC по 13-ке.

На Ахиллесе-3 уже задействовала 9 потоков.
Пока думаю, что дальше запустить, работы очень много - больше по своим проектам, чем по проекту Hugo.
ID: 10683 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13276
Credit: 0
RAC: 0
Message 10684 - Posted: 11 Jan 2023, 13:40:15 UTC

EUgeneUS писал в сообщении
https://dxdy.ru/post1576775.html#p1576775
Не вижу никакого смысла вести таблицу в таком виде. Никакой новой или интересной информации она не содержит.

Ну, это напрасно.
Вполне информативная таблица.
Видно, какие паттерны с одним квадратом и с несколькими квадратами проверены для 13-ок, 14-ок и 15-ок.
Видно общее количество паттернов и количество паттернов с квадратами.
Пожалуй, данные для цепочек длины меньше 13 уже не имеет смысла показывать.
ID: 10684 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13276
Credit: 0
RAC: 0
Message 10685 - Posted: 12 Jan 2023, 7:07:16 UTC
Last modified: 12 Jan 2023, 7:08:32 UTC

Это второй пакет паттернов для D(12,13) с LCM=21096420035090400

b2672 - проверен
b2781 - проверен
b4118 - проверен
b4144 - проверен
b4203 - проверен
b4247 - проверен
b4431 - проверен
b4434 - проверен
b4463 - проверен
b4466 - проверен
b4495 - проверен
b4498 - проверен
b4639 - проверен
b4646 - проверен
b4649 - в процессе
b4710
b4715
b4720
b5253
b5262
b5631
b5639

Есть продвижение в этом пакете.
Состояние проверки на данный момент

b2672 - проверен
b2781 - проверен
b4118 - проверен
b4144 - проверен
b4203 - проверен
b4247 - проверен
b4431 - проверен
b4434 - проверен
b4463 - проверен
b4466 - проверен
b4495 - проверен
b4498 - проверен
b4639 - проверен
b4646 - проверен
b4649 - проверен
b4710 - проверен
b4715 - проверен
b4720 - проверен
b5253 - проверен
b5262 - в процессе
b5631
b5639

Отлично!
Осталось проверить всего три паттерна.
Думаю, сегодня завершится проверка пакета.

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

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b4649 *RT*
305 . 2 3 2^2.5 11^5 2.3^2 7^2 2^5 3.5^2 2 . 2^2.3 13^5: 389432624 / 13904800398 (593.54s)
305 . 2 3 2^2.5 11^5 2.3^2 7^2 2^5 3.5^2 2 . 2^2.3 13^5: 776300675 / 13904800398 (1187.42s)
. . . . . . . .
305 . 2 3 2^2.5 11^5 2.3^2 7^2 2^5 3.5^2 2 . 2^2.3 13^5: 13396646646 / 13904800398 (20590.49s)
305 . 2 3 2^2.5 11^5 2.3^2 7^2 2^5 3.5^2 2 . 2^2.3 13^5: 13778111930 / 13904800398 (21175.11s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800422 (21369.95s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b4710 *RT*
305 13^5 2 3 2^2.5 . 2.3^2 7^2 2^5 3.5^2 2 11^5 2^2.3 .: 422653207 / 13904800398 (584.96s)
305 13^5 2 3 2^2.5 . 2.3^2 7^2 2^5 3.5^2 2 11^5 2^2.3 .: 791925282 / 13904800398 (1170.07s)
. . . . . . . .
305 13^5 2 3 2^2.5 . 2.3^2 7^2 2^5 3.5^2 2 11^5 2^2.3 .: 13525296348 / 13904800398 (21060.35s)
305 13^5 2 3 2^2.5 . 2.3^2 7^2 2^5 3.5^2 2 11^5 2^2.3 .: 13900977088 / 13904800398 (21645.09s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800422 (21651.02s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b4715 *RT*
305 . 2 3 2^2.5 13^5 2.3^2 7^2 2^5 3.5^2 2 11^5 2^2.3 .: 381511196 / 13904800398 (585.41s)
305 . 2 3 2^2.5 13^5 2.3^2 7^2 2^5 3.5^2 2 11^5 2^2.3 .: 756335222 / 13904800398 (1171.01s)
. . . . . . . .
305 . 2 3 2^2.5 13^5 2.3^2 7^2 2^5 3.5^2 2 11^5 2^2.3 .: 13321776861 / 13904800398 (20633.42s)
305 . 2 3 2^2.5 13^5 2.3^2 7^2 2^5 3.5^2 2 11^5 2^2.3 .: 13706887332 / 13904800398 (21226.93s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800422 (21531.32s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b4720 *RT*
305 . 2 3 2^2.5 . 2.3^2 7^2 2^5 3.5^2 2 11^5 2^2.3 13^5: 388846591 / 13904800398 (593.80s)
305 . 2 3 2^2.5 . 2.3^2 7^2 2^5 3.5^2 2 11^5 2^2.3 13^5: 776535048 / 13904800398 (1187.29s)
. . . . . . . .
305 . 2 3 2^2.5 . 2.3^2 7^2 2^5 3.5^2 2 11^5 2^2.3 13^5: 13203770803 / 13904800398 (20178.62s)
305 . 2 3 2^2.5 . 2.3^2 7^2 2^5 3.5^2 2 11^5 2^2.3 13^5: 13593640809 / 13904800398 (20772.05s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800422 (21246.17s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b5253 *RT*
305 13^5 2 3 2^2 5 2.3^2 7^2 2^5 3 2.5^2 11^5 2^2.3 .: 435534531 / 13904800398 (593.50s)
305 13^5 2 3 2^2 5 2.3^2 7^2 2^5 3 2.5^2 11^5 2^2.3 .: 816440154 / 13904800398 (1186.95s)
. . . . . . . .
305 13^5 2 3 2^2 5 2.3^2 7^2 2^5 3 2.5^2 11^5 2^2.3 .: 13432810017 / 13904800398 (20629.38s)
305 13^5 2 3 2^2 5 2.3^2 7^2 2^5 3 2.5^2 11^5 2^2.3 .: 13811988426 / 13904800398 (21214.45s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800422 (21357.71s)

Цепочек не найдено.
ID: 10685 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13276
Credit: 0
RAC: 0
Message 10686 - Posted: 12 Jan 2023, 15:31:18 UTC
Last modified: 12 Jan 2023, 16:14:59 UTC

Господин Петухов писал в сообщении
https://dxdy.ru/post1576867.html#p1576867
Независимое подтверждение 13-ек без квадратов:

Замечательно!
И далее
LCM=5436568048111200 считаются примерно по паре-тройке минут каждый, т.е. будут готовы к ночи (запущено в одном потоке).

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

Ладно, пусть считает.
Он ускорился, и надо же блеснуть ускорителями :) А как же!

У меня паттерны с LCM=21096420035090400 завершаются, осталось 2-3 паттерна.
Проверку паттернов c LCM=5436568048111200 остановлю, как досчитаются те паттерны, что в процессе.

Ну дык с ускорителями господин Петухов проверит все паттерны для 13-ок в два счёта, а раньше говорил, что доказательство минимальной 13-ки нереально :)))
Да, и кстати, зачем тогда Hugo пыжится с BOINC для D(12,13)?
Мучается человек совсем зря :)
Тут уж вот всё скоро будет посчитано и доказано.
Ага!
Надо было мне давно начать проверку паттернов для 13-ок, драйв у господина Петухова мгновенно появился бы :)))
Вот выгнали меня с форума, и не нашёл господин Петухов 19-ку, потому что драйв пропал.
А как считал, как считал!!! :)))
По 300 миллионов формул одновременно, которые формировались на лету!
ID: 10686 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13276
Credit: 0
RAC: 0
Message 10687 - Posted: 12 Jan 2023, 15:58:07 UTC

Теперь господин Петухов будет считать, а господин Никонов будет заполнять таблицу :)
https://dxdy.ru/post1576866.html#p1576866
Он большой спец по таблицам :)

И дело у двух сапог умников пойдёт чудесно!
ID: 10687 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13276
Credit: 0
RAC: 0
Message 10688 - Posted: 12 Jan 2023, 16:07:53 UTC
Last modified: 12 Jan 2023, 16:31:41 UTC

Ну вот, во втором пакете паттернов с LCM=5436568048111200 завершился первый паттерн - b567
Показываю частично логи

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b567 *RT*
305 . 2^2.3 7^5 2.5^2 3 2^5 11^2 2.3^2 5 2^2.7 3 2 13^5: 239310321 / 53957111754 (599.36s)
305 . 2^2.3 7^5 2.5^2 3 2^5 11^2 2.3^2 5 2^2.7 3 2 13^5: 478900510 / 53957111754 (1198.06s)
305 . 2^2.3 7^5 2.5^2 3 2^5 11^2 2.3^2 5 2^2.7 3 2 13^5: 716263590 / 53957111754 (1797.17s)
305 . 2^2.3 7^5 2.5^2 3 2^5 11^2 2.3^2 5 2^2.7 3 2 13^5: 954633096 / 53957111754 (2396.39s)
305 . 2^2.3 7^5 2.5^2 3 2^5 11^2 2.3^2 5 2^2.7 3 2 13^5: 1193191291 / 53957111754 (2995.44s)
305 . 2^2.3 7^5 2.5^2 3 2^5 11^2 2.3^2 5 2^2.7 3 2 13^5: 1434164554 / 53957111754 (3594.66s)
305 . 2^2.3 7^5 2.5^2 3 2^5 11^2 2.3^2 5 2^2.7 3 2 13^5: 1664962194 / 53957111754 (4194.27s)
305 . 2^2.3 7^5 2.5^2 3 2^5 11^2 2.3^2 5 2^2.7 3 2 13^5: 1902853167 / 53957111754 (4794.06s)
305 . 2^2.3 7^5 2.5^2 3 2^5 11^2 2.3^2 5 2^2.7 3 2 13^5: 2140402432 / 53957111754 (5393.77s)
305 . 2^2.3 7^5 2.5^2 3 2^5 11^2 2.3^2 5 2^2.7 3 2 13^5: 2392034265 / 53957111754 (5993.73s)
. . . . . . . 
305 . 2^2.3 7^5 2.5^2 3 2^5 11^2 2.3^2 5 2^2.7 3 2 13^5: 52335945580 / 53957111754 (129482.98s)
305 . 2^2.3 7^5 2.5^2 3 2^5 11^2 2.3^2 5 2^2.7 3 2 13^5: 52575740412 / 53957111754 (130081.92s)
305 . 2^2.3 7^5 2.5^2 3 2^5 11^2 2.3^2 5 2^2.7 3 2 13^5: 52814644554 / 53957111754 (130680.97s)
305 . 2^2.3 7^5 2.5^2 3 2^5 11^2 2.3^2 5 2^2.7 3 2 13^5: 53052133194 / 53957111754 (131280.01s)
305 . 2^2.3 7^5 2.5^2 3 2^5 11^2 2.3^2 5 2^2.7 3 2 13^5: 53290683877 / 53957111754 (131879.09s)
305 . 2^2.3 7^5 2.5^2 3 2^5 11^2 2.3^2 5 2^2.7 3 2 13^5: 53531095771 / 53957111754 (132478.00s)
305 . 2^2.3 7^5 2.5^2 3 2^5 11^2 2.3^2 5 2^2.7 3 2 13^5: 53770305229 / 53957111754 (133076.79s)
367 coul(12, 13): recurse 1108, walk 14124, walkc 16258008369 (133544.50s)

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

Ещё в трёх пакетах идет проверка паттернов (первых паттернов в пакете), все они близки к завершению.
К завтрашнему утру завершатся.
Тоже остановлю.

Ой, чё будет, чё будет!
Господин Петухов, кажется, ускорился в 1000 раз, если не больше :)
Это ж он паттерны для 13-ок за неделю все проверит!
И чего Hugo там копается второй месяц с BOINC?!

Вот посмотрите-ка, проверка паттерна b280 с LCM=5436568048111200 у господина Петухова
LCM5436568048111200-ch12-pr4-b280: end, time: 35.652s

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

Цитата
Это частичные логи паттерна b280

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b280 *RT*
305 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5: 468165833 / 53957111754 (599.53s)
305 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5: 936745847 / 53957111754 (1199.14s)
305 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5: 1404226430 / 53957111754 (1798.77s)
305 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5: 1865554307 / 53957111754 (2398.36s)
305 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5: 2331591770 / 53957111754 (2997.89s)
305 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5: 2801025473 / 53957111754 (3597.33s)
. . . . . . . . . 
305 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5: 52064432039 / 53957111754 (66562.55s)
305 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5: 52520812889 / 53957111754 (67161.97s)
305 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5: 52979893469 / 53957111754 (67761.72s)
305 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5: 53439193568 / 53957111754 (68361.26s)
305 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5: 53898644219 / 53957111754 (68960.84s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 53957111778 (69037.80s)

В 1936 раз у господина Петухова время меньше, чем у меня!
Вот это ускорение!
Прям можно в космос улететь с таким ускорением :)
Это очень похоже на 300 миллионов формул одновременно, которые формируются на лету :))
Но... как говорит пословица, цыплят по осени считают.
ID: 10688 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13276
Credit: 0
RAC: 0
Message 10689 - Posted: 12 Jan 2023, 16:47:02 UTC

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

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b1205 *RT*
305 13^5 2^2.3 . 2 3.5^2 2^5 7^2 2.3^2 11^5 2^2.5 3 2 .: 434461589 / 13904800399 (586.06s)
305 13^5 2^2.3 . 2 3.5^2 2^5 7^2 2.3^2 11^5 2^2.5 3 2 .: 816147169 / 13904800399 (1171.74s)
. . . . . . . . . 
305 13^5 2^2.3 . 2 3.5^2 2^5 7^2 2.3^2 11^5 2^2.5 3 2 .: 13182573724 / 13904800399 (19929.25s)
305 13^5 2^2.3 . 2 3.5^2 2^5 7^2 2.3^2 11^5 2^2.5 3 2 .: 13577023330 / 13904800399 (20522.77s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800423 (21015.42s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b1208 *RT*
305 . 2^2.3 13^5 2 3.5^2 2^5 7^2 2.3^2 11^5 2^2.5 3 2 .: 380782962 / 13904800399 (593.60s)
305 . 2^2.3 13^5 2 3.5^2 2^5 7^2 2.3^2 11^5 2^2.5 3 2 .: 756429491 / 13904800399 (1187.15s)
. . . . . . . . .
305 . 2^2.3 13^5 2 3.5^2 2^5 7^2 2.3^2 11^5 2^2.5 3 2 .: 13171557146 / 13904800399 (20772.30s)
305 . 2^2.3 13^5 2 3.5^2 2^5 7^2 2.3^2 11^5 2^2.5 3 2 .: 13547007134 / 13904800399 (21365.65s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800423 (21930.18s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b1215 *RT*
305 . 2^2.3 . 2 3.5^2 2^5 7^2 2.3^2 11^5 2^2.5 3 2 13^5: 380348252 / 13904800398 (593.54s)
305 . 2^2.3 . 2 3.5^2 2^5 7^2 2.3^2 11^5 2^2.5 3 2 13^5: 759047881 / 13904800398 (1186.95s)
. . . . . . . . .
305 . 2^2.3 . 2 3.5^2 2^5 7^2 2.3^2 11^5 2^2.5 3 2 13^5: 13242358388 / 13904800398 (20737.85s)
305 . 2^2.3 . 2 3.5^2 2^5 7^2 2.3^2 11^5 2^2.5 3 2 13^5: 13612705744 / 13904800398 (21323.79s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800422 (21786.18s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b2415 *RT*
305 2 3 2^2.7 5 2.3^2 11^5 2^5 3 2.5^2 7^2 2^2.3 13^5 2: 365798071 / 13904800398 (585.35s)
305 2 3 2^2.7 5 2.3^2 11^5 2^5 3 2.5^2 7^2 2^2.3 13^5 2: 729795587 / 13904800398 (1170.55s)
. . . . . . . . .
305 2 3 2^2.7 5 2.3^2 11^5 2^5 3 2.5^2 7^2 2^2.3 13^5 2: 13421489419 / 13904800398 (21668.91s)
305 2 3 2^2.7 5 2.3^2 11^5 2^5 3 2.5^2 7^2 2^2.3 13^5 2: 13780542547 / 13904800398 (22254.03s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800422 (22456.78s)

001 pcoul(12 13) -f13 -g9 -x586683019466361719763403545 -b2577 *RT*
305 2 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^5 2^2.3 13^5 2.7^2: 382638489 / 13904800398 (585.50s)
305 2 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^5 2^2.3 13^5 2.7^2: 764637348 / 13904800398 (1170.69s)
. . . . . . . . .
305 2 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^5 2^2.3 13^5 2.7^2: 13351878989 / 13904800398 (20475.76s)
305 2 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^5 2^2.3 13^5 2.7^2: 13734398109 / 13904800398 (21060.35s)
367 coul(12, 13): recurse 1181, walk 15004, walkc 13904800422 (21321.00s)

Цепочек не найдено.

Во втором пакете паттернов с LCM=21096420035090400 осталось проверить два паттерна (всего в пакете 22 паттерна).
ID: 10689 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Previous · 1 . . . 97 · 98 · 99 · 100 · 101 · 102 · 103 . . . 124 · Next

Message boards : Cafe : Для участников форума MHP


©2024 (C) Progger