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