This tag marks the version of the benchmark set of test tasks for the Competition on Software Testing (Test-Comp) 2020.