Results

The results of MSE 2017 are available below, divided into the evaluation tracks. Slides of the MSE17 presentation at SAT'17 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]