http://sat.isa.ru/pdsat/ BOINC project SAT@home: Main page News Institute for Systems Analysis of RAS and Institue for System Dynamics and Control Theory of SB RAS Fri, 11 May 2012 17:29:58 GMT en-us http://sat.isa.ru/pdsat/rss_image.gif http://sat.isa.ru/pdsat/ http://sat.isa.ru/pdsat/all_news.php#33 http://sat.isa.ru/pdsat/all_news.php#33

There will be no new workunits for few days. New experiment is being prepeared.

In current experiment new solution of SAT problem was found by: CTPAHHNK from Russia, Alexone from We wanna HELP ]]> Fri, 11 May 2012 17:03:00 GMT http://sat.isa.ru/pdsat/all_news.php#32 http://sat.isa.ru/pdsat/all_news.php#32

In current experiment new solution of SAT problem was found by: bronevik from Russia Team, KWH* from Sicituradastra. ]]> Thu, 26 Apr 2012 14:23:00 GMT http://sat.isa.ru/pdsat/all_news.php#31 http://sat.isa.ru/pdsat/all_news.php#31

In current experiment new solution of SAT problem was found by: eLPeCKo, koll from Czech National Team

On March 28, 2012 we presented a report about SAT@Home at the conference Parallel Computational Technologies, Novosibirsk, Section C ]]> Mon, 16 Apr 2012 09:18:00 GMT http://sat.isa.ru/pdsat/all_news.php#30 http://sat.isa.ru/pdsat/all_news.php#30

In current experiment solution of SAT problem # 7 was found by Jeff17 from BOINCstats and Bigred from Free-DC ]]> Wed, 11 Apr 2012 18:25:00 GMT http://sat.isa.ru/pdsat/all_news.php#29 http://sat.isa.ru/pdsat/all_news.php#29

New paper about SAT@home Mikhail Posypkin, Alexander Semenov and Oleg Zaikin. Using BOINC desktop grid to solve large scale SAT problems. This paper was added to the list on BOINC site

In current experiment additional solutions for SAT problems # 5 and # 6 were found ]]> Sat, 24 Mar 2012 17:40:00 GMT http://sat.isa.ru/pdsat/all_news.php#28 http://sat.isa.ru/pdsat/all_news.php#28

In current experiment solution of SAT problem # 6 was found by Rabinovitch from Russia and [SG]KidDoesCrunch from SETI.Germany ]]> Sun, 04 Mar 2012 09:03:00 GMT http://sat.isa.ru/pdsat/all_news.php#27 http://sat.isa.ru/pdsat/all_news.php#27

During BOINCStats challenge real performance of SAT@home has reached 3.5 TFlops

After problems with overloading server and database were reconfigured

In current experiment solution of SAT problem # 5 was found by verstapp from Sicituradastra. and [SG-SPEG] Nullinger from SETI.Germany ]]> Sun, 19 Feb 2012 16:55:00 GMT http://sat.isa.ru/pdsat/all_news.php#26 http://sat.isa.ru/pdsat/all_news.php#26

In current experiment solution of SAT problem # 4 was found by Traviss from UK BOINC Team and [SG-SPEG]Jeeper74 from SETI.Germany ]]> Fri, 03 Feb 2012 15:05:00 GMT http://sat.isa.ru/pdsat/all_news.php#25 http://sat.isa.ru/pdsat/all_news.php#25

ISDCT SB RAS has received status Organisational member of International Desktop Grid Federation

Mate Soos published his Thoughts on SAT@home

Deadline increased from 10 to 14 days ]]> Fri, 20 Jan 2012 09:20:00 GMT