CSTMC Artifact Collection - Tips for using this dataset (English)