SAT@home sends workunits and receives completed work reports. SAT@home SAT@home is a distributed computing project from Russian Federation. 0.0 SAT@home has not been rated by anyone yet! Click here to rate it!

Infernonet.com users who recently joined SAT@home:

See all
 
RJ45 socket, disconnected from the distributed computing projects. RJ45 plug, disconnected from the distributed computing projects.

You are not connected to SAT@home.

JOIN

  • PROJECT TOTALS
  • PROJECT DELTAS
Total credit:
482,323,307
The total credit earned by all the participants of SAT@home so far.
Total user count:
7,330
The total number of users that have signed up to SAT@home so far.
Log in to see your credit!

Project description

SAT@home is a research distributed computing 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. Currently in the project problems of inversion of some cryptographic functions used in stream ciphers are being solved. All cryptographic algorithms under investigation are publicly available. Corresponding tasks are randomly generated and do not contain any confidential information. In the nearest future we are going to launch an experiment for solving Quadratic Assignment problem within the project. Project was implemented using DC-API library.

Recent RSS entries

  • Competition 'Bienvenido, amigos!'
    Competition Bienvenido, amigos! will be held from July 12 2014 ...

    Competition 'Bienvenido, amigos!'

    Competition Bienvenido, amigos! will be held from July 12 2014 to July 17 2014.

    Соревнование Bienvenido, amigos! будет проведено с 12 по 17 июля 2014 года.
    Created: July 7, 2014, 12:30 p.m. (modified): July 7, 2014, 12:30 p.m.

  • Bivium10_1 solved
    Problem Bivium10_1 was solved by Pavel_Kirpichenko and Crystal Spirit. Задача ...

    Bivium10_1 solved

    Problem Bivium10_1 was solved by Pavel_Kirpichenko and Crystal Spirit.

    Задача Bivium10_1 была решена Pavel_Kirpichenko и Crystal Spirit
    Created: May 11, 2014, 8:51 a.m. (modified): May 11, 2014, 8:51 a.m.

  • Bivium10_2 solved
    Problem Bivium10_2 was solved by http://vk.com/boinc from Colombia and alnb ...

    Bivium10_2 solved

    Problem Bivium10_2 was solved by http://vk.com/boinc from Colombia and alnb from Russia Team.

    Created: May 26, 2014, 5:59 a.m. (modified): May 26, 2014, 5:59 a.m.

  • a5_1_114_0 solved
    Problem a5_1_114_0 was solved by [AF>Libristes] Pascal from L'Alliance Francophone ...

    a5_1_114_0 solved

    Problem a5_1_114_0 was solved by [AF>Libristes] Pascal from L'Alliance Francophone and Ralfy from BOINC Synergy.

    Created: June 9, 2014, 9:38 a.m. (modified): June 9, 2014, 9:38 a.m.

  • Four a5_1_114_* instances solved
    Instance a5_1_114_1 solved by Crystal Spirit from Crystal Dream and ...

    Four a5_1_114_* instances solved

    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.
    Created: July 27, 2014, 4:50 a.m. (modified): July 27, 2014, 4:50 a.m.

SAT@home has not been rated by anyone yet!
Click here to rate it!

Supported platforms

  • linux-32-bitDistributed computing supported client platform. Linux (32-bit) SAT@home can run on Linux (32-bit).
  • linux-64-bitDistributed computing supported client platform. Linux (64-bit) SAT@home can run on Linux (64-bit).
  • windows-2000xpvista7-32-bitDistributed computing supported client platform. Windows 2000/XP/Vista/7 (32-bit) SAT@home can run on Windows 2000/XP/Vista/7 (32-bit).
  • windows-2000xpvista7-64-bitDistributed computing supported client platform. Windows 2000/XP/Vista/7 (64-bit) SAT@home can run on Windows 2000/XP/Vista/7 (64-bit).

Similar projects

Einstein@home sends workunits and receives completed work reports. Einstein@home 0.0 Einstein@home has not been rated by anyone yet! Click here to rate it!

Einstein@Home uses private computers to process LIGO and GEO 600 data. Private computer owners can ... more

Einstein@home can run on Linux (32-bit). Einstein@home can run on Linux (64-bit). Einstein@home can run on Mac OS X (10.4.0+). Einstein@home can run on Windows 2000/XP/Vista/7 (32-bit). Einstein@home can run on Windows 2000/XP/Vista/7 (64-bit). Einstein@home is a distributed computing project from United States.
Donate@home 0.0 Donate@home has not been rated by anyone yet! Click here to rate it!

Donate@home does not list any platforms.

climateprediction.net sends workunits and receives completed work reports. climateprediction.net 0.0 climateprediction.net has not been rated by anyone yet! Click here to rate it!

Climateprediction.net is a distributed computing project to produce predictions of the Earth's climate up to ... more

climateprediction.net can run on Linux (32-bit). climateprediction.net can run on Mac OS X (10.4.0+). climateprediction.net can run on Windows 2000/XP/Vista/7 (32-bit). climateprediction.net is a distributed computing project from United Kingdom.

Most wanted

Projects that received the most donations within the last 30 days. If you want a project that you like to appear on this list, find it using our project browser and make a donation!

Donate@home 0.0 Donate@home has not been rated by anyone yet! Click here to rate it!

Donate@home does not list any platforms.

VGTU project@Home sends workunits and receives completed work reports. VGTU project@Home 0.0 VGTU project@Home has not been rated by anyone yet! Click here to rate it!

The aim of this project is to provide a powerful distributed computing platform for scientists ... more

VGTU project@Home can run on Linux (64-bit). VGTU project@Home can run on Windows 2000/XP/Vista/7 (32-bit). VGTU project@Home can run on Windows 2000/XP/Vista/7 (64-bit). VGTU project@Home is a distributed computing project from Lithuania.
SimOne@Home sends workunits and receives completed work reports. SimOne@Home 0.0 SimOne@Home has not been rated by anyone yet! Click here to rate it!

Simulation One is an Italian distributed computing project whose main purpose is to make available ... more

SimOne@Home can run on Linux (32-bit). SimOne@Home can run on Linux (64-bit). SimOne@Home can run on Windows 2000/XP/Vista/7 (32-bit). SimOne@Home is a distributed computing project from Italy.