The results of the Pseudo-Boolean Competition 2024 have been presented at the SAT conference 2024
https://www.cril.univ-artois.fr/PB24/slides.pdf

New this year: certified unsat and optimal answers for some solvers, using VeriPB 2.0 format.