SAT@home: Unterschied zwischen den Versionen

Version vom 13. Oktober 2011, 09:30 Uhr

[[::SAT@home|Deutsch]] • [[::SAT@home/en|English]]

SAT@home
Screensaver
Beginn	2011
Ende
Status	beta
Admin	Oleg Zaikin
Institut	Institute for Systems Analysis of RAS and Institute for System Dynamics and Control Theory of SB RAS
Land	Russland
Bereich	Grid/Informatik
Anwendungen
Win	ParallelAndDistributedSATsolver 1.09
Linux	ParallelAndDistributedSATsolver 1.09
Mac
64bit
PS3
ATI
CUDA
Intel	{{{Intel}}}
Android	[[Bild:{{{Android}}}.gif\|link=]]
RPi	[[Bild:{{{RPI}}}.gif\|link=]]
NCI	[[Bild:{{{NCI}}}.gif\|link=]]
Systemspezifikationen
VRAM		SP	Datei:Nein.gif	DP	Datei:Nein.gif
RAM	4,8MB
Laufzeit	2,5h
HDD	0,7MB
Traffic dl/ul	kb / kb
Deadline	1 Tag
Checkpoints

[[::SAT@home|Deutsch]] • [[::SAT@home/en|English]]

@@ Zeile 1: / Zeile 1: @@
 {{Languages}}
 {{Projekte
-|Projekt-Link=[http://sat.isa.ru/pdsat/ Parallel and Distributed SAT Solver]
+|Projekt-Link=[http://sat.isa.ru/pdsat/ SAT@home]
 |Screensaver=na.png
 |Projektbeschreibung=<!--bild/logo [[Bild:bild.xxx|left]] Beschreibung-->
@@ Zeile 14: / Zeile 14: @@
 |Land=Russland
 |Bereich=[[BOINC-Projekte#Grid/Informatik|Grid/Informatik]]
-|Windows=ParallelAndDistributedSATsolver 1.07
+|Windows=ParallelAndDistributedSATsolver 1.09
-|Linux=ParallelAndDistributedSATsolver 1.07
+|Linux=ParallelAndDistributedSATsolver 1.09
 |Mac=
 |64bit=