Live chat

sabayonino https://www.e-gazette.it/sezione/tecnologia/ecco-cosa-hanno-distrutto-ecoterroristi-risaia-pavese (26.06.24, 22:23)
Spot T Si si... anche degli ultimi 2 o 3 Big Bang (26.06.24, 18:33)
zioriga Addirittura prima del Big Bang (26.06.24, 17:27)
Spot T Guarda che questa è la più torrida e secca degli ultimi 52 miliardi di anni (25.06.24, 13:02)
sabayonino quale estate ? (24.06.24, 19:58)
kidkidkid3 Buon inizio d'estate a tutti i boincitaliani ...... (21.06.24, 20:07)
sabayonino https://www.e-gazette.it/sezione/tecnologia/cosi-supercomputer-migliorano-prestazioni-rinnovabili-fusione (05.06.24, 22:37)
boboviz adesso la piattaforma è abbastanza stabile e sviuppata (02.06.24, 09:45)
boboviz I progetti partecipavano quando c'erano rogne o richieste di nuove funzionalità (02.06.24, 09:45)
Antonio Cerrato i progetti strettamente scientifici sono pochi (01.06.24, 12:59)
kidkidkid3 Questo a tutto vantaggio del nostro gruppo Puglia che ora è al 3° posto per RAC ! (01.06.24, 08:43)
Antonio Cerrato sto vedendo, hanno caricato un bel po' di document (01.06.24, 08:43)
kidkidkid3 Buon giorno Boincitaliani, purtroppo l'emorragia dii "filantropi" della ricerca distribuita continua dal febbraio c.a. (01.06.24, 08:40)
boboviz https://indico.cern.ch/event/1379525/timetable/#all.detailed (31.05.24, 15:10)
boboviz Antonio, un pò di materiale è già online (31.05.24, 15:10)
boboviz Intanto, approfittando del Workshop, hanno rilasciato la nuova versione di Boinc (31.05.24, 08:27)
boboviz Di solito lo fanno alla fine (30.05.24, 21:21)
boboviz Spero pubblichino video/powerpoint/ecc (30.05.24, 21:21)
boboviz La torta, però, era carina (30.05.24, 21:21)
Antonio Cerrato Ci sono notizie dal Boinc Workshop? oltre alle torte eh (che sono sempre ben accette ) (30.05.24, 14:17)
Per usare la chat devi effettuare il login.
Benvenuto, Ospite
Nome utente: Password: Ricordami
28 Mag 2024

Supporta BOINC.Italy con una piccola donazione
Leggi tutto...
  • Pagina:
  • 1

ARGOMENTO:

[Thread Ufficiale] SAT@home 12/10/2011 22:51 #71638

  • Simone
  • Avatar di Simone Autore della discussione
  • Offline
  • Referente eOn2 / Leiden
  • Referente eOn2 / Leiden
  • Messaggi: 828
  • Ringraziamenti ricevuti 0
CHIUSO
Homepage
Pagina delle statistiche
Pagina delle applicazioni
Join del Team
Stato del server

Ultima Modifica: da sabayonino.
L\'Argomento è stato bloccato.

Re: Parallel And Distributed SAT solver 12/10/2011 23:04 #71639

  • baxnimis
  • Avatar di baxnimis
  • Offline
  • RAM >4 GB
  • RAM >4 GB
  • BOINC.Italy Admin
  • Messaggi: 6589
  • Ringraziamenti ricevuti 1
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
Ultima Modifica: da baxnimis.
L\'Argomento è stato bloccato.

Re: Parallel And Distributed SAT solver 13/10/2011 12:35 #71653

  • akd
  • Avatar di akd
  • Offline
  • RAM 1GB
  • RAM 1GB
  • Messaggi: 3570
  • Ringraziamenti ricevuti 1
baxnimis ha scritto:

comunque se ci sono problemi chiedo alla mia ragazza :asd:

:oink:

:asd:
L\'Argomento è stato bloccato.

Re: Parallel And Distributed SAT solver 13/10/2011 21:00 #71673

  • boboviz
  • Avatar di boboviz
  • Offline
  • Administrator
  • Administrator
  • Messaggi: 8005
  • Ringraziamenti ricevuti 423
baxnimis ha scritto:

comunque se ci sono problemi chiedo alla mia ragazza :asd:


Foto in bikini, please :eheh:


Sei curioso dei risultati scientifici di Boinc? Guarda la sezione Pubblicazioni.

"We continue to face indifference and resistance from the high­-performance computing establishment." D. Anderson


The first italian guy with 1 milion (and half) on Ralph
L\'Argomento è stato bloccato.

Re: [Thread Ufficiale] SAT@home 26/10/2011 09:58 #72085

  • baxnimis
  • Avatar di baxnimis
  • Offline
  • RAM >4 GB
  • RAM >4 GB
  • BOINC.Italy Admin
  • Messaggi: 6589
  • Ringraziamenti ricevuti 1
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.

L\'Argomento è stato bloccato.

Re: [Thread Ufficiale] SAT@home 25/11/2011 10:09 #73268

  • baxnimis
  • Avatar di baxnimis
  • Offline
  • RAM >4 GB
  • RAM >4 GB
  • BOINC.Italy Admin
  • Messaggi: 6589
  • Ringraziamenti ricevuti 1
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.

L\'Argomento è stato bloccato.

Re: [Thread Ufficiale] SAT@home 25/03/2012 10:52 #78564

  • baxnimis
  • Avatar di baxnimis
  • Offline
  • RAM >4 GB
  • RAM >4 GB
  • BOINC.Italy Admin
  • Messaggi: 6589
  • Ringraziamenti ricevuti 1
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 ;)
L\'Argomento è stato bloccato.

Re: [Thread Ufficiale] SAT@home 25/03/2012 11:30 #78565

  • morse
  • Avatar di morse
  • Offline
  • Administrator
  • Administrator
  • Messaggi: 9196
  • Ringraziamenti ricevuti 3
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 ;)



:ok:

P.s. Sei anche UOTD ;)
PC1: Intel Q9400 2.66 GHz, ASUS P5KC, nVidia GeForce 9400GT (smontata al momento), ATI HD5850, maxtor 250 GB, 4 GB ram Kingston.
PC2: Intel E8400 3.0 GHz, ASROCK G31M-GS, 2 GB ram Kingston, maxtor 80 GB, nVidia GTX275





http://stats.free-dc.org/badges.php?proj=yoy&id=17281&rows=1
L\'Argomento è stato bloccato.

Re: [Thread Ufficiale] SAT@home 14/04/2012 17:54 #79268

  • morse
  • Avatar di morse
  • Offline
  • Administrator
  • Administrator
  • Messaggi: 9196
  • Ringraziamenti ricevuti 3

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

PC1: Intel Q9400 2.66 GHz, ASUS P5KC, nVidia GeForce 9400GT (smontata al momento), ATI HD5850, maxtor 250 GB, 4 GB ram Kingston.
PC2: Intel E8400 3.0 GHz, ASROCK G31M-GS, 2 GB ram Kingston, maxtor 80 GB, nVidia GTX275





http://stats.free-dc.org/badges.php?proj=yoy&id=17281&rows=1
L\'Argomento è stato bloccato.

Re: [Thread Ufficiale] SAT@home 28/03/2014 10:09 #104608

  • Rick!
  • Avatar di Rick!
  • Visitatori
  • Visitatori
Ma come si fa il join a BI in questo prj? :confuso:
L\'Argomento è stato bloccato.

Re: [Thread Ufficiale] SAT@home 28/03/2014 15:06 #104615

  • morse
  • Avatar di morse
  • Offline
  • Administrator
  • Administrator
  • Messaggi: 9196
  • Ringraziamenti ricevuti 3
Rick! ha scritto:

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


sat.isa.ru/pdsat/team_display.php?teamid=79
PC1: Intel Q9400 2.66 GHz, ASUS P5KC, nVidia GeForce 9400GT (smontata al momento), ATI HD5850, maxtor 250 GB, 4 GB ram Kingston.
PC2: Intel E8400 3.0 GHz, ASROCK G31M-GS, 2 GB ram Kingston, maxtor 80 GB, nVidia GTX275





http://stats.free-dc.org/badges.php?proj=yoy&id=17281&rows=1
L\'Argomento è stato bloccato.

Re: [Thread Ufficiale] SAT@home 28/03/2014 16:31 #104618

  • Rick!
  • Avatar di Rick!
  • Visitatori
  • Visitatori
morse ha scritto:

Rick! ha scritto:

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


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

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

tnx :cincin:
L\'Argomento è stato bloccato.

Re: [Thread Ufficiale] SAT@home 02/04/2014 11:00 #104710

  • morse
  • Avatar di morse
  • Offline
  • Administrator
  • Administrator
  • Messaggi: 9196
  • Ringraziamenti ricevuti 3
Rick! ha scritto:

morse ha scritto:

Rick! ha scritto:

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


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

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

tnx :cincin:



Problemi di cache del browser: capita spesso che ci sia quel problema su quella pagina ;)
PC1: Intel Q9400 2.66 GHz, ASUS P5KC, nVidia GeForce 9400GT (smontata al momento), ATI HD5850, maxtor 250 GB, 4 GB ram Kingston.
PC2: Intel E8400 3.0 GHz, ASROCK G31M-GS, 2 GB ram Kingston, maxtor 80 GB, nVidia GTX275





http://stats.free-dc.org/badges.php?proj=yoy&id=17281&rows=1
L\'Argomento è stato bloccato.

[Thread Ufficiale] SAT@home 16/09/2016 11:28 #122407

  • zioriga
  • Avatar di zioriga
  • Offline
  • RAM 1GB
  • RAM 1GB
  • Messaggi: 3007
  • Ringraziamenti ricevuti 255
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.

L\'Argomento è stato bloccato.
  • Pagina:
  • 1
Moderatori: camposReLeon
Tempo creazione pagina: 0.198 secondi
Powered by Forum Kunena