• 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 real performance of SAT@home has reached 4.3 TFlops.



More...