Format for verification witnesses as used for the 8th Competition on Software Verification (SV-COMP) 2019.
