Log in

View Full Version : SAT@Home


  1. No SAT, no operator, no space on disk. (0 replies)
  2. Credit's revamped at SAT (10 replies)
  3. SAT@Home: New experiment - weakened Bivium (0 replies)
  4. SAT@Home: Waiting for a new experiment (0 replies)
  5. SAT@Home: Status beta (1 replies)
  6. SAT@Home: Publication of source code (0 replies)
  7. SAT@Home: Results of the current experiment were posted (0 replies)
  8. SAT@Home: Version 3.18 released (0 replies)
  9. SAT@Home: Reports about SAT@home on BOINC:FAST conference (0 replies)
  10. SAT@Home: Version 3.17 released (0 replies)
  11. SAT@Home: New maximum of performance during challenge (1 replies)
  12. SAT@Home: Last WUs from diag10_2 were processed (0 replies)
  13. SAT@Home: 4 new solutions in the experiment for diagonal Latin squares (0 replies)
  14. SAT@Home: New paper about searching decompositions for SAT@home (0 replies)
  15. SAT@Home: Bug in 3.15 was found. Bugfix version 3.16 released (0 replies)
  16. SAT@Home: Version 3.15 released (0 replies)
  17. SAT@Home: Version 3.14 released (0 replies)
  18. SAT@Home: New maximum of performance (0 replies)
  19. SAT@Home: SAT@home at SAT-2013 conference (0 replies)
  20. SAT@Home: (0 replies)
  21. SAT@Home: Version 3.12 released. Progress-bar updated (0 replies)
  22. SAT@Home: Progress bar for new experiment. (0 replies)
  23. SAT@Home: Experiment aimed at finding triple of MOLS was launched. (0 replies)
  24. SAT@Home: New application. Version for windows_x86_x64. (0 replies)
  25. SAT@Home: Experiment aimed at finding triple of MOLS will be launched soon. (0 replies)
  26. SAT@Home: SAT@home - candidate for BOINC Pentathlon (0 replies)
  27. SAT@Home: Challenge '80 por ciento pasaron. Primero en llegar a 100' (0 replies)
  28. SAT@Home: 3 new solutions (0 replies)
  29. SAT@Home: 5 new solutions in the current experiment (0 replies)
  30. SAT@Home: Challenge 'On halfway' (0 replies)
  31. SAT@Home: 2 new papers about searching decompisitions for SAT@home (0 replies)
  32. SAT@Home: Three new solutions in the new experiment (0 replies)
  33. SAT@Home: Paper in (0 replies)
  34. SAT@Home: Oleg Zaikin received President of Russian Federation grant (0 replies)
  35. SAT@Home: Version 3.02 of application (0 replies)
  36. SAT@Home: Paper in materials of PACO'2012 conference (0 replies)
  37. SAT@Home: Historical maximum of performance (0 replies)
  38. SAT@Home: Second solution in the new experiment (0 replies)
  39. SAT@Home: First solution in new experiment (0 replies)
  40. SAT@Home: Challenge 'Happy 'baker's dozen' (0 replies)
  41. SAT@Home: Report at PACO'2012 (0 replies)
  42. SAT@Home: Page with research progress (0 replies)
  43. SAT@Home: New server (0 replies)
  44. SAT@Home: Version 3.01 released (0 replies)
  45. SAT@Home: Diagrams with countries staticstics (0 replies)
  46. SAT@Home: Report at Sibecrypt'2012 (0 replies)
  47. SAT@Home: New experiment - diag10_2 (0 replies)
  48. SAT@Home: Countries and total hosts staticstics (0 replies)
  49. SAT@Home: New solutions in current experiment (0 replies)
  50. SAT@Home: Conference Grid'2012 in Dubna (0 replies)
  51. SAT@Home: SAT@home in Euro Crunch 2012. Post in Science Springs (0 replies)
  52. SAT@Home: SAT@home in Euro Crunch 2012. Post in Science Springs (0 replies)
  53. SAT@Home: New version of application. New experiment (0 replies)
  54. SAT@Home: New solution (0 replies)
  55. SAT@Home: New solution (0 replies)
  56. SAT@Home: New solution (0 replies)
  57. SAT@Home: New solution (0 replies)
  58. SAT@Home: New paper, Additional solution (0 replies)
  59. SAT@Home: New solution (1 replies)
  60. SAT@Home: New solution (1 replies)
  61. SAT@Home: New solution (0 replies)
  62. SAT@Home: New solution (0 replies)
  63. SAT@Home: ISDCT SB RAS - member of IDGF (0 replies)
  64. SAT@Home: New section, new solution (0 replies)
  65. SAT@Home: New server application (5 replies)
  66. SAT@Home: New experiment (0 replies)
  67. SAT@Home: New solution (0 replies)
  68. SAT: I solved one! (4 replies)
  69. Project Update (7 replies)