Efficient Techniques for Formal Verification of C Programs: SV-COMP 2022 dataset

This dataset contains the data on the last set of pre-run benchmarks of the tool Theta on SV-COMP 2022. The benchmarks were executed by the SV-COMP 2022 organizers, but a short evaluation of these are added in the Bachelor's Thesis with the title Efficient Techniques for Formal Verification of C programs. This dataset archives these benchmark results so they are always available to the reader's of this thesis. The html and csv files are generated with the table-generator utility of Benchexec from the .xml.bz2 files. One contains the results of the Concurrency Safety category only, while the other contains all categories.