Tools

Pre-Processor (Benchmark Scrambler)

GitHub Repository
Sources

SMT-COMP 2019 Releases

• Single Query Track
  • Binary
  • available on StarExec as SMT-COMP 2019 Non-Incremental Scrambler (id: 551)
• Incremental Track
  • Binary
  • available on StarExec as SMT-COMP 2019 Incremental Scrambler (id: 595)
• Challenge Track (non-incremental)
  • Binary
  • available on StarExec as SMT-COMP 2019 Non-Incremental Scrambler (id: 551)
• Challenge Track (incremental)
  • Binary
  • available on StarExec as SMT-COMP 2019 Incremental Scrambler (id: 595)
• Unsat Core Track
  • Binary
  • available on StarExec as SMT-COMP 2019 Unsat-Core Scrambler (id: 589)
• Model Validation Track (experimental)
  • Binary
  • available on StarExec as SMT-COMP 2019 Model-Validation Scrambler (id: 554)

Post-Processor

GitHub Repository
Sources

SMT-COMP 2019 Releases

• Single Query Track
  • Binary
  • available on StarExec as SMT-COMP 2019 Non-Incremental (id: 555)
• Incremental Track
  • Binary
  • available on StarExec as SMT-COMP 2019 Incremental (id: 556)
• Challenge Track (non-incremental)
  • Binary
  • available on StarExec as SMT-COMP 2019 Non-Incremental (id: 555)
• Challenge Track (incremental)
  • Binary
  • available on StarExec as SMT-COMP 2019 Incremental (id: 556)
• Unsat Core Track
  • Binary
  • available on StarExec as SMT-COMP 2019 Unsat-Core (id: 594)
• Model Validation Track (experimental)
  • Binary
  • available on StarExec as SMT-COMP 2019 Model-Validation (id: 587)

Trace executor

GitHub Repository
Sources
Binary

All solvers wrapped with the Trace executor are available here.