Трудно сказать, обзоров и сравнений по ним мало.
По косвенным наблюдениям я бы лично выбирал максимальную частоту одиночного ядра. Из этого списка получается
4238 при равной с Вашим цене.
На части приложений бОльший выигрыш даст
4284 за счёт количества ядер, но и цена на 70$ выше. И не везде больше ядер означает больше производительность.
ИМХО