Fast Downward Benchmark Collection

该数据集包含了从满足性套件中选取的1816个STRIPS任务，分布在64个领域内。这些任务采用了一种新的方法进行了重新制定，并使用最先进的地狱犬（lamaF）规划器进行了求解。规模上，该数据集覆盖了64个领域的1816个任务，所涉及的任务类型为规划任务。This dataset contains 1,816 STRIPS tasks selected from the Satisfiability Suite, distributed across 64 domains. These tasks were reformulated using a novel approach and solved with the state-of-the-art lamaF planner. In terms of scale, this dataset covers 1,816 tasks across the aforementioned 64 domains, all of which are planning tasks.