We unite you to solve
large scale SAT problems

User of the day

Profile Boring
Can't wait to be a cyborg

News

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

24 новые пары ОДЛК порядка 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 гг.

New PODLS experiment launched
March 3, 2016, 12:58 UTC
New expetiment was launched. Now to search for pairs of ODLS of order 10 we vary values of the main and secondary diagonals of the first DLS from a pair.

Запущен новый эксперимент. Теперь варьируются элементы главной и побочной диагоналей первого ДЛК из искомой пары ОДЛК порядка 10.

Work generator is suspended for a week
March 1, 2016, 8:18 UTC
Work generator is suspended for about a week. New type of an experiment is comping soon.

Генератор заданий приостановлен примерно на неделю. Готовится новый вид эксперимента.

...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