-
20 domains from previous IPC competitions
The dataset is used for classical planning as QBF without grounding. It contains 20 domains from previous IPC competitions. -
Classical Planning as QBF Without Grounding
The dataset is used for classical planning as QBF without grounding. It contains 4 Organic Synthesis domains: OS-Sat18, OS-Opt18, Alkene, and MitExams. -
Blocksworld Dataset
The Blocksworld dataset is a photo-realistic environment, where the goal is to move blocks around to achieve a goal state. The dataset consists of 480/2592 possible... -
8-Puzzle Dataset
The dataset used in the paper is an 8-puzzle environment, where the goal is to solve the puzzle by moving tiles around. The dataset consists of 20000 transition inputs, which...
