11.000 * 4000 = your efficiency 44,000
7.551 * 5000 = his efficiency 37755

That means at your 4GHz he'd get 9.439s, and at his 5GHz you'd get 8.800s - a 17% difference clock for clock!