Inv-Track
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/SyGuS-Org/benchmarks
下载链接
链接失效反馈官方服务：
资源简介：
该数据集名为Inv-Track，包含了858个问题，用于评估在SyGuS-Comp 2019竞赛中使用的不变式合成工具的性能。这些问题按照80:20的比例被划分为训练集和测试集。数据集规模为858个问题，其任务是评估不变式合成的性能。
This dataset, named Inv-Track, consists of 858 problems intended to evaluate the performance of invariant synthesis tools that participated in the SyGuS-Comp 2019 competition. These problems are divided into training and test sets at an 80:20 ratio. The dataset has a total of 858 problems, and its task is to evaluate the performance of invariant synthesis.
提供机构：
SyGuS Competition
