Published November 28, 2021 | Version 1.0
Dataset Open

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

Authors/Creators

  • 1. Budapest University of Technology and Economics
  • 2. Meta Platforms Inc.

Description

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.

Files

theta.2021-11-24_14-27-20.logfiles.zip

Files (14.9 MB)

Name Size Download all
md5:694fdaf26cd8c098f79ccb42267229be
7.3 MB Preview Download
md5:d879cc9dc1021f25a357eb859be9b47b
90.7 kB Preview Download
md5:bf97ca8ba7154b46e89b62d94415806e
1.5 MB Download
md5:d934fe50f41d0fba1c271485c890da2e
70.6 kB Download
md5:adb5ed7fb546650f9e05e80a2824c890
718.4 kB Preview Download
md5:d263a359d5f6268a496277addd8aed71
4.2 MB Download
md5:67759a609e76ae6ee754477d28974357
42.4 kB Download
md5:a84d94edc819e62927b5f38d5e1b715c
7.3 kB Download
md5:23eeeb4ff0d7758aef50f3e7638edeb7
69.4 kB Download
md5:1e78320f8699524347fec70cbcecb1c1
10.7 kB Download
md5:ad3bd9267db863b9307fffae6483b3d0
124.9 kB Download
md5:a0b0865389e105fea9ffb2ffcd4ace1a
40.8 kB Download
md5:9f61d8d4a9f7527f2d37080a6410c26e
20.3 kB Download
md5:357f29b8898d70f848763acd48651c74
78.0 kB Download
md5:f97bda279c9efdd979c8ec2e39cb38b6
44.4 kB Download
md5:9d752a709880d64174c8ec5b1a03eb11
9.9 kB Download
md5:decb80f8f0214e5cb30179e61ccd03b3
14.6 kB Download
md5:b76ac7c04b12ddd10fe3af6075aae7b1
565.5 kB Download