To extend this formula to support multiple "fat" cores, perf(r) + (n-r) => kperf(r) + (n-kr).

As for the performance, in (almost) all cases, having k > 1 is worse than k=1.