Анализ структуры витнесов и их тщательности для SV-COMP'2023

Как воспроизвести результаты Скачание тестового набора (трассы ошибок SV-COMP)Перейдите по ссылке, чтобы загрузить результаты соревнований, включающие в себя трассы ошибок. Сортировка трассВыполните следующую команду для сортировки результатов: ./graphml_parser.py <путь к результатам SV-COMP>/fileByHash/ Результаты будут сохранены в файл.Примечание: процесс может занять несколько часов. Разбор результатовВыполните следующую команду для разбора результатов: ./read_wdb.py В результате будет сгенерирована таблица CSV, содержащая все элементы витнесов для каждого верификатора. Добавление данных о валидацииНеобходимо вручную определить процент успешной валидации для каждого инструмента в каждой категории (для SV-COMP'23 эта информация находится здесь) и добавить эти значения в таблицу в следующем формате: Tool;FC;TS;A;C;L;LH;Actual 2LS;0;0;1;0;1;0;69.08 Bubaak;0;0;1;0;1;0;34.78 CPAChecker;1;1;1;1;1;1;97.01 Graves-CPA;1;1;1;1;1;1;81.15 Pesco-CPA;1;1;1;1;1;1;98.26 Symbiotic;0;1;1;0;1;1;52.96 UAutomizer;1;1;1;1;1;1;98.24 VeriFuzz;0;0;0;1;1;1;71.34 Для свойств из соревнований SV-COMP'23 соответствующие таблицы приложены. Вычисление коэффициентов ARDЧтобы вычислить коэффициенты ARD для всех свойств, выполните: ./ard.py