Downloads

• The IPASIR package
• The Starexec virtual machine

Results

• Detailed Results

Solvers and Benchmarks

• Proceedings of SAT Competition 2022
• Sequential Solvers
• Parallel Solvers
• Main Track Benchmarks (File: track_main_2022.uri)
  Example: wget --content-disposition -i track_main_2022.uri
• Anniversary Track Benchmarks (File: track_anni_2022.uri)
  Example: wget --content-disposition -i track_anni_2022.uri