Tools

Pre-Processor (Benchmark Scrambler)

GitHub Repository
Sources

SMT-COMP 2017 Releases

• Main Track
  • Binary
  • available on StarExec as SMT-COMP 2017 Scrambler (id: 349)
• Application Track
  For the Application Track, on StarExec, the 2016 benchmark scrambler was used.
  • Binary
  • available on StarExec as SMT-COMP 2016 Application Scrambler (id: 285)
• Unsat Core Track
  • Binary
  • available on StarExec as SMT-COMP 2017 Unsat-Core Scrambler (id: 350)

Post-Processor

GitHub Repository
Sources

SMT-COMP 2017 Releases

• Main Track
  • Binary
  • available on StarExec as SMT-COMP 2017 (id: 348)
• Application Track
  For the Application Track, on StarExec, the 2016 post-processor was used.
  • Binary
  • available on StarExec as SMT-COMP 2016 Application Track (id: 274)
• Unsat Core Track
  • Binary
  • available on StarExec as SMT-COMP 2017 Unsat-Core Track (id: 351)

Trace executor

For the Application Track, the 2016 trace executor binary was used.

GitHub Repository
Sources
Binary

All solvers wrapped with the Trace executor are available here.