We unite you to solve
large scale SAT problems

User of the day

User profile Profile [AF>Libristes] Kipoos
Originaire du nord de la France, il me fallait un moyen de chauffage alternatif.
En cherchant un peu, j'ai trouvé une solution...

News

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 дня из-за проблем с аппартаным обеспечением. К настоящему моменту проблемы были решены.

Fixed credit system was launched
December 12, 2014, 13:14 UTC
Fixed credit system was launched. In the current experiment 130 credits are granted for each WU.

Запущена система с фиксированными кредитами. В текущем эксперименте за каждый WU выдается 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