1. BOINC Projects promotion – SAT@home experience Oleg Zaikin Institute for System Dynamics and Control Theory SB RAS, Irkutsk, Russia

2. Promotion of BOINC project Information on the BOINC side Feedback Competitions

3. Information on the BOINC side 57 projects on Formula BOINC 43 projects on BOINCsite, 20 of them has publications Example – SAT@home.

4. SAT@home Volunteer computing project for solving hard problems that can be effectively reduced to Boolean satisfiability problem (SAT). Applicability: cryptography search for combinatorial structures bioinformatics Started on 29 September 2011 by ISDCT SB RAS and ISA RAS.

5. Solving of A5/1 cryptanalysis problem

6. Information on the BOINC side 1. Item in the list of projects

7. Information on the BOINC side 2. Item in the list of publications From BOINC main site: “In deciding whether to participate in a project, read its web site and consider the following questions: Does it clearly describe its goals? Are these goals important and beneficial? Do they have any published results? See A list of scientific publications of BOINC projects”

8. Information on the BOINC side 2. Item in the list of publications

9. Information on the BOINC side 3. Item in the BOINC manager

10. Feedback. Main forums My support: SAT@home site http://sat.isa.ru/pdsat/forum_index.php Portal boinc.ru http://forum.boinc.ru/ Portal distributed.ru http://distributed.ru/forum/

11. Feedback. SAT@home threads on Boinc.ru forum (18.07.2012) About project (52 pages) Optimization of application (4 pages) Competitions (4 pages) News (11 pages) Errors (6 pages) Advertising (5 pages) Application for GPU (2 pages)

12. Feedback. Volunteers wishes applications for every platform Win, Linux, Mac. 32 and 64-bit. Different compilations instructions (SSE, SSE2, AVX) GPU application (NVIDIA, ATI) popular description of the project FAQ, site update, papers smart scheduling system

13. Feedback. Smart scheduling system Low credit and slow processing from wingman – annoying thing. For example a wingman solves job fast (in 2 hour), another one – in 14 days. Credits will be granted after 14 days to both. TODO: divide set of crunchers into a classes by speed of jobs processing.

14. Feedback. Changes due to a cruncher’s wishes Deadline (days) 3 -> 14 Count of tasks for 1 core: 4 -> 12 Memory (mb) 1024 -> 150 Weight of task 10 mb -> 2 kb Replicas 3 -> 2 Style of description Scientific -> Popular FAQ No -> Yes Item in BOINC manager list No -> Yes

15. Feedback. Scientists wishes Achieve results faster. Minimum resources for non-scientific things (forum, site update, etc).

16. Feedback. Results One of the best motivation for cruncher – possibility to obtain particular result. List of obtained results in SAT@home.

17. Feedback. Results 0 1 2 3 4 5 6 7 8 1 2 0 7 8 4 3 6 5 4 8 3 1 6 7 5 2 0 6 3 4 8 5 2 7 0 1 5 4 6 0 7 3 8 1 2 7 6 5 4 2 1 0 8 3 8 5 1 2 0 6 4 3 7 2 0 7 6 3 8 1 5 4 3 7 8 5 1 0 2 4 6 1 2 8 0 4 5 6 3 7 6 5 4 7 1 8 2 0 3 7 0 3 8 5 2 4 1 6 2 6 5 4 8 3 1 7 0 0 3 7 5 6 1 8 4 2 8 1 6 2 0 7 3 5 4 3 7 1 6 2 4 0 8 5 4 8 0 3 7 6 5 2 1 5 4 2 1 3 0 7 6 8 This of diagonal Latin squares of order 9 was found in SAT@home

18. Feedback. Cruncher’s help Volunteers can help project. Tasks for them are like jobs in project. Alexone (Samara) – main tester of client applications hoarfrost (Volgograd) – development of progress bar for experiment and showing of DB statistics (country, users)

19. Feedback. Cruncher’s help Volunteers support: hoarfrost Astroforum http://www.astronomy.ru/forum/ Alexone Group in social network Vkontakte http://vk.com/boinc

20. SAT@home resources 18 July 2012 All hosts: 7586 Windows: 6285 (82 %) Linux: 1179 Mac: 74 All CPU cores 30167 Users 2349 (from 80 countries) Active users 1062 Active means “returned a result in the last month”.

21. Feedback. Cruncher’s help Statistics by hoarfrost

22. Feedback. Cruncher’s help Statistics by hoarfrost

23. Feedback. Cruncher’s help Statistics by hoarfrost

24. Feedback. Cruncher’s help Statistics by hoarfrost

25. SAT@home statistics from boincstats

28. Competitions BOINCStats 1 st SAT@home competition results

29. Competitions Participating in Formula BOINC – very important thing for a new projects. Every project can gain equal points for teams. 1 st place 25 points 2 nd 18 points … 10 th place 1 point

30. Conclusion Crunchers and scientists have common goal – understandable project with high performance

31. BOINC http://boinc.berkeley.edu SAT@home http://sat.isa.ru Thank you for your attention! Thanks to all volunteers! Join the volunteer computing!