Hi all, I am delighted to announce that our participation in the International Parallel SAT Competition 2023 (https://satcompetition.github.io/2023/) with our tool Painless (https://www.lrde.epita.fr/wiki/Painless) has resulted in us being awarded the bronze medal ! Regards, Souheib.