I don't know of any specific formula, but if the frag tank and sump are level with each other (not more than a foot or two of head pressure), even a maxijet 1200 will pump plenty...and they are cheap, as well as quiet.
Actually, I did a recent test:
I had two garbage cans full of water.
One had a maxijet 1200 in it, pumping water to the other.
The other had a mag9 in it, pumping water into the first.
This essentially equated to one pump working against the other, with same level (head pressure of 0).
Basically, I found that the maxijet doesn't flow as much as the mag 9...but the difference wasn't all that much. I would guess the difference was about 1" per 2 minutes.
That said, I would bet money that the mag9 would pump better if there were head pressure. IMO, the maxijet is a great pump for its size, and will flow excellent. I don't think you would want to use it with a lot of head pressure though.