Tools

Pre-Processor (Benchmark Scrambler)

GitHub Repository
Sources

SMT-COMP 2018 Releases

• Main Track
  • Binary
  • available on StarExec as SMT-COMP 2018 Scrambler (id: 379)
• Application Track
  • Binary
  • available on StarExec as SMT-COMP 2018 Application Scrambler (id: 380)
• Unsat Core Track
  • Binary
  • available on StarExec as SMT-COMP 2018 Unsat-Core Scrambler (id: 381)

Post-Processor

GitHub Repository
Sources

SMT-COMP 2018 Releases

• Main Track
  • Binary
  • available on StarExec as SMT-COMP 2018 (id: 376)
• Application Track
  • Binary
  • available on StarExec as SMT-COMP 2018 Application Track (id: 377)
• Unsat Core Track
  • Binary
  • available on StarExec as SMT-COMP 2018 Unsat-Core Track (id: 389)

Trace executor

GitHub Repository
Sources
Binary

All solvers wrapped with the Trace executor are available here.