We unite you to solve
large scale SAT problems

User of the day

Profile NatishaGetty
My hobby is mainly Fishing.
I also try tto learn Dutch in my spare time.

Here is my site;

News

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.

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

Competition 'Bivium must collapse'
January 30, 2014, 15:50 UTC
Competition Bivium must collapse will be held from February 1 2015 to February 8 2015.

Соревнование Bivium must collapse будет проведено с 1 по 8 февраля 2015 года.

94 fixed credits
January 15, 2014, 8:28 UTC
In the current experiment value of fixed credits was increased from 84 to 94.

В текущем эксперименте количество выдаваемых фиксированных кредитов было увеличено с 84 до 94.

...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