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]
- 60 s timeout: [summary] [by benchmark instance] [solver logs]
- 300 s timeout: [summary] [by benchmark instance] [solver logs]