We unite you to solve
large scale SAT problems

User of the day

Profile Gancel
just beginner interested to learn in this kind of things

News

No new tasks temporarily
September 16, 2016, 8:27 UTC
Work generetor was temporarily stopped. We are going to move the project to a new sever approximately in November, so we need all tasks to be processed.

Генератор заданий временно остановлен. Мы собираемся перенести проект на новый сервер в ноябре, поэтому нам нужно, чтобы все задания были обработаны.

New solutions found
September 15, 2016, 9:11 UTC
4 new pairs of MODLS of order 10 were found in the current experiment (# 57-60 in the list of solutions found).

4 новые пары ОДЛК порядка 10 были найдены в текущем эксперименте (№ 57-60 в списке найденных решений).

New solutions found
August 8, 2016, 14:42 UTC
23 new pairs of MODLS of order 10 were found in the current experiment (# 34-56 in the list of solutions found).

23 новые пары ОДЛК порядка 10 были найдены в текущем эксперименте (№ 34-56 в списке найденных решений).

Performance record
March 12, 2016, 8:58 UTC
New record of the project performance (15,6 TFLOPs) was obtained during the last competition! Thanks to all our crunchers!

В течение последнего соревнования был достигнут новый рекорд производительности (15,6 терафлопс). Спасибо всем нашим кранчерам!

50th pair of ODLS of order 10 was found
March 9, 2016, 14:42 UTC
33rd pair of ODLS of order 10 was found in the current experiment (by Mixa from Russia Team and Reiner Weber). It's also the 50th pair in the project - 17 pairs were found in 2012-2013.

В текущем эксперименте найдена 33-я пара ОДЛК порядка 10 (Mixa из Russia team и Reiner Weber). Также это 50-ая пара, найденная в проекте - 17 пар были найдены в 2012-2013 гг.

...more

News is available as an RSS feed RSS.





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