Всё, эксперимент с поиском по паттерну 23-ки завершился.

Выполнено 22 программы первой серии и 462 программы второй серии, итого 484 программы.
В каждой программе сгенерировано и проверено 2280960000 добавок.
Всего сгенерировано и проверено 2280960000*484 = 1103984640000 добавок.

А это общее количество добавок в данном поиске
2604626545213440000 formulae expected
Смотрите сообщение
https://boinc.progger.info/odlk/forum_thread.php?id=314&postid=16346

Обработанные добавки составляют 1/2359296 часть всего количества добавок.
И это в ручном проекте при очень ограниченных ресурсах!

В эксперименте найдено много центральных 9-к и несколько центральных 11-к, все они выложены в теме
https://boinc.progger.info/odlk/forum_thread.php?id=315

Хороший эксперимент.
Пока останавливаю его, занимаюсь новым экспериментом - поиском по преемственному паттерну 27-ки.
На оба эксперимента, увы, не хватает ресурсов.

О новом эксперименте смотрите тему
https://boinc.progger.info/odlk/forum_thread.php?id=318