five

Unsolvable PDDL Benchmarks

收藏
NIAID Data Ecosystem2026-03-11 收录
下载链接:
https://zenodo.org/record/3355445
下载链接
链接失效反馈
官方服务:
资源简介:
Collection of unsolvable planning task from (a) the benchmarks used in the Unsolvability IPC 2016 (https://unsolve-ipc.eng.unimelb.edu.au) and (b) http://fai.cs.uni-saarland.de/downloads/unsat-benchmarks.tar.bz2. All solvable problems from the original benchmarks are removed. Some domains and problems overlapped: The problems in the two directories bottleneck and unsat-pegsol-strips from (b) are identical to the ones in bottleneck and pegsol from (a) and thus omitted. We assume that problems in folders unsat-nomystery, unsat-rovers and unsat-tpp from (b) also overlap with those in folders over-nomystery, over-rovers and over-tpp from (a), but kept all problems from those folders.
创建时间:
2020-01-24
5,000+
优质数据集
54 个
任务类型
进入经典数据集
二维码
社区交流群

面向社区/商业的数据集话题

二维码
科研交流群

面向高校/科研机构的开源数据集话题

数据驱动未来

携手共赢发展

商业合作