XSokoban

该数据集名为XSokoban，是学术文献中关于Sokoban解算器编程的实际标准测试套件，其中包含的实例被标记为“四个现代解算器都无法解决”。该数据集用于评估不同解算器在限时和不同难度级别下的性能。它包含了具有不同箱子数量（例如8箱、13箱、16箱）的实例。该数据集的任务是人工智能规划，特别是解决Sokoban谜题。

This dataset, named XSokoban, is the de facto standard test suite for programming Sokoban solvers in academic literature. The instances contained herein are labeled as 'unsolvable by all four modern solvers'. This dataset is utilized to evaluate the performance of various solvers under time limits and across different difficulty levels. It includes instances with varying numbers of boxes, such as 8, 13, and 16 boxes. The task addressed by this dataset falls under the scope of artificial intelligence planning, specifically the solving of Sokoban puzzles.