Comparative experimental data of SymbolDep on ACAS XU and SafeNLP

This dataset is the result of experiments comparing SymbolDep, nnenum, \u03b1\u03b2-crown and marabou on ACAS XU and SafeNLP. The verification time limit for each property is set to 5 minutes on ACAS XU and 50 seconds on SafeNLP. All experiments were conducted in the WSL2 environment on Windows 11, using Ubuntu 20.04 as the operating system. In terms of hardware, the CPU is 13th Gen Intel(R) Core(TM) i9-13980HX(with 32 cores), equipped with 16GB of onboard RAM. The GPU is an NVIDIA GeForce RTX 4070, equipped with 8GB of dedicated video memory.

本数据集为在ACAS XU与SafeNLP两个数据集上，对比SymbolDep、nnenum、αβ-Crown以及marabou四款神经网络验证工具的实验成果。各验证属性的时间限制如下：在ACAS XU数据集上设置为5分钟，在SafeNLP数据集上则为50秒。所有实验均在搭载Windows 11系统的WSL2（Windows Subsystem for Linux 2）环境中开展，操作系统采用Ubuntu 20.04。硬件配置方面，CPU为第13代英特尔酷睿i9-13980HX（32核心），配备16GB板载内存；GPU为NVIDIA GeForce RTX 4070，搭载8GB独立显存。