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