MaxSAT Evaluation 2019
Affiliated with SAT 2019   ·   July 7-12   ·   Lisbon, Portugal

Results

A summary of the results of MSE 2019 are available below, divided into evaluation tracks. The slides, extended results, logs, and plots will be available shortly.

Main Tracks:

  • Unweighted: [summary] [by benchmark family] [by benchmark instance] [solver logs]
  • Weighted: [summary] [by benchmark family] [by benchmark instance] [solver logs]

Incomplete Track:

  • Unweighted:
    • 60 s timeout: [summary] [by benchmark instance] [solver logs]
    • 300 s timeout: [summary] [by benchmark instance] [solver logs]
  • Weighted:
    • 60 s timeout: [summary] [by benchmark instance] [solver logs]
    • 300 s timeout: [summary] [by benchmark instance] [solver logs]