Results

For an overview, see the slides of the MSE 2021 presentation at SAT'21. Remaining results will be available shortly.

Complete Tracks

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

Incomplete Tracks

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