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.

Ostatenie wpisy RSS

  • 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 года.
    Data utworzenia: 7 lipca 2014 12:30:00 (zmodyfikowany): 7 lipca 2014 12:30:00

  • 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
    Data utworzenia: 11 maja 2014 08:51:00 (zmodyfikowany): 11 maja 2014 08:51:00

  • 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.

    Data utworzenia: 26 maja 2014 05:59:00 (zmodyfikowany): 26 maja 2014 05:59:00

  • 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.

    Data utworzenia: 9 czerwca 2014 09:38:00 (zmodyfikowany): 9 czerwca 2014 09:38:00

  • 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.
    Data utworzenia: 27 lipca 2014 04:50:00 (zmodyfikowany): 27 lipca 2014 04:50:00

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

Pirates@home sends workunits and receives completed work reports. Pirates@home Pirates@home is in the development phase. 0.0 Pirates@home has not been rated by anyone yet! Click here to rate it!

At present Pirates@Home is not doing any real scientific computation, we are just having fun ... more

Pirates@home can run on Linux (32-bit). Pirates@home can run on Mac OS X (10.4.0+). Pirates@home can run on Windows 2000/XP/Vista/7 (32-bit).
ABC@home 0.0 ABC@home has not been rated by anyone yet! Click here to rate it!

The ABC conjecture involves abc-triples: positive integers a,b,c such that a+b=c, a < b < ... more

ABC@home does not list any platforms.

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

sudoku@vtaiwan is one of V-Taiwan projects that uses Internet-connected computers to do research in sudoku.

sudoku@vtaiwan does not list any platforms.

sudoku@vtaiwan is a distributed computing project from Taiwan, Province of China.

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.