SAT Competition 2020

Downloads

• Glucose 3.0 package including execution scripts for StarExec
• The IPASIR package
• The Starexec virtual machine

Proceedings

• Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions
• The station repacking problem instances provided by Xindi Zhang and Shaowei Cai (reported on page 100 of the proceedings) originate directly from the work of Kevin Leyton-Brown and Neil Newman. The original authors kindly provided a separate description of the benchmarks available as an appendix to the proceedings.

Benchmark Instances

• Main Track Instances (300 new, 100 old)
• Planning Track Instances
• Planning Track Instance Generator
• Incremental Track Applications
• Incremental Track Instances

Download Instructions for URI Lists

wget https://satcompetition.github.io/2020/downloads/sc2020-main.uri
wget --content-disposition -i sc2020-main.uri

Submissions

• Solvers in the Incremental Track
• Solvers in the Main Track
• Solvers in the Parallel Track
• Solvers in the Cloud Track

Results

• Presentation of Results (Slides).
  The slides were updated on July 31 to account for the disqualification of abcd-para-scavel in the parallel track due to incorrect results.
• Main Track (CSV)
• Parallel Track (CSV)
• Cloud Track (CSV)