We unite you to solve
large scale SAT problems

User of the day

User profile Profile [AF>Libristes] Kether
Hi all,
Crunching from France for the Alliance Francophone.

News

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.

Bivium10_1 solved
May 11, 2014, 8:51 UTC
Problem Bivium10_1 was solved by Pavel_Kirpichenko and Crystal Spirit.

Задача Bivium10_1 была решена Pavel_Kirpichenko и Crystal Spirit

...more

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