Ubuntu 13.10 vs. Fedora Linux CPU Benchmarks