PDA

View Full Version : SAT@Home: New server application



RSS
12-26-11, 06:01 PM
In the current experimet 2 SAT problems (from 10) were solved.
Solution of SAT problem # 2 was found in WU 272110 by zombie67 [MM] (http://sat.isa.ru/pdsat/show_user.php?userid=19) from SETI.USA.New vertion of server application released. Generation of tasks now is performed gradually.



More... (http://sat.isa.ru/pdsat/all_news.php#23)

zombie67
12-26-11, 06:51 PM
In the current experimet 2 SAT problems (from 10) were solved.
Solution of SAT problem # 2 was found in WU 272110 by zombie67 [MM] (http://sat.isa.ru/pdsat/show_user.php?userid=19) from SETI.USA.New vertion of server application released. Generation of tasks now is performed gradually.



More... (http://sat.isa.ru/pdsat/all_news.php#23)

There it is. :D

Fire$torm
12-26-11, 07:14 PM
Hahahaha. Again Congrats!

spingadus
12-26-11, 09:56 PM
Gratz!

Al
12-26-11, 10:48 PM
Congrats! Do we have a list of things our members have found? We should if we don't.

Duke of Buckingham
12-26-11, 10:58 PM
http://antiadvertisingagency.com/wp-content/uploads/2006/10/we-found-it.jpg

Duke ;)

http://files.list.co.uk/images/2008/10/02/cover2.jpg