Results

The results of MSE 2019 are available below, divided into the evaluation tracks. Slides of the MSE 2019 presentation at SAT'19 are also available.

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]