1) Message boards : News : First workunits of new search will be generated soon (Message 1340) Posted 23 Jul 2020 by Patrick Schmeer Post: Hello! :) Tasks are available now. At first stage those will be generates manually. Got some tasks – thanks a lot!

2) Message boards : News : First workunits of new search will be generated soon (Message 1338) Posted 22 Jul 2020 by Patrick Schmeer Post: Unfortunately I noticed too late that I have to allow "SAT-based search for orthogonal pairs of DLS of order 10" tasks. When will the next tasks be sent?

©2024 The searchers team, Karelian Research Center of the Russian Academy of Sciences