We unite you to solve
large scale SAT problems

User of the day

User profile Profile Joseph D'arcy
Je suis dipl

News

Questionnaire from IITP RAS
November 6, 2016, 7:15 UTC
Center for distributed computing of IITP RAS and Russian chapter of IDGF carrie out a rating of the voluntary distributed computing projects. Results of this rating can be used to improve the interaction between projects and crancher community. Please help us to make SAT@home better - estimate the project in the questionnaire.
Quetionnaire in english

Центр распределенных вычислений ИППИ РАН и российское отделение IDGF проводит рейтинг проектов добровольных распределенных вычислений. Опираясь на результаты социологического исследования предпочтений и пожеланий кранчеров, проведенного нами в 2014 году, а также на результаты наших коллег, проводится попытка выявления и обобщения мнений сообщества кранчеров о значимых характеристиках различных проектов. Результаты данного опроса могут быть полезными для улучшения взаимодействия между проектами и сообществом кранчеров. Проект SAT@home является крупнейшим российским проектом, что означает повышенные требования со стороны кранчеров. Помогите сделать SAT@home лучше - оцените проект в анкете:
Анкета на русском языке

No new tasks temporarily
September 16, 2016, 8:27 UTC
Work generetor was temporarily stopped. We are going to move the project to a new sever approximately in November, so we need all tasks to be processed.

Генератор заданий временно остановлен. Мы собираемся перенести проект на новый сервер в ноябре, поэтому нам нужно, чтобы все задания были обработаны.

New solutions found
September 15, 2016, 9:11 UTC
4 new pairs of MODLS of order 10 were found in the current experiment (# 57-60 in the list of solutions found).

4 новые пары ОДЛК порядка 10 были найдены в текущем эксперименте (№ 57-60 в списке найденных решений).

New solutions found
August 8, 2016, 14:42 UTC
23 new pairs of MODLS of order 10 were found in the current experiment (# 34-56 in the list of solutions found).

23 новые пары ОДЛК порядка 10 были найдены в текущем эксперименте (№ 34-56 в списке найденных решений).

Performance record
March 12, 2016, 8:58 UTC
New record of the project performance (15,6 TFLOPs) was obtained during the last competition! Thanks to all our crunchers!

В течение последнего соревнования был достигнут новый рекорд производительности (15,6 терафлопс). Спасибо всем нашим кранчерам!

...more

News is available as an RSS feed RSS.





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