-
Diamond Member
SAT@Home: New experiment
- 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...
Posting Permissions
- You may not post new threads
- You may not post replies
- You may not post attachments
- You may not edit your posts
-
Forum Rules