  We settle several questions about the theory of universal deformation
quantization of Lie bialgebras by giving their complete classification up to
homotopy equivalence. An important new technical ingredient introduced in this
paper is an endofunctor D in the category of augmented props with the property
that for any representation of a prop P in a vector space V the associated prop
DP admits an induced representation on the graded commutative tensor algebra
S(V) given in terms of polydifferential operators. Applying this functor to the
prop LieB of Lie bialgebras we show that universal formality maps for
quantizations of Lie bialgebras are in in 1-1 correspondence with prop
morphisms from the minimal resolution AssB_infty of the prop of associative
bialgebras to the polydifferential prop DLieB_infty satisfying certain boundary
conditions. We prove that the set of such formality morphisms (having an extra
property of being Lie connected) is non-empty. The latter result is used in
turn to give a short proof of the formality theorem for universal quantizations
of arbitrary Lie bialgebras which says that for any Drinfeld associator there
is an associated Lie_infty quasi-isomorphism between the Lie_infty algebras
controlling, respectively, deformations of the standard bialgebra structure in
S(V) and deformations of any given Lie bialgebra structure in V.
  We study the deformation complex of an arbitrary universal formality morphism
and show that it is quasi-isomorphic (up to one class corresponding to the
standard rescaling automorphism of the properad LieB) to the full oriented
graph complex studied earlier in \cite{Wi2}. This result gives a complete
classification of the set of gauge equivalence classes of universal Lie
connected formality maps --- it is a torsor over the Grothendieck-Teichm\"uller
group GRT and can hence can be identified with the set of Drinfeld associators.
