4 cores
(4)
5 cores
(75)
(7)
9 cores
(32)
8 cores
(458)
6 cores
(16)
12 cores
(9)
11 cores
3 cores
(1)
(31)
(12)
(1737)
2 cores
7 cores
(3)
(2)
(10)
(11)
(21)
(153)
(256)
13 cores