We unite you to solve
large scale SAT problems

User of the day

User profile Profile Youra1987
Hello people!

News

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.

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

Competition 'Additional investigation'
February 29, 2016, 12:15 UTC
During discussion of goals and results of SAT@home the idea of new approach to search for diagonal Latin squares (DLS) and orthogonal systems based on them has appeared. As a result of an additional investigation several new pairs of othogonal diagonal Latin squares (ODLS) of order 10 were found. In particular, a DLS of order 10 with exactly 6 orthogonal mates was found. Based on this DLS a record pseudotiple was constructed. In the pseudotriple DLS A is completelty orthogonal to B and C, while DLS B and C are orthogonal in 68 out of 100 ordered pairs of elements.

При обсуждении целей и результатов проекта SAT@home возникла идея применить новый подход к поиску диагональных латинских квадратов (ДЛК) и ортогональных систем, построенных на их основе. В ходе дополнительного исследлования получены новые пары ортогональных диагональных латинских квадратов (ОДЛК) порядка 10. В частности, найден ДЛК порядка 10, на основе которого были построены 6 пар ОДЛК. На основе этого ДЛК также была построена рекордная псевдотройка. В этой псевдотройке ДЛК A ортогонален B и C, а ДЛК B и C ортогональны по 68 упорядоченным парам элементов из 100 возможных. Подробности будут выложены после полной обработки и проверки полученных данных.

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