until May 25, 2018: submission of initial versions of tools

until June 1, 2018: submission of new benchmarks and final versions of tools

until July 10, 2018: Competition, internal release of results

July 14-18, 2018: Presentation at FLoC 2018 and SYNT 2018