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 Cruncher Pete I am a 76 year old man with bad habits. Don't follow me for I might not lead. Don't lead me for I might not follow. Just walk beside me and be my...
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

Cruncher Pete
I am a 76 year old man with bad habits. Don't follow me for I might not lead. Don't lead me for I might not follow. Just walk beside me and be my...

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 .