| SAT-based search for orthogonal pairs of DLS of order 10 1.00 x86_64-pc-linux-gnu | |
|---|---|
| Number of tasks completed | 12 |
| Max tasks per day | 268 |
| Number of tasks today | 0 |
| Consecutive valid tasks | 12 |
| Average processing rate | 15.71 GFLOPS |
| Average turnaround time | 0.08 days |
©2025 The searchers team, Karelian Research Center of the Russian Academy of Sciences