Quantitative test of solvability theory for the Saffman-Taylor problem.