Tools

Pre-Processor (Benchmark Scrambler)

GitHub Repository
Sources

SMT-COMP 2015 Releases

• Main Track
  • Binary
  • available on StarExec as SMT-COMP 2015 Scrambler (id: 226)
• Application Track
  • Binary
  • available on StarExec as SMT-COMP 2015 Application Scrambler (id: 225)

Post-Processor

GitHub Repository
Sources

SMT-COMP 2015 Releases

• Main Track
  • Binary
  • available on StarExec as SMT-COMP 2015 (id: 189)
• Application Track
  • Binary
  • available on StarExec as SMT-COMP 2015 Application Track (id: 198)

Trace executor

GitHub Repository
Sources
Binary

All solvers wrapped with the Trace executor are available here.