SMT-COMP 2022 Trace Executor

Trace-Executor for the incremental track of SMT-COMP 2022.

SMT-COMP 2021 Trace Executor

The trace executor used in the SMT-COMP 2021

SMT-COMP 2020 trace executor

Added rule to create tar ball #5

SMT-COMP 2019 trace executor

smtcomp2019

Update default StarExec run script.

SMT-COMP 2018 trace executor

smtcomp2018

Add StarExec run script used to "wrap" solvers with the trace executor

SMT-COMP 2017 trace executor

Sources and binary same as in 2016 (only minor update to README.txt).
Binary: https://github.com/SMT-COMP/trace-executor/releases/download/smtcomp2016/SMT-COMP-2016-trace-executor.tar.xz

SMT-COMP 2016 trace executor

Newlines at the start of commands are now ignored (previously, every …

…other line sent to the solver was empty).

SMT-COMP 2015 trace executor

smtcomp2015

Trace executor (application track) sources added.