Erm.... 10 kt overrun for each 1 kt above V1 in runway limited cases isn't actually a formula, it's more like rule of thumb. My apologies if I made it look like one. Mad (flt) scientist has pointed out correctly that actual relation is not linear yet the curve is close enough to 10 in 1 line for everyday use.