Application details for host 12864

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
Show active versions

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