We unite you to solve
large scale SAT problems

User of the day

User profile Profile vinn [Czech National Team]
I am 40 and working as CIO. I like scuba diving and my hobby is also philately.


Competition 'SAT@home. Three years with the project.'
October 23, 2014, 6:06 UTC
Competition SAT@home. Three years with the project. will be held from October 3 2014 to October 10 2014.

Соревнование SAT@home. Три года с проектом. будет проведено с 3 по 10 октября 2014 года.

Version 2.02 of pdsat_crypto released
October 14, 2014, 6:12 UTC
Выпущено приложение pdsat_crypto версии 2.02. Ускорен процесс решения на задачах криптоанализа Bivium примерно на 15 %.

Version 2.02 of the application pdsat_crypto released. Performance on Bivium problem was increased by about 15%.

Six a5_1_114_* instances were solved
September 29, 2014, 14:12 UTC
Instance a5_1_114_5 solved by toest from TSC! Russia, Winer from BOINC RUSSIA

Instance a5_1_114_6 solved by Lavoler from Russia Team, ChertseyAl

Instance a5_1_114_7 solved by Crystal Spirit from Crystal dream, mi5rys from Crystal Dream

Instance a5_1_114_8 solved by morgan from Team Norway, Igo Centrical from Russia Team

Instance a5_1_114_9 solved by Shurale from Astronomy.Ru forum, Shaman from Czech National Team

Instance a5_1_114_10 solved by Grey from Russia, Mixa from Russia Team, Владимир from TSC! Russia, plumbum from Russia Team.

Four a5_1_114_* instances solved
July 27, 2014, 4:50 UTC
Instance a5_1_114_1 solved by Crystal Spirit from Crystal Dream, Stanley A Bourdon from BOINC Synergy.

Instance a5_1_114_2 solved by Phil Klassen from Canada, evatutin from kvt.kurskstu.

Instance a5_1_114_3 solved by NotANumber, Oleg Zaikin [SAT@home] from Crystal Dream.

Instance a5_1_114_4 solved by toest from TSC! Russia, Winer from BOINC RUSSIA.

Competition 'Bienvenido, amigos!'
July 7, 2014, 12:30 UTC
Competition Bienvenido, amigos! will be held from July 12 2014 to July 17 2014.

Соревнование Bienvenido, amigos! будет проведено с 12 по 17 июля 2014 года.


News is available as an RSS feed RSS.

Copyright © 2014 Institute for System Dynamics and Control Theory of SB RAS and Institute for Information Transmission Problems of RAS