SAT-based search for orthogonal pairs of DLS of order 10 1.00 windows_intelx86 | |
---|---|
Number of tasks completed | 0 |
Max tasks per day | 250 |
Number of tasks today | 6 |
Consecutive valid tasks | 0 |
Average turnaround time | 0.00 days |
©2024 The searchers team, Karelian Research Center of the Russian Academy of Sciences