Comparison of different CDGPS solutions for On-The-Fly Integer Ambiguity Resolution in long baseline LEO formations