- 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...
