In this article, we propose an automated standard cell synthesis framework, SP&R, which simultaneously solves P&R without deploying any sequential/separate operations, by a novel dynamic pin allocation scheme. The proposed SP&R utilizes the multiobjective optimization feature of satisfiability modulo theories (SMT) to obtain optimal cell layouts. To achieve practical scalability of the framework, we develop various search-space reduction techniques, including breaking symmetry, conditional assignment/localization, and cell/objective function partitioning. Compared to the previous work, SP&R achieves <inline-formula> <tex-math notation="LaTeX">$20.8\times $ </tex-math></inline-formula> to <inline-formula> <tex-math notation="LaTeX">$131.7\times $ </tex-math></inline-formula> runtime improvements on average across the design-rule sets. As a result, SP&R successfully produces cell layouts up to 36 field-effect transistors (FETs) and 27 nets within 1.75 h by orchestrating all innovative tactics together, resulting in the generation of a whole 7-nm standard cell library. Compared to the known layouts, our work improves cell size and #<inline-formula> <tex-math notation="LaTeX">$M2$ </tex-math></inline-formula> tracks by 0.1 contacted poly pitch and 0.3 tracks, respectively.