Tools

Pre-Processor (Benchmark Scrambler)

GitHub Repository
Sources

SMT-COMP 2021 Releases

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

Post-Processor

GitHub Repository
Sources

SMT-COMP 2021 Releases

• Single Query Track
  • Binary
  • available on StarExec as SMT-COMP 2021 Single Query (id: 692)
• Incremental Track
  • Binary
  • available on StarExec as SMT-COMP 2021 Incremental (id: 691)
• Unsat Core Track
  • Binary
  • available on StarExec as SMT-COMP 2021 Unsat Core (id: 727)
• Model Validation Track
  • Binary
  • available on StarExec as SMT-COMP 2021 Model-Validation (id: 672)

Trace executor

GitHub Repository
Sources
Binary

All solvers wrapped with the Trace executor are available here.

Competition scripts

GitHub Repository