I would not expect using hyperthreads (i.e. more threads than the number of cores) to get much, if any, speed-up. There will be too much resource contention.
But yes, genproclimit will use as many threads as is set, regardless of the number of cores.