Pedestrian dynamics exhibits various collective phenomena. Here, we study bidirectional pedestrian flow in a floor field cellular automaton model. Under certain conditions, lane formation is observed. Although it has often been studied qualitatively, e.g., as a test for the realism of a model, there are almost no quantitative results, either empirically or theoretically. As basis for a quantitative analysis, we introduce an order parameter which is adopted from the analysis of colloidal suspensions. This allows us to determine a phase diagram for the system where four different states (free flow, disorder, lanes, gridlock) can be distinguished. Although the number of lanes formed is fluctuating, lanes are characterized by a typical density. It is found that the basic floor field model overestimates the tendency towards a gridlock compared to experimental bounds. Therefore, an anticipation mechanism is introduced which reduces the jamming probability.