/contrib/competitions/smt-comp/
../
run-script-smtcomp-current
run-script-smtcomp-current-incremental
run-script-smtcomp-current-model-validation
run-script-smtcomp-current-unsat-cores
run-script-smtcomp2012
run-script-smtcomp2014
run-script-smtcomp2014-application
run-script-smtcomp2015
run-script-smtcomp2015-application
run-script-smtcomp2015-assertions
run-script-smtcomp2016
run-script-smtcomp2016-application
run-script-smtcomp2017
run-script-smtcomp2017-application
run-script-smtcomp2017-unsat-cores
run-script-smtcomp2018
run-script-smtcomp2018-application
run-script-smtcomp2018-unsat-cores
run-script-smtcomp2019
run-script-smtcomp2019-incremental
run-script-smtcomp2019-model-validation
run-script-smtcomp2019-unsat-cores
run-script-smtcomp2020
run-script-smtcomp2020-incremental
run-script-smtcomp2020-model-validation
run-script-smtcomp2020-unsat-cores
run-script-smteval2013