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

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

Unsat-Core Track

Benchmark scrambler: patch (relative to main track scrambler) StarExec binary (also available on StarExec)
Postprocessor (also available on StarExec)

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

Last modified: Tue 23 Oct 2018 09:42 UTC