Results

For an overview, see the slides of the MSE 2023 presentation at SAT'23.

Exact Tracks

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

Anytime 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)
• costs of best known solutions (all benchmarks in the complete set).