|
| Generelle Informationen zum Thema "Alles rund um SAT@Home" |
Projektinformationen zu SAT@Home:      |
|
| Thread - Seiten: [ 1 ] [ 2 ] -3- |
 |
|
11.09.2012, 18:05 Uhr
Wettermann (41,m)
QCN-Guru
DNA@home-Guru
VRS@home-Guru
Orbit-Guru
  
bekannter Maat
 
1.604 Beiträge
92.113 Credits (294.)
0 RAC (311.)
|
Länderstatistiken
| Zitat: | "September 11, 2012, 6:08 UTC
On the page Top countries diagrams with countries statistics were added by hoarfrost" |
Auf der Seite Top Countries gibt es nun Diagramme der Länderstatistiken.
sagt Tommy der Wettermann
Der Weltraum ist riesig;viel größer,als wir uns vorstellen können.
Wenn wir wirklich allein im Weltall sein sollten,wäre das nicht eine gewaltige Platzverschwendung? (Contact) |
| |
|
|
12.09.2012, 18:32 Uhr
Wettermann(41,m)
QCN-Guru
DNA@home-Guru
VRS@home-Guru
Orbit-Guru
bekannter Maat
1.604 Beiträge
92.113 Credits (294.)
0 RAC (311.)
|
Version 3.01 ist erschienen
| Zitat: | "September 12, 2012, 15:18 UTC
Version 3.01 of application released. Processing time for WUs reduced by about 25 %." |
Die Version 3.01 ist erschienen,bei der die Rechenzeit für Wutzen um 25 % gesenkt wurde.
sagt Tommy der Wettermann
Der Weltraum ist riesig;viel größer,als wir uns vorstellen können.
Wenn wir wirklich allein im Weltall sein sollten,wäre das nicht eine gewaltige Platzverschwendung? (Contact) |
| |
|
|
26.09.2012, 12:15 Uhr
DoctorNow(40,m)
News-Guru
BURP-Guru
Cosmology-Guru
Renderfarm.fi-Guru
RenderFarm-Guru
Kaiser
 
12.505 Beiträge
91.639.504 Credits (7.)
185.128 RAC (3.)
|
| Zitat: | New server
September 26, 2012, 8:55 UTC
Project was migrated to a new server. Server configuration: 2 x CPU Xeon5620, platform SR1690WBR, 24 Gb RAM, 2 x HDD 1 Tb in RAID. Server is located in ISA RAS, Moscow. |
Das Projekt ist auf einen neuen Server in Moskau umgezogen.
Meine MundayWeb-Stats / eigene UotD-Liste / BOINCstats-Sig / PG-Stats
 |
| |
|
|
25.10.2012, 14:00 Uhr
DoctorNow(40,m)
News-Guru
BURP-Guru
Cosmology-Guru
Renderfarm.fi-Guru
RenderFarm-Guru
Kaiser
12.505 Beiträge
91.639.504 Credits (7.)
185.128 RAC (3.)
|
| Zitat: | Report at PACO'2012
october 25, 2012, 5:22 UTC
Report 'Zaikin O., Semenov A., Posypkin M. Procedures of constructing decomposition sets for distributed solving of SAT-problems in the volunteer computing project SAT@home' was presented at the PACO'2012 conference in Moscow on 24 October 2012. |
Auf der PACO 2012-Konferenz in Moskau gab es einen Report über das verteilte Lösen des SAT-Problems durch SAT@Home.
| Zitat: | Challenge 'Happy 'baker's dozen'
october 25, 2012, 6:42 UTC
Challenge in SAT@home 'Happy baker dozen' will start on 29 October 2012. |
Eine BOINCstats-Challenge für SAT@Home startet am 29.10.2012.
Meine MundayWeb-Stats / eigene UotD-Liste / BOINCstats-Sig / PG-Stats
|
| |
|
|
30.10.2012, 20:47 Uhr
DoctorNow(40,m)
News-Guru
BURP-Guru
Cosmology-Guru
Renderfarm.fi-Guru
RenderFarm-Guru
Kaiser
12.505 Beiträge
91.639.504 Credits (7.)
185.128 RAC (3.)
|
| Zitat: | First solution in new experiment
October 31, 2012, 19:12 UTC
In the current experiment first pair of diagonal orthogonal latin squares of order 10 was found by tanos from Astronomy.Ru Forum and notnA from Crystal Dream |
Im aktuellen Experiment wurde das erste Paar von diagonal-orthogonalen lateinischen Quadraten der Ordnung 10 von den Usern tanos und notnA gefunden.
Meine MundayWeb-Stats / eigene UotD-Liste / BOINCstats-Sig / PG-Stats
|
| |
|
|
06.11.2012, 09:57 Uhr
DoctorNow(40,m)
News-Guru
BURP-Guru
Cosmology-Guru
Renderfarm.fi-Guru
RenderFarm-Guru
Kaiser
12.505 Beiträge
91.639.504 Credits (7.)
185.128 RAC (3.)
|
Gleich zwei Meldungen:
| Zitat: | Historical maximum of performance
November 6, 2012, 8:45 UTC
During last challenge historical maximum of performance (6325 GFLOPs) was obtained in the project! |
Während der letzten Challenge gab es eine historische, maximale Leistung von 6.325 GFLOPS.
| Zitat: | Second solution in the new experiment
November 6, 2012, 8:40 UTC
In the current experiment second pair of diagonal orthogonal latin squares of order 10 was found by quel from Sicituradastra. and tanos from Astronomy.Ru Forum |
Im aktuellen Experiment wurde das zweite Paar diagonal-orthogonaler lateinischer Quadrate der Ordnung 10 von den Usern quel und tanos gefunden.
Meine MundayWeb-Stats / eigene UotD-Liste / BOINCstats-Sig / PG-Stats
|
| |
|
|
15.11.2012, 10:21 Uhr
DoctorNow(40,m)
News-Guru
BURP-Guru
Cosmology-Guru
Renderfarm.fi-Guru
RenderFarm-Guru
Kaiser
12.505 Beiträge
91.639.504 Credits (7.)
185.128 RAC (3.)
|
| Zitat: | Version 3.02 of application
November 15, 2012, 9:14 UTC
Version 3.02 of application released. Format of output data was slightly modifed for the server needs. |
Die neue Anwendungsversion 3.02 ist draußen. Das Datenausgabeformat wurde für den Server leicht modifiziert.
Meine MundayWeb-Stats / eigene UotD-Liste / BOINCstats-Sig / PG-Stats
Dieser Post wurde am 15.11.2012 um 10:22 Uhr von DoctorNow editiert. |
| |
|
|
20.11.2012, 12:47 Uhr
DoctorNow(40,m)
News-Guru
BURP-Guru
Cosmology-Guru
Renderfarm.fi-Guru
RenderFarm-Guru
Kaiser
12.505 Beiträge
91.639.504 Credits (7.)
185.128 RAC (3.)
|
| Zitat: | Oleg Zaikin received President of Russian Federation grant СП-1855.2012.5
November 20, 2012, 10:49 UTC
SAT@home programmer Oleg Zaikin received President of Russian Federation grant СП-1855.2012.5. Topic of the research: 'Development of distributed solvers of larger systems of Boolean equations, their implementation in the volunteer computing grid project and application for research of complex discrete structures'. |
SAT-Programmierer Oleg Zaikin hat für seine o.g. Forschungsarbeit einen Zuschuß des Präsidenten der Russischen Föderation erhalten.
Meine MundayWeb-Stats / eigene UotD-Liste / BOINCstats-Sig / PG-Stats
|
| |
|
|
02.01.2013, 18:14 Uhr
DoctorNow(40,m)
News-Guru
BURP-Guru
Cosmology-Guru
Renderfarm.fi-Guru
RenderFarm-Guru
Kaiser
12.505 Beiträge
91.639.504 Credits (7.)
185.128 RAC (3.)
|
| Zitat: | Three new solutions in the current experiment
January 2, 2012, 16:28 UTC
In the current experiment three new pairs of diagonal orthogonal latin squares of order 10 were found by: tanos from Astronomy.Ru Forum and Tommy from US NAVY; 288larsson from Sicituradastra. and [ESL Brigade] kill_u4_free from Electronic Sports League (ESL); Ilex from Crystal Dream and plumbum from Russia Team. |
Im aktuellen Experiment wurden drei neue Paare diagonal-orthogonaler lateinischer Quadrate der Ordnung 10 von den o.g. Usern gefunden.
Meine MundayWeb-Stats / eigene UotD-Liste / BOINCstats-Sig / PG-Stats
|
| |
|
|
25.01.2013, 15:03 Uhr
Wettermann(41,m)
QCN-Guru
DNA@home-Guru
VRS@home-Guru
Orbit-Guru
bekannter Maat
1.604 Beiträge
92.113 Credits (294.)
0 RAC (311.)
|
2 new papers about searching decompisitions for SAT@home
| Zitat: | "Two papers about seerching decompositions of SAT problems for their solving in SAT@home were published in Russian journals."
|
Zwei weitere Artikel über SAT@home sind in russischen Journalen erschienen.
sagt Tommy der Wettermann
Der Weltraum ist riesig;viel größer,als wir uns vorstellen können.
Wenn wir wirklich allein im Weltall sein sollten,wäre das nicht eine gewaltige Platzverschwendung? (Contact) |
| |
|
|
15.03.2013, 13:48 Uhr
DoctorNow(40,m)
News-Guru
BURP-Guru
Cosmology-Guru
Renderfarm.fi-Guru
RenderFarm-Guru
Kaiser
12.505 Beiträge
91.639.504 Credits (7.)
185.128 RAC (3.)
|
| Zitat: | Challenge 'On halfway'
March 15, 2013, 4:10 UTC
During challenge On halfway organized by Astronomy.Ru Forum team about 5% of the current experiment's search space was processed. Also performance 5.3 teraflops was obtained in the project. |
Während der BOINCstats-Challenge wurden ca. 5% des aktuellen Experiments berechnet. Die Leistung des Projekts beträgt jetzt 5,3 Teraflops.
Meine MundayWeb-Stats / eigene UotD-Liste / BOINCstats-Sig / PG-Stats
|
| |
|
|
02.04.2013, 15:20 Uhr
DoctorNow(40,m)
News-Guru
BURP-Guru
Cosmology-Guru
Renderfarm.fi-Guru
RenderFarm-Guru
Kaiser
12.505 Beiträge
91.639.504 Credits (7.)
185.128 RAC (3.)
|
| Zitat: | 5 new solutions in the current experiment
April 2, 2012, 10:55 UTC
In the current experiment 5 new pairs of diagonal orthogonal latin squares of order 10 were found by:
tanos from Astronomy.Ru Forum
_2e_ from Russia
Bunky
electrician from TSC! Russia
tanos from Astronomy.Ru Forum
EDGeSUser
http://vkontakte.ru/boinc from Colombia
Voyager from Astronomy.Ru Forum
Ivan
Joe from TeAm AnandTech |
Im aktuellen Experiment wurden fünf neue Paare von diagonal-orthogonal lateinischen Quadraten der Ordnung 10 von den o.g. Usern gefunden.
Meine MundayWeb-Stats / eigene UotD-Liste / BOINCstats-Sig / PG-Stats
|
| |
|
|
08.04.2013, 10:40 Uhr
DoctorNow(40,m)
News-Guru
BURP-Guru
Cosmology-Guru
Renderfarm.fi-Guru
RenderFarm-Guru
Kaiser
12.505 Beiträge
91.639.504 Credits (7.)
185.128 RAC (3.)
|
| Zitat: | 3 new solutions
April 8, 2012, 6:55 UTC
In the current experiment 3 new solutions were found by:
Ivan
RoSMag from TSC! Russia
dimawalker |
Drei neue Lösungen wurden im aktuellen Experiment von den o.g. Usern gefunden.
Meine MundayWeb-Stats / eigene UotD-Liste / BOINCstats-Sig / PG-Stats
|
| |
|
|
26.04.2013, 14:18 Uhr
DoctorNow(40,m)
News-Guru
BURP-Guru
Cosmology-Guru
Renderfarm.fi-Guru
RenderFarm-Guru
Kaiser
12.505 Beiträge
91.639.504 Credits (7.)
185.128 RAC (3.)
|
Während der BOINCstats-Challenge wurden 4,9 Teraflops erreicht.
| Zitat: | SAT@home - candidate for BOINC Pentathlon
April 26, 2013, 7:52 UTC
SAT@home is a candidate in category Mathematics - CPU (Weightlifting) of BOINC Pentathlon 2013. |
SAT@Home gehört zu den Kandidaten in der Mathematik-Kategorie für den BOINC Pentathlon 2013.
Meine MundayWeb-Stats / eigene UotD-Liste / BOINCstats-Sig / PG-Stats
|
| |
|
|
|
| Top Team-Länder |
 | 1.803.713.116 |  | 227.631.486 |  | 12.428.397 |  | 12.381.954 |  | 3.637.537 |
Komplette Liste |
| Serverzeit |
| 21.05.2013, 05:41 Uhr. |
|
|
