We unite you to solve
large scale SAT problems

User of the day

User profile Profile rwhenslee
hi, i live in hemet ca..retired from va hospital love astronamy

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 © 2016 Institute for System Dynamics and Control Theory of SB RAS and Institute for Information Transmission Problems of RAS