Downloads

• The IPASIR package
• The Starexec virtual machine

Results

• Proceedings of SAT Competition 2021: Solver and Benchmark Descriptions
• Presentation Slides (Fixed) (For Comparison: Old Presentation Slides)
• Main Track (CSV)
• Crypto Track (CSV)
• Parallel Track (CSV)
• Cloud Track (CSV)
• NoLimits Track (CSV)

Solvers

• Main Track Submissions
• Parallel Track Submissions
• Cloud Track Submissions
• Solver Descriptions

Benchmarks

• Main Benchmark

  wget --content-disposition -i main2021.url

• Crypto Benchmark

  wget --content-disposition -i crypto2021.url

• Benchmark Descriptions