Benchmarking Different QP Formulations and Solvers for Dynamic Quadrupedal Walking. - Franek Stark; Jakob Middelberg; Dennis Mronga; Shubham Vyas; Frank Kirchner (CoRR, 2025)