We unite you to solve
large scale SAT problems

User of the day

Profile MelbaSchlapp
My name iis Melba and I am studfying Occupational Therapy and Gender
andd Women's Studies at Dorenaz / Switzerland.

Feel free to...

News

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.

New experiment
January 8, 2014, 16:04 UTC
New experiment aimed at solving non-weakened cryptanalysis problem for the Bivium cipher was started. WUs are simpler than ones in previous experiment, so 84 credits are granted for every WU (instead of 130 credits).

Новый эксперимент по неослабленному криптоанализу шифра Bivium был запущен. WU в новом эксперименте проще, чем в предыдущем, поэтому за каждый WU выдаются 84 кредита (вместо 130).

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