SAT@home

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

Vorlage:Translation		Parallel and Distributed SAT Solver 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.07 Linux ParallelAndDistributedSATsolver 1.07 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]]