WPM3 solver originally described in:

IJCAI 2015:
Paper ID: 1280 - Exploiting the Structure of Unsatisfiable Cores in MaxSAT
Carlos Ansotegui (University of Lleida), Frederic  Didier (Google);  Joel  Gabas (University of Lleida);

This is the version of WPM3 for the track on incomplete solvers.