Unsolvable PDDL Benchmarks

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.