Participating Solvers

Solver Descriptions

MSE 2020 solver and benchmark description compilation is available: http://hdl.handle.net/10138/318451.

Solver Sources

The source codes of the individual solvers that participated in MSE 2020 are available below.

• EvalMaxSAT
• MaxHS
• Open-WBO-RES
• Pacose
• QMaxSAT
• RC2
• UWrMaxSat
• UWrMaxSat-1.1w (weighted)
• maxino
• maxino-pref-fixed
• smax_minisat
• smax_mergesat

• Loandra
• StableResolver
• TT-Open-WBO-Inc
• Open-WBO-Inc (inc-bmo-complete)
• Open-WBO-Inc (inc-bmo-satlike)
• Open-WBO-Inc (inc-bmo-satlike19)
• SATLike-c
• SATLike-cw (weighted)
• sls-mcs (sls-lsu, sls-mcs)
• sls-mcs-w (weighted: sls-mcs, sls-mcs2)

• MaxHS
• RC2
• maxino-pref-topk
• maxino-topk
• Open-WBO-TopK