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. At the moment we analyze Bivium cipher (weakened version of Trivium cipher). 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 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 fthibaud0001 25 years in the computing business and now woodworker and shaman Kin 154: WHITE SPECTRAL WIZARD I dissolve in order to enchant
News Four a5_1_114_* instances solved July 27, 2014, 4:50 UTC Instance a5_1_114_1 solved by Crystal Spirit from Crystal Dream and Stanley A Bourdon from BOINC Synergy. Instance a5_1_114_2 solved by Phil Klassen from Canada and evatutin from kvt.kurskstu. Instance a5_1_114_3 solved by NotANumber (without team) and Oleg Zaikin [SAT@home] from Crystal Dream. Instance a5_1_114_4 solved by toest from TSC! Russia and Winer from BOINC RUSSIA. Competition 'Bienvenido, amigos!' July 7, 2014, 12:30 UTC Competition Bienvenido, amigos! will be held from July 12 2014 to July 17 2014. Соревнование Bienvenido, amigos! будет проведено с 12 по 17 июля 2014 года. a5_1_114_0 solved June 9, 2014, 9:38 UTC Instance a5_1_114_0 solved by [AF>Libristes] Pascal from L'Alliance Francophone and Ralfy from BOINC Synergy. Bivium10_2 solved May 26, 2014, 5:59 UTC Instance Bivium10_2 solved by http://vk.com/boinc from Colombia and alnb from Russia Team. Bivium10_1 solved May 11, 2014, 8:51 UTC Problem Bivium10_1 was solved by Pavel_Kirpichenko and Crystal Spirit. Задача Bivium10_1 была решена Pavel_Kirpichenko и Crystal Spirit ...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. At the moment we analyze Bivium cipher (weakened version of Trivium cipher).

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

fthibaud0001
25 years in the computing business and now woodworker and shaman

Kin 154: WHITE SPECTRAL WIZARD
I dissolve in order to enchant

News

Four a5_1_114_* instances solved
July 27, 2014, 4:50 UTC
Instance a5_1_114_1 solved by Crystal Spirit from Crystal Dream and Stanley A Bourdon from BOINC Synergy.

Instance a5_1_114_2 solved by Phil Klassen from Canada and evatutin from kvt.kurskstu.

Instance a5_1_114_3 solved by NotANumber (without team) and Oleg Zaikin [SAT@home] from Crystal Dream.

Instance a5_1_114_4 solved by toest from TSC! Russia and Winer from BOINC RUSSIA.
Competition 'Bienvenido, amigos!'
July 7, 2014, 12:30 UTC
Competition Bienvenido, amigos! will be held from July 12 2014 to July 17 2014.

Соревнование Bienvenido, amigos! будет проведено с 12 по 17 июля 2014 года.
a5_1_114_0 solved
June 9, 2014, 9:38 UTC
Instance a5_1_114_0 solved by [AF>Libristes] Pascal from L'Alliance Francophone and Ralfy from BOINC Synergy.

Bivium10_2 solved
May 26, 2014, 5:59 UTC
Instance Bivium10_2 solved by http://vk.com/boinc from Colombia and alnb from Russia Team.

Bivium10_1 solved
May 11, 2014, 8:51 UTC
Problem Bivium10_1 was solved by Pavel_Kirpichenko and Crystal Spirit.

Задача Bivium10_1 была решена Pavel_Kirpichenko и Crystal Spirit
...more

News is available as an RSS feed RSS .