Tools

Pre-Processor (Benchmark Scrambler)

GitHub Repository
Sources

SMT-COMP 2020 Releases

• Single Query Track
  • Binary
  • available on StarExec as SMT-COMP 2020 Single-Query Scrambler (id: 611)
• Incremental Track
  • Binary
  • available on StarExec as SMT-COMP 2020 Incremental Scrambler (id: 609)
• Unsat Core Track
  • Binary
  • available on StarExec as SMT-COMP 2020 Unsat-Core Scrambler (id: 607)
• Model Validation Track
  • Binary
  • available on StarExec as SMT-COMP 2020 Model-Validation Scrambler (id: 610)

Post-Processor

GitHub Repository
Sources

SMT-COMP 2020 Releases

• Single Query Track
  • Binary
  • available on StarExec as SMT-COMP 2020 Single Query 2020 05 27 (id: 632)
• Incremental Track
  • Binary
  • available on StarExec as SMT-COMP 2020 Incremental (id: 615)
• Unsat Core Track
  • Binary
  • available on StarExec as SMT-COMP 2020 Unsat-Core 2020 06 12 (id: 647)
• Model Validation Track
  • Binary
  • available on StarExec as SMT-COMP 2020 Model-Validation (id: 631)

Trace executor

GitHub Repository
Sources
Binary

All solvers wrapped with the Trace executor are available here.

Competition scripts

GitHub Repository
Sources
Tag