Постобработка идёт полным ходом.
Новые решения уже найдены.
Вот, например, очень интересная шеренга новых четвёрок - обалденно похожи основные ДЛК, как одна мать родила :)

[DLK(4):188]
0 3 6 5 8 2 7 4 1
3 1 5 4 2 7 8 0 6
6 4 2 0 5 8 3 1 7
7 8 4 3 0 6 1 5 2
2 7 1 6 4 3 0 8 5
8 6 0 7 1 5 4 2 3
1 5 8 2 7 0 6 3 4
4 2 3 8 6 1 5 7 0
5 0 7 1 3 4 2 6 8

[DLK(4):192]
0 3 6 5 8 2 7 4 1
3 1 5 4 2 7 8 0 6
6 4 2 0 5 8 3 1 7
7 8 4 3 1 6 0 5 2
2 7 0 6 4 3 1 8 5
8 6 1 7 0 5 4 2 3
1 5 8 2 7 0 6 3 4
4 2 3 8 6 1 5 7 0
5 0 7 1 3 4 2 6 8

[DLK(4):196]
0 3 6 5 8 2 7 4 1
3 1 5 4 2 7 8 0 6
6 4 2 0 7 8 3 1 5
7 8 4 3 0 6 1 5 2
2 5 1 6 4 3 0 8 7
8 6 0 7 1 5 4 2 3
1 7 8 2 5 0 6 3 4
4 2 3 8 6 1 5 7 0
5 0 7 1 3 4 2 6 8

[DLK(4):200]
0 3 6 5 8 2 7 4 1
3 1 5 4 2 7 8 0 6
6 4 2 0 7 8 3 1 5
7 8 4 3 1 6 0 5 2
2 5 0 6 4 3 1 8 7
8 6 1 7 0 5 4 2 3
1 7 8 2 5 0 6 3 4
4 2 3 8 6 1 5 7 0
5 0 7 1 3 4 2 6 8

[DLK(4):204]
0 3 6 5 8 2 7 4 1
3 1 5 4 2 7 8 0 6
6 5 2 0 7 8 3 1 4
7 8 4 3 0 6 1 5 2
2 7 1 6 4 3 0 8 5
8 6 0 7 1 5 4 2 3
1 4 8 2 5 0 6 3 7
4 2 3 8 6 1 5 7 0
5 0 7 1 3 4 2 6 8

[DLK(4):208]
0 3 6 5 8 2 7 4 1
3 1 5 4 2 7 8 0 6
6 5 2 0 7 8 3 1 4
7 8 4 3 1 6 0 5 2
2 7 0 6 4 3 1 8 5
8 6 1 7 0 5 4 2 3
1 4 8 2 5 0 6 3 7
4 2 3 8 6 1 5 7 0
5 0 7 1 3 4 2 6 8

[DLK(4):212]
0 3 6 5 8 2 7 4 1
3 1 5 4 2 7 8 0 6
6 7 2 0 5 8 3 1 4
7 8 4 3 0 6 1 5 2
2 5 1 6 4 3 0 8 7
8 6 0 7 1 5 4 2 3
1 4 8 2 7 0 6 3 5
4 2 3 8 6 1 5 7 0
5 0 7 1 3 4 2 6 8

[DLK(4):216]
0 3 6 5 8 2 7 4 1
3 1 5 4 2 7 8 0 6
6 7 2 0 5 8 3 1 4
7 8 4 3 1 6 0 5 2
2 5 0 6 4 3 1 8 7
8 6 1 7 0 5 4 2 3
1 4 8 2 7 0 6 3 5
4 2 3 8 6 1 5 7 0
5 0 7 1 3 4 2 6 8

Вот две троечки, тоже сильно похожи основные ДЛК

[DLK(3):171]
0 2 7 5 3 4 8 6 1
7 1 4 2 8 3 5 0 6
5 4 2 7 6 1 3 8 0
8 0 6 3 2 7 4 1 5
3 5 8 6 4 0 1 2 7
6 7 0 8 1 5 2 4 3
1 8 5 0 7 2 6 3 4
4 6 3 1 5 8 0 7 2
2 3 1 4 0 6 7 5 8

[DLK(3):174]
0 2 7 5 3 4 8 6 1
7 1 4 2 8 3 5 0 6
5 4 2 7 6 1 3 8 0
8 0 6 3 2 7 4 1 5
3 5 8 6 4 0 1 2 7
6 7 3 8 1 5 0 4 2
1 8 5 0 7 2 6 3 4
4 6 0 1 5 8 2 7 3
2 3 1 4 0 6 7 5 8

Более солидных групп ОДЛК пока не найдено.
Сегодня должна завершить постобработку.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Всё, постобработка завершена.
Вот ещё троечка под занавес - одинокая :)

[DLK(3):55]
0 4 7 2 3 8 5 6 1
4 1 3 8 2 6 7 0 5
1 5 2 4 0 7 3 8 6
6 0 4 3 1 2 8 5 7
7 8 5 6 4 1 0 2 3
8 2 1 7 6 5 4 3 0
3 7 8 0 5 4 6 1 2
2 6 0 5 8 3 1 7 4
5 3 6 1 7 0 2 4 8

По группам так и осталось: 1 - 2 - 3 - 4, то есть однушки, двушки, тройки и четвёрки.

Всего получено постобработкой 182 уникальные КФ ОДЛК, что неплохо.
Наша БД выросла до 56171 КФ ОДЛК.
Сейчас сделаю новую статистику по линейкам.
Статистика по группам ОДЛК изменилась только для однушек, двушек, троек и четвёрок.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Обновила статистику по линейкам в нашем текущем варианте БД КФ ОДЛК порядка 9

линейка 1 - 1581
линейка 2 - 174 (+13)
линейка 3 - 1244 (+8)
линейка 4 - 3589 (+30)
линейка 6 - 515 (+38)
линейка 7 - 22248 (+252)
линейка 8 - 1123 (+5)
линейка 9 - 1634 (+11)
линейка 10 - 767 (+17)
линейка 11 - 3777 (+11)
линейка 12 - 2729 (+28)
линейка 13 - 8844 (+47)
линейка 14 - 931 (+2)
линейка 15 - 1391 (+5)
линейка 16 - 702 (+15)
линейка 17 - 260 (+4)
линейка 18 - 1352 (+3)
линейка 19 - 576 (+7)
линейка 20 - 2016
------------------------------------
Всего в БД (с линейкой 5): 56171 КФ ОДЛК
Добавление: 496 КФ ОДЛК

Не показана завершённая линейка 5 (содержит 718 КФ ОДЛК).
Не получили добавление только две линейки: 1 и 20.
По-прежнему лидирует по добавлениям линейка 7.
496 КФ ОДЛК добавилось в БД с момента составления предыдущей статистики.

Ещё раз подчеркну: абсолютно неважно, как найдены уникальные КФ ОДЛК - тотальной ли проверкой, выборочной ли проверкой, стратегией №1 или стратегией №2, постобработкой ли.
Всё это уникальные КФ ОДЛК, и они с полным правом занимают своё место в БД.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Текущий вариант БД КФ ОДЛК порядка 9 опубликован!

Скачать с Яндекс.Диска
https://yadi.sk/d/XC4QkgXx9pdsEQ

Чтобы убить червь сомнения у некоторых товарищей, считающих, что мы ищем не то и не так.
Вот реальная БД КФ ОДЛК - предварительный вариант.
БД содержит на данный момент 56171 КФ ОДЛК.
Эти КФ ОДЛК найдены разными способами, в том числе и тотальной проверкой.
Опубликованная часть БД, конечно, содержит первоначальную часть БД, которая составлена мной давно и опубликована здесь
https://yadi.sk/d/qbqG65bt3Re8RP
с описанием всех источников результатов.
Эта часть БД содержит всего 6795 КФ ОДЛК.

В архиве вы найдёте также статистику по линейкам и статистику по группам ОДЛК.

Пожалуйста, напишите мне ЛС с вашими замечаниями, вопросами и пожеланиями относительно опубликованной БД.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

А тем временем черепашка справилась со всеми пустынями в группе №61 и благополучно перешла в группу №62.
Напомню: в стратегии №1 используется разбиение на группы по методике Harry White.
Линейка 10, которую проверяет черепашка, содержит 928 групп по такому разбиению.
Мы начали проверять сразу с группы №61 (в этой группе находится рекордный ДЛК, имеющий 614 ОДЛК).
Понятно, что группы №№ 1 - 60 должны быть тоже проверены тотально.
Ну, пока мы двигаемся дальше.
Совершенно понятно также, что два потока моего ПК (работающие не круглосуточно) не выполнят тотальную проверку всей линейки 10. Нужна будет помощь.
Но какую-то часть мы проверим.

PS. Тактика у меня очень простая (при стратегии №1).
Делю очередную группу линейки (по разбиению Harry White) примерно пополам и запускаю в два потока проверку.
Деление пополам осуществляется по имеющимся в наличии КФ ОДЛК в линейке.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Пропустила текущую БД (56171 КФ ОДЛК) через программу Белышева ortogon_u.
Показываю хвост выходного файла

. . . . . . . .
[DLK(2):267453]
0 8 7 6 3 2 5 4 1
4 1 5 8 6 3 7 0 2
7 6 2 5 8 0 3 1 4
8 7 4 3 0 6 1 2 5
3 5 1 2 4 8 0 6 7
2 3 0 7 1 5 4 8 6
1 4 8 0 2 7 6 5 3
6 2 3 1 5 4 8 7 0
5 0 6 4 7 1 2 3 8

[DLK(4):267455]
0 8 7 6 3 2 5 4 1
4 1 5 8 6 3 7 0 2
7 6 2 5 8 0 3 1 4
8 7 4 3 0 6 1 2 5
6 5 1 2 4 8 0 3 7
2 3 0 7 1 5 4 8 6
1 4 8 0 2 7 6 5 3
3 2 6 1 5 4 8 7 0
5 0 3 4 7 1 2 6 8

[DLK(2):267459]
0 8 7 6 3 2 5 4 1
4 1 5 8 6 3 7 0 2
7 6 2 5 8 0 3 1 4
8 7 4 3 1 6 0 2 5
3 5 0 2 4 8 1 6 7
2 3 1 7 0 5 4 8 6
1 4 8 0 2 7 6 5 3
6 2 3 1 5 4 8 7 0
5 0 6 4 7 1 2 3 8

[DLK(4):267461]
0 8 7 6 3 2 5 4 1
4 1 5 8 6 3 7 0 2
7 6 2 5 8 0 3 1 4
8 7 4 3 1 6 0 2 5
6 5 0 2 4 8 1 3 7
2 3 1 7 0 5 4 8 6
1 4 8 0 2 7 6 5 3
3 2 6 1 5 4 8 7 0
5 0 3 4 7 1 2 6 8

267461 ортогональных диагональных соквадратов имеют найденные нами КФ ОДЛК.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

И найдено первое новое решение в группе 62, в первом потоке

0 2 5 4 7 6 8 3 1
3 1 4 2 6 8 7 0 5
6 0 2 5 8 4 3 1 7
5 8 6 3 1 7 0 4 2
8 6 1 7 4 3 2 5 0
7 3 0 6 2 5 1 8 4
4 7 8 0 5 1 6 2 3
1 5 3 8 0 2 4 7 6
2 4 7 1 3 0 5 6 8

Однушечка.
Ура! Мы начинаем добавлять решения в нашу БД.
Может быть, в этой группе пустыни будут поменьше, нежели в предыдущей.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Итак, сегодня черепашка нашла новые решения в линейке 10 (группа 62), которые дали 12 уникальных КФ ОДЛК.
Это гораздо лучше, чем в предыдущей группе. А группа ещё далека от завершения.
Завтра продолжим проверку.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Линейка 6 начинает потихоньку отдавать решения.
Помощник прислал новые результаты из этой линейки, которые дали 60 уникальных КФ ОДЛК.
По группам ОДЛК - однушки и редко двушки, четвёрочка одна затесалась

[DLK(4):29]
0 2 5 8 6 3 7 4 1
7 1 8 6 3 2 4 0 5
6 5 2 1 7 0 3 8 4
4 7 1 3 8 6 0 5 2
1 6 0 7 4 8 5 2 3
3 0 4 2 1 5 8 6 7
8 4 7 5 2 1 6 3 0
2 8 3 0 5 4 1 7 6
5 3 6 4 0 7 2 1 8

Наша БД неуклонно растёт!
+12 КФ ОДЛК наши с черепашкой, найденные вчера по линейке 10, +60 КФ ОДЛК от помощника по линейке 6, уже +72 КФ ОДЛК.
Напомню: опубликованный вчера вариант БД содержит 56171 КФ ОДЛК.

В линейке 6 у помощника пока запущены в проверку не все группы (из 20). Поэтому ещё не в полную мощь линейка 6 работает.
Но уже есть несколько завершённых групп в этой линейке.
Попадаются такие группы - без пустынь, они очень быстро обрабатываются. В линейке 5 тоже были такие группы.
"Хвост" в линейке 6 всё ещё считается, давно был запущен.
"Хвосты" тоже разные у линеек: есть короткие (быстро считаются), а есть очень длинные.
Например, у линейки 7 "хвост" коротенький, давным-давно просчитался. Зато сама линейка очень вязкая - из-за большой плотности КФ. Но и решений очень много даёт эта линейка!

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Ещё горячие пирожки от помощника :)
Решения из линеек 6 и 7. Мощно так две линейки работают!
От результатов получено 125 уникальных КФ ОДЛК.
По группам ОДЛК - однушки, двушки и четвёрки.
Вот интересная шеренга четвёрок

[DLK(4):143]
0 8 5 2 6 4 7 3 1
6 1 7 4 3 8 5 0 2
7 6 2 5 8 1 3 4 0
2 5 0 3 1 6 4 8 7
3 7 1 8 4 2 0 6 5
8 3 4 7 0 5 1 2 6
4 0 8 1 2 7 6 5 3
1 2 3 6 5 0 8 7 4
5 4 6 0 7 3 2 1 8

[DLK(4):147]
0 8 5 2 6 4 7 3 1
6 1 7 4 3 8 5 0 2
7 6 2 5 8 1 3 4 0
2 5 0 3 1 6 4 8 7
3 7 1 8 4 2 0 6 5
8 3 4 7 0 5 1 2 6
4 0 8 1 2 7 6 5 3
1 2 6 0 5 3 8 7 4
5 4 3 6 7 0 2 1 8

[DLK(4):151]
0 8 5 2 6 4 7 3 1
6 1 7 4 3 8 5 0 2
7 6 2 5 8 1 3 4 0
2 5 1 3 0 6 4 8 7
3 7 0 8 4 2 1 6 5
8 3 4 7 1 5 0 2 6
4 0 8 1 2 7 6 5 3
1 2 3 6 5 0 8 7 4
5 4 6 0 7 3 2 1 8

[DLK(4):155]
0 8 5 2 6 4 7 3 1
6 1 7 4 3 8 5 0 2
7 6 2 5 8 1 3 4 0
2 5 1 3 0 6 4 8 7
3 7 0 8 4 2 1 6 5
8 3 4 7 1 5 0 2 6
4 0 8 1 2 7 6 5 3
1 2 6 0 5 3 8 7 4
5 4 3 6 7 0 2 1 8

[DLK(4):159]
0 8 5 2 6 4 7 3 1
6 1 7 4 3 8 5 0 2
7 6 2 5 8 1 3 4 0
2 5 4 3 0 6 1 8 7
3 7 1 8 4 2 0 6 5
8 3 0 7 1 5 4 2 6
4 0 8 1 2 7 6 5 3
1 2 3 6 5 0 8 7 4
5 4 6 0 7 3 2 1 8

[DLK(4):163]
0 8 5 2 6 4 7 3 1
6 1 7 4 3 8 5 0 2
7 6 2 5 8 1 3 4 0
2 5 4 3 0 6 1 8 7
3 7 1 8 4 2 0 6 5
8 3 0 7 1 5 4 2 6
4 0 8 1 2 7 6 5 3
1 2 6 0 5 3 8 7 4
5 4 3 6 7 0 2 1 8

[DLK(4):167]
0 8 5 2 6 4 7 3 1
6 1 7 4 3 8 5 0 2
7 6 2 5 8 1 3 4 0
2 5 4 3 1 6 0 8 7
3 7 0 8 4 2 1 6 5
8 3 1 7 0 5 4 2 6
4 0 8 1 2 7 6 5 3
1 2 3 6 5 0 8 7 4
5 4 6 0 7 3 2 1 8

[DLK(4):171]
0 8 5 2 6 4 7 3 1
6 1 7 4 3 8 5 0 2
7 6 2 5 8 1 3 4 0
2 5 4 3 1 6 0 8 7
3 7 0 8 4 2 1 6 5
8 3 1 7 0 5 4 2 6
4 0 8 1 2 7 6 5 3
1 2 6 0 5 3 8 7 4
5 4 3 6 7 0 2 1 8

Если раскрасить - лепота! Мой любимый калейдоскоп продолжает играть!
Осталось посмотреть, как подросли линейки 6 и 7.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Так подросла линейка 6

. . . . . . 
 0  6  4  8  5  2  7  3  1 
 6  1  5  4  3  7  8  0  2 
 8  0  2  6  7  1  3  5  4 
 7  5  8  3  1  6  4  2  0 
 3  7  0  5  4  8  2  1  6 
 1  4  3  2  8  5  0  6  7 
 4  3  7  1  2  0  6  8  5 
 2  8  1  0  6  4  5  7  3 
 5  2  6  7  0  3  1  4  8 

 0  6  5  4  7  3  8  2  1 
 6  1  4  8  3  7  5  0  2 
 1  0  2  7  6  4  3  8  5 
 7  2  1  3  8  6  0  5  4 
 8  5  3  0  4  2  1  6  7 
 3  7  8  2  0  5  4  1  6 
 2  4  7  5  1  8  6  3  0 
 4  8  6  1  5  0  2  7  3 
 5  3  0  6  2  1  7  4  8 

There are 565 squares in the rule 6

Добавление составило 50 КФ ОДЛК. Жадничает линеечка, но всё-таки отдаёт понемножку :)
Ещё должок за линеечкой: 1352 - 565 = 787 КФ ОДЛК. Ещё и половину не отдала. Ух! Жадина!

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Так подросла линейка 7

. . . . . . . 
 0  8  7  6  3  2  5  4  1 
 4  1  5  8  6  3  7  0  2 
 7  6  2  5  8  0  3  1  4 
 8  7  4  3  1  6  0  2  5 
 3  5  0  2  4  8  1  6  7 
 2  3  1  7  0  5  4  8  6 
 1  4  8  0  2  7  6  5  3 
 6  2  3  1  5  4  8  7  0 
 5  0  6  4  7  1  2  3  8 

 0  8  7  6  3  2  5  4  1 
 4  1  5  8  6  3  7  0  2 
 7  6  2  5  8  0  3  1  4 
 8  7  4  3  1  6  0  2  5 
 6  5  0  2  4  8  1  3  7 
 2  3  1  7  0  5  4  8  6 
 1  4  8  0  2  7  6  5  3 
 3  2  6  1  5  4  8  7  0 
 5  0  3  4  7  1  2  6  8 

There are 22324 squares in the rule 7

Добавилось 76 КФ ОДЛК. Класс!
А сколько всего КФ ОДЛК в этой линейке, я не знаю.
В последних данных BOINC-проектов, которые я видела, эта линейка не была завершена.
Но ещё будут добавления, линейка считается, 15 групп в проверке.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Отличная новость!
Прибыли решения от XAVER из линейки 14.
Завершено ещё три группы и осталась в проверке одна группа и "хвост".
Полученные в этой линейке решения дали 224 уникальные КФ ОДЛК. Замечательно!
По группам ОДЛК - однушки, двушки, тройки и 4 шестёрки

[DLK(6):42]
0 2 3 4 7 6 8 5 1
8 1 7 0 5 3 4 2 6
1 4 2 6 0 7 3 8 5
5 7 8 3 1 0 2 6 4
6 8 1 5 4 2 7 0 3
4 3 6 8 2 5 0 1 7
3 0 5 7 8 1 6 4 2
2 6 4 1 3 8 5 7 0
7 5 0 2 6 4 1 3 8

[DLK(6):48]
0 2 3 4 7 6 8 5 1
8 1 7 0 5 3 4 2 6
1 4 2 6 8 7 3 0 5
5 7 8 3 1 0 2 6 4
6 0 1 5 4 2 7 8 3
4 3 6 8 2 5 0 1 7
3 8 5 7 0 1 6 4 2
2 6 4 1 3 8 5 7 0
7 5 0 2 6 4 1 3 8

[DLK(6):134]
0 2 3 6 5 8 7 4 1
4 1 7 0 3 6 8 2 5
8 5 2 1 7 4 3 6 0
1 7 4 3 8 0 2 5 6
5 8 6 7 4 1 0 3 2
6 3 0 8 2 5 4 1 7
2 0 5 4 1 7 6 8 3
3 6 8 5 0 2 1 7 4
7 4 1 2 6 3 5 0 8

[DLK(6):140]
0 2 3 6 5 8 7 4 1
4 1 7 0 3 6 8 2 5
8 5 2 7 1 4 3 6 0
1 7 4 3 8 0 2 5 6
5 8 6 1 4 7 0 3 2
6 3 0 8 2 5 4 1 7
2 0 5 4 7 1 6 8 3
3 6 8 5 0 2 1 7 4
7 4 1 2 6 3 5 0 8

Линейка 14 теперь содержит 1047 КФ ОДЛК

. . . . .
 0  5  4  6  7  8  2  3  1 
 3  1  6  0  8  7  4  2  5 
 4  8  2  7  5  1  3  6  0 
 8  2  1  3  6  0  7  5  4 
 5  3  7  1  4  2  8  0  6 
 6  7  3  8  0  5  1  4  2 
 2  0  5  4  1  3  6  8  7 
 1  6  8  5  2  4  0  7  3 
 7  4  0  2  3  6  5  1  8 

 0  5  6  2  3  8  7  4  1 
 5  1  8  6  0  3  4  2  7 
 8  0  2  7  1  4  3  6  5 
 6  8  7  3  2  0  5  1  4 
 2  3  0  1  4  7  8  5  6 
 4  7  3  8  6  5  1  0  2 
 3  2  5  4  7  1  6  8  0 
 1  6  4  5  8  2  0  7  3 
 7  4  1  0  5  6  2  3  8 

There are 1047 squares in the rule 14

и должна ещё добавить 22 КФ ОДЛК согласно данным BOINC-проектов.
Совсем немножко осталось.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Наша БД подросла до 56594 Кф ОДЛК.

Напомню: завершена линейка 5; близка к завершению линейка 14.
В обработке у помощника линейки 6 и 7, которые дают хорошие добавления.
В обработке у ice00 линейка 9, которая пока даёт очень мало новых решений.
И у нас с черепашкой в обработке линейка 10; эта линейка даёт чуть больше новых решений, чем линейка 9.

Думаю, какую линейку приготовить для XAVER.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Выбрала следующую линейку для XAVER - линейка 3.
Информация о линейке

Линейка №3 
1 0 3 2 4 7 8 5 6

вариантов первой строки 928
минимальная КФ

0 2 3 4 5 6 7 8 1
2 1 4 5 3 7 8 0 6
1 0 2 6 7 8 3 4 5
4 6 0 3 8 2 1 5 7
7 3 5 8 4 1 0 6 2
3 8 1 7 6 5 4 2 0
5 7 8 0 2 3 6 1 4
8 5 6 1 0 4 2 7 3
6 4 7 2 1 0 5 3 8

Это первая на данный момент КФ ОДЛК в линейке

 0  2  3  4  5  6  7  8  1 
 3  1  4  2  6  8  5  0  7 
 4  7  2  6  8  0  3  1  5 
 8  4  5  3  7  2  1  6  0 
 5  6  0  1  4  7  8  2  3 
 1  8  6  7  2  5  0  3  4 
 7  0  8  5  3  1  6  4  2 
 2  5  1  8  0  3  4  7  6 
 6  3  7  0  1  4  2  5  8 

Вполне возможно, что это не минимальная КФ ОДЛК.
Это последняя на данный момент КФ ОДЛК в линейке

 0  8  7  2  3  4  5  6  1 
 7  1  3  8  2  6  4  0  5 
 5  0  2  6  1  8  3  4  7 
 1  6  5  3  0  2  7  8  4 
 8  7  6  5  4  3  2  1  0 
 4  2  0  7  8  5  1  3  6 
 3  4  8  1  7  0  6  5  2 
 2  5  4  0  6  1  8  7  3 
 6  3  1  4  5  7  0  2  8 

Эта КФ ОДЛК находится довольно близко к концу линейки, следовательно, "хвост" линейки не очень длинный.
К тому же, в "хвосте" очень мало КФ, я проверяла. Поэтому шансов на решения в "хвосте" почти нет.

На данный момент линейка 3 у нас содержит 1255 КФ ОДЛК.
По результатам BOINC-проектов линейка 3 содержит 2400 КФ ОДЛК (она там завершена).
Таким образом, в данной линейке ожидается добавление
2400 - 1255 = 1145 Кф ОДЛК.
Хорошее добавление!
Разбила линейку на группы в области существующих решений и сейчас отправлю XAVER для обработки.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Горячие результаты от помощника
из линеек 6 и 7.
Обработала все скопом, получила 129 уникальных КФ ОДЛК. Супер!
По группам ОДЛК - однушки, двушки и четвёрки.
Вот маленькая стайка четвёрочек

[DLK(4):151]
0 8 5 4 6 2 7 3 1
6 1 7 8 3 4 5 0 2
4 6 2 1 8 7 3 5 0
8 5 0 3 1 6 4 2 7
3 7 1 2 4 8 0 6 5
2 3 4 7 0 5 1 8 6
7 0 8 5 2 1 6 4 3
1 2 6 0 5 3 8 7 4
5 4 3 6 7 0 2 1 8

[DLK(4):155]
0 8 5 4 6 2 7 3 1
6 1 7 8 3 4 5 0 2
4 6 2 1 8 7 3 5 0
8 5 1 3 0 6 4 2 7
3 7 0 2 4 8 1 6 5
2 3 4 7 1 5 0 8 6
7 0 8 5 2 1 6 4 3
1 2 6 0 5 3 8 7 4
5 4 3 6 7 0 2 1 8

[DLK(4):159]
0 8 5 4 6 2 7 3 1
6 1 7 8 3 4 5 0 2
4 6 2 1 8 7 3 5 0
8 5 4 3 0 6 1 2 7
3 7 1 2 4 8 0 6 5
2 3 0 7 1 5 4 8 6
7 0 8 5 2 1 6 4 3
1 2 6 0 5 3 8 7 4
5 4 3 6 7 0 2 1 8

[DLK(4):163]
0 8 5 4 6 2 7 3 1
6 1 7 8 3 4 5 0 2
4 6 2 1 8 7 3 5 0
8 5 4 3 1 6 0 2 7
3 7 0 2 4 8 1 6 5
2 3 1 7 0 5 4 8 6
7 0 8 5 2 1 6 4 3
1 2 6 0 5 3 8 7 4
5 4 3 6 7 0 2 1 8

Сейчас посмотрю, как подросли у нас линейки 6 и 7.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Ещё отличная новость от помощника: завершился "хвост" линейки 14.
Пустой паршивец :) Зря только время на него потратили. Но... стратегия требует полной проверки. Не отвертеться.
Итак, в линейке 14 осталась одна группа, которая досчитывается у XAVER.
Надеемся и ждём быстрого завершения.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Так подросла линейка 6

. . . . . . 
 0  6  4  8  5  2  7  3  1 
 6  1  5  4  3  7  8  0  2 
 8  0  2  6  7  1  3  5  4 
 7  5  8  3  1  6  4  2  0 
 3  7  0  5  4  8  2  1  6 
 1  4  3  2  8  5  0  6  7 
 4  3  7  1  2  0  6  8  5 
 2  8  1  0  6  4  5  7  3 
 5  2  6  7  0  3  1  4  8 

 0  6  5  4  7  3  8  2  1 
 6  1  4  8  3  7  5  0  2 
 1  0  2  7  6  4  3  8  5 
 7  2  1  3  8  6  0  5  4 
 8  5  3  0  4  2  1  6  7 
 3  7  8  2  0  5  4  1  6 
 2  4  7  5  1  8  6  3  0 
 4  8  6  1  5  0  2  7  3 
 5  3  0  6  2  1  7  4  8 

There are 607 squares in the rule 6

Ещё она нам должна
1352 - 607 = 745 КФ ОДЛК

Так подросла линейка 7

. . . . . . 
 0  8  7  6  3  2  5  4  1 
 4  1  5  8  6  3  7  0  2 
 7  6  2  5  8  0  3  1  4 
 8  7  4  3  1  6  0  2  5 
 3  5  0  2  4  8  1  6  7 
 2  3  1  7  0  5  4  8  6 
 1  4  8  0  2  7  6  5  3 
 6  2  3  1  5  4  8  7  0 
 5  0  6  4  7  1  2  3  8 

 0  8  7  6  3  2  5  4  1 
 4  1  5  8  6  3  7  0  2 
 7  6  2  5  8  0  3  1  4 
 8  7  4  3  1  6  0  2  5 
 6  5  0  2  4  8  1  3  7 
 2  3  1  7  0  5  4  8  6 
 1  4  8  0  2  7  6  5  3 
 3  2  6  1  5  4  8  7  0 
 5  0  3  4  7  1  2  6  8 

There are 22387 squares in the rule 7

Сколько ещё она нам должна, не знаю. Но сколько-то должна :)

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

У-р-р-р-а-а-а!!
Есть ещё одна завершённая линейка!
У XAVER закончилась проверка линейки 14.
От найденных результатов получено 43 уникальные КФ ОДЛК.
И линейка 14 содержит 1069 КФ ОДЛК, как утверждает моя утилита

. . . . . . .
 0  5  4  6  7  8  2  3  1 
 3  1  6  0  8  7  4  2  5 
 4  8  2  7  5  1  3  6  0 
 8  2  1  3  6  0  7  5  4 
 5  3  7  1  4  2  8  0  6 
 6  7  3  8  0  5  1  4  2 
 2  0  5  4  1  3  6  8  7 
 1  6  8  5  2  4  0  7  3 
 7  4  0  2  3  6  5  1  8 

 0  5  6  2  3  8  7  4  1 
 5  1  8  6  0  3  4  2  7 
 8  0  2  7  1  4  3  6  5 
 6  8  7  3  2  0  5  1  4 
 2  3  0  1  4  7  8  5  6 
 4  7  3  8  6  5  1  0  2 
 3  2  5  4  7  1  6  8  0 
 1  6  4  5  8  2  0  7  3 
 7  4  1  0  5  6  2  3  8 

There are 1069 squares in the rule 14

Мы подтвердили ещё одну линейку!
Подчеркну ещё раз: мы выполнили независимую тотальную проверку этой линейки, а также подтверждённой ранее линейки 5.
В нашем ручном проекте выполнено 10% всего объёма работы. Фактически, конечно, больше (давно проверяются линейки 6 и 7 у помощника), но считаем полностью проверенные линейки.
Наша БД содержит на данный момент 56766 КФ ОДЛК.
Напомню: опубликованный вариант БД содержал 56171 КФ ОДЛК. Добавление составило 595 КФ ОДЛК. Отлично!

В проверке находятся линейки: 3, 6, 7, 9, 10.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Черепашка успешно закончила группу 62 и перешла в группу 63.
Все существующие решения найдены, новых решений мало, только в самом начале группы 62 было несколько новых решений.
Ужасная линейка у нас с черепашкой (10-ая).
Черепашка трудится очень усердно, а новых результатов очень мало найдено пока.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg