This tag marks the version of the benchmark definitions for the Competition on Software Verification (SV-COMP) 2020.
