SAT@home

We unite you to solve large scale SAT problems
SAT@home is a research project that uses Internet-connected computers to solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc) that can be effectively reduced to Boolean satisfiability problem. SAT@home founded by Institue for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Science, laboratory of Discrete Analysis and Applied Logic - a founding member of the International Desktop Grid Federation Institute for Information Transmission Problems of Russian Academy of Sciences, department of Distributed Computing - a founding member of the International Desktop Grid Federation About Status: Beta Project personnel Science FAQ Publications and materials Our grants Found solutions Additional solutions Source code Join SAT@home Read our rules and policies Download, install and launch BOINC client software When prompted, enter URL: http://sat.isa.ru/pdsat/ If you have any problems, get help here Information for participants Your account - view stats, modify preferences Teams - create or join a team Certificate Applications Server status Project performance Research progress Community Profiles User search Message boards Statistics Languages	User of the day sdjacome Algu
News 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 терафлопс). Спасибо всем нашим кранчерам! 50th pair of ODLS of order 10 was found March 9, 2016, 14:42 UTC 33rd pair of ODLS of order 10 was found in the current experiment (by Mixa from Russia Team and Reiner Weber). It's also the 50th pair in the project - 17 pairs were found in 2012-2013. В текущем эксперименте найдена 33-я пара ОДЛК порядка 10 (Mixa из Russia team и Reiner Weber). Также это 50-ая пара, найденная в проекте - 17 пар были найдены в 2012-2013 гг. ...more News is available as an RSS feed .

We unite you to solve
large scale SAT problems

SAT@home is a research project that uses Internet-connected computers to solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc) that can be effectively reduced to Boolean satisfiability problem.

SAT@home founded by

Institue for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Science, laboratory of Discrete Analysis and Applied Logic - a founding member of the International Desktop Grid Federation
Institute for Information Transmission Problems of Russian Academy of Sciences, department of Distributed Computing - a founding member of the International Desktop Grid Federation

About

Status: Beta

Join SAT@home

Read our rules and policies
Download, install and launch BOINC client software
When prompted, enter URL:
http://sat.isa.ru/pdsat/
If you have any problems, get help here

Information for participants

Your account - view stats, modify preferences
Teams - create or join a team
Certificate
Applications
Server status
Project performance
Research progress

Community

User of the day

sdjacome
Algu

News

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 терафлопс). Спасибо всем нашим кранчерам!
50th pair of ODLS of order 10 was found
March 9, 2016, 14:42 UTC
33rd pair of ODLS of order 10 was found in the current experiment (by Mixa from Russia Team and Reiner Weber). It's also the 50th pair in the project - 17 pairs were found in 2012-2013.

В текущем эксперименте найдена 33-я пара ОДЛК порядка 10 (Mixa из Russia team и Reiner Weber). Также это 50-ая пара, найденная в проекте - 17 пар были найдены в 2012-2013 гг.
...more

News is available as an RSS feed RSS .