Application details for host 12981

SAT-based search for orthogonal pairs of DLS of order 10 1.00 x86_64-pc-linux-gnu
Number of tasks completed 4448
Max tasks per day 573
Number of tasks today 0
Consecutive valid tasks 317
Average processing rate 10.47 GFLOPS
Average turnaround time 0.36 days
Show active versions

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