GitHub - jendrikseipp/unsolvable-pddl-benchmarks: Copy of https://zenodo.org/record/3355446 with some small fixes.

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
3unsat		3unsat
bag-barman		bag-barman
bag-gripper		bag-gripper
bag-transport		bag-transport
bottleneck		bottleneck
cave-diving		cave-diving
chessboard-pebbling		chessboard-pebbling
diagnosis		diagnosis
document-transfer		document-transfer
mystery		mystery
over-nomystery		over-nomystery
over-rovers		over-rovers
over-tpp		over-tpp
pegsol-row5		pegsol-row5
pegsol		pegsol
sliding-tiles		sliding-tiles
tetris		tetris
unsat-nomystery		unsat-nomystery
unsat-rovers		unsat-rovers
unsat-tpp		unsat-tpp

About