Downloads

• Presentation of Results (Slides)
• Proceedings of SAT Competition 2023: Solver, Benchmark and Proof Checker Descriptions
• Detailed Results (per instance runtimes)
• Benchmark Links (File: track_main_2023.uri)
  Usage Example: wget --content-disposition -i track_main_2023.uri
• Benchmark Selection Script
• Sequential Solvers
• Parallel Solvers