Tools

Pre-Processor (Benchmark Scrambler)

GitHub Repository
Sources

SMT-COMP 2014 Releases

• Main Track
  • Binary
  • available on StarExec as SMT-COMP 2014 Scrambler (id: 120)
• Application Track
  • Binary
  • available on StarExec as SMT-COMP 2014 Application Scrambler (id: 134)

Post-Processor

GitHub Repository

SMT-COMP 2014 Releases

• Application Track
  • Binary
  • available on StarExec as SMT-COMP 2014 Application Track (id: 140)

Trace executor

GitHub Repository
Sources

All solvers wrapped with the Trace executor are available here.