Herman Model Variants

该数据集包含了来自不同领域的五个基准模型，其中包括Grid和Herman模型的大尺寸变体，旨在评估不同合成方法的性能。此外，该数据集被用于将自适应引导的合成方法与现有最先进的技术进行比较，其实现作为一个工件可供使用。在规模上，数据集包含了小型Herman（5,000个成员）和大型Herman（3,100,000个成员）。该数据集的任务是评估概率编程中合成方法的性能。