Nexus 10 v Nexus 7?


I am strongly leaning towards selling my Nexus 7 w/ accessories to purchase a Nexus 10. My only concern it this:

Nexus 7: Tegra 4 Quad-core Processor

Nexus 10: Exynos Dual-core Processor

I am ashamedly stuck on numbers, and unless I can be convinced without a shadow of a doubt that the N10s processor is as fast or faster than the N7 I will remain with the smaller guy. Is the Exynos processor better than the Tegra3?