ARGOMENTO:

CHIUSO

---

Homepage	Articolo sul portale	Pagina delle statistiche	Pagina delle applicazioni	Join del Team	Stato del server

---

Parallel And Distributed SAT solver

Ecco a voi un altro progetto!
Link: sat.isa.ru/pdsat/index.php
Dettagli da wuprop: wuprop.boinc-af.org/results/projet.py?pr...DistributedSATsolver
Supporter: Università russa (credo, non mastico il cirillico :P)

Descrizione:
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 SAT. Currently in the project problems of inversion of some cryptographic functions used in keystream generators are being solved. All cryptographic algorithms under investigation are publicly available. Corresponding tasks are randomly generated and do not contain any confidential information. We also plan to publish obtained results. In the nearest future we are going to launch an experiment for solving Quadratic Assignment problem (as a SAT problem) within the project.
SAT@home is based at

Institute for Systems Analysis of Russian Academy of Sciences, department of Distributed Computing - a founding member of the International Desktop Grid Federation
Institue for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Science, laboratory of Discrete Analysis and Applied Logic
For communication please use the following addresses
mposypkin :: at :: gmail {dot} com
oleg.zaikin :: at :: icc {dot} ru

Riassunto in italiano:
Vogliono invertire alcune funzioni che si possono scrivere in un particolare modo legato in qualche modo all'algebra boleana (vero-falso), funzioni che sono utili in crittografia a quanto ho capito.

Dando un'occhio al sito pare che ci sia stato qualche problema con la ridondanza delle WU - WU abortite dal server dopo qualche ora di elaborazione perchè non più utili. Il problema pare essere stato limitato diminuendo la durata delle WU ad una mezzoretta.

Applicazioni sono disponibili per windows e linux a 32 bit, solitamente vengono mandate anche ai sistemi a 64 bit..
Mi sono collegato al progetto così tanto per fare e ci lavoro al momento non ce n'è. Guardando il server status pare ci siamo un 150 wu in elaborazione.

That's all

baxnimis ha scritto:

comunque se ci sono problemi chiedo alla mia ragazza

baxnimis ha scritto:

comunque se ci sono problemi chiedo alla mia ragazza

Foto in bikini, please

Alcune notizie sparse delle ultime 2 settimane:

Cheating detected
October 25, 2011, 18:28 GMT
Cheating with credits was detected and manually fixed. In new version of server application it will be forbidden in standart way.

SAT@home at CGW'11
October 21, 2011, 16:17 GMT
Poster about SAT@home will be presented at Cracow Grid Workshop'2011 (Poland, Krakow, 7 November, Session S2). The title is Using BOINC Desktop Grid to Solve Large Scale SAT Problems, see programme of the conference

New experiment
October 17, 2011, 11:18 GMT
New large-scale experiment with 65536 WUs has started. The goal is to solve SAT problem for the generator A5/1. The estimated run time for 1 WU is 3 hours. Deadline was increased to 5 days.

Altre news sparse

New paper about SAT@home
November 15, 2011, 8:36 GMT

On www.gridclub.ru the paper about solving some discrete functions inversion problems in SAT@home project was posted.
New version 1.11 of client application was realeased. The frequency of control point creation was increased. It was done to correct the error seldom arises.

Version, platform, science section
November 23, 2011, 16:22 GMT

Version 1.12 of client application was released. Memory leaks were fixed.
Linux 64-bit platform is now supported.

Section Science is ready.

Ultime news

New paper, Additional solution
March 24, 2012, 17:40 GMT

New paper about SAT@home Mikhail Posypkin, Alexander Semenov and Oleg Zaikin. Using BOINC desktop grid to solve large scale SAT problems. This paper was added to the list on BOINC site
In current experiment additional solutions for SAT problems # 5 and # 6 were found

New solution
March 4, 2012, 9:03 GMT

In current experiment solution of SAT problem # 6 was found by Rabinovitch from Russia and [SG]KidDoesCrunch from SETI.Germany

Challenge, new solution
February 19, 2012, 16:55 GMT

During BOINCStats challenge real performance of SAT@home has reached 3.5 TFlops
After problems with overloading server and database were reconfigured
In current experiment solution of SAT problem # 5 was found by verstapp from Sicituradastra. and [SG-SPEG] Nullinger from SETI.Germany

New solution
February 3, 2012, 15:05 GMT

In current experiment solution of SAT problem # 4 was found by Traviss from UK BOINC Team and [SG-SPEG]Jeeper74 from SETI.Germany

ISDCT SB RAS - member of IDGF
January 20, 2012, 9:20 GMT

ISDCT SB RAS has received status Organisational member of International Desktop Grid Federation
Mate Soos published his Thoughts on SAT@home
Deadline increased from 10 to 14 days

P.S. aggiungo il progetto alla lista di quelli supportati

baxnimis ha scritto:

Ultime news

New paper, Additional solution
March 24, 2012, 17:40 GMT

New paper about SAT@home Mikhail Posypkin, Alexander Semenov and Oleg Zaikin. Using BOINC desktop grid to solve large scale SAT problems. This paper was added to the list on BOINC site
In current experiment additional solutions for SAT problems # 5 and # 6 were found

New solution
March 4, 2012, 9:03 GMT

In current experiment solution of SAT problem # 6 was found by Rabinovitch from Russia and [SG]KidDoesCrunch from SETI.Germany

Challenge, new solution
February 19, 2012, 16:55 GMT

During BOINCStats challenge real performance of SAT@home has reached 3.5 TFlops
After problems with overloading server and database were reconfigured
In current experiment solution of SAT problem # 5 was found by verstapp from Sicituradastra. and [SG-SPEG] Nullinger from SETI.Germany

New solution
February 3, 2012, 15:05 GMT

In current experiment solution of SAT problem # 4 was found by Traviss from UK BOINC Team and [SG-SPEG]Jeeper74 from SETI.Germany

ISDCT SB RAS - member of IDGF
January 20, 2012, 9:20 GMT

ISDCT SB RAS has received status Organisational member of International Desktop Grid Federation
Mate Soos published his Thoughts on SAT@home
Deadline increased from 10 to 14 days

P.S. aggiungo il progetto alla lista di quelli supportati

P.s. Sei anche UOTD

Nell'attuale esperimento, una soluzione al problema SAT #7 è stata trovatas da Jeff17 di BOINCstats e da Bigred di Free-DC.

Ma come si fa il join a BI in questo prj?

Rick! ha scritto:

Ma come si fa il join a BI in questo prj?

sat.isa.ru/pdsat/team_display.php?teamid=79

morse ha scritto:

Rick! ha scritto:

Ma come si fa il join a BI in questo prj?

sat.isa.ru/pdsat/team_display.php?teamid=79

machecars... giuro su quello che volete che stamttina il link "unisciti" non c'era!

tnx

Rick! ha scritto:

morse ha scritto:

Rick! ha scritto:

Ma come si fa il join a BI in questo prj?

sat.isa.ru/pdsat/team_display.php?teamid=79

machecars... giuro su quello che volete che stamttina il link "unisciti" non c'era!

tnx

Problemi di cache del browser: capita spesso che ci sia quel problema su quella pagina

causa prossimo trasferimento su nuovo server, previsto per novembre, questo progetto non trasmetterà nuove WU

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.