Results

For an overview, see the slides of the MSE 2022 presentation at SAT'22.

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

Incremental Track

• BiOptSat: [summary] [by benchmark instance]
• MLIC-SeeSaw: [summary] [by benchmark instance]
• Extension Enforcement: [summary] [by benchmark instance]
• AdaBoost: [summary] [by benchmark instance]
• Proof Obligations in PDR: [summary] [by benchmark instance]