Home	•	Rules	•	Benchmarks	•	Tools	•	Specs	•	Participants	•	Results	•	SMT-LIB	•	Previous

Tools

Main Track

Benchmark scrambler: sources StarExec binary (also available on StarExec)
Postprocessor (also available on StarExec)

Application Track

The application track is using the same tools (benchmark scrambler, trace executor and postprocessor) as in 2016.

Unsat-Core Track

Benchmark scrambler: sources StarExec binary (also available on StarExec)
Postprocessor (also available on StarExec)

Home	•	Rules	•	Benchmarks	•	Tools	•	Specs	•	Participants	•	Results	•	SMT-LIB	•	Previous

Last modified: Tue 12 Jun 2018 12:25 UTC