Tools

There are no significant changes for the tracks from SMT-COMP 2021, so the pre- and post-processors from SMT-COMP 2021 can be used for testing.

We will release the tools used in 2022 after the competition.

Pre-Processor (Benchmark Scrambler)

GitHub Repository

SMT-COMP 2022 Releases

• Single Query Track
  • available on StarExec as SMT-COMP 2021 Single-Query Scrambler (id: 708)
• Incremental Track
  • available on StarExec as SMT-COMP 2021 Incremental Scrambler (id: 709)
• Unsat Core Track
  • available on StarExec as SMT-COMP 2021 Unsat Core Scrambler (id: 711)
• Model Validation Track
  • available on StarExec as SMT-COMP 2021 Model Validation Scrambler (id: 710)
• Proof Exhibition Track
  • available on StarExec as SMT-COMP 2022 Proof Exhibition Scrambler (id: 729)

Post-Processor

GitHub Repository

SMT-COMP 2022 Releases

• Single Query Track
  • available on StarExec as SMT-COMP 2021 Single Query (id: 692)
• Incremental Track
  • available on StarExec as SMT-COMP 2021 Incremental (id: 691)
• Unsat Core Track
  • available on StarExec as SMT-COMP 2021 Unsat Core (id: 727)
• Model Validation Track
  • available on StarExec as SMT-COMP 2022 Model-Validation (id: 742)
• Proof Exhibition Track
  • available on StarExec as SMT-COMP 2022 Proof-Exhibition (id: 741)

Trace executor

GitHub Repository
Sources
Binary

Competition scripts

GitHub Repository