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