Tracks

Note: The ranking criteria for the individual tracks are described under rules.

Solvers can be submitted for evaluation in the following tracks. Please note that MSE 2023 does not include a track for randomly generated MaxSAT instances.

Main Tracks for Exact Solvers (formerly "Complete Solvers")

• Unweighted: Combines the industrial and crafted unweighted and unweighted partial MaxSAT categories from previous MaxSAT evaluations. Purely randomly generated instances are not included.
• Weighted: Combines the industrial and crafted weighted and weighted partial MaxSAT categories from previous MaxSAT evaluations. All benchmarks will be truly weighted, i.e., contain soft clauses with different weights. Purely randomly generated instances are not included.

Main Tracks for Anytime Solvers (formerly "Incomplete Solvers")

• Two tracks: unweighted and weighted (following the categorization of the main tracks), for anytime solvers are organized. Every anytime solver participating in one or both of the tracks will be evaluated using two distinct per-instance time limits: 60 seconds and 300 seconds. The ranking criterion for these tracks is described under rules.

Special Track on Incremental MaxSAT

More information on the incremental track can be found on here.