RSS
12-26-11, 06:01 PM
In new experiment 10 new SAT problems for A5/1 generator are to be solved. These problems cannot be solved using avaliable rainbow-tables.
Version 1.14 for linux x64 client application was released. Compatibility with old versions added.During BOINCStats challenge (http://boincstats.com/bam/challengeChat.php?pr=sat&chid=167) real performance of SAT@home has reached 4.3 TFlops.
More... (http://sat.isa.ru/pdsat/all_news.php#21)
Version 1.14 for linux x64 client application was released. Compatibility with old versions added.During BOINCStats challenge (http://boincstats.com/bam/challengeChat.php?pr=sat&chid=167) real performance of SAT@home has reached 4.3 TFlops.
More... (http://sat.isa.ru/pdsat/all_news.php#21)