Boinc User Search

BOINC Project Statistics

BOINC Combined
123numbers
3x+1@home
ABC Lattices @ Home
ABC@home
ABC@home beta
Acoustics@home
Albert@Home
AlmereGrid Boinc Grid
AlmereGrid Test
Amicable Numbers
Anansi
AndrOINC
APS@Home
AQUA@home
Asteroids@home
ATLAS@Home
BBC Climate Change Experiment
Beal@Home
beefathome
Belgian Beer@Home
Biochemical Library
Bitcoin Utopia
BOINC alpha test
BOINC@Fiit
Boinc@TACC
BRaTS@Home
BURP
CAS@home
Cels@Home
CERN CMS-dev
Chess960@Home Alpha
Chess@Home
Citizen Science Grid
Climate@Home v2
climateprediction.net
Collatz Conjecture
Constellation
convector
Correlizer
Cosmology@Home
DENIS@Home
DepSpid
DG@Putra
Distributed Data Mining
Distributed Hardware Evolution
Distributed Rainbow Table Generator
DNA@Home
DNETC@Home
Docking@Home
DrugDiscovery@Home
DynaPing
EDGeS@Home
Einstein@Home
Enigma@Home
eOn
Eternity2.net
Evo@home
Find@Home
Folding@Home
Gaia@home
Genetic Life
Gerasim@Home
Goldbach's Conjecture
GoofyxGrid@Home CPU
GoofyxGrid@Home NCI
GPUGRID
Gridcoin Finance
HAL@Home
HashClash
Hydrogen@Home
IBERCIVIS
ibercivis 2
Ideologias@Home
iGEM@home
Intelligence Realm
iThena CPU
iThena Measurements
Kryptos@Home
Lattice Project
Leiden Classical
LHC@home
LHC@home alpha
Linux Render Farm
LODA
Magnetism@home
Malaria Control Test Project
malariacontrol.net
Mersenne@home
MilkyWay@home
mincraft@home
MindModeling@Home
MLC@Home
Moo! Wrapper
Nagrzewanie stali @ HOME
Najmanovich Research Group
Nano-Hive@Home
nanosurf
Neuron
Neurona@Home
NFS@Home
NQueens Project
NumberFields@home
odlk
ODLK1
OProject
OPTIMA@HOME
orbit@home
physics@home
PicEvolvr
Pirates@Home
Plagiarism@Home
POEM@HOME
pPot Tables
Predictor@Home
primaboinca
PrimeGrid
Private GFN
Project Sudoku
proteins@home
QMC@HOME
Quake Catcher Network
QuantumFIRE alpha
QuChemPedIA
Radio Network Design
Radioactive@Home
RakeSearch
RALPH@Home
Ramanujan Machine
Ramsey
Rectilinear Crossing Number
Renderfarm.fi
RenderFarm@Home
Reversi
RieselSieve
Rioja Science
RNA World
Rosetta@home
RSA Lattice Siever
Russian Words Compatibility
SAT@home
SciLINC
Seasonal Attribution
SETI@home
SETI@home Beta
SHA-1 Collision Search Graz
SiDock@home
SIMAP
SimOne@home
SLinCA@Home
Sourcefinder
Spinhenge@home
SRBase
Stop@home
SubsetSum@Home
sudoku@vtaiwan
Superlink@Technion
Surveill@Home
SZTAKI Desktop Grid
TANPAKU
theSkyNet POGS
TMRL DRTG
TN-Grid
Tomas Brada Experimental Grid
TSP
uFluids
UH Second Computing
Universe@Home
VGTU@Home
Virtual Prairie
Virus Respiratorio Sincitial
Volpex@UH
vtu@home
WEP-M+2
Wildlife@Home
World Community Grid
WUProp@Home
XANSONS for COD
XtremLab
YAFU
yoyo@home
Zivis Superordenador Ciudadano

Forums


  • http://sat.isa.ru/pdsat/

    Seems stats are being exported.

    SAT@home is a research project that uses Internet-connected computers to solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc) that can be effectively reduced to SAT. Currently in the project problems of inversion of some cryptographic functions used in keystream generators are being solved. All cryptographic algorithms under investigation are publicly available. Corresponding tasks are randomly generated and do not contain any confidential information. We also plan to publish obtained results. In the nearest future we are going to launch an experiment for solving Quadratic Assignment problem (as a SAT problem) within the project.

    SAT@home is based at
    * Institute for Systems Analysis of Russian Academy of Sciences, department of Distributed Computing - a founding member of the International Desktop Grid Federation
    * Institue for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Science, laboratory of Discrete Analysis and Applied Logic

     

  • *bump*

    Any news adding this project at the stats?

    Regards Odi
     

Moderator(s): This topic is now closed

Copyright @ Netsoft    Back to top ↑
e107 Theme by veskoto