Vorlage:Translation
|
|
 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 |
3 Tage
|
| Checkpoints |
|
|
