AlignmentResearch/boxoban-astar-solutions

该数据集包含了使用A*算法解决Boxoban关卡的解决方案。对于某些关卡，由于搜索预算的限制，未能找到解决方案，这些关卡被标记为“未解决”。搜索预算根据关卡难度不同而有所变化，中等难度关卡的搜索预算为500万节点，而未过滤难度关卡的搜索预算为100万节点。数据集还提供了解决方案的格式，即一系列动作的序列，其中每个数字代表一个特定的动作（如上、右、下、左）。数据集的大小在100万到1000万之间，包含了不同难度关卡的数据统计表。

The dataset contains solutions to Boxoban levels using the A* algorithm. For some levels, solutions could not be found within the allotted A* budget, marked as Unsolved levels. The search budget varies by difficulty level, with a budget of 5 million nodes for medium-difficulty levels and 1 million nodes for unfiltered-difficulty levels. The solution format is a sequence of actions including up, right, down, and left. The dataset files include CSV files for different difficulty levels, each containing a varying number of levels and unsolved levels.