We unite you to solve
large scale SAT problems

User of the day

Profile KXZAliceoznb
My name is Alice (49 years old) and my hobbies are Air sports and Skateboarding.

Here is my web-site ...


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

5 Bivium9_* instances were solved
January 8, 2015, 15:59 UTC
5 instances (Bivium9_0, Bivium9_1, Bivium9_2, Bivium9_3, Bivium9_4) were solved by:
5 задач (Bivium9_0, Bivium9_1, Bivium9_2, Bivium9_3, Bivium9_4) были решены:
KySU / Crystal Spirit from Crystal Dream
Ralfy from BOINC Synergy / Crystal Spirit from Crystal Dream
NotANumber / Crystal Spirit from Crystal Dream
DooKey from [H]ard|OCP / Crystal Spirit from Crystal Dream
Endurance from Crystal Dream / Crystal Spirit from Crystal Dream

Server was restored
December 17, 2014, 8:53 UTC
Server of the project was offline for 3 days because of hardware problems. Recently these problems were fixed.

Сервер проекта был недоступен 3 дня из-за проблем с аппартаным обеспечением. К настоящему моменту проблемы были решены.


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