Results

The results of MSE 2020 for the complete track are available below. Slides of the MSE 2020 presentation at SAT'20 are also available. Remaining results 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]

CSV files with the best known solution values for the unweighted and weighted incomplete tracks.