toc-svcmp.svg 3.17 KB