i7 or Xeon 12xx

a 1245 v2 is the same thing as a 3770,
3.4GHz turbo to 3.8GHz and 8 meg cache there is no difference in these.
note a 3770K is slightly higher clock. the “K” is unlocked for over clocking ideally the best thing you can do.

why do you keep mentioning cinibench?
are you doing animation?
that test has nothing to do with audio performance in the slightest.

benchmarks for audio here
http://www.adkproaudio.com/benchmarks.cfm

2nd graph down is the newest for desktop systems