Sorry for the triple post, but I can't seem to edit my posts!
I can't find the specs for the visiontek 1GB, but in general the clocks for memory on the various 4670s with DDR3 are 1750-2000MHz while the DDR4s are 2000-2200MHz.
I'd say the extra speed would be more beneficial than the extra ram (at that resolution).