We unite you to solve
large scale SAT problems

User of the day

User profile Profile killik
I'm system admin. I like to listen good music.
Member of Czech National Team.


Current experiment finished - last six a5_1_114_* instances solved
September 29, 2014, 14:12 UTC
Instance a5_1_114_5 solved by toest from TSC! Russia and Winer from BOINC RUSSIA

Instance a5_1_114_6 solved by Lavoler from Russia Team and ChertseyAl

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

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

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

Instance a5_1_114_10 solved by Grey from Russia and Mixa from Russia Team and Владимир from TSC! Russia and 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 and Stanley A Bourdon from BOINC Synergy.

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

Instance a5_1_114_3 solved by NotANumber (without team) and Oleg Zaikin [SAT@home] from Crystal Dream.

Instance a5_1_114_4 solved by toest from TSC! Russia and 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 года.

a5_1_114_0 solved
June 9, 2014, 9:38 UTC
Instance a5_1_114_0 solved by [AF>Libristes] Pascal from L'Alliance Francophone and Ralfy from BOINC Synergy.

Bivium10_2 solved
May 26, 2014, 5:59 UTC
Instance Bivium10_2 solved by http://vk.com/boinc from Colombia and alnb from Russia Team.


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