I have the same cpu as you. Under windows it always helps to manually assign nexuiz to only one core - otherwise the process gets split up on all 4 cores - which is quite useless as nex is singlethreaded and the core switching causes performance loss.
I´m not sure how the debian scheduler handles single-threaded tasks so just try it out.
I guess this is also the reason why it runs better on your dual-core
I´m not sure how the debian scheduler handles single-threaded tasks so just try it out.
I guess this is also the reason why it runs better on your dual-core