Published May 28, 2022 | Version v1
Dataset Open

Theta on SV-COMP 2022: Comparative Evaluation of Results (artifact)

Authors/Creators

  • 1. Budapest University of Technology and Economics

Description

Comparative evaluation of Theta and some other SV-COMP C verifiers on the dataset of Reach Safety results on SV-COMP 2022.

(Artifact for the MSc Project Laboratory 1 report)

Files

theta-result-comparative-analysis.zip

Files (687.0 MB)

Name Size
md5:7a53e66091cf6e771890ac1a6990a780
687.0 MB Preview Download