SAT@home - Nuova versione dell'applicazione, nuove FAQ
È pronta la nuova versione delle FAQ.
È stata rilasciata la versione 2.0 dell'applicazione
È pronta la nuova versione delle FAQ.
È stata rilasciata la versione 2.0 dell'applicazione
L'esperimento che puntava a risolvere problemi di criptanalisi è terminato con successo il 5 maggio (impiegandoci 6 mesi).
È partito un nuovo esperimento. Lo scopo è di trovare paia di quadrati latini ortogonali di ordine 9 e 10.
È stata rilasciata la versione 1.19
Nell'attuale esperimento, una soluzione al problema SAT #8 è stata trovata da eLPeCKo e koll del Czech National team.
Il 28 marzo presenteranno un report su SAT@home alla conferenza Parallel Computational Technologies, Novosibirsk, Sezione C.
Non ci saranno wu per diversi giorni. È in preparazione un nuovo esperimento.
Nell'attuale esperimento, una nuova soluzione al problema SAT è stata trovata da: CTPAHHNK, Russia, e Alexone del team We wanna HELP.
Nell'attuale esperimento, una soluzione al problema SAT #7 è stata trovatas da Jeff17 di BOINCstats e da Bigred di Free-DC.
Nell'attuale esperimento, una soluzione al problema SAT #9 è stata trovata da bronevik, Russia Team, e KWH*, Sicituradastra.