SyGuS Competition 发布 Inv-Track 数据集, 应用在 程序验证、算法性能评估 领域

SyGuS Competition 本次发布的数据集 Inv-Track, 该数据集名为Inv-Track，包含了858个问题，用于评估在SyGuS-Comp 2019竞赛中使用的不变式合成工具的性能。这些问题按照80:20的比例被划分为训练集和测试集。数据集规模为858个问题，其任务是评估不变式合成的性能。

查看Inv-Track

README 内容： 

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。