I just reran it. I don't have access to the 12x Xeon now, but: 8x i7-3770K: 1123 cpu-seconds (wall-clock: 144 seconds) 4x Cortex A17: 3196 cpu-seconds (wall-c

I just reran it. I don't have access to the 12x Xeon now, but: 8x i7-3770K: 1123 cpu-seconds (wall-clock: 144 seconds) 4x Cortex A17: 3196 cpu-seconds (wall-clock: 963 seconds) I just wish it had more cores, but I suspect that Rockchip are raking in money from these things, and I expect we'll get more cores next year. The 12x Xeon was my work machine. I might have to have a word with them about it.