We unite you to solve
large scale SAT problems

User of the day

User profile Profile [AF>France>Sale-caractere] Antares
Sapeur-Pompier Professionnel depuis 1978, marie 4 enfants 2 garcons et 2 filles . J'aime la natation et le velo (VTT)
et le Twirling...

News

New peak of performance!
July 1, 2015, 9:24 UTC
New peak of the project performance (10,16 TFLOPs) was obtained! Thanks to all our crunchers! Special thanks to the mega-crunchers Alejandro V. Mena, Endurance, Grandpa, damotbe and [SG-FC] hl. Also thanks to the top-5 teams (by RAC during the period where the peak was obtained): Crystal Dream, L'Alliance Francophone, Russia Team, MENA_COMP_DIE_FI_UNAM, [H]ard|OCP.

Был получен новый рекорд производительности (10,16 TFLOPs)! Спасибо всем нашим кранчерам! Персональное спасибо мега-кранчерам Alejandro V. Mena, Endurance, Grandpa, damotbe и [SG-FC] hl. Также спасибо топ-5 команд (по RAC в течение получения рекорда): Crystal Dream, L'Alliance Francophone, Russia Team, MENA_COMP_DIE_FI_UNAM, [H]ard|OCP.

5 new solutions
July 1, 2015, 9:10 UTC
5 new solutions were found by hawker from Russia, Endurance from Crystal Dream, fzs600 from L'Alliance Francophone, jan, Grandpa from [H]ard|OCP, Ungelovende from Team Norway, Andrey Fesenko (anfes) from Russia, [AF>EDLS]zOU from L'Alliance Francophone

5 новых решений нашли: hawker из Russia, Endurance из Crystal Dream, fzs600 из L'Alliance Francophone, jan, Grandpa из [H]ard|OCP, Ungelovende из Team Norway, Andrey Fesenko (anfes) из Russia, [AF>EDLS]zOU из L'Alliance Francophone

New experiment. New solution.
April 24, 2015, 7:58 UTC
Epxeriment aimed at searching for new pairs of orthogonal diagonal Latin squares of order 10 was started. One such pair was already found by Andrey Fesenko (anfes) from Russia and Mumps [MM] from SETI.USA

Запущен эксперимент по поиску новых пар ортогональных диагональных латинских квадратов порядка 10. Одну такую пару уже нашли Andrey Fesenko (anfes) из Russia и Mumps [MM] из SETI.USA.

All WUs in the current experiment were generated
March 27, 2014, 6:56 UTC
In the current experiment all WUs were generated. About 10 day there will be no new WUs, then a new experiment (aimed at searching for new systems of Latin squares) will be started.

В текущем эксперименте были сгенерированы все WU. Примерно 10 дней новых WU не будет, а потом будет запущен новый эксперимент по поиску систем латинских квадратов.

Server was restored after disk crash
March 6, 2014, 9:20 UTC
The server was restored after crash. The reason of the crash was the lack of a disk space (due to large log files). As a result some workunits were created incorrectly. Such workunits were cancelled. If processing of any workunit does not take any CPU resources, please abort it manually. I am sorry for these troubles. Besides all we moved all log files to separate disk partition, so such crashes should not occur in the future.

Сервер проекта восстановлен после сбоя. Причиной был недостаток дискового пространства (вызванный большими размерами файлов с логами). В результате некоторые задания были созданные некорректно. Эти задания были отменены. Если обработка некоторого задания не занимает ресурсы процессора, пожалуйста прервите эту обработку вручную. Извиняюсь за беспокойство. Кроме всего прочего, мы переместили все файлы с логами в отдельный дисковый раздел, поэтому подобные сбои больше не должны повториться.

...more

News is available as an RSS feed RSS.





Copyright © 2015 Institute for System Dynamics and Control Theory of SB RAS and Institute for Information Transmission Problems of RAS