VNN-COMP 2022 Benchmark Results

该数据集总结了第三届国际神经网络验证竞赛的结果，展示了各种神经网络验证工具在一组多样化的基准测试上的表现。此外，数据集还包含了比赛中使用的基准测试的结果和评分脚本。该任务的主题是神经网络验证。This dataset summarizes the outcomes of the 3rd International Neural Network Verification Competition, showcasing the performance of various neural network verification tools across a diverse set of benchmark tests. Additionally, the dataset includes the results of the benchmarks used in the competition and the corresponding scoring scripts. The theme of this task is neural network verification.