Нашей с черепашкой линеечке 10 хорошо перепало рикошетом

There are 1323 squares in the rule 10

+ 35
долг: 1536 - 1323 = 213

Ура! Ура! Ура!

Ждём завершения четырёх линеек у помощника - близких к завершению.
Линейка 15 вредина, зажимает решения :)
Одна осталась из самой первой тройки линеек помощника.

Ждём завершения линейки 7 у Demis.

Ждём вестей от XAVER о линейке 8.
Ну, ice00, как всегда, молчит о линейке 9. Не знаю даже, проверяет ли он её.

Линейка 1 у нас может самозавершиться.
На данный момент в ней имеется

There are 1637 squares in the rule 1

+ 6
долг: 1655 - 1637 = 18

---

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

Черепашка кричит
- Двушка!

Да, найдена новая двушка

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

Это КФ ортогоналек

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

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

Интересно: КФ одной ортогональки принадлежит линейке 10, а КФ второй ортогональки - линейке 9.
3 КФ ОДЛК добавилось в БД, 2 КФ ОДЛК добавилось в линейку 10.
Долг в линейке 10 стал 211.

Подарили одно решение линейке 9.
Сейчас посмотрю,какой долг на данный момент в этой линейке.

Вот состояние линейки 9

There are 2231 squares in the rule 9

Долг: 2445 - 2231 = 214

О!
Долг в линейках 9 и 10 почти одинаковый.

---

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

Обновила экспресс-статистику

There are 1637 squares in the rule 1 (-18) 
There are 24413 squares in the rule 7 (-104)
There are 2304 squares in the rule 8 (-562)
There are 2231 squares in the rule 9 (-214)
There are 1325 squares in the rule 10(-211)
There are 5319 squares in the rule 11 (-103)
There are 2681 squares in the rule 15 (-5)
There are 886 squares in the rule 17 (-26)
There are 1553 squares in the rule 18 (-2)
There are 1233 squares in the rule 19 (-1)
There are 2086 squares in the rule 20 (-109)

В статистику не включены девять завершённых линеек.
В скобках указан долг в линейке относительно результата, найденного в BOINC-проектах.
Общий долг по линейкам: 1355.
Общее количество решений в БД по данным BOINC-проектов: 75307.
В нашей БД содержится на данный момент: 73952 КФ ОДЛК. Заполнение 98,2%.

Линейка 20 вчера запущена помощником в проверку.
Таким образом, только в линейке 1 не начиналась тотальная проверка.
Ну, в ней маленький долг. Может быть, она самозавершится.
Близки к завершению линейки: 15, 17, 18, 19.
У шести линеек (7, 8, 9, 10, 11, 20) пока большой долг.

---

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

Отличные новости от помощника!
Самая отличная новость: завершена линейка 15

There are 2686 squares in the rule 15

Результат подтверждает найденный в BOINC-проектах.

Теперь в проекте десять завершённых линеек.

Вторая отличная новость: помощник запустил в проверку линейки 9 и 10 (те, что проверялись ice00 и мной).
ice00 проверял линейку 9 так мало, что пришлось запустить её с начала.
Линейку 10 запустили на досчитывание; я выбросила тотально проверенную мной область. Всё-таки мы с черепашкой проверили тотально некоторую область, повторять эту проверку не требуется.

Ой, черепашка рыдает о линейке 10 :)
Успокаиваю её тем, что у нас очень много других экспериментов.

Ну, и третья отличная новость: прибыли результаты из всех линеек, находящихся у помощника в проверке.
Эти результаты будут чуть позже, надо их обработать.

Состояние проекта: десять линеек завершены, девять находятся в проверке.
Некоторые из проверяемых линеек очень близки к завершению.
Не начата тотальная проверка в линейке 1.

---

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

Обработала результаты из всех линеек, которые в проверке у помощника.
Отличные результаты!

Линейка 9

There are 2325 squares in the rule 9

+ 94
долг: 2445 - 2325 = 120

линейка 10

There are 1445 squares in the rule 10

+ 120
долг: 1536 - 1445 = 91

линейка 11

There are 5383 squares in the rule 11

+ 64
долг: 5422 - 5383 = 39
близка к завершению

линейка 17

There are 912 squares in the rule 17

+ 26
завершена

линейка 18

There are 1555 squares in the rule 18

+ 2
завершена

линейка 19

There are 1234 squares in the rule 19

+ 1
завершена

линейка 20

There are 2195 squares in the rule 20

+ 109
завершена

Ещё четыре линейки завершены.
Результаты во всех завершённых линейках подтверждают найденные в BOINC-проектах.

Линейка 11 близка к завершению.
Итак, в проверке у помощника остались три линейки: 9, 10, 11.
Линейка 7 завершается у Demis.
Линейка 8 считается у XAVER.

Наша БД на данный момент содержит 74434 КФ ОДЛК. Заполнение 98,84%.

---

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

Линейка 1 получила 10 решений рикошетом

There are 1647 squares in the rule 1

И долг в ней стал
1655 - 1647 = 8

Очень близка к самозавершению!

---

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

Мы с черепашкой очень рады за нашу линеечку 10 :)
Теперь она быстро посчитается.

Огромное спасибо помощнику!

---

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

Горячие новости от помощника!
Новые результаты из линеек 9, 10, 11.
Всего найдено в этих линейках 253 новых КФ ОДЛК.
На данный момент наша БД содержит 74687 КФ ОДЛК. Заполнение 99,17%.

Линейки подросли так.

Линейка 9

There are 2433 squares in the rule 9

+ 108
долг: 2445 - 2433 = 12
близка к завершению

линейка 10

There are 1519 squares in the rule 10

+ 74
долг: 1536 - 1519 = 17
близка к завершению

линейка 11

There are 5406 squares in the rule 11

+ 23
долг: 5422 - 5406 = 16
близка к завершению

Замечательно! Все три линейки близки к завершению.

---

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

Линейка 1 получила рикошетом два решения

There are 1649 squares in the rule 1

и сейчас долг в этой линейке:
1655 - 1649 = 6
близка к самозавершению

Пока ничего не сообщает XAVER о линейке 8. Хорошо, если считает.
Ну, и у Demis досчитывается линейка 7. Ждём, вот-вот досчитается.
Ох и долгоиграющая линейка!

Мы с черепашкой "болеем" за свою линеечку 10 :)
Она хорошо считается, точнее - она досчитывается.
Мы надеемся, что не пропустили решения в проверенной нами области.

---

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

Горячие новости от Demis!
Новые результаты из линейки 7.
Найдено 34 новых КФ ОДЛК.
Наша БД содержит на данный момент 74721 КФ ОДЛК. Заполнение 99,22%.

Состояние в линейке 7

There are 24455 squares in the rule 7

долг: 24517 - 24455 = 62

Посмотрели на обрабатываемую группу линейки 7, группа одна осталась в обработке.
"Хвост" группы длиннющий остаётся в обработке.
Решили разбить на шесть потоков этот длиннющий "хвост".
Это должно помочь досчитаться быстрее "хвосту".
Ждём.

---

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

Прибыли решения от помощника из линеек 9, 10, 11.
Найдено 38 новых КФ ОДЛК.
Наша БД содержит на данный момент 74767 КФ ОДЛК. Заполнение 99,28%.

Ни одна линейка не завершилась. Ох уж эти "хвосты"!
Линейка 9
долг: 6
линейка 10
долг: 5
линейка 11
долг: 11.

Наша с черепашкой линейка 10 имеет самый маленький долг.
Будем надеяться, что мы ничего не потеряли в проверенной нами области.

---

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

Отличная новость!
Прибыли результаты от помощника из линеек 9, 10, 11.
Найдено 26 новых КФ ОДЛК.
Наша БД содержит на данный момент 74793 КФ ОДЛК. Заполнение 99,31%.

Состояние линеек

линейка 9

There are 2445 squares in the rule 9

завершена

линейка 10

There are 1533 squares in the rule 10

долг: 1536 - 1533 = 3
близка к завершению

линейка 11

There are 5422 squares in the rule 11

завершена

Наша с черепашкой линеечка подкачала :)
Очень вязкая оказалась, проверяется долго, а решений мало.

Мы подтвердили результаты ещё двух линеек, найденные в BOINC-проектах.
В проекте пока не проверены полностью линейки 7, 8, 10.
И в линейке 1 тотальная проверка не начиналась, надеемся на самозавершение.
Линейки 7 и 10 близки к завершению.
Что с линейкой 8, пока неизвестно. XAVER молчит.

Состояние линейки 7 на данный момент

There are 24472 squares in the rule 7

долг: 24517 - 24472 = 45
Demis сообщил, что из новых шести подгрупп завершены две, четыре ещё проверяются.

Состояние линейки 8 на данный момент

There are 2406 squares in the rule 8

долг: 2866 - 2406 = 460

Общий долг по линейкам
линейка 1 - 6
линейка 7 - 45
линейка 8 - 460
линейка 10 - 3
_____________
Итого: 514

---

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

Отличная новость!
Прибыли результаты от XAVER из линейки 8.
Всего найдено 315 новых КФ ОДЛК.
Наша БД содержит на данный момент 75108 КФ ОДЛК. Заполнение 99,73%.

Состояние линейки 8

There are 2708 squares in the rule 8

+ 302
долг: 2866 - 2708 = 158

Остальные линейки получили по чуть-чуть рикошетом и имеют следующее состояние
линейка 10

There are 1535 squares in the rule 10

+ 2
долг: 1536 - 1535 = 1

линейка 1

There are 1650 squares in the rule 1

+ 1
долг: 1655 - 1650 = 5

линейка 7

There are 24482 squares in the rule 7

+ 10
долг: 24517 - 24482 = 35

Общий долг по линейкам: 199.
Можно сказать, что проект завершается.
Но... "не говори гоп пока не перепрыгнешь".

Волнует линейка 7. Считается очень долго; было сделано ещё одно разбиение на подгруппы. Пока ждём, как досчитается.
Ну, и в линейке 8 ещё солидный долг. Тоже ждём, когда досчитается.
Что при этом скажет "самозавершёнка" - линейка 1?

---

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

Уф!
Попросила Demis прислать текущие результаты из линейки 7.
Состояние линейки на данный момент

There are 24511 squares in the rule 7

долг: 24517 - 24511 = 6

Кажется, заканчивается.
Вот какая трудная линейка!

Линейка 8 получила рикошетом две КФ от новых результатов.
Теперь долги у нас такие:

линейка 1 - 5
линейка 7 - 6
линейка 8 - 156
линейка 10 - 1
________________
итого: 168

БД содержит на данный момент 75139 КФ ОДЛК. Заполнение 99,77%.

---

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

Отличная новость!
У XAVER завершилась ещё одна группа в линейке 8 (осталось в работе три группы).
Найдено в этой порции 45 новых КФ ОДЛК.
На данный момент наша БД содержит 75184 КФ ОДЛК. Заполнение 99,83%.

Состояние линейки 8

There are 2753 squares in the rule 8

+ 43
долг: 2866 - 2753 = 113

Линейка 1 получила рикошетом два решения

There are 1652 squares in the rule 1

+ 2
долг: 1655 - 1652 = 3

Самозавершается :) Три решения осталось найти.

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

---

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

И ещё одна группа завершилась у XAVER в линейке 8. Отлично!
Найдено 34 новых КФ ОДЛК.
Наша БД содержит на данный момент 75218 КФ ОДЛК. Заполнение 99,88%.

Состояние линейки 8

There are 2786 squares in the rule 8

+ 33
долг: 2866 - 2786 = 80

Линейка 7 получила одно решение рикошетом и теперь имеет долг 5 КФ ОДЛК.
Линейки 1 и 10 ничего не получили от этой порции.

Теперь долги у нас такие:

линейка 1 - 3
линейка 7 - 5
линейка 8 - 80
линейка 10 - 1
________________
итого: 89

Линейка 10 - наша с черепашкой - такая упорная оказалась, никак не отдаёт одно решение :)
Помощник что-то совсем замолчал, третью неделю не пишет: то ли линейка вредничает, то ли у него проблемы.

---

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

Горячая новость от Demis.
Завершена линейка 7!
У-р-р-р-а-а-а!!!
Результат в линейке

There are 24517 squares in the rule 7

Мы подтвердили результат в этой линейке, полученный в двух BOINC-проектах.

Кроме 5 КФ ОДЛК в линейке 7 сейчас получена ещё одна КФ ОДЛК - из линейки 8.
Состояние в линейке 8

There are 2787 squares in the rule 8

и долг теперь составляет
2866 - 2787 = 79

Линейки 1 и 10 ничего не получили рикошетом, и долг в них не изменился.
линейка 1 - 3
линейка 10 - 1
Общий долг: 83.

На данный момент наша БД КФ ОДЛК 9-го порядка содержит 75224 КФ ОДЛК. Заполнение 99,89%.

Мы с черепашкой очень волнуемся за линейку 10.
В позапрошлое воскресенье помощник прислал текущие результаты в этой линейке.
Оставшаяся одна КФ ОДЛК пока не найдена.
Линейка ещё считается, осталась всего одна группа из 30.
Это феноменальный "висяк" :)
А мы с черепашкой волнуемся: не потерялось ли у нас это решение.
Но это станет ясно, когда линейка завершится.

На XAVER надеюсь, что у него всё правильно досчитается в линейке 8.
Ну, а "самазавершёнка" (линейка 1) как Бог даст. Три решения рикошетом должны быть получены.
Но! Дело в том, что, возможно, рикошетом эти КФ ОДЛК не получаются. В этом случае линейка не получит свои три недостающих решения.

В общем, ждём.

---

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

Помощник прислал текущие результаты из линейки 10.
Новых решений нет.
Линейка всё считается, осталась одна группа.
Посмотрела я на эту оставшуюся группу, на последнее найденное решение в группе и приняла решение сделать разбиение на подгруппы.
Интервалы между квадратами огромные. Считаться ещё будет очень долго.
Вот такой сюрприз преподнесла наша с черепашкой линейка.
Отправила помощнику разбиение на 9 подгрупп и попросила развернуть параллельный поиск в этих подгруппах.

XAVER пока молчит. Плохо без обратной связи работать.
Может быть, у него в линейке 8 тоже в какой-то из двух оставшихся групп ситуация тяжёлая и надо сделать дополнительное разбиение на подгруппы. Ресурсы у него есть для параллельных вычислений.

Вот так выглядит подгруппа 1 группы 15 линейки 10

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

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

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

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

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

Сейчас я сделала в оставшейся части группы 9 подгрупп.

Разбиение на подгруппы пришлось делать и в последней группе линейки 7 у Demis. После этого она ещё долго считалась, но всё же завершилась успешно.

---

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

Отличная новость!
Наконец-то, завершена линейка 10.

There are 1536 squares in the rule 10

Итак, результат в линейке 10 тоже подтверждён.

Наша БД содержит на данный момент 75225 КФ ОДЛК. Заполнение 99,89%.

Долг в линейках:
линейка 1 - 3
линейка 8 - 79

Ждём результаты от XAVER из линейки 8.
Надеемся на самозавершение линейки 1.

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

---

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