Tools

Pre-Processor (Benchmark Scrambler)

GitHub Repository
Sources

SMT-COMP 2016 Releases

• Main Track
  • Binary
  • available on StarExec as SMT-COMP 2016 Scrambler (id: 349)
• Application Track
  • Binary
  • available on StarExec as SMT-COMP 2016 Application Scrambler (id: 285)
• Unsat Core Track
  Patch generate_unsat_core_benchmark.patch was applied on top of the sources.
  • Binary
  • available on StarExec as SMT-COMP 2016 Unsat-Core Scrambler (id: 350)

Post-Processor

GitHub Repository
Sources

SMT-COMP 2016 Releases

• Main Track
  • Binary
  • available on StarExec as SMT-COMP 2016 (id: 273)
• Application Track
  • Binary
  • available on StarExec as SMT-COMP 2016 Application Track (id: 274)
• Unsat Core Track
  • Binary
  • available on StarExec as SMT-COMP 2016 Unsat-Core Track (id: 297)

Trace executor

GitHub Repository
Sources
Binary

All solvers wrapped with the Trace executor are available here.