unexplained-errors
| Unexplained errors | domain | problem | algorithm | unexplained_ |
error | planner_ |
raw_ |
node |
|---|---|---|---|---|---|---|---|---|
| runs-00001-00100/00051 | bag-gripper | prob01.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
unsolvable | 30.81 | 60384 | ase04.cluster.bc2.ch |
| runs-00001-00100/00052 | bag-gripper | prob02.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
unsolvable | 97.20 | 152492 | ase11.cluster.bc2.ch |
| runs-00001-00100/00053 | bag-gripper | prob03.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
unsolvable | 38.20 | 1385216 | ase01.cluster.bc2.ch |
| runs-00001-00100/00054 | bag-gripper | prob04.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
unsolvable | 106.22 | 2708788 | ase06.cluster.bc2.ch |
| runs-00001-00100/00055 | bag-gripper | prob05.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
unsolvable | 99.45 | 134500 | ase03.cluster.bc2.ch |
| runs-00001-00100/00056 | bag-gripper | prob06.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
unsolvable | 148.14 | 1915744 | ase05.cluster.bc2.ch |
| runs-00001-00100/00057 | bag-gripper | prob07.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
unsolvable | 72.66 | 1694996 | ase08.cluster.bc2.ch |
| runs-00001-00100/00058 | bag-gripper | prob08.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
unsolvable | 72.78 | 86344 | ase09.cluster.bc2.ch |
| runs-00001-00100/00059 | bag-gripper | prob09.pddl | Dead End Pot | ['critical-error', 'run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) MemoryError During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/simplify.py", line 386, in translate_operator File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/sas_tasks.py", line 259, in __init__ File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/sas_tasks.py", line 274, in _canonical_pre_post MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError '] |
critical-error | 174.50 | ? | ase04.cluster.bc2.ch |
| runs-00001-00100/00060 | bag-gripper | prob10.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
unsolvable | 137.58 | 2127140 | ase19.cluster.bc2.ch |
| runs-00001-00100/00061 | bag-gripper | prob11.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
unsolvable | 157.82 | 3618180 | ase02.cluster.bc2.ch |
| runs-00001-00100/00062 | bag-gripper | prob12.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
unsolvable | 201.80 | 1507816 | ase02.cluster.bc2.ch |
| runs-00001-00100/00063 | bag-gripper | prob13.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
unsolvable | 222.64 | 2540656 | ase23.cluster.bc2.ch |
| runs-00001-00100/00064 | bag-gripper | prob14.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
unsolvable | 190.33 | 3538684 | ase20.cluster.bc2.ch |
| runs-00001-00100/00065 | bag-gripper | prob15.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
unsolvable | 134.53 | 1191864 | ase03.cluster.bc2.ch |
| runs-00001-00100/00066 | bag-gripper | prob16.pddl | Dead End Pot | ['critical-error', 'run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) MemoryError During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/pddl/conditions.py", line 286, in instantiate MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/instantiate.py", line 58, in instantiate MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 683, in File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 673, in main File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 517, in pddl_to_sas File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/instantiate.py", line 78, in explore MemoryError '] |
critical-error | 130.04 | ? | ase14.cluster.bc2.ch |
| runs-00001-00100/00067 | bag-gripper | prob17.pddl | Dead End Pot | ['critical-error', 'run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/instantiate.py", line 78, in explore File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/instantiate.py", line 58, in instantiate File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/pddl/actions.py", line 100, in instantiate MemoryError During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 683, in File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 673, in main MemoryError '] |
critical-error | 125.41 | ? | ase14.cluster.bc2.ch |
| runs-00001-00100/00068 | bag-gripper | prob18.pddl | Dead End Pot | ['critical-error', 'run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/sas_tasks.py", line 272, in _canonical_pre_post MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 571, in pddl_to_sas MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError '] |
critical-error | 172.83 | ? | ase06.cluster.bc2.ch |
| runs-00001-00100/00069 | bag-gripper | prob19.pddl | Dead End Pot | ['critical-error', 'run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) MemoryError During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/pddl/effects.py", line 56, in instantiate MemoryError During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/instantiate.py", line 58, in instantiate MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError '] |
critical-error | 125.10 | ? | ase17.cluster.bc2.ch |
| runs-00001-00100/00070 | bag-gripper | prob20.pddl | Dead End Pot | ['critical-error', 'run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) MemoryError During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 381, in translate_strips_operators File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 176, in translate_strips_operator File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 267, in translate_strips_operator_aux File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 287, in build_sas_operator MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 683, in File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 673, in main File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 557, in pddl_to_sas MemoryError '] |
critical-error | 164.73 | ? | ase20.cluster.bc2.ch |
| runs-00001-00100/00071 | bag-gripper | prob21.pddl | Dead End Pot | ['critical-error', 'run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/pddl/actions.py", line 85, in instantiate MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError '] |
critical-error | 123.00 | ? | ase14.cluster.bc2.ch |
| runs-00001-00100/00072 | bag-gripper | prob22.pddl | Dead End Pot | ['critical-error', 'run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) MemoryError During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/pddl/conditions.py", line 271, in instantiate MemoryError During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/pddl/actions.py", line 85, in instantiate MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError '] |
critical-error | 121.86 | ? | ase09.cluster.bc2.ch |
| runs-00001-00100/00073 | bag-gripper | prob23.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
unsolvable | 120.98 | 2081748 | ase17.cluster.bc2.ch |
| runs-00001-00100/00074 | bag-gripper | prob24.pddl | Dead End Pot | ['critical-error', 'run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) MemoryError During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/pddl/conditions.py", line 287, in instantiate MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/instantiate.py", line 58, in instantiate MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError '] |
critical-error | 123.45 | ? | ase13.cluster.bc2.ch |
| runs-00001-00100/00075 | bag-gripper | prob25.pddl | Dead End Pot | ['critical-error', 'run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) MemoryError During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/pddl/conditions.py", line 289, in instantiate MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/dead-end-pot/code-71b4616dc9bd3ad60cabbff53174f7806aa0d6c9_3ae27883/builds/aidos_ipc/bin/translate/instantiate.py", line 58, in instantiate MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError During handling of the above exception, another exception occurred: MemoryError '] |
critical-error | 124.94 | ? | ase01.cluster.bc2.ch |
| runs-00001-00100/00098 | bag-transport | prob23.pddl | Dead End Pot | ['critical-error', 'run.err: Unexplained error occurred. '] |
critical-error | 722.14 | 3669176 | ase13.cluster.bc2.ch |
| runs-00001-00100/00100 | bag-transport | prob25.pddl | Dead End Pot | ['critical-error', 'run.err: Unexplained error occurred. '] |
critical-error | 685.97 | 3669176 | ase06.cluster.bc2.ch |
| runs-00101-00200/00130 | cave-diving | prob01.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
timeout | 1804.87 | 133904 | ase22.cluster.bc2.ch |
| runs-00101-00200/00131 | cave-diving | prob02.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
unsolvable | 287.09 | 56800 | ase22.cluster.bc2.ch |
| runs-00101-00200/00132 | cave-diving | prob03.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
unsolvable | 6.63 | 39612 | ase17.cluster.bc2.ch |
| runs-00101-00200/00133 | cave-diving | prob04.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
unsolvable | 2.56 | 38880 | ase05.cluster.bc2.ch |
| runs-00101-00200/00134 | cave-diving | prob05.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
unsolvable | 3.43 | 38016 | ase19.cluster.bc2.ch |
| runs-00101-00200/00135 | cave-diving | prob06.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
timeout | 1800.67 | 49848 | ase15.cluster.bc2.ch |
| runs-00101-00200/00136 | cave-diving | prob07.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
timeout | 1801.66 | 48892 | ase01.cluster.bc2.ch |
| runs-00101-00200/00137 | cave-diving | prob08.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
timeout | 1807.51 | 52832 | ase24.cluster.bc2.ch |
| runs-00101-00200/00138 | cave-diving | prob09.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
timeout | 1800.84 | 52800 | ase05.cluster.bc2.ch |
| runs-00101-00200/00139 | cave-diving | prob10.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
unsolvable | 0.64 | 39432 | ase14.cluster.bc2.ch |
| runs-00101-00200/00140 | cave-diving | prob11.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
timeout | 1801.78 | 50412 | ase01.cluster.bc2.ch |
| runs-00101-00200/00141 | cave-diving | prob12.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
timeout | 1800.76 | 49676 | ase14.cluster.bc2.ch |
| runs-00101-00200/00142 | cave-diving | prob13.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
timeout | 1803.71 | 53892 | ase16.cluster.bc2.ch |
| runs-00101-00200/00143 | cave-diving | prob14.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
timeout | 1804.54 | 58976 | ase20.cluster.bc2.ch |
| runs-00101-00200/00144 | cave-diving | prob15.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
unsolvable | 2.38 | 39412 | ase13.cluster.bc2.ch |
| runs-00101-00200/00145 | cave-diving | prob16.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
timeout | 1801.03 | 1802120 | ase19.cluster.bc2.ch |
| runs-00101-00200/00146 | cave-diving | prob17.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
timeout | 1802.30 | 1493256 | ase11.cluster.bc2.ch |
| runs-00101-00200/00147 | cave-diving | prob18.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
timeout | 1800.58 | 1331504 | ase24.cluster.bc2.ch |
| runs-00101-00200/00148 | cave-diving | prob19.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
timeout | 1801.86 | 1145916 | ase07.cluster.bc2.ch |
| runs-00101-00200/00149 | cave-diving | prob20.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
unsolvable | 1.14 | 44484 | ase15.cluster.bc2.ch |
| runs-00101-00200/00150 | cave-diving | prob21.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
timeout | 1801.46 | 1200432 | ase18.cluster.bc2.ch |
| runs-00101-00200/00151 | cave-diving | prob22.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
timeout | 1801.77 | 1148316 | ase23.cluster.bc2.ch |
| runs-00101-00200/00152 | cave-diving | prob23.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
timeout | 1801.64 | 1121860 | ase24.cluster.bc2.ch |
| runs-00101-00200/00153 | cave-diving | prob24.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
timeout | 1802.31 | 1069836 | ase11.cluster.bc2.ch |
| runs-00101-00200/00154 | cave-diving | prob25.pddl | Dead End Pot | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] |
timeout | 1803.02 | 53688 | ase16.cluster.bc2.ch |
info
| algorithm | local_ |
global_ |
build_ |
driver_ |
component_ |
|---|---|---|---|---|---|
| Dead End Pot | master | 71b4616dc9bd3ad60cabbff53174f7806aa0d6c9 | ['aidos_ipc'] | ['--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--build', 'aidos_ipc'] | ['--search', 'unsolvable_search(operatorcounting([state_equation_constraints(), feature_constraints(max_size=2)], cost_type=zero))'] |
Used nodes: {ase01, ..., ase11, ase13, ..., ase20, ase22, ..., ase24}
summary
| Summary | Dead End Pot |
|---|---|
| error-critical-error - Sum | 12 |
| error-out-of-memory - Sum | 4 |
| error-timeout - Sum | 277 |
| error-unsolvable - Sum | 392 |
| expansions - Geometric mean | 15.79 |
| initial_state_dead - Sum | 318 |
| total_time - Geometric mean | 0.18 |
| unsolvable - Sum | 392 |
error
error-critical-error
| error-critical-error | Dead End Pot |
|---|---|
| 3unsat | 0 |
| bag-barman | 0 |
| bag-gripper | 10 |
| bag-transport | 2 |
| bottleneck | 0 |
| cave-diving | 0 |
| chessboard-pebbling | 0 |
| document-transfer | 0 |
| mystery | 0 |
| over-nomystery | 0 |
| over-rovers | 0 |
| over-tpp | 0 |
| pegsol | 0 |
| pegsol-row5 | 0 |
| sliding-tiles | 0 |
| tetris | 0 |
| unsat-nomystery | 0 |
| unsat-rovers | 0 |
| unsat-tpp | 0 |
| Sum | 12 |
error-out-of-memory
| error-out-of-memory | Dead End Pot |
|---|---|
| 3unsat | 0 |
| bag-barman | 0 |
| bag-gripper | 0 |
| bag-transport | 4 |
| bottleneck | 0 |
| cave-diving | 0 |
| chessboard-pebbling | 0 |
| document-transfer | 0 |
| mystery | 0 |
| over-nomystery | 0 |
| over-rovers | 0 |
| over-tpp | 0 |
| pegsol | 0 |
| pegsol-row5 | 0 |
| sliding-tiles | 0 |
| tetris | 0 |
| unsat-nomystery | 0 |
| unsat-rovers | 0 |
| unsat-tpp | 0 |
| Sum | 4 |
error-timeout
| error-timeout | Dead End Pot |
|---|---|
| 3unsat | 15 |
| bag-barman | 16 |
| bag-gripper | 0 |
| bag-transport | 1 |
| bottleneck | 0 |
| cave-diving | 18 |
| chessboard-pebbling | 0 |
| document-transfer | 7 |
| mystery | 0 |
| over-nomystery | 19 |
| over-rovers | 15 |
| over-tpp | 11 |
| pegsol | 2 |
| pegsol-row5 | 0 |
| sliding-tiles | 11 |
| tetris | 0 |
| unsat-nomystery | 76 |
| unsat-rovers | 74 |
| unsat-tpp | 12 |
| Sum | 277 |
error-unsolvable
| error-unsolvable | Dead End Pot |
|---|---|
| 3unsat | 15 |
| bag-barman | 4 |
| bag-gripper | 15 |
| bag-transport | 22 |
| bottleneck | 25 |
| cave-diving | 7 |
| chessboard-pebbling | 23 |
| document-transfer | 13 |
| mystery | 9 |
| over-nomystery | 5 |
| over-rovers | 5 |
| over-tpp | 19 |
| pegsol | 22 |
| pegsol-row5 | 15 |
| sliding-tiles | 10 |
| tetris | 20 |
| unsat-nomystery | 74 |
| unsat-rovers | 76 |
| unsat-tpp | 13 |
| Sum | 392 |
3unsat
| error | Dead End Pot |
|---|---|
| sat-3-22-5-1.pddl | unsolvable |
| sat-3-22-5-2.pddl | unsolvable |
| sat-3-22-5-3.pddl | unsolvable |
| sat-3-22-5-4.pddl | unsolvable |
| sat-3-22-5-5.pddl | unsolvable |
| sat-3-43-10-1.pddl | unsolvable |
| sat-3-43-10-2.pddl | unsolvable |
| sat-3-43-10-3.pddl | unsolvable |
| sat-3-43-10-4.pddl | unsolvable |
| sat-3-43-10-5.pddl | unsolvable |
| sat-3-65-15-1.pddl | unsolvable |
| sat-3-65-15-2.pddl | unsolvable |
| sat-3-65-15-3.pddl | unsolvable |
| sat-3-65-15-4.pddl | unsolvable |
| sat-3-65-15-5.pddl | unsolvable |
| sat-3-86-20-1.pddl | timeout |
| sat-3-86-20-2.pddl | timeout |
| sat-3-86-20-3.pddl | timeout |
| sat-3-86-20-4.pddl | timeout |
| sat-3-86-20-5.pddl | timeout |
| sat-3-108-25-1.pddl | timeout |
| sat-3-108-25-2.pddl | timeout |
| sat-3-108-25-3.pddl | timeout |
| sat-3-108-25-4.pddl | timeout |
| sat-3-108-25-5.pddl | timeout |
| sat-3-129-30-1.pddl | timeout |
| sat-3-129-30-2.pddl | timeout |
| sat-3-129-30-3.pddl | timeout |
| sat-3-129-30-4.pddl | timeout |
| sat-3-129-30-5.pddl | timeout |
bag-barman
| error | Dead End Pot |
|---|---|
| prob01.pddl | unsolvable |
| prob02.pddl | unsolvable |
| prob03.pddl | unsolvable |
| prob04.pddl | unsolvable |
| prob05.pddl | timeout |
| prob06.pddl | timeout |
| prob07.pddl | timeout |
| prob08.pddl | timeout |
| prob09.pddl | timeout |
| prob10.pddl | timeout |
| prob11.pddl | timeout |
| prob12.pddl | timeout |
| prob13.pddl | timeout |
| prob14.pddl | timeout |
| prob15.pddl | timeout |
| prob16.pddl | timeout |
| prob17.pddl | timeout |
| prob18.pddl | timeout |
| prob19.pddl | timeout |
| prob20.pddl | timeout |
bag-gripper
| error | Dead End Pot |
|---|---|
| prob01.pddl | unsolvable |
| prob02.pddl | unsolvable |
| prob03.pddl | unsolvable |
| prob04.pddl | unsolvable |
| prob05.pddl | unsolvable |
| prob06.pddl | unsolvable |
| prob07.pddl | unsolvable |
| prob08.pddl | unsolvable |
| prob09.pddl | critical-error |
| prob10.pddl | unsolvable |
| prob11.pddl | unsolvable |
| prob12.pddl | unsolvable |
| prob13.pddl | unsolvable |
| prob14.pddl | unsolvable |
| prob15.pddl | unsolvable |
| prob16.pddl | critical-error |
| prob17.pddl | critical-error |
| prob18.pddl | critical-error |
| prob19.pddl | critical-error |
| prob20.pddl | critical-error |
| prob21.pddl | critical-error |
| prob22.pddl | critical-error |
| prob23.pddl | unsolvable |
| prob24.pddl | critical-error |
| prob25.pddl | critical-error |
bag-transport
| error | Dead End Pot |
|---|---|
| prob01.pddl | unsolvable |
| prob02.pddl | unsolvable |
| prob03.pddl | unsolvable |
| prob04.pddl | unsolvable |
| prob05.pddl | unsolvable |
| prob06.pddl | unsolvable |
| prob07.pddl | unsolvable |
| prob08.pddl | unsolvable |
| prob09.pddl | unsolvable |
| prob10.pddl | unsolvable |
| prob11.pddl | unsolvable |
| prob12.pddl | unsolvable |
| prob13.pddl | unsolvable |
| prob14.pddl | unsolvable |
| prob15.pddl | unsolvable |
| prob16.pddl | unsolvable |
| prob17.pddl | unsolvable |
| prob18.pddl | unsolvable |
| prob19.pddl | unsolvable |
| prob20.pddl | unsolvable |
| prob21.pddl | unsolvable |
| prob22.pddl | unsolvable |
| prob23.pddl | critical-error |
| prob24.pddl | out-of-memory |
| prob25.pddl | critical-error |
| prob26.pddl | out-of-memory |
| prob27.pddl | timeout |
| prob28.pddl | out-of-memory |
| prob29.pddl | out-of-memory |
bottleneck
| error | Dead End Pot |
|---|---|
| prob01.pddl | unsolvable |
| prob02.pddl | unsolvable |
| prob03.pddl | unsolvable |
| prob04.pddl | unsolvable |
| prob05.pddl | unsolvable |
| prob06.pddl | unsolvable |
| prob07.pddl | unsolvable |
| prob08.pddl | unsolvable |
| prob09.pddl | unsolvable |
| prob10.pddl | unsolvable |
| prob11.pddl | unsolvable |
| prob12.pddl | unsolvable |
| prob13.pddl | unsolvable |
| prob14.pddl | unsolvable |
| prob15.pddl | unsolvable |
| prob16.pddl | unsolvable |
| prob17.pddl | unsolvable |
| prob18.pddl | unsolvable |
| prob19.pddl | unsolvable |
| prob20.pddl | unsolvable |
| prob21.pddl | unsolvable |
| prob22.pddl | unsolvable |
| prob23.pddl | unsolvable |
| prob24.pddl | unsolvable |
| prob25.pddl | unsolvable |
cave-diving
| error | Dead End Pot |
|---|---|
| prob01.pddl | timeout |
| prob02.pddl | unsolvable |
| prob03.pddl | unsolvable |
| prob04.pddl | unsolvable |
| prob05.pddl | unsolvable |
| prob06.pddl | timeout |
| prob07.pddl | timeout |
| prob08.pddl | timeout |
| prob09.pddl | timeout |
| prob10.pddl | unsolvable |
| prob11.pddl | timeout |
| prob12.pddl | timeout |
| prob13.pddl | timeout |
| prob14.pddl | timeout |
| prob15.pddl | unsolvable |
| prob16.pddl | timeout |
| prob17.pddl | timeout |
| prob18.pddl | timeout |
| prob19.pddl | timeout |
| prob20.pddl | unsolvable |
| prob21.pddl | timeout |
| prob22.pddl | timeout |
| prob23.pddl | timeout |
| prob24.pddl | timeout |
| prob25.pddl | timeout |
chessboard-pebbling
| error | Dead End Pot |
|---|---|
| prob03.pddl | unsolvable |
| prob04.pddl | unsolvable |
| prob05.pddl | unsolvable |
| prob06.pddl | unsolvable |
| prob07.pddl | unsolvable |
| prob08.pddl | unsolvable |
| prob09.pddl | unsolvable |
| prob10.pddl | unsolvable |
| prob11.pddl | unsolvable |
| prob12.pddl | unsolvable |
| prob13.pddl | unsolvable |
| prob14.pddl | unsolvable |
| prob15.pddl | unsolvable |
| prob16.pddl | unsolvable |
| prob17.pddl | unsolvable |
| prob18.pddl | unsolvable |
| prob19.pddl | unsolvable |
| prob20.pddl | unsolvable |
| prob21.pddl | unsolvable |
| prob22.pddl | unsolvable |
| prob23.pddl | unsolvable |
| prob24.pddl | unsolvable |
| prob25.pddl | unsolvable |
document-transfer
| error | Dead End Pot |
|---|---|
| prob01.pddl | unsolvable |
| prob02.pddl | unsolvable |
| prob03.pddl | unsolvable |
| prob04.pddl | unsolvable |
| prob05.pddl | unsolvable |
| prob06.pddl | unsolvable |
| prob07.pddl | timeout |
| prob08.pddl | unsolvable |
| prob09.pddl | unsolvable |
| prob10.pddl | timeout |
| prob11.pddl | timeout |
| prob12.pddl | unsolvable |
| prob13.pddl | timeout |
| prob14.pddl | timeout |
| prob15.pddl | unsolvable |
| prob16.pddl | unsolvable |
| prob17.pddl | unsolvable |
| prob18.pddl | timeout |
| prob19.pddl | timeout |
| prob20.pddl | unsolvable |
mystery
| error | Dead End Pot |
|---|---|
| prob04.pddl | unsolvable |
| prob05.pddl | unsolvable |
| prob08.pddl | unsolvable |
| prob12.pddl | unsolvable |
| prob16.pddl | unsolvable |
| prob21.pddl | unsolvable |
| prob22.pddl | unsolvable |
| prob23.pddl | unsolvable |
| prob24.pddl | unsolvable |
over-nomystery
| error | Dead End Pot |
|---|---|
| prob01.pddl | unsolvable |
| prob02.pddl | unsolvable |
| prob03.pddl | unsolvable |
| prob04.pddl | unsolvable |
| prob05.pddl | unsolvable |
| prob06.pddl | timeout |
| prob07.pddl | timeout |
| prob08.pddl | timeout |
| prob09.pddl | timeout |
| prob10.pddl | timeout |
| prob11.pddl | timeout |
| prob12.pddl | timeout |
| prob13.pddl | timeout |
| prob14.pddl | timeout |
| prob15.pddl | timeout |
| prob16.pddl | timeout |
| prob17.pddl | timeout |
| prob18.pddl | timeout |
| prob19.pddl | timeout |
| prob20.pddl | timeout |
| prob21.pddl | timeout |
| prob22.pddl | timeout |
| prob23.pddl | timeout |
| prob24.pddl | timeout |
over-rovers
| error | Dead End Pot |
|---|---|
| prob01.pddl | unsolvable |
| prob02.pddl | unsolvable |
| prob03.pddl | unsolvable |
| prob04.pddl | timeout |
| prob05.pddl | unsolvable |
| prob06.pddl | timeout |
| prob07.pddl | timeout |
| prob08.pddl | timeout |
| prob09.pddl | unsolvable |
| prob10.pddl | timeout |
| prob11.pddl | timeout |
| prob12.pddl | timeout |
| prob13.pddl | timeout |
| prob14.pddl | timeout |
| prob15.pddl | timeout |
| prob16.pddl | timeout |
| prob17.pddl | timeout |
| prob18.pddl | timeout |
| prob19.pddl | timeout |
| prob20.pddl | timeout |
over-tpp
| error | Dead End Pot |
|---|---|
| prob01.pddl | unsolvable |
| prob02.pddl | unsolvable |
| prob03.pddl | unsolvable |
| prob04.pddl | unsolvable |
| prob05.pddl | unsolvable |
| prob06.pddl | unsolvable |
| prob07.pddl | unsolvable |
| prob08.pddl | unsolvable |
| prob09.pddl | unsolvable |
| prob10.pddl | unsolvable |
| prob11.pddl | timeout |
| prob12.pddl | unsolvable |
| prob13.pddl | unsolvable |
| prob14.pddl | unsolvable |
| prob15.pddl | unsolvable |
| prob16.pddl | unsolvable |
| prob17.pddl | unsolvable |
| prob18.pddl | unsolvable |
| prob19.pddl | unsolvable |
| prob20.pddl | unsolvable |
| prob21.pddl | timeout |
| prob22.pddl | timeout |
| prob23.pddl | timeout |
| prob24.pddl | timeout |
| prob25.pddl | timeout |
| prob26.pddl | timeout |
| prob27.pddl | timeout |
| prob28.pddl | timeout |
| prob29.pddl | timeout |
| prob30.pddl | timeout |
pegsol
| error | Dead End Pot |
|---|---|
| prob05.pddl | unsolvable |
| prob06.pddl | unsolvable |
| prob09.pddl | unsolvable |
| prob10.pddl | unsolvable |
| prob11.pddl | unsolvable |
| prob12.pddl | unsolvable |
| prob13.pddl | unsolvable |
| prob14.pddl | unsolvable |
| prob15.pddl | unsolvable |
| prob16.pddl | unsolvable |
| prob17.pddl | unsolvable |
| prob18.pddl | unsolvable |
| prob19.pddl | unsolvable |
| prob20.pddl | unsolvable |
| prob21.pddl | unsolvable |
| prob22.pddl | unsolvable |
| prob23.pddl | unsolvable |
| prob24.pddl | unsolvable |
| prob25.pddl | unsolvable |
| prob26.pddl | unsolvable |
| prob27.pddl | unsolvable |
| prob28.pddl | unsolvable |
| prob29.pddl | timeout |
| prob30.pddl | timeout |
pegsol-row5
| error | Dead End Pot |
|---|---|
| prob01.pddl | unsolvable |
| prob02.pddl | unsolvable |
| prob03.pddl | unsolvable |
| prob04.pddl | unsolvable |
| prob05.pddl | unsolvable |
| prob06.pddl | unsolvable |
| prob07.pddl | unsolvable |
| prob08.pddl | unsolvable |
| prob09.pddl | unsolvable |
| prob10.pddl | unsolvable |
| prob11.pddl | unsolvable |
| prob12.pddl | unsolvable |
| prob13.pddl | unsolvable |
| prob14.pddl | unsolvable |
| prob15.pddl | unsolvable |
sliding-tiles
| error | Dead End Pot |
|---|---|
| prob01.pddl | unsolvable |
| prob02.pddl | unsolvable |
| prob03.pddl | unsolvable |
| prob04.pddl | unsolvable |
| prob05.pddl | unsolvable |
| prob06.pddl | unsolvable |
| prob07.pddl | unsolvable |
| prob08.pddl | unsolvable |
| prob09.pddl | unsolvable |
| prob10.pddl | unsolvable |
| prob11.pddl | timeout |
| prob12.pddl | timeout |
| prob13.pddl | timeout |
| prob14.pddl | timeout |
| prob15.pddl | timeout |
| prob16.pddl | timeout |
| prob17.pddl | timeout |
| prob18.pddl | timeout |
| prob19.pddl | timeout |
| prob20.pddl | timeout |
| prob24.pddl | timeout |
tetris
| error | Dead End Pot |
|---|---|
| prob01.pddl | unsolvable |
| prob02.pddl | unsolvable |
| prob03.pddl | unsolvable |
| prob04.pddl | unsolvable |
| prob05.pddl | unsolvable |
| prob06.pddl | unsolvable |
| prob07.pddl | unsolvable |
| prob08.pddl | unsolvable |
| prob09.pddl | unsolvable |
| prob10.pddl | unsolvable |
| prob11.pddl | unsolvable |
| prob12.pddl | unsolvable |
| prob13.pddl | unsolvable |
| prob14.pddl | unsolvable |
| prob15.pddl | unsolvable |
| prob16.pddl | unsolvable |
| prob17.pddl | unsolvable |
| prob18.pddl | unsolvable |
| prob19.pddl | unsolvable |
| prob20.pddl | unsolvable |
unsat-nomystery
| error | Dead End Pot |
|---|---|
| nomystery-problem-05-9-9-1-01.pddl | unsolvable |
| nomystery-problem-05-9-9-1-02.pddl | unsolvable |
| nomystery-problem-05-9-9-1-03.pddl | unsolvable |
| nomystery-problem-05-9-9-1-04.pddl | unsolvable |
| nomystery-problem-05-9-9-1-05.pddl | unsolvable |
| nomystery-problem-05-9-9-2-01.pddl | unsolvable |
| nomystery-problem-05-9-9-2-02.pddl | unsolvable |
| nomystery-problem-05-9-9-2-03.pddl | unsolvable |
| nomystery-problem-05-9-9-2-04.pddl | unsolvable |
| nomystery-problem-05-9-9-2-05.pddl | unsolvable |
| nomystery-problem-05-9-9-3-01.pddl | unsolvable |
| nomystery-problem-05-9-9-3-02.pddl | unsolvable |
| nomystery-problem-05-9-9-3-03.pddl | unsolvable |
| nomystery-problem-05-9-9-3-04.pddl | unsolvable |
| nomystery-problem-05-9-9-3-05.pddl | unsolvable |
| nomystery-problem-05-9-9-4-01.pddl | unsolvable |
| nomystery-problem-05-9-9-4-02.pddl | unsolvable |
| nomystery-problem-05-9-9-4-03.pddl | unsolvable |
| nomystery-problem-05-9-9-4-04.pddl | unsolvable |
| nomystery-problem-05-9-9-4-05.pddl | unsolvable |
| nomystery-problem-05-9-9-5-01.pddl | unsolvable |
| nomystery-problem-05-9-9-5-02.pddl | unsolvable |
| nomystery-problem-05-9-9-5-03.pddl | unsolvable |
| nomystery-problem-05-9-9-5-04.pddl | unsolvable |
| nomystery-problem-05-9-9-5-05.pddl | unsolvable |
| nomystery-problem-05-12-15-01.pddl | unsolvable |
| nomystery-problem-05-12-15-02.pddl | unsolvable |
| nomystery-problem-05-12-15-03.pddl | unsolvable |
| nomystery-problem-05-12-15-04.pddl | unsolvable |
| nomystery-problem-05-12-15-05.pddl | unsolvable |
| nomystery-problem-06-9-9-1-01.pddl | timeout |
| nomystery-problem-06-9-9-1-02.pddl | unsolvable |
| nomystery-problem-06-9-9-1-03.pddl | unsolvable |
| nomystery-problem-06-9-9-1-04.pddl | unsolvable |
| nomystery-problem-06-9-9-1-05.pddl | timeout |
| nomystery-problem-06-9-9-2-01.pddl | unsolvable |
| nomystery-problem-06-9-9-2-02.pddl | unsolvable |
| nomystery-problem-06-9-9-2-03.pddl | unsolvable |
| nomystery-problem-06-9-9-2-04.pddl | unsolvable |
| nomystery-problem-06-9-9-2-05.pddl | unsolvable |
| nomystery-problem-06-9-9-3-01.pddl | unsolvable |
| nomystery-problem-06-9-9-3-02.pddl | unsolvable |
| nomystery-problem-06-9-9-3-03.pddl | unsolvable |
| nomystery-problem-06-9-9-3-04.pddl | unsolvable |
| nomystery-problem-06-9-9-3-05.pddl | unsolvable |
| nomystery-problem-06-9-9-4-01.pddl | timeout |
| nomystery-problem-06-9-9-4-02.pddl | unsolvable |
| nomystery-problem-06-9-9-4-03.pddl | unsolvable |
| nomystery-problem-06-9-9-4-04.pddl | unsolvable |
| nomystery-problem-06-9-9-4-05.pddl | unsolvable |
| nomystery-problem-06-9-9-5-01.pddl | unsolvable |
| nomystery-problem-06-9-9-5-02.pddl | unsolvable |
| nomystery-problem-06-9-9-5-03.pddl | unsolvable |
| nomystery-problem-06-9-9-5-04.pddl | unsolvable |
| nomystery-problem-06-9-9-5-05.pddl | unsolvable |
| nomystery-problem-06-12-15-01.pddl | timeout |
| nomystery-problem-06-12-15-02.pddl | unsolvable |
| nomystery-problem-06-12-15-03.pddl | timeout |
| nomystery-problem-06-12-15-04.pddl | unsolvable |
| nomystery-problem-06-12-15-05.pddl | timeout |
| nomystery-problem-07-9-9-1-01.pddl | timeout |
| nomystery-problem-07-9-9-1-02.pddl | timeout |
| nomystery-problem-07-9-9-1-03.pddl | timeout |
| nomystery-problem-07-9-9-1-04.pddl | unsolvable |
| nomystery-problem-07-9-9-1-05.pddl | timeout |
| nomystery-problem-07-9-9-2-01.pddl | unsolvable |
| nomystery-problem-07-9-9-2-02.pddl | unsolvable |
| nomystery-problem-07-9-9-2-03.pddl | unsolvable |
| nomystery-problem-07-9-9-2-04.pddl | unsolvable |
| nomystery-problem-07-9-9-2-05.pddl | unsolvable |
| nomystery-problem-07-9-9-3-01.pddl | timeout |
| nomystery-problem-07-9-9-3-02.pddl | timeout |
| nomystery-problem-07-9-9-3-03.pddl | unsolvable |
| nomystery-problem-07-9-9-3-04.pddl | unsolvable |
| nomystery-problem-07-9-9-3-05.pddl | unsolvable |
| nomystery-problem-07-9-9-4-01.pddl | timeout |
| nomystery-problem-07-9-9-4-02.pddl | timeout |
| nomystery-problem-07-9-9-4-03.pddl | unsolvable |
| nomystery-problem-07-9-9-4-04.pddl | unsolvable |
| nomystery-problem-07-9-9-4-05.pddl | unsolvable |
| nomystery-problem-07-9-9-5-01.pddl | timeout |
| nomystery-problem-07-9-9-5-02.pddl | timeout |
| nomystery-problem-07-9-9-5-03.pddl | unsolvable |
| nomystery-problem-07-9-9-5-04.pddl | unsolvable |
| nomystery-problem-07-9-9-5-05.pddl | unsolvable |
| nomystery-problem-07-12-15-01.pddl | timeout |
| nomystery-problem-07-12-15-02.pddl | unsolvable |
| nomystery-problem-07-12-15-03.pddl | timeout |
| nomystery-problem-07-12-15-04.pddl | timeout |
| nomystery-problem-07-12-15-05.pddl | timeout |
| nomystery-problem-08-9-9-1-01.pddl | timeout |
| nomystery-problem-08-9-9-1-02.pddl | timeout |
| nomystery-problem-08-9-9-1-03.pddl | timeout |
| nomystery-problem-08-9-9-1-04.pddl | timeout |
| nomystery-problem-08-9-9-1-05.pddl | timeout |
| nomystery-problem-08-9-9-2-01.pddl | timeout |
| nomystery-problem-08-9-9-2-02.pddl | timeout |
| nomystery-problem-08-9-9-2-03.pddl | timeout |
| nomystery-problem-08-9-9-2-04.pddl | unsolvable |
| nomystery-problem-08-9-9-2-05.pddl | unsolvable |
| nomystery-problem-08-9-9-3-01.pddl | timeout |
| nomystery-problem-08-9-9-3-02.pddl | timeout |
| nomystery-problem-08-9-9-3-03.pddl | timeout |
| nomystery-problem-08-9-9-3-04.pddl | unsolvable |
| nomystery-problem-08-9-9-3-05.pddl | timeout |
| nomystery-problem-08-9-9-4-01.pddl | timeout |
| nomystery-problem-08-9-9-4-02.pddl | timeout |
| nomystery-problem-08-9-9-4-03.pddl | timeout |
| nomystery-problem-08-9-9-4-04.pddl | timeout |
| nomystery-problem-08-9-9-4-05.pddl | timeout |
| nomystery-problem-08-9-9-5-01.pddl | timeout |
| nomystery-problem-08-9-9-5-02.pddl | timeout |
| nomystery-problem-08-9-9-5-03.pddl | timeout |
| nomystery-problem-08-9-9-5-04.pddl | unsolvable |
| nomystery-problem-08-9-9-5-05.pddl | timeout |
| nomystery-problem-08-12-15-01.pddl | timeout |
| nomystery-problem-08-12-15-02.pddl | timeout |
| nomystery-problem-08-12-15-03.pddl | timeout |
| nomystery-problem-08-12-15-04.pddl | timeout |
| nomystery-problem-08-12-15-05.pddl | timeout |
| nomystery-problem-09-9-9-1-01.pddl | timeout |
| nomystery-problem-09-9-9-1-02.pddl | timeout |
| nomystery-problem-09-9-9-1-03.pddl | timeout |
| nomystery-problem-09-9-9-1-04.pddl | timeout |
| nomystery-problem-09-9-9-1-05.pddl | timeout |
| nomystery-problem-09-9-9-2-01.pddl | timeout |
| nomystery-problem-09-9-9-2-02.pddl | timeout |
| nomystery-problem-09-9-9-2-03.pddl | timeout |
| nomystery-problem-09-9-9-2-04.pddl | timeout |
| nomystery-problem-09-9-9-2-05.pddl | timeout |
| nomystery-problem-09-9-9-3-01.pddl | timeout |
| nomystery-problem-09-9-9-3-02.pddl | timeout |
| nomystery-problem-09-9-9-3-03.pddl | timeout |
| nomystery-problem-09-9-9-3-04.pddl | timeout |
| nomystery-problem-09-9-9-3-05.pddl | timeout |
| nomystery-problem-09-9-9-4-01.pddl | timeout |
| nomystery-problem-09-9-9-4-02.pddl | timeout |
| nomystery-problem-09-9-9-4-03.pddl | timeout |
| nomystery-problem-09-9-9-4-04.pddl | timeout |
| nomystery-problem-09-9-9-4-05.pddl | timeout |
| nomystery-problem-09-9-9-5-01.pddl | timeout |
| nomystery-problem-09-9-9-5-02.pddl | timeout |
| nomystery-problem-09-9-9-5-03.pddl | timeout |
| nomystery-problem-09-9-9-5-04.pddl | timeout |
| nomystery-problem-09-9-9-5-05.pddl | timeout |
| nomystery-problem-09-12-15-01.pddl | timeout |
| nomystery-problem-09-12-15-02.pddl | timeout |
| nomystery-problem-09-12-15-03.pddl | timeout |
| nomystery-problem-09-12-15-04.pddl | timeout |
| nomystery-problem-09-12-15-05.pddl | timeout |
unsat-rovers
| error | Dead End Pot |
|---|---|
| rovers-problem-05-11-1-01.pddl | unsolvable |
| rovers-problem-05-11-1-02.pddl | unsolvable |
| rovers-problem-05-11-1-03.pddl | unsolvable |
| rovers-problem-05-11-1-04.pddl | unsolvable |
| rovers-problem-05-11-1-05.pddl | unsolvable |
| rovers-problem-05-11-2-01.pddl | unsolvable |
| rovers-problem-05-11-2-02.pddl | unsolvable |
| rovers-problem-05-11-2-03.pddl | unsolvable |
| rovers-problem-05-11-2-04.pddl | unsolvable |
| rovers-problem-05-11-2-05.pddl | unsolvable |
| rovers-problem-05-11-3-01.pddl | timeout |
| rovers-problem-05-11-3-02.pddl | unsolvable |
| rovers-problem-05-11-3-03.pddl | unsolvable |
| rovers-problem-05-11-3-04.pddl | unsolvable |
| rovers-problem-05-11-3-05.pddl | unsolvable |
| rovers-problem-05-11-4-01.pddl | unsolvable |
| rovers-problem-05-11-4-02.pddl | unsolvable |
| rovers-problem-05-11-4-03.pddl | unsolvable |
| rovers-problem-05-11-4-04.pddl | unsolvable |
| rovers-problem-05-11-4-05.pddl | unsolvable |
| rovers-problem-05-11-5-01.pddl | timeout |
| rovers-problem-05-11-5-02.pddl | unsolvable |
| rovers-problem-05-11-5-03.pddl | unsolvable |
| rovers-problem-05-11-5-04.pddl | unsolvable |
| rovers-problem-05-11-5-05.pddl | unsolvable |
| rovers-problem-05-15-01.pddl | timeout |
| rovers-problem-05-15-02.pddl | timeout |
| rovers-problem-05-15-03.pddl | timeout |
| rovers-problem-05-15-04.pddl | timeout |
| rovers-problem-05-15-05.pddl | unsolvable |
| rovers-problem-06-11-1-01.pddl | unsolvable |
| rovers-problem-06-11-1-02.pddl | unsolvable |
| rovers-problem-06-11-1-03.pddl | unsolvable |
| rovers-problem-06-11-1-04.pddl | unsolvable |
| rovers-problem-06-11-1-05.pddl | unsolvable |
| rovers-problem-06-11-2-01.pddl | timeout |
| rovers-problem-06-11-2-02.pddl | unsolvable |
| rovers-problem-06-11-2-03.pddl | unsolvable |
| rovers-problem-06-11-2-04.pddl | unsolvable |
| rovers-problem-06-11-2-05.pddl | unsolvable |
| rovers-problem-06-11-3-01.pddl | timeout |
| rovers-problem-06-11-3-02.pddl | timeout |
| rovers-problem-06-11-3-03.pddl | timeout |
| rovers-problem-06-11-3-04.pddl | unsolvable |
| rovers-problem-06-11-3-05.pddl | unsolvable |
| rovers-problem-06-11-4-01.pddl | timeout |
| rovers-problem-06-11-4-02.pddl | unsolvable |
| rovers-problem-06-11-4-03.pddl | unsolvable |
| rovers-problem-06-11-4-04.pddl | unsolvable |
| rovers-problem-06-11-4-05.pddl | unsolvable |
| rovers-problem-06-11-5-01.pddl | timeout |
| rovers-problem-06-11-5-02.pddl | timeout |
| rovers-problem-06-11-5-03.pddl | unsolvable |
| rovers-problem-06-11-5-04.pddl | unsolvable |
| rovers-problem-06-11-5-05.pddl | unsolvable |
| rovers-problem-06-15-01.pddl | timeout |
| rovers-problem-06-15-02.pddl | timeout |
| rovers-problem-06-15-03.pddl | timeout |
| rovers-problem-06-15-04.pddl | timeout |
| rovers-problem-06-15-05.pddl | unsolvable |
| rovers-problem-07-11-1-01.pddl | timeout |
| rovers-problem-07-11-1-02.pddl | unsolvable |
| rovers-problem-07-11-1-03.pddl | unsolvable |
| rovers-problem-07-11-1-04.pddl | unsolvable |
| rovers-problem-07-11-1-05.pddl | unsolvable |
| rovers-problem-07-11-2-01.pddl | timeout |
| rovers-problem-07-11-2-02.pddl | unsolvable |
| rovers-problem-07-11-2-03.pddl | unsolvable |
| rovers-problem-07-11-2-04.pddl | unsolvable |
| rovers-problem-07-11-2-05.pddl | unsolvable |
| rovers-problem-07-11-3-01.pddl | timeout |
| rovers-problem-07-11-3-02.pddl | timeout |
| rovers-problem-07-11-3-03.pddl | timeout |
| rovers-problem-07-11-3-04.pddl | unsolvable |
| rovers-problem-07-11-3-05.pddl | timeout |
| rovers-problem-07-11-4-01.pddl | timeout |
| rovers-problem-07-11-4-02.pddl | unsolvable |
| rovers-problem-07-11-4-03.pddl | unsolvable |
| rovers-problem-07-11-4-04.pddl | unsolvable |
| rovers-problem-07-11-4-05.pddl | unsolvable |
| rovers-problem-07-11-5-01.pddl | timeout |
| rovers-problem-07-11-5-02.pddl | timeout |
| rovers-problem-07-11-5-03.pddl | timeout |
| rovers-problem-07-11-5-04.pddl | timeout |
| rovers-problem-07-11-5-05.pddl | unsolvable |
| rovers-problem-07-15-01.pddl | timeout |
| rovers-problem-07-15-02.pddl | timeout |
| rovers-problem-07-15-03.pddl | timeout |
| rovers-problem-07-15-04.pddl | timeout |
| rovers-problem-07-15-05.pddl | unsolvable |
| rovers-problem-08-11-1-01.pddl | timeout |
| rovers-problem-08-11-1-02.pddl | timeout |
| rovers-problem-08-11-1-03.pddl | unsolvable |
| rovers-problem-08-11-1-04.pddl | unsolvable |
| rovers-problem-08-11-1-05.pddl | unsolvable |
| rovers-problem-08-11-2-01.pddl | timeout |
| rovers-problem-08-11-2-02.pddl | unsolvable |
| rovers-problem-08-11-2-03.pddl | unsolvable |
| rovers-problem-08-11-2-04.pddl | unsolvable |
| rovers-problem-08-11-2-05.pddl | unsolvable |
| rovers-problem-08-11-3-01.pddl | timeout |
| rovers-problem-08-11-3-02.pddl | timeout |
| rovers-problem-08-11-3-03.pddl | timeout |
| rovers-problem-08-11-3-04.pddl | timeout |
| rovers-problem-08-11-3-05.pddl | timeout |
| rovers-problem-08-11-4-01.pddl | timeout |
| rovers-problem-08-11-4-02.pddl | timeout |
| rovers-problem-08-11-4-03.pddl | unsolvable |
| rovers-problem-08-11-4-04.pddl | unsolvable |
| rovers-problem-08-11-4-05.pddl | unsolvable |
| rovers-problem-08-11-5-01.pddl | timeout |
| rovers-problem-08-11-5-02.pddl | timeout |
| rovers-problem-08-11-5-03.pddl | timeout |
| rovers-problem-08-11-5-04.pddl | timeout |
| rovers-problem-08-11-5-05.pddl | timeout |
| rovers-problem-08-15-01.pddl | timeout |
| rovers-problem-08-15-02.pddl | timeout |
| rovers-problem-08-15-03.pddl | timeout |
| rovers-problem-08-15-04.pddl | timeout |
| rovers-problem-08-15-05.pddl | unsolvable |
| rovers-problem-09-11-1-01.pddl | timeout |
| rovers-problem-09-11-1-02.pddl | timeout |
| rovers-problem-09-11-1-03.pddl | unsolvable |
| rovers-problem-09-11-1-04.pddl | unsolvable |
| rovers-problem-09-11-1-05.pddl | unsolvable |
| rovers-problem-09-11-2-01.pddl | timeout |
| rovers-problem-09-11-2-02.pddl | timeout |
| rovers-problem-09-11-2-03.pddl | unsolvable |
| rovers-problem-09-11-2-04.pddl | unsolvable |
| rovers-problem-09-11-2-05.pddl | unsolvable |
| rovers-problem-09-11-3-01.pddl | timeout |
| rovers-problem-09-11-3-02.pddl | timeout |
| rovers-problem-09-11-3-03.pddl | timeout |
| rovers-problem-09-11-3-04.pddl | timeout |
| rovers-problem-09-11-3-05.pddl | timeout |
| rovers-problem-09-11-4-01.pddl | timeout |
| rovers-problem-09-11-4-02.pddl | timeout |
| rovers-problem-09-11-4-03.pddl | timeout |
| rovers-problem-09-11-4-04.pddl | timeout |
| rovers-problem-09-11-4-05.pddl | unsolvable |
| rovers-problem-09-11-5-01.pddl | timeout |
| rovers-problem-09-11-5-02.pddl | timeout |
| rovers-problem-09-11-5-03.pddl | timeout |
| rovers-problem-09-11-5-04.pddl | timeout |
| rovers-problem-09-11-5-05.pddl | timeout |
| rovers-problem-09-15-01.pddl | timeout |
| rovers-problem-09-15-02.pddl | timeout |
| rovers-problem-09-15-03.pddl | timeout |
| rovers-problem-09-15-04.pddl | timeout |
| rovers-problem-09-15-05.pddl | timeout |
unsat-tpp
| error | Dead End Pot |
|---|---|
| tpp-problem-05-01.pddl | unsolvable |
| tpp-problem-05-02.pddl | unsolvable |
| tpp-problem-05-03.pddl | unsolvable |
| tpp-problem-05-04.pddl | unsolvable |
| tpp-problem-05-05.pddl | unsolvable |
| tpp-problem-06-01.pddl | unsolvable |
| tpp-problem-06-02.pddl | unsolvable |
| tpp-problem-06-03.pddl | unsolvable |
| tpp-problem-06-04.pddl | unsolvable |
| tpp-problem-06-05.pddl | unsolvable |
| tpp-problem-07-01.pddl | timeout |
| tpp-problem-07-02.pddl | unsolvable |
| tpp-problem-07-03.pddl | unsolvable |
| tpp-problem-07-04.pddl | timeout |
| tpp-problem-07-05.pddl | timeout |
| tpp-problem-08-01.pddl | timeout |
| tpp-problem-08-02.pddl | timeout |
| tpp-problem-08-03.pddl | unsolvable |
| tpp-problem-08-04.pddl | timeout |
| tpp-problem-08-05.pddl | timeout |
| tpp-problem-09-01.pddl | timeout |
| tpp-problem-09-02.pddl | timeout |
| tpp-problem-09-03.pddl | timeout |
| tpp-problem-09-04.pddl | timeout |
| tpp-problem-09-05.pddl | timeout |
expansions
| expansions | Dead End Pot |
|---|---|
| 3unsat (15) | 4236.51 |
| bag-barman (4) | 164372.00 |
| bag-gripper (15) | 1.00 |
| bag-transport (22) | 1.00 |
| bottleneck (25) | 1.00 |
| cave-diving (7) | 492.70 |
| chessboard-pebbling (23) | 1.00 |
| document-transfer (13) | 3.54 |
| mystery (9) | 1.00 |
| over-nomystery (5) | 1.00 |
| over-rovers (5) | 1.00 |
| over-tpp (19) | 44.30 |
| pegsol (22) | 997.82 |
| pegsol-row5 (15) | 1.00 |
| sliding-tiles (10) | 181440.00 |
| tetris (20) | 1.00 |
| unsat-nomystery (74) | 6.02 |
| unsat-rovers (76) | 1.00 |
| unsat-tpp (13) | 1.00 |
| Geometric mean (392) | 15.79 |
Only instances where all algorithms have a value for "expansions" are considered. Each table entry gives the geometric mean of "expansions" for that domain. The bottom row reports the geometric mean across all domains.
3unsat
| expansions | Dead End Pot |
|---|---|
| sat-3-22-5-1.pddl | 77 |
| sat-3-22-5-2.pddl | 84 |
| sat-3-22-5-3.pddl | 82 |
| sat-3-22-5-4.pddl | 97 |
| sat-3-22-5-5.pddl | 88 |
| sat-3-43-10-1.pddl | 4366 |
| sat-3-43-10-2.pddl | 5144 |
| sat-3-43-10-3.pddl | 4286 |
| sat-3-43-10-4.pddl | 4837 |
| sat-3-43-10-5.pddl | 4905 |
| sat-3-65-15-1.pddl | 159924 |
| sat-3-65-15-2.pddl | 188604 |
| sat-3-65-15-3.pddl | 401995 |
| sat-3-65-15-4.pddl | 147675 |
| sat-3-65-15-5.pddl | 137293 |
| sat-3-86-20-1.pddl | None |
| sat-3-86-20-2.pddl | None |
| sat-3-86-20-3.pddl | None |
| sat-3-86-20-4.pddl | None |
| sat-3-86-20-5.pddl | None |
| sat-3-108-25-1.pddl | None |
| sat-3-108-25-2.pddl | None |
| sat-3-108-25-3.pddl | None |
| sat-3-108-25-4.pddl | None |
| sat-3-108-25-5.pddl | None |
| sat-3-129-30-1.pddl | None |
| sat-3-129-30-2.pddl | None |
| sat-3-129-30-3.pddl | None |
| sat-3-129-30-4.pddl | None |
| sat-3-129-30-5.pddl | None |
bag-barman
| expansions | Dead End Pot |
|---|---|
| prob01.pddl | 164372 |
| prob02.pddl | 164372 |
| prob03.pddl | 164372 |
| prob04.pddl | 164372 |
| prob05.pddl | None |
| prob06.pddl | None |
| prob07.pddl | None |
| prob08.pddl | None |
| prob09.pddl | None |
| prob10.pddl | None |
| prob11.pddl | None |
| prob12.pddl | None |
| prob13.pddl | None |
| prob14.pddl | None |
| prob15.pddl | None |
| prob16.pddl | None |
| prob17.pddl | None |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | None |
bag-gripper
| expansions | Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob07.pddl | 1 |
| prob08.pddl | 1 |
| prob09.pddl | None |
| prob10.pddl | 1 |
| prob11.pddl | 1 |
| prob12.pddl | 1 |
| prob13.pddl | 1 |
| prob14.pddl | 1 |
| prob15.pddl | 1 |
| prob16.pddl | None |
| prob17.pddl | None |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | None |
| prob21.pddl | None |
| prob22.pddl | None |
| prob23.pddl | 1 |
| prob24.pddl | None |
| prob25.pddl | None |
bag-transport
| expansions | Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob07.pddl | 1 |
| prob08.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | 1 |
| prob11.pddl | 1 |
| prob12.pddl | 1 |
| prob13.pddl | 1 |
| prob14.pddl | 1 |
| prob15.pddl | 1 |
| prob16.pddl | 1 |
| prob17.pddl | 1 |
| prob18.pddl | 1 |
| prob19.pddl | 1 |
| prob20.pddl | 1 |
| prob21.pddl | 1 |
| prob22.pddl | 1 |
| prob23.pddl | None |
| prob24.pddl | None |
| prob25.pddl | None |
| prob26.pddl | None |
| prob27.pddl | None |
| prob28.pddl | None |
| prob29.pddl | None |
bottleneck
| expansions | Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob07.pddl | 1 |
| prob08.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | 1 |
| prob11.pddl | 1 |
| prob12.pddl | 1 |
| prob13.pddl | 1 |
| prob14.pddl | 1 |
| prob15.pddl | 1 |
| prob16.pddl | 1 |
| prob17.pddl | 1 |
| prob18.pddl | 1 |
| prob19.pddl | 1 |
| prob20.pddl | 1 |
| prob21.pddl | 1 |
| prob22.pddl | 1 |
| prob23.pddl | 1 |
| prob24.pddl | 1 |
| prob25.pddl | 1 |
cave-diving
| expansions | Dead End Pot |
|---|---|
| prob01.pddl | None |
| prob02.pddl | 266016 |
| prob03.pddl | 11327 |
| prob04.pddl | 1177 |
| prob05.pddl | 1 |
| prob06.pddl | None |
| prob07.pddl | None |
| prob08.pddl | None |
| prob09.pddl | None |
| prob10.pddl | 511 |
| prob11.pddl | None |
| prob12.pddl | None |
| prob13.pddl | None |
| prob14.pddl | None |
| prob15.pddl | 3889 |
| prob16.pddl | None |
| prob17.pddl | None |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | 1 |
| prob21.pddl | None |
| prob22.pddl | None |
| prob23.pddl | None |
| prob24.pddl | None |
| prob25.pddl | None |
chessboard-pebbling
| expansions | Dead End Pot |
|---|---|
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob07.pddl | 1 |
| prob08.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | 1 |
| prob11.pddl | 1 |
| prob12.pddl | 1 |
| prob13.pddl | 1 |
| prob14.pddl | 1 |
| prob15.pddl | 1 |
| prob16.pddl | 1 |
| prob17.pddl | 1 |
| prob18.pddl | 1 |
| prob19.pddl | 1 |
| prob20.pddl | 1 |
| prob21.pddl | 1 |
| prob22.pddl | 1 |
| prob23.pddl | 1 |
| prob24.pddl | 1 |
| prob25.pddl | 1 |
document-transfer
| expansions | Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 205 |
| prob03.pddl | 21 |
| prob04.pddl | 1 |
| prob05.pddl | 3232 |
| prob06.pddl | 1 |
| prob07.pddl | None |
| prob08.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | None |
| prob11.pddl | None |
| prob12.pddl | 1 |
| prob13.pddl | None |
| prob14.pddl | None |
| prob15.pddl | 1 |
| prob16.pddl | 1 |
| prob17.pddl | 1 |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | 1 |
mystery
| expansions | Dead End Pot |
|---|---|
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob08.pddl | 1 |
| prob12.pddl | 1 |
| prob16.pddl | 1 |
| prob21.pddl | 1 |
| prob22.pddl | 1 |
| prob23.pddl | 1 |
| prob24.pddl | 1 |
over-nomystery
| expansions | Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | None |
| prob07.pddl | None |
| prob08.pddl | None |
| prob09.pddl | None |
| prob10.pddl | None |
| prob11.pddl | None |
| prob12.pddl | None |
| prob13.pddl | None |
| prob14.pddl | None |
| prob15.pddl | None |
| prob16.pddl | None |
| prob17.pddl | None |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | None |
| prob21.pddl | None |
| prob22.pddl | None |
| prob23.pddl | None |
| prob24.pddl | None |
over-rovers
| expansions | Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | None |
| prob05.pddl | 1 |
| prob06.pddl | None |
| prob07.pddl | None |
| prob08.pddl | None |
| prob09.pddl | 1 |
| prob10.pddl | None |
| prob11.pddl | None |
| prob12.pddl | None |
| prob13.pddl | None |
| prob14.pddl | None |
| prob15.pddl | None |
| prob16.pddl | None |
| prob17.pddl | None |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | None |
over-tpp
| expansions | Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 11085 |
| prob07.pddl | 1 |
| prob08.pddl | 22333 |
| prob09.pddl | 1 |
| prob10.pddl | 1 |
| prob11.pddl | None |
| prob12.pddl | 1 |
| prob13.pddl | 1 |
| prob14.pddl | 1 |
| prob15.pddl | 1 |
| prob16.pddl | 3936 |
| prob17.pddl | 42484 |
| prob18.pddl | 9487 |
| prob19.pddl | 112686 |
| prob20.pddl | 433110 |
| prob21.pddl | None |
| prob22.pddl | None |
| prob23.pddl | None |
| prob24.pddl | None |
| prob25.pddl | None |
| prob26.pddl | None |
| prob27.pddl | None |
| prob28.pddl | None |
| prob29.pddl | None |
| prob30.pddl | None |
pegsol
| expansions | Dead End Pot |
|---|---|
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | 1 |
| prob11.pddl | 664 |
| prob12.pddl | 664 |
| prob13.pddl | 1192 |
| prob14.pddl | 1192 |
| prob15.pddl | 10965 |
| prob16.pddl | 10965 |
| prob17.pddl | 492 |
| prob18.pddl | 492 |
| prob19.pddl | 671 |
| prob20.pddl | 671 |
| prob21.pddl | 479 |
| prob22.pddl | 479 |
| prob23.pddl | 24483 |
| prob24.pddl | 24483 |
| prob25.pddl | 30443 |
| prob26.pddl | 30443 |
| prob27.pddl | 954472 |
| prob28.pddl | 954472 |
| prob29.pddl | None |
| prob30.pddl | None |
pegsol-row5
| expansions | Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob07.pddl | 1 |
| prob08.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | 1 |
| prob11.pddl | 1 |
| prob12.pddl | 1 |
| prob13.pddl | 1 |
| prob14.pddl | 1 |
| prob15.pddl | 1 |
sliding-tiles
| expansions | Dead End Pot |
|---|---|
| prob01.pddl | 181440 |
| prob02.pddl | 181440 |
| prob03.pddl | 181440 |
| prob04.pddl | 181440 |
| prob05.pddl | 181440 |
| prob06.pddl | 181440 |
| prob07.pddl | 181440 |
| prob08.pddl | 181440 |
| prob09.pddl | 181440 |
| prob10.pddl | 181440 |
| prob11.pddl | None |
| prob12.pddl | None |
| prob13.pddl | None |
| prob14.pddl | None |
| prob15.pddl | None |
| prob16.pddl | None |
| prob17.pddl | None |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | None |
| prob24.pddl | None |
tetris
| expansions | Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob07.pddl | 1 |
| prob08.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | 1 |
| prob11.pddl | 1 |
| prob12.pddl | 1 |
| prob13.pddl | 1 |
| prob14.pddl | 1 |
| prob15.pddl | 1 |
| prob16.pddl | 1 |
| prob17.pddl | 1 |
| prob18.pddl | 1 |
| prob19.pddl | 1 |
| prob20.pddl | 1 |
unsat-nomystery
| expansions | Dead End Pot |
|---|---|
| nomystery-problem-05-9-9-1-01.pddl | 28681 |
| nomystery-problem-05-9-9-1-02.pddl | 1 |
| nomystery-problem-05-9-9-1-03.pddl | 1 |
| nomystery-problem-05-9-9-1-04.pddl | 1 |
| nomystery-problem-05-9-9-1-05.pddl | 743305 |
| nomystery-problem-05-9-9-2-01.pddl | 1 |
| nomystery-problem-05-9-9-2-02.pddl | 1 |
| nomystery-problem-05-9-9-2-03.pddl | 1 |
| nomystery-problem-05-9-9-2-04.pddl | 1 |
| nomystery-problem-05-9-9-2-05.pddl | 1 |
| nomystery-problem-05-9-9-3-01.pddl | 1 |
| nomystery-problem-05-9-9-3-02.pddl | 1 |
| nomystery-problem-05-9-9-3-03.pddl | 1 |
| nomystery-problem-05-9-9-3-04.pddl | 1 |
| nomystery-problem-05-9-9-3-05.pddl | 1 |
| nomystery-problem-05-9-9-4-01.pddl | 1 |
| nomystery-problem-05-9-9-4-02.pddl | 1 |
| nomystery-problem-05-9-9-4-03.pddl | 1 |
| nomystery-problem-05-9-9-4-04.pddl | 1 |
| nomystery-problem-05-9-9-4-05.pddl | 1 |
| nomystery-problem-05-9-9-5-01.pddl | 1 |
| nomystery-problem-05-9-9-5-02.pddl | 1 |
| nomystery-problem-05-9-9-5-03.pddl | 1 |
| nomystery-problem-05-9-9-5-04.pddl | 1 |
| nomystery-problem-05-9-9-5-05.pddl | 1 |
| nomystery-problem-05-12-15-01.pddl | 1 |
| nomystery-problem-05-12-15-02.pddl | 1 |
| nomystery-problem-05-12-15-03.pddl | 3886 |
| nomystery-problem-05-12-15-04.pddl | 1 |
| nomystery-problem-05-12-15-05.pddl | 11208 |
| nomystery-problem-06-9-9-1-01.pddl | None |
| nomystery-problem-06-9-9-1-02.pddl | 1 |
| nomystery-problem-06-9-9-1-03.pddl | 1 |
| nomystery-problem-06-9-9-1-04.pddl | 1 |
| nomystery-problem-06-9-9-1-05.pddl | None |
| nomystery-problem-06-9-9-2-01.pddl | 19916 |
| nomystery-problem-06-9-9-2-02.pddl | 1 |
| nomystery-problem-06-9-9-2-03.pddl | 1 |
| nomystery-problem-06-9-9-2-04.pddl | 1 |
| nomystery-problem-06-9-9-2-05.pddl | 1 |
| nomystery-problem-06-9-9-3-01.pddl | 150678 |
| nomystery-problem-06-9-9-3-02.pddl | 1 |
| nomystery-problem-06-9-9-3-03.pddl | 1 |
| nomystery-problem-06-9-9-3-04.pddl | 1 |
| nomystery-problem-06-9-9-3-05.pddl | 1 |
| nomystery-problem-06-9-9-4-01.pddl | None |
| nomystery-problem-06-9-9-4-02.pddl | 1 |
| nomystery-problem-06-9-9-4-03.pddl | 1 |
| nomystery-problem-06-9-9-4-04.pddl | 1 |
| nomystery-problem-06-9-9-4-05.pddl | 1 |
| nomystery-problem-06-9-9-5-01.pddl | 271766 |
| nomystery-problem-06-9-9-5-02.pddl | 1 |
| nomystery-problem-06-9-9-5-03.pddl | 1 |
| nomystery-problem-06-9-9-5-04.pddl | 1 |
| nomystery-problem-06-9-9-5-05.pddl | 1 |
| nomystery-problem-06-12-15-01.pddl | None |
| nomystery-problem-06-12-15-02.pddl | 1 |
| nomystery-problem-06-12-15-03.pddl | None |
| nomystery-problem-06-12-15-04.pddl | 6213 |
| nomystery-problem-06-12-15-05.pddl | None |
| nomystery-problem-07-9-9-1-01.pddl | None |
| nomystery-problem-07-9-9-1-02.pddl | None |
| nomystery-problem-07-9-9-1-03.pddl | None |
| nomystery-problem-07-9-9-1-04.pddl | 1 |
| nomystery-problem-07-9-9-1-05.pddl | None |
| nomystery-problem-07-9-9-2-01.pddl | 185756 |
| nomystery-problem-07-9-9-2-02.pddl | 208827 |
| nomystery-problem-07-9-9-2-03.pddl | 1 |
| nomystery-problem-07-9-9-2-04.pddl | 1 |
| nomystery-problem-07-9-9-2-05.pddl | 1 |
| nomystery-problem-07-9-9-3-01.pddl | None |
| nomystery-problem-07-9-9-3-02.pddl | None |
| nomystery-problem-07-9-9-3-03.pddl | 1 |
| nomystery-problem-07-9-9-3-04.pddl | 1 |
| nomystery-problem-07-9-9-3-05.pddl | 1 |
| nomystery-problem-07-9-9-4-01.pddl | None |
| nomystery-problem-07-9-9-4-02.pddl | None |
| nomystery-problem-07-9-9-4-03.pddl | 1 |
| nomystery-problem-07-9-9-4-04.pddl | 1 |
| nomystery-problem-07-9-9-4-05.pddl | 1 |
| nomystery-problem-07-9-9-5-01.pddl | None |
| nomystery-problem-07-9-9-5-02.pddl | None |
| nomystery-problem-07-9-9-5-03.pddl | 1 |
| nomystery-problem-07-9-9-5-04.pddl | 1 |
| nomystery-problem-07-9-9-5-05.pddl | 934488 |
| nomystery-problem-07-12-15-01.pddl | None |
| nomystery-problem-07-12-15-02.pddl | 30185 |
| nomystery-problem-07-12-15-03.pddl | None |
| nomystery-problem-07-12-15-04.pddl | None |
| nomystery-problem-07-12-15-05.pddl | None |
| nomystery-problem-08-9-9-1-01.pddl | None |
| nomystery-problem-08-9-9-1-02.pddl | None |
| nomystery-problem-08-9-9-1-03.pddl | None |
| nomystery-problem-08-9-9-1-04.pddl | None |
| nomystery-problem-08-9-9-1-05.pddl | None |
| nomystery-problem-08-9-9-2-01.pddl | None |
| nomystery-problem-08-9-9-2-02.pddl | None |
| nomystery-problem-08-9-9-2-03.pddl | None |
| nomystery-problem-08-9-9-2-04.pddl | 1 |
| nomystery-problem-08-9-9-2-05.pddl | 1 |
| nomystery-problem-08-9-9-3-01.pddl | None |
| nomystery-problem-08-9-9-3-02.pddl | None |
| nomystery-problem-08-9-9-3-03.pddl | None |
| nomystery-problem-08-9-9-3-04.pddl | 1 |
| nomystery-problem-08-9-9-3-05.pddl | None |
| nomystery-problem-08-9-9-4-01.pddl | None |
| nomystery-problem-08-9-9-4-02.pddl | None |
| nomystery-problem-08-9-9-4-03.pddl | None |
| nomystery-problem-08-9-9-4-04.pddl | None |
| nomystery-problem-08-9-9-4-05.pddl | None |
| nomystery-problem-08-9-9-5-01.pddl | None |
| nomystery-problem-08-9-9-5-02.pddl | None |
| nomystery-problem-08-9-9-5-03.pddl | None |
| nomystery-problem-08-9-9-5-04.pddl | 1 |
| nomystery-problem-08-9-9-5-05.pddl | None |
| nomystery-problem-08-12-15-01.pddl | None |
| nomystery-problem-08-12-15-02.pddl | None |
| nomystery-problem-08-12-15-03.pddl | None |
| nomystery-problem-08-12-15-04.pddl | None |
| nomystery-problem-08-12-15-05.pddl | None |
| nomystery-problem-09-9-9-1-01.pddl | None |
| nomystery-problem-09-9-9-1-02.pddl | None |
| nomystery-problem-09-9-9-1-03.pddl | None |
| nomystery-problem-09-9-9-1-04.pddl | None |
| nomystery-problem-09-9-9-1-05.pddl | None |
| nomystery-problem-09-9-9-2-01.pddl | None |
| nomystery-problem-09-9-9-2-02.pddl | None |
| nomystery-problem-09-9-9-2-03.pddl | None |
| nomystery-problem-09-9-9-2-04.pddl | None |
| nomystery-problem-09-9-9-2-05.pddl | None |
| nomystery-problem-09-9-9-3-01.pddl | None |
| nomystery-problem-09-9-9-3-02.pddl | None |
| nomystery-problem-09-9-9-3-03.pddl | None |
| nomystery-problem-09-9-9-3-04.pddl | None |
| nomystery-problem-09-9-9-3-05.pddl | None |
| nomystery-problem-09-9-9-4-01.pddl | None |
| nomystery-problem-09-9-9-4-02.pddl | None |
| nomystery-problem-09-9-9-4-03.pddl | None |
| nomystery-problem-09-9-9-4-04.pddl | None |
| nomystery-problem-09-9-9-4-05.pddl | None |
| nomystery-problem-09-9-9-5-01.pddl | None |
| nomystery-problem-09-9-9-5-02.pddl | None |
| nomystery-problem-09-9-9-5-03.pddl | None |
| nomystery-problem-09-9-9-5-04.pddl | None |
| nomystery-problem-09-9-9-5-05.pddl | None |
| nomystery-problem-09-12-15-01.pddl | None |
| nomystery-problem-09-12-15-02.pddl | None |
| nomystery-problem-09-12-15-03.pddl | None |
| nomystery-problem-09-12-15-04.pddl | None |
| nomystery-problem-09-12-15-05.pddl | None |
unsat-rovers
| expansions | Dead End Pot |
|---|---|
| rovers-problem-05-11-1-01.pddl | 1 |
| rovers-problem-05-11-1-02.pddl | 1 |
| rovers-problem-05-11-1-03.pddl | 1 |
| rovers-problem-05-11-1-04.pddl | 1 |
| rovers-problem-05-11-1-05.pddl | 1 |
| rovers-problem-05-11-2-01.pddl | 1 |
| rovers-problem-05-11-2-02.pddl | 1 |
| rovers-problem-05-11-2-03.pddl | 1 |
| rovers-problem-05-11-2-04.pddl | 1 |
| rovers-problem-05-11-2-05.pddl | 1 |
| rovers-problem-05-11-3-01.pddl | None |
| rovers-problem-05-11-3-02.pddl | 1 |
| rovers-problem-05-11-3-03.pddl | 1 |
| rovers-problem-05-11-3-04.pddl | 1 |
| rovers-problem-05-11-3-05.pddl | 1 |
| rovers-problem-05-11-4-01.pddl | 1 |
| rovers-problem-05-11-4-02.pddl | 1 |
| rovers-problem-05-11-4-03.pddl | 1 |
| rovers-problem-05-11-4-04.pddl | 1 |
| rovers-problem-05-11-4-05.pddl | 1 |
| rovers-problem-05-11-5-01.pddl | None |
| rovers-problem-05-11-5-02.pddl | 1 |
| rovers-problem-05-11-5-03.pddl | 1 |
| rovers-problem-05-11-5-04.pddl | 1 |
| rovers-problem-05-11-5-05.pddl | 1 |
| rovers-problem-05-15-01.pddl | None |
| rovers-problem-05-15-02.pddl | None |
| rovers-problem-05-15-03.pddl | None |
| rovers-problem-05-15-04.pddl | None |
| rovers-problem-05-15-05.pddl | 1 |
| rovers-problem-06-11-1-01.pddl | 1 |
| rovers-problem-06-11-1-02.pddl | 1 |
| rovers-problem-06-11-1-03.pddl | 1 |
| rovers-problem-06-11-1-04.pddl | 1 |
| rovers-problem-06-11-1-05.pddl | 1 |
| rovers-problem-06-11-2-01.pddl | None |
| rovers-problem-06-11-2-02.pddl | 1 |
| rovers-problem-06-11-2-03.pddl | 1 |
| rovers-problem-06-11-2-04.pddl | 1 |
| rovers-problem-06-11-2-05.pddl | 1 |
| rovers-problem-06-11-3-01.pddl | None |
| rovers-problem-06-11-3-02.pddl | None |
| rovers-problem-06-11-3-03.pddl | None |
| rovers-problem-06-11-3-04.pddl | 1 |
| rovers-problem-06-11-3-05.pddl | 1 |
| rovers-problem-06-11-4-01.pddl | None |
| rovers-problem-06-11-4-02.pddl | 1 |
| rovers-problem-06-11-4-03.pddl | 1 |
| rovers-problem-06-11-4-04.pddl | 1 |
| rovers-problem-06-11-4-05.pddl | 1 |
| rovers-problem-06-11-5-01.pddl | None |
| rovers-problem-06-11-5-02.pddl | None |
| rovers-problem-06-11-5-03.pddl | 1 |
| rovers-problem-06-11-5-04.pddl | 1 |
| rovers-problem-06-11-5-05.pddl | 1 |
| rovers-problem-06-15-01.pddl | None |
| rovers-problem-06-15-02.pddl | None |
| rovers-problem-06-15-03.pddl | None |
| rovers-problem-06-15-04.pddl | None |
| rovers-problem-06-15-05.pddl | 1 |
| rovers-problem-07-11-1-01.pddl | None |
| rovers-problem-07-11-1-02.pddl | 1 |
| rovers-problem-07-11-1-03.pddl | 1 |
| rovers-problem-07-11-1-04.pddl | 1 |
| rovers-problem-07-11-1-05.pddl | 1 |
| rovers-problem-07-11-2-01.pddl | None |
| rovers-problem-07-11-2-02.pddl | 1 |
| rovers-problem-07-11-2-03.pddl | 1 |
| rovers-problem-07-11-2-04.pddl | 1 |
| rovers-problem-07-11-2-05.pddl | 1 |
| rovers-problem-07-11-3-01.pddl | None |
| rovers-problem-07-11-3-02.pddl | None |
| rovers-problem-07-11-3-03.pddl | None |
| rovers-problem-07-11-3-04.pddl | 1 |
| rovers-problem-07-11-3-05.pddl | None |
| rovers-problem-07-11-4-01.pddl | None |
| rovers-problem-07-11-4-02.pddl | 1 |
| rovers-problem-07-11-4-03.pddl | 1 |
| rovers-problem-07-11-4-04.pddl | 1 |
| rovers-problem-07-11-4-05.pddl | 1 |
| rovers-problem-07-11-5-01.pddl | None |
| rovers-problem-07-11-5-02.pddl | None |
| rovers-problem-07-11-5-03.pddl | None |
| rovers-problem-07-11-5-04.pddl | None |
| rovers-problem-07-11-5-05.pddl | 1 |
| rovers-problem-07-15-01.pddl | None |
| rovers-problem-07-15-02.pddl | None |
| rovers-problem-07-15-03.pddl | None |
| rovers-problem-07-15-04.pddl | None |
| rovers-problem-07-15-05.pddl | 1 |
| rovers-problem-08-11-1-01.pddl | None |
| rovers-problem-08-11-1-02.pddl | None |
| rovers-problem-08-11-1-03.pddl | 1 |
| rovers-problem-08-11-1-04.pddl | 1 |
| rovers-problem-08-11-1-05.pddl | 1 |
| rovers-problem-08-11-2-01.pddl | None |
| rovers-problem-08-11-2-02.pddl | 1 |
| rovers-problem-08-11-2-03.pddl | 1 |
| rovers-problem-08-11-2-04.pddl | 1 |
| rovers-problem-08-11-2-05.pddl | 1 |
| rovers-problem-08-11-3-01.pddl | None |
| rovers-problem-08-11-3-02.pddl | None |
| rovers-problem-08-11-3-03.pddl | None |
| rovers-problem-08-11-3-04.pddl | None |
| rovers-problem-08-11-3-05.pddl | None |
| rovers-problem-08-11-4-01.pddl | None |
| rovers-problem-08-11-4-02.pddl | None |
| rovers-problem-08-11-4-03.pddl | 1 |
| rovers-problem-08-11-4-04.pddl | 1 |
| rovers-problem-08-11-4-05.pddl | 1 |
| rovers-problem-08-11-5-01.pddl | None |
| rovers-problem-08-11-5-02.pddl | None |
| rovers-problem-08-11-5-03.pddl | None |
| rovers-problem-08-11-5-04.pddl | None |
| rovers-problem-08-11-5-05.pddl | None |
| rovers-problem-08-15-01.pddl | None |
| rovers-problem-08-15-02.pddl | None |
| rovers-problem-08-15-03.pddl | None |
| rovers-problem-08-15-04.pddl | None |
| rovers-problem-08-15-05.pddl | 1 |
| rovers-problem-09-11-1-01.pddl | None |
| rovers-problem-09-11-1-02.pddl | None |
| rovers-problem-09-11-1-03.pddl | 1 |
| rovers-problem-09-11-1-04.pddl | 1 |
| rovers-problem-09-11-1-05.pddl | 1 |
| rovers-problem-09-11-2-01.pddl | None |
| rovers-problem-09-11-2-02.pddl | None |
| rovers-problem-09-11-2-03.pddl | 1 |
| rovers-problem-09-11-2-04.pddl | 1 |
| rovers-problem-09-11-2-05.pddl | 1 |
| rovers-problem-09-11-3-01.pddl | None |
| rovers-problem-09-11-3-02.pddl | None |
| rovers-problem-09-11-3-03.pddl | None |
| rovers-problem-09-11-3-04.pddl | None |
| rovers-problem-09-11-3-05.pddl | None |
| rovers-problem-09-11-4-01.pddl | None |
| rovers-problem-09-11-4-02.pddl | None |
| rovers-problem-09-11-4-03.pddl | None |
| rovers-problem-09-11-4-04.pddl | None |
| rovers-problem-09-11-4-05.pddl | 1 |
| rovers-problem-09-11-5-01.pddl | None |
| rovers-problem-09-11-5-02.pddl | None |
| rovers-problem-09-11-5-03.pddl | None |
| rovers-problem-09-11-5-04.pddl | None |
| rovers-problem-09-11-5-05.pddl | None |
| rovers-problem-09-15-01.pddl | None |
| rovers-problem-09-15-02.pddl | None |
| rovers-problem-09-15-03.pddl | None |
| rovers-problem-09-15-04.pddl | None |
| rovers-problem-09-15-05.pddl | None |
unsat-tpp
| expansions | Dead End Pot |
|---|---|
| tpp-problem-05-01.pddl | 1 |
| tpp-problem-05-02.pddl | 1 |
| tpp-problem-05-03.pddl | 1 |
| tpp-problem-05-04.pddl | 1 |
| tpp-problem-05-05.pddl | 1 |
| tpp-problem-06-01.pddl | 1 |
| tpp-problem-06-02.pddl | 1 |
| tpp-problem-06-03.pddl | 1 |
| tpp-problem-06-04.pddl | 1 |
| tpp-problem-06-05.pddl | 1 |
| tpp-problem-07-01.pddl | None |
| tpp-problem-07-02.pddl | 1 |
| tpp-problem-07-03.pddl | 1 |
| tpp-problem-07-04.pddl | None |
| tpp-problem-07-05.pddl | None |
| tpp-problem-08-01.pddl | None |
| tpp-problem-08-02.pddl | None |
| tpp-problem-08-03.pddl | 1 |
| tpp-problem-08-04.pddl | None |
| tpp-problem-08-05.pddl | None |
| tpp-problem-09-01.pddl | None |
| tpp-problem-09-02.pddl | None |
| tpp-problem-09-03.pddl | None |
| tpp-problem-09-04.pddl | None |
| tpp-problem-09-05.pddl | None |
initial_state_dead
| initial_ |
Dead End Pot |
|---|---|
| bag-gripper (15) | 15 |
| bag-transport (22) | 22 |
| bottleneck (25) | 25 |
| cave-diving (2) | 2 |
| chessboard-pebbling (23) | 23 |
| document-transfer (10) | 10 |
| mystery (9) | 9 |
| over-nomystery (5) | 5 |
| over-rovers (5) | 5 |
| over-tpp (12) | 12 |
| pegsol (4) | 4 |
| pegsol-row5 (15) | 15 |
| tetris (20) | 20 |
| unsat-nomystery (62) | 62 |
| unsat-rovers (76) | 76 |
| unsat-tpp (13) | 13 |
| Sum (318) | 318 |
Only instances where all algorithms have a value for "initial_state_dead" are considered. Each table entry gives the sum of "initial_state_dead" for that domain. The bottom row reports the sum across all domains.
3unsat
| initial_ |
Dead End Pot |
|---|---|
| sat-3-22-5-1.pddl | None |
| sat-3-22-5-2.pddl | None |
| sat-3-22-5-3.pddl | None |
| sat-3-22-5-4.pddl | None |
| sat-3-22-5-5.pddl | None |
| sat-3-43-10-1.pddl | None |
| sat-3-43-10-2.pddl | None |
| sat-3-43-10-3.pddl | None |
| sat-3-43-10-4.pddl | None |
| sat-3-43-10-5.pddl | None |
| sat-3-65-15-1.pddl | None |
| sat-3-65-15-2.pddl | None |
| sat-3-65-15-3.pddl | None |
| sat-3-65-15-4.pddl | None |
| sat-3-65-15-5.pddl | None |
| sat-3-86-20-1.pddl | None |
| sat-3-86-20-2.pddl | None |
| sat-3-86-20-3.pddl | None |
| sat-3-86-20-4.pddl | None |
| sat-3-86-20-5.pddl | None |
| sat-3-108-25-1.pddl | None |
| sat-3-108-25-2.pddl | None |
| sat-3-108-25-3.pddl | None |
| sat-3-108-25-4.pddl | None |
| sat-3-108-25-5.pddl | None |
| sat-3-129-30-1.pddl | None |
| sat-3-129-30-2.pddl | None |
| sat-3-129-30-3.pddl | None |
| sat-3-129-30-4.pddl | None |
| sat-3-129-30-5.pddl | None |
bag-barman
| initial_ |
Dead End Pot |
|---|---|
| prob01.pddl | None |
| prob02.pddl | None |
| prob03.pddl | None |
| prob04.pddl | None |
| prob05.pddl | None |
| prob06.pddl | None |
| prob07.pddl | None |
| prob08.pddl | None |
| prob09.pddl | None |
| prob10.pddl | None |
| prob11.pddl | None |
| prob12.pddl | None |
| prob13.pddl | None |
| prob14.pddl | None |
| prob15.pddl | None |
| prob16.pddl | None |
| prob17.pddl | None |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | None |
bag-gripper
| initial_ |
Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob07.pddl | 1 |
| prob08.pddl | 1 |
| prob09.pddl | None |
| prob10.pddl | 1 |
| prob11.pddl | 1 |
| prob12.pddl | 1 |
| prob13.pddl | 1 |
| prob14.pddl | 1 |
| prob15.pddl | 1 |
| prob16.pddl | None |
| prob17.pddl | None |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | None |
| prob21.pddl | None |
| prob22.pddl | None |
| prob23.pddl | 1 |
| prob24.pddl | None |
| prob25.pddl | None |
bag-transport
| initial_ |
Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob07.pddl | 1 |
| prob08.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | 1 |
| prob11.pddl | 1 |
| prob12.pddl | 1 |
| prob13.pddl | 1 |
| prob14.pddl | 1 |
| prob15.pddl | 1 |
| prob16.pddl | 1 |
| prob17.pddl | 1 |
| prob18.pddl | 1 |
| prob19.pddl | 1 |
| prob20.pddl | 1 |
| prob21.pddl | 1 |
| prob22.pddl | 1 |
| prob23.pddl | None |
| prob24.pddl | None |
| prob25.pddl | None |
| prob26.pddl | None |
| prob27.pddl | None |
| prob28.pddl | None |
| prob29.pddl | None |
bottleneck
| initial_ |
Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob07.pddl | 1 |
| prob08.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | 1 |
| prob11.pddl | 1 |
| prob12.pddl | 1 |
| prob13.pddl | 1 |
| prob14.pddl | 1 |
| prob15.pddl | 1 |
| prob16.pddl | 1 |
| prob17.pddl | 1 |
| prob18.pddl | 1 |
| prob19.pddl | 1 |
| prob20.pddl | 1 |
| prob21.pddl | 1 |
| prob22.pddl | 1 |
| prob23.pddl | 1 |
| prob24.pddl | 1 |
| prob25.pddl | 1 |
cave-diving
| initial_ |
Dead End Pot |
|---|---|
| prob01.pddl | None |
| prob02.pddl | None |
| prob03.pddl | None |
| prob04.pddl | None |
| prob05.pddl | 1 |
| prob06.pddl | None |
| prob07.pddl | None |
| prob08.pddl | None |
| prob09.pddl | None |
| prob10.pddl | None |
| prob11.pddl | None |
| prob12.pddl | None |
| prob13.pddl | None |
| prob14.pddl | None |
| prob15.pddl | None |
| prob16.pddl | None |
| prob17.pddl | None |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | 1 |
| prob21.pddl | None |
| prob22.pddl | None |
| prob23.pddl | None |
| prob24.pddl | None |
| prob25.pddl | None |
chessboard-pebbling
| initial_ |
Dead End Pot |
|---|---|
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob07.pddl | 1 |
| prob08.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | 1 |
| prob11.pddl | 1 |
| prob12.pddl | 1 |
| prob13.pddl | 1 |
| prob14.pddl | 1 |
| prob15.pddl | 1 |
| prob16.pddl | 1 |
| prob17.pddl | 1 |
| prob18.pddl | 1 |
| prob19.pddl | 1 |
| prob20.pddl | 1 |
| prob21.pddl | 1 |
| prob22.pddl | 1 |
| prob23.pddl | 1 |
| prob24.pddl | 1 |
| prob25.pddl | 1 |
document-transfer
| initial_ |
Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | None |
| prob03.pddl | None |
| prob04.pddl | 1 |
| prob05.pddl | None |
| prob06.pddl | 1 |
| prob07.pddl | None |
| prob08.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | None |
| prob11.pddl | None |
| prob12.pddl | 1 |
| prob13.pddl | None |
| prob14.pddl | None |
| prob15.pddl | 1 |
| prob16.pddl | 1 |
| prob17.pddl | 1 |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | 1 |
mystery
| initial_ |
Dead End Pot |
|---|---|
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob08.pddl | 1 |
| prob12.pddl | 1 |
| prob16.pddl | 1 |
| prob21.pddl | 1 |
| prob22.pddl | 1 |
| prob23.pddl | 1 |
| prob24.pddl | 1 |
over-nomystery
| initial_ |
Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | None |
| prob07.pddl | None |
| prob08.pddl | None |
| prob09.pddl | None |
| prob10.pddl | None |
| prob11.pddl | None |
| prob12.pddl | None |
| prob13.pddl | None |
| prob14.pddl | None |
| prob15.pddl | None |
| prob16.pddl | None |
| prob17.pddl | None |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | None |
| prob21.pddl | None |
| prob22.pddl | None |
| prob23.pddl | None |
| prob24.pddl | None |
over-rovers
| initial_ |
Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | None |
| prob05.pddl | 1 |
| prob06.pddl | None |
| prob07.pddl | None |
| prob08.pddl | None |
| prob09.pddl | 1 |
| prob10.pddl | None |
| prob11.pddl | None |
| prob12.pddl | None |
| prob13.pddl | None |
| prob14.pddl | None |
| prob15.pddl | None |
| prob16.pddl | None |
| prob17.pddl | None |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | None |
over-tpp
| initial_ |
Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | None |
| prob07.pddl | 1 |
| prob08.pddl | None |
| prob09.pddl | 1 |
| prob10.pddl | 1 |
| prob11.pddl | None |
| prob12.pddl | 1 |
| prob13.pddl | 1 |
| prob14.pddl | 1 |
| prob15.pddl | 1 |
| prob16.pddl | None |
| prob17.pddl | None |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | None |
| prob21.pddl | None |
| prob22.pddl | None |
| prob23.pddl | None |
| prob24.pddl | None |
| prob25.pddl | None |
| prob26.pddl | None |
| prob27.pddl | None |
| prob28.pddl | None |
| prob29.pddl | None |
| prob30.pddl | None |
pegsol
| initial_ |
Dead End Pot |
|---|---|
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | 1 |
| prob11.pddl | None |
| prob12.pddl | None |
| prob13.pddl | None |
| prob14.pddl | None |
| prob15.pddl | None |
| prob16.pddl | None |
| prob17.pddl | None |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | None |
| prob21.pddl | None |
| prob22.pddl | None |
| prob23.pddl | None |
| prob24.pddl | None |
| prob25.pddl | None |
| prob26.pddl | None |
| prob27.pddl | None |
| prob28.pddl | None |
| prob29.pddl | None |
| prob30.pddl | None |
pegsol-row5
| initial_ |
Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob07.pddl | 1 |
| prob08.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | 1 |
| prob11.pddl | 1 |
| prob12.pddl | 1 |
| prob13.pddl | 1 |
| prob14.pddl | 1 |
| prob15.pddl | 1 |
sliding-tiles
| initial_ |
Dead End Pot |
|---|---|
| prob01.pddl | None |
| prob02.pddl | None |
| prob03.pddl | None |
| prob04.pddl | None |
| prob05.pddl | None |
| prob06.pddl | None |
| prob07.pddl | None |
| prob08.pddl | None |
| prob09.pddl | None |
| prob10.pddl | None |
| prob11.pddl | None |
| prob12.pddl | None |
| prob13.pddl | None |
| prob14.pddl | None |
| prob15.pddl | None |
| prob16.pddl | None |
| prob17.pddl | None |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | None |
| prob24.pddl | None |
tetris
| initial_ |
Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob07.pddl | 1 |
| prob08.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | 1 |
| prob11.pddl | 1 |
| prob12.pddl | 1 |
| prob13.pddl | 1 |
| prob14.pddl | 1 |
| prob15.pddl | 1 |
| prob16.pddl | 1 |
| prob17.pddl | 1 |
| prob18.pddl | 1 |
| prob19.pddl | 1 |
| prob20.pddl | 1 |
unsat-nomystery
| initial_ |
Dead End Pot |
|---|---|
| nomystery-problem-05-9-9-1-01.pddl | None |
| nomystery-problem-05-9-9-1-02.pddl | 1 |
| nomystery-problem-05-9-9-1-03.pddl | 1 |
| nomystery-problem-05-9-9-1-04.pddl | 1 |
| nomystery-problem-05-9-9-1-05.pddl | None |
| nomystery-problem-05-9-9-2-01.pddl | 1 |
| nomystery-problem-05-9-9-2-02.pddl | 1 |
| nomystery-problem-05-9-9-2-03.pddl | 1 |
| nomystery-problem-05-9-9-2-04.pddl | 1 |
| nomystery-problem-05-9-9-2-05.pddl | 1 |
| nomystery-problem-05-9-9-3-01.pddl | 1 |
| nomystery-problem-05-9-9-3-02.pddl | 1 |
| nomystery-problem-05-9-9-3-03.pddl | 1 |
| nomystery-problem-05-9-9-3-04.pddl | 1 |
| nomystery-problem-05-9-9-3-05.pddl | 1 |
| nomystery-problem-05-9-9-4-01.pddl | 1 |
| nomystery-problem-05-9-9-4-02.pddl | 1 |
| nomystery-problem-05-9-9-4-03.pddl | 1 |
| nomystery-problem-05-9-9-4-04.pddl | 1 |
| nomystery-problem-05-9-9-4-05.pddl | 1 |
| nomystery-problem-05-9-9-5-01.pddl | 1 |
| nomystery-problem-05-9-9-5-02.pddl | 1 |
| nomystery-problem-05-9-9-5-03.pddl | 1 |
| nomystery-problem-05-9-9-5-04.pddl | 1 |
| nomystery-problem-05-9-9-5-05.pddl | 1 |
| nomystery-problem-05-12-15-01.pddl | 1 |
| nomystery-problem-05-12-15-02.pddl | 1 |
| nomystery-problem-05-12-15-03.pddl | None |
| nomystery-problem-05-12-15-04.pddl | 1 |
| nomystery-problem-05-12-15-05.pddl | None |
| nomystery-problem-06-9-9-1-01.pddl | None |
| nomystery-problem-06-9-9-1-02.pddl | 1 |
| nomystery-problem-06-9-9-1-03.pddl | 1 |
| nomystery-problem-06-9-9-1-04.pddl | 1 |
| nomystery-problem-06-9-9-1-05.pddl | None |
| nomystery-problem-06-9-9-2-01.pddl | None |
| nomystery-problem-06-9-9-2-02.pddl | 1 |
| nomystery-problem-06-9-9-2-03.pddl | 1 |
| nomystery-problem-06-9-9-2-04.pddl | 1 |
| nomystery-problem-06-9-9-2-05.pddl | 1 |
| nomystery-problem-06-9-9-3-01.pddl | None |
| nomystery-problem-06-9-9-3-02.pddl | 1 |
| nomystery-problem-06-9-9-3-03.pddl | 1 |
| nomystery-problem-06-9-9-3-04.pddl | 1 |
| nomystery-problem-06-9-9-3-05.pddl | 1 |
| nomystery-problem-06-9-9-4-01.pddl | None |
| nomystery-problem-06-9-9-4-02.pddl | 1 |
| nomystery-problem-06-9-9-4-03.pddl | 1 |
| nomystery-problem-06-9-9-4-04.pddl | 1 |
| nomystery-problem-06-9-9-4-05.pddl | 1 |
| nomystery-problem-06-9-9-5-01.pddl | None |
| nomystery-problem-06-9-9-5-02.pddl | 1 |
| nomystery-problem-06-9-9-5-03.pddl | 1 |
| nomystery-problem-06-9-9-5-04.pddl | 1 |
| nomystery-problem-06-9-9-5-05.pddl | 1 |
| nomystery-problem-06-12-15-01.pddl | None |
| nomystery-problem-06-12-15-02.pddl | 1 |
| nomystery-problem-06-12-15-03.pddl | None |
| nomystery-problem-06-12-15-04.pddl | None |
| nomystery-problem-06-12-15-05.pddl | None |
| nomystery-problem-07-9-9-1-01.pddl | None |
| nomystery-problem-07-9-9-1-02.pddl | None |
| nomystery-problem-07-9-9-1-03.pddl | None |
| nomystery-problem-07-9-9-1-04.pddl | 1 |
| nomystery-problem-07-9-9-1-05.pddl | None |
| nomystery-problem-07-9-9-2-01.pddl | None |
| nomystery-problem-07-9-9-2-02.pddl | None |
| nomystery-problem-07-9-9-2-03.pddl | 1 |
| nomystery-problem-07-9-9-2-04.pddl | 1 |
| nomystery-problem-07-9-9-2-05.pddl | 1 |
| nomystery-problem-07-9-9-3-01.pddl | None |
| nomystery-problem-07-9-9-3-02.pddl | None |
| nomystery-problem-07-9-9-3-03.pddl | 1 |
| nomystery-problem-07-9-9-3-04.pddl | 1 |
| nomystery-problem-07-9-9-3-05.pddl | 1 |
| nomystery-problem-07-9-9-4-01.pddl | None |
| nomystery-problem-07-9-9-4-02.pddl | None |
| nomystery-problem-07-9-9-4-03.pddl | 1 |
| nomystery-problem-07-9-9-4-04.pddl | 1 |
| nomystery-problem-07-9-9-4-05.pddl | 1 |
| nomystery-problem-07-9-9-5-01.pddl | None |
| nomystery-problem-07-9-9-5-02.pddl | None |
| nomystery-problem-07-9-9-5-03.pddl | 1 |
| nomystery-problem-07-9-9-5-04.pddl | 1 |
| nomystery-problem-07-9-9-5-05.pddl | None |
| nomystery-problem-07-12-15-01.pddl | None |
| nomystery-problem-07-12-15-02.pddl | None |
| nomystery-problem-07-12-15-03.pddl | None |
| nomystery-problem-07-12-15-04.pddl | None |
| nomystery-problem-07-12-15-05.pddl | None |
| nomystery-problem-08-9-9-1-01.pddl | None |
| nomystery-problem-08-9-9-1-02.pddl | None |
| nomystery-problem-08-9-9-1-03.pddl | None |
| nomystery-problem-08-9-9-1-04.pddl | None |
| nomystery-problem-08-9-9-1-05.pddl | None |
| nomystery-problem-08-9-9-2-01.pddl | None |
| nomystery-problem-08-9-9-2-02.pddl | None |
| nomystery-problem-08-9-9-2-03.pddl | None |
| nomystery-problem-08-9-9-2-04.pddl | 1 |
| nomystery-problem-08-9-9-2-05.pddl | 1 |
| nomystery-problem-08-9-9-3-01.pddl | None |
| nomystery-problem-08-9-9-3-02.pddl | None |
| nomystery-problem-08-9-9-3-03.pddl | None |
| nomystery-problem-08-9-9-3-04.pddl | 1 |
| nomystery-problem-08-9-9-3-05.pddl | None |
| nomystery-problem-08-9-9-4-01.pddl | None |
| nomystery-problem-08-9-9-4-02.pddl | None |
| nomystery-problem-08-9-9-4-03.pddl | None |
| nomystery-problem-08-9-9-4-04.pddl | None |
| nomystery-problem-08-9-9-4-05.pddl | None |
| nomystery-problem-08-9-9-5-01.pddl | None |
| nomystery-problem-08-9-9-5-02.pddl | None |
| nomystery-problem-08-9-9-5-03.pddl | None |
| nomystery-problem-08-9-9-5-04.pddl | 1 |
| nomystery-problem-08-9-9-5-05.pddl | None |
| nomystery-problem-08-12-15-01.pddl | None |
| nomystery-problem-08-12-15-02.pddl | None |
| nomystery-problem-08-12-15-03.pddl | None |
| nomystery-problem-08-12-15-04.pddl | None |
| nomystery-problem-08-12-15-05.pddl | None |
| nomystery-problem-09-9-9-1-01.pddl | None |
| nomystery-problem-09-9-9-1-02.pddl | None |
| nomystery-problem-09-9-9-1-03.pddl | None |
| nomystery-problem-09-9-9-1-04.pddl | None |
| nomystery-problem-09-9-9-1-05.pddl | None |
| nomystery-problem-09-9-9-2-01.pddl | None |
| nomystery-problem-09-9-9-2-02.pddl | None |
| nomystery-problem-09-9-9-2-03.pddl | None |
| nomystery-problem-09-9-9-2-04.pddl | None |
| nomystery-problem-09-9-9-2-05.pddl | None |
| nomystery-problem-09-9-9-3-01.pddl | None |
| nomystery-problem-09-9-9-3-02.pddl | None |
| nomystery-problem-09-9-9-3-03.pddl | None |
| nomystery-problem-09-9-9-3-04.pddl | None |
| nomystery-problem-09-9-9-3-05.pddl | None |
| nomystery-problem-09-9-9-4-01.pddl | None |
| nomystery-problem-09-9-9-4-02.pddl | None |
| nomystery-problem-09-9-9-4-03.pddl | None |
| nomystery-problem-09-9-9-4-04.pddl | None |
| nomystery-problem-09-9-9-4-05.pddl | None |
| nomystery-problem-09-9-9-5-01.pddl | None |
| nomystery-problem-09-9-9-5-02.pddl | None |
| nomystery-problem-09-9-9-5-03.pddl | None |
| nomystery-problem-09-9-9-5-04.pddl | None |
| nomystery-problem-09-9-9-5-05.pddl | None |
| nomystery-problem-09-12-15-01.pddl | None |
| nomystery-problem-09-12-15-02.pddl | None |
| nomystery-problem-09-12-15-03.pddl | None |
| nomystery-problem-09-12-15-04.pddl | None |
| nomystery-problem-09-12-15-05.pddl | None |
unsat-rovers
| initial_ |
Dead End Pot |
|---|---|
| rovers-problem-05-11-1-01.pddl | 1 |
| rovers-problem-05-11-1-02.pddl | 1 |
| rovers-problem-05-11-1-03.pddl | 1 |
| rovers-problem-05-11-1-04.pddl | 1 |
| rovers-problem-05-11-1-05.pddl | 1 |
| rovers-problem-05-11-2-01.pddl | 1 |
| rovers-problem-05-11-2-02.pddl | 1 |
| rovers-problem-05-11-2-03.pddl | 1 |
| rovers-problem-05-11-2-04.pddl | 1 |
| rovers-problem-05-11-2-05.pddl | 1 |
| rovers-problem-05-11-3-01.pddl | None |
| rovers-problem-05-11-3-02.pddl | 1 |
| rovers-problem-05-11-3-03.pddl | 1 |
| rovers-problem-05-11-3-04.pddl | 1 |
| rovers-problem-05-11-3-05.pddl | 1 |
| rovers-problem-05-11-4-01.pddl | 1 |
| rovers-problem-05-11-4-02.pddl | 1 |
| rovers-problem-05-11-4-03.pddl | 1 |
| rovers-problem-05-11-4-04.pddl | 1 |
| rovers-problem-05-11-4-05.pddl | 1 |
| rovers-problem-05-11-5-01.pddl | None |
| rovers-problem-05-11-5-02.pddl | 1 |
| rovers-problem-05-11-5-03.pddl | 1 |
| rovers-problem-05-11-5-04.pddl | 1 |
| rovers-problem-05-11-5-05.pddl | 1 |
| rovers-problem-05-15-01.pddl | None |
| rovers-problem-05-15-02.pddl | None |
| rovers-problem-05-15-03.pddl | None |
| rovers-problem-05-15-04.pddl | None |
| rovers-problem-05-15-05.pddl | 1 |
| rovers-problem-06-11-1-01.pddl | 1 |
| rovers-problem-06-11-1-02.pddl | 1 |
| rovers-problem-06-11-1-03.pddl | 1 |
| rovers-problem-06-11-1-04.pddl | 1 |
| rovers-problem-06-11-1-05.pddl | 1 |
| rovers-problem-06-11-2-01.pddl | None |
| rovers-problem-06-11-2-02.pddl | 1 |
| rovers-problem-06-11-2-03.pddl | 1 |
| rovers-problem-06-11-2-04.pddl | 1 |
| rovers-problem-06-11-2-05.pddl | 1 |
| rovers-problem-06-11-3-01.pddl | None |
| rovers-problem-06-11-3-02.pddl | None |
| rovers-problem-06-11-3-03.pddl | None |
| rovers-problem-06-11-3-04.pddl | 1 |
| rovers-problem-06-11-3-05.pddl | 1 |
| rovers-problem-06-11-4-01.pddl | None |
| rovers-problem-06-11-4-02.pddl | 1 |
| rovers-problem-06-11-4-03.pddl | 1 |
| rovers-problem-06-11-4-04.pddl | 1 |
| rovers-problem-06-11-4-05.pddl | 1 |
| rovers-problem-06-11-5-01.pddl | None |
| rovers-problem-06-11-5-02.pddl | None |
| rovers-problem-06-11-5-03.pddl | 1 |
| rovers-problem-06-11-5-04.pddl | 1 |
| rovers-problem-06-11-5-05.pddl | 1 |
| rovers-problem-06-15-01.pddl | None |
| rovers-problem-06-15-02.pddl | None |
| rovers-problem-06-15-03.pddl | None |
| rovers-problem-06-15-04.pddl | None |
| rovers-problem-06-15-05.pddl | 1 |
| rovers-problem-07-11-1-01.pddl | None |
| rovers-problem-07-11-1-02.pddl | 1 |
| rovers-problem-07-11-1-03.pddl | 1 |
| rovers-problem-07-11-1-04.pddl | 1 |
| rovers-problem-07-11-1-05.pddl | 1 |
| rovers-problem-07-11-2-01.pddl | None |
| rovers-problem-07-11-2-02.pddl | 1 |
| rovers-problem-07-11-2-03.pddl | 1 |
| rovers-problem-07-11-2-04.pddl | 1 |
| rovers-problem-07-11-2-05.pddl | 1 |
| rovers-problem-07-11-3-01.pddl | None |
| rovers-problem-07-11-3-02.pddl | None |
| rovers-problem-07-11-3-03.pddl | None |
| rovers-problem-07-11-3-04.pddl | 1 |
| rovers-problem-07-11-3-05.pddl | None |
| rovers-problem-07-11-4-01.pddl | None |
| rovers-problem-07-11-4-02.pddl | 1 |
| rovers-problem-07-11-4-03.pddl | 1 |
| rovers-problem-07-11-4-04.pddl | 1 |
| rovers-problem-07-11-4-05.pddl | 1 |
| rovers-problem-07-11-5-01.pddl | None |
| rovers-problem-07-11-5-02.pddl | None |
| rovers-problem-07-11-5-03.pddl | None |
| rovers-problem-07-11-5-04.pddl | None |
| rovers-problem-07-11-5-05.pddl | 1 |
| rovers-problem-07-15-01.pddl | None |
| rovers-problem-07-15-02.pddl | None |
| rovers-problem-07-15-03.pddl | None |
| rovers-problem-07-15-04.pddl | None |
| rovers-problem-07-15-05.pddl | 1 |
| rovers-problem-08-11-1-01.pddl | None |
| rovers-problem-08-11-1-02.pddl | None |
| rovers-problem-08-11-1-03.pddl | 1 |
| rovers-problem-08-11-1-04.pddl | 1 |
| rovers-problem-08-11-1-05.pddl | 1 |
| rovers-problem-08-11-2-01.pddl | None |
| rovers-problem-08-11-2-02.pddl | 1 |
| rovers-problem-08-11-2-03.pddl | 1 |
| rovers-problem-08-11-2-04.pddl | 1 |
| rovers-problem-08-11-2-05.pddl | 1 |
| rovers-problem-08-11-3-01.pddl | None |
| rovers-problem-08-11-3-02.pddl | None |
| rovers-problem-08-11-3-03.pddl | None |
| rovers-problem-08-11-3-04.pddl | None |
| rovers-problem-08-11-3-05.pddl | None |
| rovers-problem-08-11-4-01.pddl | None |
| rovers-problem-08-11-4-02.pddl | None |
| rovers-problem-08-11-4-03.pddl | 1 |
| rovers-problem-08-11-4-04.pddl | 1 |
| rovers-problem-08-11-4-05.pddl | 1 |
| rovers-problem-08-11-5-01.pddl | None |
| rovers-problem-08-11-5-02.pddl | None |
| rovers-problem-08-11-5-03.pddl | None |
| rovers-problem-08-11-5-04.pddl | None |
| rovers-problem-08-11-5-05.pddl | None |
| rovers-problem-08-15-01.pddl | None |
| rovers-problem-08-15-02.pddl | None |
| rovers-problem-08-15-03.pddl | None |
| rovers-problem-08-15-04.pddl | None |
| rovers-problem-08-15-05.pddl | 1 |
| rovers-problem-09-11-1-01.pddl | None |
| rovers-problem-09-11-1-02.pddl | None |
| rovers-problem-09-11-1-03.pddl | 1 |
| rovers-problem-09-11-1-04.pddl | 1 |
| rovers-problem-09-11-1-05.pddl | 1 |
| rovers-problem-09-11-2-01.pddl | None |
| rovers-problem-09-11-2-02.pddl | None |
| rovers-problem-09-11-2-03.pddl | 1 |
| rovers-problem-09-11-2-04.pddl | 1 |
| rovers-problem-09-11-2-05.pddl | 1 |
| rovers-problem-09-11-3-01.pddl | None |
| rovers-problem-09-11-3-02.pddl | None |
| rovers-problem-09-11-3-03.pddl | None |
| rovers-problem-09-11-3-04.pddl | None |
| rovers-problem-09-11-3-05.pddl | None |
| rovers-problem-09-11-4-01.pddl | None |
| rovers-problem-09-11-4-02.pddl | None |
| rovers-problem-09-11-4-03.pddl | None |
| rovers-problem-09-11-4-04.pddl | None |
| rovers-problem-09-11-4-05.pddl | 1 |
| rovers-problem-09-11-5-01.pddl | None |
| rovers-problem-09-11-5-02.pddl | None |
| rovers-problem-09-11-5-03.pddl | None |
| rovers-problem-09-11-5-04.pddl | None |
| rovers-problem-09-11-5-05.pddl | None |
| rovers-problem-09-15-01.pddl | None |
| rovers-problem-09-15-02.pddl | None |
| rovers-problem-09-15-03.pddl | None |
| rovers-problem-09-15-04.pddl | None |
| rovers-problem-09-15-05.pddl | None |
unsat-tpp
| initial_ |
Dead End Pot |
|---|---|
| tpp-problem-05-01.pddl | 1 |
| tpp-problem-05-02.pddl | 1 |
| tpp-problem-05-03.pddl | 1 |
| tpp-problem-05-04.pddl | 1 |
| tpp-problem-05-05.pddl | 1 |
| tpp-problem-06-01.pddl | 1 |
| tpp-problem-06-02.pddl | 1 |
| tpp-problem-06-03.pddl | 1 |
| tpp-problem-06-04.pddl | 1 |
| tpp-problem-06-05.pddl | 1 |
| tpp-problem-07-01.pddl | None |
| tpp-problem-07-02.pddl | 1 |
| tpp-problem-07-03.pddl | 1 |
| tpp-problem-07-04.pddl | None |
| tpp-problem-07-05.pddl | None |
| tpp-problem-08-01.pddl | None |
| tpp-problem-08-02.pddl | None |
| tpp-problem-08-03.pddl | 1 |
| tpp-problem-08-04.pddl | None |
| tpp-problem-08-05.pddl | None |
| tpp-problem-09-01.pddl | None |
| tpp-problem-09-02.pddl | None |
| tpp-problem-09-03.pddl | None |
| tpp-problem-09-04.pddl | None |
| tpp-problem-09-05.pddl | None |
total_time
| total_ |
Dead End Pot |
|---|---|
| 3unsat (15) | 1.10 |
| bag-barman (4) | 200.28 |
| bag-gripper (15) | 2.91 |
| bag-transport (22) | 0.03 |
| bottleneck (25) | 0.01 |
| cave-diving (7) | 0.84 |
| chessboard-pebbling (23) | 0.02 |
| document-transfer (13) | 0.04 |
| mystery (9) | 0.01 |
| over-nomystery (5) | 0.06 |
| over-rovers (5) | 0.01 |
| over-tpp (19) | 0.88 |
| pegsol (22) | 1.72 |
| pegsol-row5 (15) | 0.02 |
| sliding-tiles (10) | 68.33 |
| tetris (20) | 0.06 |
| unsat-nomystery (74) | 0.06 |
| unsat-rovers (76) | 0.01 |
| unsat-tpp (13) | 0.28 |
| Geometric mean (392) | 0.18 |
Only instances where all algorithms have a value for "total_time" are considered. Each table entry gives the geometric mean of "total_time" for that domain. The bottom row reports the geometric mean across all domains.
3unsat
| total_ |
Dead End Pot |
|---|---|
| sat-3-22-5-1.pddl | 0.02 |
| sat-3-22-5-2.pddl | 0.02 |
| sat-3-22-5-3.pddl | 0.02 |
| sat-3-22-5-4.pddl | 0.02 |
| sat-3-22-5-5.pddl | 0.02 |
| sat-3-43-10-1.pddl | 1.04 |
| sat-3-43-10-2.pddl | 1.25 |
| sat-3-43-10-3.pddl | 1.14 |
| sat-3-43-10-4.pddl | 1.16 |
| sat-3-43-10-5.pddl | 1.17 |
| sat-3-65-15-1.pddl | 48.87 |
| sat-3-65-15-2.pddl | 56.41 |
| sat-3-65-15-3.pddl | 105.20 |
| sat-3-65-15-4.pddl | 45.72 |
| sat-3-65-15-5.pddl | 42.70 |
| sat-3-86-20-1.pddl | None |
| sat-3-86-20-2.pddl | None |
| sat-3-86-20-3.pddl | None |
| sat-3-86-20-4.pddl | None |
| sat-3-86-20-5.pddl | None |
| sat-3-108-25-1.pddl | None |
| sat-3-108-25-2.pddl | None |
| sat-3-108-25-3.pddl | None |
| sat-3-108-25-4.pddl | None |
| sat-3-108-25-5.pddl | None |
| sat-3-129-30-1.pddl | None |
| sat-3-129-30-2.pddl | None |
| sat-3-129-30-3.pddl | None |
| sat-3-129-30-4.pddl | None |
| sat-3-129-30-5.pddl | None |
bag-barman
| total_ |
Dead End Pot |
|---|---|
| prob01.pddl | 207.90 |
| prob02.pddl | 199.68 |
| prob03.pddl | 202.48 |
| prob04.pddl | 191.41 |
| prob05.pddl | None |
| prob06.pddl | None |
| prob07.pddl | None |
| prob08.pddl | None |
| prob09.pddl | None |
| prob10.pddl | None |
| prob11.pddl | None |
| prob12.pddl | None |
| prob13.pddl | None |
| prob14.pddl | None |
| prob15.pddl | None |
| prob16.pddl | None |
| prob17.pddl | None |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | None |
bag-gripper
| total_ |
Dead End Pot |
|---|---|
| prob01.pddl | 0.14 |
| prob02.pddl | 0.69 |
| prob03.pddl | 2.20 |
| prob04.pddl | 10.59 |
| prob05.pddl | 0.71 |
| prob06.pddl | 5.35 |
| prob07.pddl | 4.18 |
| prob08.pddl | 0.30 |
| prob09.pddl | None |
| prob10.pddl | 5.55 |
| prob11.pddl | 19.72 |
| prob12.pddl | 3.78 |
| prob13.pddl | 11.07 |
| prob14.pddl | 18.50 |
| prob15.pddl | 1.62 |
| prob16.pddl | None |
| prob17.pddl | None |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | None |
| prob21.pddl | None |
| prob22.pddl | None |
| prob23.pddl | 6.43 |
| prob24.pddl | None |
| prob25.pddl | None |
bag-transport
| total_ |
Dead End Pot |
|---|---|
| prob01.pddl | 0.01 |
| prob02.pddl | 0.03 |
| prob03.pddl | 0.01 |
| prob04.pddl | 0.01 |
| prob05.pddl | 0.04 |
| prob06.pddl | 0.01 |
| prob07.pddl | 0.01 |
| prob08.pddl | 0.01 |
| prob09.pddl | 0.01 |
| prob10.pddl | 0.01 |
| prob11.pddl | 0.09 |
| prob12.pddl | 0.29 |
| prob13.pddl | 0.01 |
| prob14.pddl | 0.01 |
| prob15.pddl | 0.01 |
| prob16.pddl | 0.01 |
| prob17.pddl | 0.01 |
| prob18.pddl | 0.01 |
| prob19.pddl | 0.01 |
| prob20.pddl | 15.13 |
| prob21.pddl | 21.41 |
| prob22.pddl | 0.01 |
| prob23.pddl | None |
| prob24.pddl | None |
| prob25.pddl | None |
| prob26.pddl | None |
| prob27.pddl | None |
| prob28.pddl | None |
| prob29.pddl | None |
bottleneck
| total_ |
Dead End Pot |
|---|---|
| prob01.pddl | 0.01 |
| prob02.pddl | 0.01 |
| prob03.pddl | 0.01 |
| prob04.pddl | 0.01 |
| prob05.pddl | 0.01 |
| prob06.pddl | 0.01 |
| prob07.pddl | 0.01 |
| prob08.pddl | 0.01 |
| prob09.pddl | 0.01 |
| prob10.pddl | 0.01 |
| prob11.pddl | 0.01 |
| prob12.pddl | 0.01 |
| prob13.pddl | 0.01 |
| prob14.pddl | 0.01 |
| prob15.pddl | 0.01 |
| prob16.pddl | 0.01 |
| prob17.pddl | 0.01 |
| prob18.pddl | 0.01 |
| prob19.pddl | 0.01 |
| prob20.pddl | 0.01 |
| prob21.pddl | 0.01 |
| prob22.pddl | 0.01 |
| prob23.pddl | 0.01 |
| prob24.pddl | 0.01 |
| prob25.pddl | 0.01 |
cave-diving
| total_ |
Dead End Pot |
|---|---|
| prob01.pddl | None |
| prob02.pddl | 286.58 |
| prob03.pddl | 6.28 |
| prob04.pddl | 0.42 |
| prob05.pddl | 0.01 |
| prob06.pddl | None |
| prob07.pddl | None |
| prob08.pddl | None |
| prob09.pddl | None |
| prob10.pddl | 0.24 |
| prob11.pddl | None |
| prob12.pddl | None |
| prob13.pddl | None |
| prob14.pddl | None |
| prob15.pddl | 1.87 |
| prob16.pddl | None |
| prob17.pddl | None |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | 0.08 |
| prob21.pddl | None |
| prob22.pddl | None |
| prob23.pddl | None |
| prob24.pddl | None |
| prob25.pddl | None |
chessboard-pebbling
| total_ |
Dead End Pot |
|---|---|
| prob03.pddl | 0.01 |
| prob04.pddl | 0.01 |
| prob05.pddl | 0.01 |
| prob06.pddl | 0.01 |
| prob07.pddl | 0.01 |
| prob08.pddl | 0.01 |
| prob09.pddl | 0.01 |
| prob10.pddl | 0.01 |
| prob11.pddl | 0.01 |
| prob12.pddl | 0.01 |
| prob13.pddl | 0.01 |
| prob14.pddl | 0.01 |
| prob15.pddl | 0.01 |
| prob16.pddl | 0.01 |
| prob17.pddl | 0.02 |
| prob18.pddl | 0.02 |
| prob19.pddl | 0.02 |
| prob20.pddl | 0.02 |
| prob21.pddl | 0.03 |
| prob22.pddl | 0.03 |
| prob23.pddl | 0.03 |
| prob24.pddl | 0.04 |
| prob25.pddl | 0.04 |
document-transfer
| total_ |
Dead End Pot |
|---|---|
| prob01.pddl | 0.15 |
| prob02.pddl | 0.11 |
| prob03.pddl | 0.14 |
| prob04.pddl | 0.01 |
| prob05.pddl | 2.53 |
| prob06.pddl | 0.01 |
| prob07.pddl | None |
| prob08.pddl | 0.22 |
| prob09.pddl | 0.01 |
| prob10.pddl | None |
| prob11.pddl | None |
| prob12.pddl | 0.01 |
| prob13.pddl | None |
| prob14.pddl | None |
| prob15.pddl | 0.01 |
| prob16.pddl | 0.01 |
| prob17.pddl | 0.01 |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | 0.01 |
mystery
| total_ |
Dead End Pot |
|---|---|
| prob04.pddl | 0.01 |
| prob05.pddl | 0.01 |
| prob08.pddl | 0.01 |
| prob12.pddl | 0.01 |
| prob16.pddl | 0.01 |
| prob21.pddl | 0.01 |
| prob22.pddl | 0.01 |
| prob23.pddl | 0.01 |
| prob24.pddl | 0.01 |
over-nomystery
| total_ |
Dead End Pot |
|---|---|
| prob01.pddl | 0.01 |
| prob02.pddl | 0.01 |
| prob03.pddl | 0.06 |
| prob04.pddl | 0.31 |
| prob05.pddl | 0.58 |
| prob06.pddl | None |
| prob07.pddl | None |
| prob08.pddl | None |
| prob09.pddl | None |
| prob10.pddl | None |
| prob11.pddl | None |
| prob12.pddl | None |
| prob13.pddl | None |
| prob14.pddl | None |
| prob15.pddl | None |
| prob16.pddl | None |
| prob17.pddl | None |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | None |
| prob21.pddl | None |
| prob22.pddl | None |
| prob23.pddl | None |
| prob24.pddl | None |
over-rovers
| total_ |
Dead End Pot |
|---|---|
| prob01.pddl | 0.01 |
| prob02.pddl | 0.01 |
| prob03.pddl | 0.01 |
| prob04.pddl | None |
| prob05.pddl | 0.01 |
| prob06.pddl | None |
| prob07.pddl | None |
| prob08.pddl | None |
| prob09.pddl | 0.01 |
| prob10.pddl | None |
| prob11.pddl | None |
| prob12.pddl | None |
| prob13.pddl | None |
| prob14.pddl | None |
| prob15.pddl | None |
| prob16.pddl | None |
| prob17.pddl | None |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | None |
over-tpp
| total_ |
Dead End Pot |
|---|---|
| prob01.pddl | 0.01 |
| prob02.pddl | 0.01 |
| prob03.pddl | 0.01 |
| prob04.pddl | 0.02 |
| prob05.pddl | 0.02 |
| prob06.pddl | 27.61 |
| prob07.pddl | 0.05 |
| prob08.pddl | 75.00 |
| prob09.pddl | 0.06 |
| prob10.pddl | 0.24 |
| prob11.pddl | None |
| prob12.pddl | 0.21 |
| prob13.pddl | 0.34 |
| prob14.pddl | 0.54 |
| prob15.pddl | 1.86 |
| prob16.pddl | 6.49 |
| prob17.pddl | 17.43 |
| prob18.pddl | 22.11 |
| prob19.pddl | 717.46 |
| prob20.pddl | 1365.39 |
| prob21.pddl | None |
| prob22.pddl | None |
| prob23.pddl | None |
| prob24.pddl | None |
| prob25.pddl | None |
| prob26.pddl | None |
| prob27.pddl | None |
| prob28.pddl | None |
| prob29.pddl | None |
| prob30.pddl | None |
pegsol
| total_ |
Dead End Pot |
|---|---|
| prob05.pddl | 0.01 |
| prob06.pddl | 0.01 |
| prob09.pddl | 0.01 |
| prob10.pddl | 0.01 |
| prob11.pddl | 1.02 |
| prob12.pddl | 1.09 |
| prob13.pddl | 1.50 |
| prob14.pddl | 1.60 |
| prob15.pddl | 13.54 |
| prob16.pddl | 13.49 |
| prob17.pddl | 0.43 |
| prob18.pddl | 0.44 |
| prob19.pddl | 0.50 |
| prob20.pddl | 0.50 |
| prob21.pddl | 0.54 |
| prob22.pddl | 0.53 |
| prob23.pddl | 33.43 |
| prob24.pddl | 33.25 |
| prob25.pddl | 40.71 |
| prob26.pddl | 41.43 |
| prob27.pddl | 1080.75 |
| prob28.pddl | 1083.04 |
| prob29.pddl | None |
| prob30.pddl | None |
pegsol-row5
| total_ |
Dead End Pot |
|---|---|
| prob01.pddl | 0.01 |
| prob02.pddl | 0.01 |
| prob03.pddl | 0.01 |
| prob04.pddl | 0.01 |
| prob05.pddl | 0.01 |
| prob06.pddl | 0.01 |
| prob07.pddl | 0.01 |
| prob08.pddl | 0.01 |
| prob09.pddl | 0.02 |
| prob10.pddl | 0.02 |
| prob11.pddl | 0.02 |
| prob12.pddl | 0.03 |
| prob13.pddl | 0.03 |
| prob14.pddl | 0.04 |
| prob15.pddl | 0.04 |
sliding-tiles
| total_ |
Dead End Pot |
|---|---|
| prob01.pddl | 68.07 |
| prob02.pddl | 68.77 |
| prob03.pddl | 68.17 |
| prob04.pddl | 68.70 |
| prob05.pddl | 68.34 |
| prob06.pddl | 68.25 |
| prob07.pddl | 68.49 |
| prob08.pddl | 67.96 |
| prob09.pddl | 68.18 |
| prob10.pddl | 68.35 |
| prob11.pddl | None |
| prob12.pddl | None |
| prob13.pddl | None |
| prob14.pddl | None |
| prob15.pddl | None |
| prob16.pddl | None |
| prob17.pddl | None |
| prob18.pddl | None |
| prob19.pddl | None |
| prob20.pddl | None |
| prob24.pddl | None |
tetris
| total_ |
Dead End Pot |
|---|---|
| prob01.pddl | 0.01 |
| prob02.pddl | 0.01 |
| prob03.pddl | 0.01 |
| prob04.pddl | 0.01 |
| prob05.pddl | 0.01 |
| prob06.pddl | 0.06 |
| prob07.pddl | 0.07 |
| prob08.pddl | 0.07 |
| prob09.pddl | 0.07 |
| prob10.pddl | 0.07 |
| prob11.pddl | 0.08 |
| prob12.pddl | 0.08 |
| prob13.pddl | 0.08 |
| prob14.pddl | 0.08 |
| prob15.pddl | 0.08 |
| prob16.pddl | 0.21 |
| prob17.pddl | 0.23 |
| prob18.pddl | 0.21 |
| prob19.pddl | 0.21 |
| prob20.pddl | 0.21 |
unsat-nomystery
| total_ |
Dead End Pot |
|---|---|
| nomystery-problem-05-9-9-1-01.pddl | 31.76 |
| nomystery-problem-05-9-9-1-02.pddl | 0.01 |
| nomystery-problem-05-9-9-1-03.pddl | 0.01 |
| nomystery-problem-05-9-9-1-04.pddl | 0.01 |
| nomystery-problem-05-9-9-1-05.pddl | 730.76 |
| nomystery-problem-05-9-9-2-01.pddl | 0.01 |
| nomystery-problem-05-9-9-2-02.pddl | 0.01 |
| nomystery-problem-05-9-9-2-03.pddl | 0.01 |
| nomystery-problem-05-9-9-2-04.pddl | 0.01 |
| nomystery-problem-05-9-9-2-05.pddl | 0.01 |
| nomystery-problem-05-9-9-3-01.pddl | 0.01 |
| nomystery-problem-05-9-9-3-02.pddl | 0.01 |
| nomystery-problem-05-9-9-3-03.pddl | 0.01 |
| nomystery-problem-05-9-9-3-04.pddl | 0.01 |
| nomystery-problem-05-9-9-3-05.pddl | 0.01 |
| nomystery-problem-05-9-9-4-01.pddl | 0.01 |
| nomystery-problem-05-9-9-4-02.pddl | 0.01 |
| nomystery-problem-05-9-9-4-03.pddl | 0.01 |
| nomystery-problem-05-9-9-4-04.pddl | 0.01 |
| nomystery-problem-05-9-9-4-05.pddl | 0.01 |
| nomystery-problem-05-9-9-5-01.pddl | 0.01 |
| nomystery-problem-05-9-9-5-02.pddl | 0.01 |
| nomystery-problem-05-9-9-5-03.pddl | 0.01 |
| nomystery-problem-05-9-9-5-04.pddl | 0.01 |
| nomystery-problem-05-9-9-5-05.pddl | 0.01 |
| nomystery-problem-05-12-15-01.pddl | 0.03 |
| nomystery-problem-05-12-15-02.pddl | 0.04 |
| nomystery-problem-05-12-15-03.pddl | 18.83 |
| nomystery-problem-05-12-15-04.pddl | 0.07 |
| nomystery-problem-05-12-15-05.pddl | 78.97 |
| nomystery-problem-06-9-9-1-01.pddl | None |
| nomystery-problem-06-9-9-1-02.pddl | 0.02 |
| nomystery-problem-06-9-9-1-03.pddl | 0.02 |
| nomystery-problem-06-9-9-1-04.pddl | 0.01 |
| nomystery-problem-06-9-9-1-05.pddl | None |
| nomystery-problem-06-9-9-2-01.pddl | 19.05 |
| nomystery-problem-06-9-9-2-02.pddl | 0.01 |
| nomystery-problem-06-9-9-2-03.pddl | 0.01 |
| nomystery-problem-06-9-9-2-04.pddl | 0.01 |
| nomystery-problem-06-9-9-2-05.pddl | 0.01 |
| nomystery-problem-06-9-9-3-01.pddl | 203.25 |
| nomystery-problem-06-9-9-3-02.pddl | 0.01 |
| nomystery-problem-06-9-9-3-03.pddl | 0.01 |
| nomystery-problem-06-9-9-3-04.pddl | 0.01 |
| nomystery-problem-06-9-9-3-05.pddl | 0.01 |
| nomystery-problem-06-9-9-4-01.pddl | None |
| nomystery-problem-06-9-9-4-02.pddl | 0.01 |
| nomystery-problem-06-9-9-4-03.pddl | 0.01 |
| nomystery-problem-06-9-9-4-04.pddl | 0.01 |
| nomystery-problem-06-9-9-4-05.pddl | 0.01 |
| nomystery-problem-06-9-9-5-01.pddl | 301.46 |
| nomystery-problem-06-9-9-5-02.pddl | 0.01 |
| nomystery-problem-06-9-9-5-03.pddl | 0.01 |
| nomystery-problem-06-9-9-5-04.pddl | 0.01 |
| nomystery-problem-06-9-9-5-05.pddl | 0.01 |
| nomystery-problem-06-12-15-01.pddl | None |
| nomystery-problem-06-12-15-02.pddl | 0.06 |
| nomystery-problem-06-12-15-03.pddl | None |
| nomystery-problem-06-12-15-04.pddl | 89.85 |
| nomystery-problem-06-12-15-05.pddl | None |
| nomystery-problem-07-9-9-1-01.pddl | None |
| nomystery-problem-07-9-9-1-02.pddl | None |
| nomystery-problem-07-9-9-1-03.pddl | None |
| nomystery-problem-07-9-9-1-04.pddl | 0.01 |
| nomystery-problem-07-9-9-1-05.pddl | None |
| nomystery-problem-07-9-9-2-01.pddl | 455.91 |
| nomystery-problem-07-9-9-2-02.pddl | 260.59 |
| nomystery-problem-07-9-9-2-03.pddl | 0.02 |
| nomystery-problem-07-9-9-2-04.pddl | 0.01 |
| nomystery-problem-07-9-9-2-05.pddl | 0.01 |
| nomystery-problem-07-9-9-3-01.pddl | None |
| nomystery-problem-07-9-9-3-02.pddl | None |
| nomystery-problem-07-9-9-3-03.pddl | 0.01 |
| nomystery-problem-07-9-9-3-04.pddl | 0.01 |
| nomystery-problem-07-9-9-3-05.pddl | 0.01 |
| nomystery-problem-07-9-9-4-01.pddl | None |
| nomystery-problem-07-9-9-4-02.pddl | None |
| nomystery-problem-07-9-9-4-03.pddl | 0.01 |
| nomystery-problem-07-9-9-4-04.pddl | 0.01 |
| nomystery-problem-07-9-9-4-05.pddl | 0.02 |
| nomystery-problem-07-9-9-5-01.pddl | None |
| nomystery-problem-07-9-9-5-02.pddl | None |
| nomystery-problem-07-9-9-5-03.pddl | 0.01 |
| nomystery-problem-07-9-9-5-04.pddl | 0.01 |
| nomystery-problem-07-9-9-5-05.pddl | 994.42 |
| nomystery-problem-07-12-15-01.pddl | None |
| nomystery-problem-07-12-15-02.pddl | 507.88 |
| nomystery-problem-07-12-15-03.pddl | None |
| nomystery-problem-07-12-15-04.pddl | None |
| nomystery-problem-07-12-15-05.pddl | None |
| nomystery-problem-08-9-9-1-01.pddl | None |
| nomystery-problem-08-9-9-1-02.pddl | None |
| nomystery-problem-08-9-9-1-03.pddl | None |
| nomystery-problem-08-9-9-1-04.pddl | None |
| nomystery-problem-08-9-9-1-05.pddl | None |
| nomystery-problem-08-9-9-2-01.pddl | None |
| nomystery-problem-08-9-9-2-02.pddl | None |
| nomystery-problem-08-9-9-2-03.pddl | None |
| nomystery-problem-08-9-9-2-04.pddl | 0.02 |
| nomystery-problem-08-9-9-2-05.pddl | 0.01 |
| nomystery-problem-08-9-9-3-01.pddl | None |
| nomystery-problem-08-9-9-3-02.pddl | None |
| nomystery-problem-08-9-9-3-03.pddl | None |
| nomystery-problem-08-9-9-3-04.pddl | 0.01 |
| nomystery-problem-08-9-9-3-05.pddl | None |
| nomystery-problem-08-9-9-4-01.pddl | None |
| nomystery-problem-08-9-9-4-02.pddl | None |
| nomystery-problem-08-9-9-4-03.pddl | None |
| nomystery-problem-08-9-9-4-04.pddl | None |
| nomystery-problem-08-9-9-4-05.pddl | None |
| nomystery-problem-08-9-9-5-01.pddl | None |
| nomystery-problem-08-9-9-5-02.pddl | None |
| nomystery-problem-08-9-9-5-03.pddl | None |
| nomystery-problem-08-9-9-5-04.pddl | 0.01 |
| nomystery-problem-08-9-9-5-05.pddl | None |
| nomystery-problem-08-12-15-01.pddl | None |
| nomystery-problem-08-12-15-02.pddl | None |
| nomystery-problem-08-12-15-03.pddl | None |
| nomystery-problem-08-12-15-04.pddl | None |
| nomystery-problem-08-12-15-05.pddl | None |
| nomystery-problem-09-9-9-1-01.pddl | None |
| nomystery-problem-09-9-9-1-02.pddl | None |
| nomystery-problem-09-9-9-1-03.pddl | None |
| nomystery-problem-09-9-9-1-04.pddl | None |
| nomystery-problem-09-9-9-1-05.pddl | None |
| nomystery-problem-09-9-9-2-01.pddl | None |
| nomystery-problem-09-9-9-2-02.pddl | None |
| nomystery-problem-09-9-9-2-03.pddl | None |
| nomystery-problem-09-9-9-2-04.pddl | None |
| nomystery-problem-09-9-9-2-05.pddl | None |
| nomystery-problem-09-9-9-3-01.pddl | None |
| nomystery-problem-09-9-9-3-02.pddl | None |
| nomystery-problem-09-9-9-3-03.pddl | None |
| nomystery-problem-09-9-9-3-04.pddl | None |
| nomystery-problem-09-9-9-3-05.pddl | None |
| nomystery-problem-09-9-9-4-01.pddl | None |
| nomystery-problem-09-9-9-4-02.pddl | None |
| nomystery-problem-09-9-9-4-03.pddl | None |
| nomystery-problem-09-9-9-4-04.pddl | None |
| nomystery-problem-09-9-9-4-05.pddl | None |
| nomystery-problem-09-9-9-5-01.pddl | None |
| nomystery-problem-09-9-9-5-02.pddl | None |
| nomystery-problem-09-9-9-5-03.pddl | None |
| nomystery-problem-09-9-9-5-04.pddl | None |
| nomystery-problem-09-9-9-5-05.pddl | None |
| nomystery-problem-09-12-15-01.pddl | None |
| nomystery-problem-09-12-15-02.pddl | None |
| nomystery-problem-09-12-15-03.pddl | None |
| nomystery-problem-09-12-15-04.pddl | None |
| nomystery-problem-09-12-15-05.pddl | None |
unsat-rovers
| total_ |
Dead End Pot |
|---|---|
| rovers-problem-05-11-1-01.pddl | 0.01 |
| rovers-problem-05-11-1-02.pddl | 0.01 |
| rovers-problem-05-11-1-03.pddl | 0.01 |
| rovers-problem-05-11-1-04.pddl | 0.01 |
| rovers-problem-05-11-1-05.pddl | 0.01 |
| rovers-problem-05-11-2-01.pddl | 0.01 |
| rovers-problem-05-11-2-02.pddl | 0.01 |
| rovers-problem-05-11-2-03.pddl | 0.01 |
| rovers-problem-05-11-2-04.pddl | 0.01 |
| rovers-problem-05-11-2-05.pddl | 0.01 |
| rovers-problem-05-11-3-01.pddl | None |
| rovers-problem-05-11-3-02.pddl | 0.01 |
| rovers-problem-05-11-3-03.pddl | 0.01 |
| rovers-problem-05-11-3-04.pddl | 0.01 |
| rovers-problem-05-11-3-05.pddl | 0.01 |
| rovers-problem-05-11-4-01.pddl | 0.01 |
| rovers-problem-05-11-4-02.pddl | 0.01 |
| rovers-problem-05-11-4-03.pddl | 0.01 |
| rovers-problem-05-11-4-04.pddl | 0.01 |
| rovers-problem-05-11-4-05.pddl | 0.01 |
| rovers-problem-05-11-5-01.pddl | None |
| rovers-problem-05-11-5-02.pddl | 0.01 |
| rovers-problem-05-11-5-03.pddl | 0.01 |
| rovers-problem-05-11-5-04.pddl | 0.01 |
| rovers-problem-05-11-5-05.pddl | 0.01 |
| rovers-problem-05-15-01.pddl | None |
| rovers-problem-05-15-02.pddl | None |
| rovers-problem-05-15-03.pddl | None |
| rovers-problem-05-15-04.pddl | None |
| rovers-problem-05-15-05.pddl | 0.01 |
| rovers-problem-06-11-1-01.pddl | 0.01 |
| rovers-problem-06-11-1-02.pddl | 0.01 |
| rovers-problem-06-11-1-03.pddl | 0.01 |
| rovers-problem-06-11-1-04.pddl | 0.01 |
| rovers-problem-06-11-1-05.pddl | 0.01 |
| rovers-problem-06-11-2-01.pddl | None |
| rovers-problem-06-11-2-02.pddl | 0.01 |
| rovers-problem-06-11-2-03.pddl | 0.01 |
| rovers-problem-06-11-2-04.pddl | 0.01 |
| rovers-problem-06-11-2-05.pddl | 0.01 |
| rovers-problem-06-11-3-01.pddl | None |
| rovers-problem-06-11-3-02.pddl | None |
| rovers-problem-06-11-3-03.pddl | None |
| rovers-problem-06-11-3-04.pddl | 0.01 |
| rovers-problem-06-11-3-05.pddl | 0.01 |
| rovers-problem-06-11-4-01.pddl | None |
| rovers-problem-06-11-4-02.pddl | 0.01 |
| rovers-problem-06-11-4-03.pddl | 0.01 |
| rovers-problem-06-11-4-04.pddl | 0.01 |
| rovers-problem-06-11-4-05.pddl | 0.01 |
| rovers-problem-06-11-5-01.pddl | None |
| rovers-problem-06-11-5-02.pddl | None |
| rovers-problem-06-11-5-03.pddl | 0.01 |
| rovers-problem-06-11-5-04.pddl | 0.01 |
| rovers-problem-06-11-5-05.pddl | 0.01 |
| rovers-problem-06-15-01.pddl | None |
| rovers-problem-06-15-02.pddl | None |
| rovers-problem-06-15-03.pddl | None |
| rovers-problem-06-15-04.pddl | None |
| rovers-problem-06-15-05.pddl | 0.01 |
| rovers-problem-07-11-1-01.pddl | None |
| rovers-problem-07-11-1-02.pddl | 0.01 |
| rovers-problem-07-11-1-03.pddl | 0.01 |
| rovers-problem-07-11-1-04.pddl | 0.01 |
| rovers-problem-07-11-1-05.pddl | 0.01 |
| rovers-problem-07-11-2-01.pddl | None |
| rovers-problem-07-11-2-02.pddl | 0.01 |
| rovers-problem-07-11-2-03.pddl | 0.01 |
| rovers-problem-07-11-2-04.pddl | 0.01 |
| rovers-problem-07-11-2-05.pddl | 0.01 |
| rovers-problem-07-11-3-01.pddl | None |
| rovers-problem-07-11-3-02.pddl | None |
| rovers-problem-07-11-3-03.pddl | None |
| rovers-problem-07-11-3-04.pddl | 0.01 |
| rovers-problem-07-11-3-05.pddl | None |
| rovers-problem-07-11-4-01.pddl | None |
| rovers-problem-07-11-4-02.pddl | 0.01 |
| rovers-problem-07-11-4-03.pddl | 0.01 |
| rovers-problem-07-11-4-04.pddl | 0.01 |
| rovers-problem-07-11-4-05.pddl | 0.01 |
| rovers-problem-07-11-5-01.pddl | None |
| rovers-problem-07-11-5-02.pddl | None |
| rovers-problem-07-11-5-03.pddl | None |
| rovers-problem-07-11-5-04.pddl | None |
| rovers-problem-07-11-5-05.pddl | 0.01 |
| rovers-problem-07-15-01.pddl | None |
| rovers-problem-07-15-02.pddl | None |
| rovers-problem-07-15-03.pddl | None |
| rovers-problem-07-15-04.pddl | None |
| rovers-problem-07-15-05.pddl | 0.01 |
| rovers-problem-08-11-1-01.pddl | None |
| rovers-problem-08-11-1-02.pddl | None |
| rovers-problem-08-11-1-03.pddl | 0.01 |
| rovers-problem-08-11-1-04.pddl | 0.01 |
| rovers-problem-08-11-1-05.pddl | 0.01 |
| rovers-problem-08-11-2-01.pddl | None |
| rovers-problem-08-11-2-02.pddl | 0.01 |
| rovers-problem-08-11-2-03.pddl | 0.01 |
| rovers-problem-08-11-2-04.pddl | 0.01 |
| rovers-problem-08-11-2-05.pddl | 0.01 |
| rovers-problem-08-11-3-01.pddl | None |
| rovers-problem-08-11-3-02.pddl | None |
| rovers-problem-08-11-3-03.pddl | None |
| rovers-problem-08-11-3-04.pddl | None |
| rovers-problem-08-11-3-05.pddl | None |
| rovers-problem-08-11-4-01.pddl | None |
| rovers-problem-08-11-4-02.pddl | None |
| rovers-problem-08-11-4-03.pddl | 0.01 |
| rovers-problem-08-11-4-04.pddl | 0.01 |
| rovers-problem-08-11-4-05.pddl | 0.01 |
| rovers-problem-08-11-5-01.pddl | None |
| rovers-problem-08-11-5-02.pddl | None |
| rovers-problem-08-11-5-03.pddl | None |
| rovers-problem-08-11-5-04.pddl | None |
| rovers-problem-08-11-5-05.pddl | None |
| rovers-problem-08-15-01.pddl | None |
| rovers-problem-08-15-02.pddl | None |
| rovers-problem-08-15-03.pddl | None |
| rovers-problem-08-15-04.pddl | None |
| rovers-problem-08-15-05.pddl | 0.01 |
| rovers-problem-09-11-1-01.pddl | None |
| rovers-problem-09-11-1-02.pddl | None |
| rovers-problem-09-11-1-03.pddl | 0.01 |
| rovers-problem-09-11-1-04.pddl | 0.01 |
| rovers-problem-09-11-1-05.pddl | 0.01 |
| rovers-problem-09-11-2-01.pddl | None |
| rovers-problem-09-11-2-02.pddl | None |
| rovers-problem-09-11-2-03.pddl | 0.01 |
| rovers-problem-09-11-2-04.pddl | 0.01 |
| rovers-problem-09-11-2-05.pddl | 0.01 |
| rovers-problem-09-11-3-01.pddl | None |
| rovers-problem-09-11-3-02.pddl | None |
| rovers-problem-09-11-3-03.pddl | None |
| rovers-problem-09-11-3-04.pddl | None |
| rovers-problem-09-11-3-05.pddl | None |
| rovers-problem-09-11-4-01.pddl | None |
| rovers-problem-09-11-4-02.pddl | None |
| rovers-problem-09-11-4-03.pddl | None |
| rovers-problem-09-11-4-04.pddl | None |
| rovers-problem-09-11-4-05.pddl | 0.01 |
| rovers-problem-09-11-5-01.pddl | None |
| rovers-problem-09-11-5-02.pddl | None |
| rovers-problem-09-11-5-03.pddl | None |
| rovers-problem-09-11-5-04.pddl | None |
| rovers-problem-09-11-5-05.pddl | None |
| rovers-problem-09-15-01.pddl | None |
| rovers-problem-09-15-02.pddl | None |
| rovers-problem-09-15-03.pddl | None |
| rovers-problem-09-15-04.pddl | None |
| rovers-problem-09-15-05.pddl | None |
unsat-tpp
| total_ |
Dead End Pot |
|---|---|
| tpp-problem-05-01.pddl | 0.10 |
| tpp-problem-05-02.pddl | 0.36 |
| tpp-problem-05-03.pddl | 0.01 |
| tpp-problem-05-04.pddl | 0.01 |
| tpp-problem-05-05.pddl | 0.01 |
| tpp-problem-06-01.pddl | 3.91 |
| tpp-problem-06-02.pddl | 0.53 |
| tpp-problem-06-03.pddl | 0.01 |
| tpp-problem-06-04.pddl | 0.01 |
| tpp-problem-06-05.pddl | 9.16 |
| tpp-problem-07-01.pddl | None |
| tpp-problem-07-02.pddl | 2.76 |
| tpp-problem-07-03.pddl | 14.29 |
| tpp-problem-07-04.pddl | None |
| tpp-problem-07-05.pddl | None |
| tpp-problem-08-01.pddl | None |
| tpp-problem-08-02.pddl | None |
| tpp-problem-08-03.pddl | 19.45 |
| tpp-problem-08-04.pddl | None |
| tpp-problem-08-05.pddl | None |
| tpp-problem-09-01.pddl | None |
| tpp-problem-09-02.pddl | None |
| tpp-problem-09-03.pddl | None |
| tpp-problem-09-04.pddl | None |
| tpp-problem-09-05.pddl | None |
unsolvable
| unsolvable | Dead End Pot |
|---|---|
| 3unsat (30) | 15 |
| bag-barman (20) | 4 |
| bag-gripper (25) | 15 |
| bag-transport (29) | 22 |
| bottleneck (25) | 25 |
| cave-diving (25) | 7 |
| chessboard-pebbling (23) | 23 |
| document-transfer (20) | 13 |
| mystery (9) | 9 |
| over-nomystery (24) | 5 |
| over-rovers (20) | 5 |
| over-tpp (30) | 19 |
| pegsol (24) | 22 |
| pegsol-row5 (15) | 15 |
| sliding-tiles (21) | 10 |
| tetris (20) | 20 |
| unsat-nomystery (150) | 74 |
| unsat-rovers (150) | 76 |
| unsat-tpp (25) | 13 |
| Sum (685) | 392 |
The bottom row reports the sum across all domains.
3unsat
| unsolvable | Dead End Pot |
|---|---|
| sat-3-22-5-1.pddl | 1 |
| sat-3-22-5-2.pddl | 1 |
| sat-3-22-5-3.pddl | 1 |
| sat-3-22-5-4.pddl | 1 |
| sat-3-22-5-5.pddl | 1 |
| sat-3-43-10-1.pddl | 1 |
| sat-3-43-10-2.pddl | 1 |
| sat-3-43-10-3.pddl | 1 |
| sat-3-43-10-4.pddl | 1 |
| sat-3-43-10-5.pddl | 1 |
| sat-3-65-15-1.pddl | 1 |
| sat-3-65-15-2.pddl | 1 |
| sat-3-65-15-3.pddl | 1 |
| sat-3-65-15-4.pddl | 1 |
| sat-3-65-15-5.pddl | 1 |
| sat-3-86-20-1.pddl | 0 |
| sat-3-86-20-2.pddl | 0 |
| sat-3-86-20-3.pddl | 0 |
| sat-3-86-20-4.pddl | 0 |
| sat-3-86-20-5.pddl | 0 |
| sat-3-108-25-1.pddl | 0 |
| sat-3-108-25-2.pddl | 0 |
| sat-3-108-25-3.pddl | 0 |
| sat-3-108-25-4.pddl | 0 |
| sat-3-108-25-5.pddl | 0 |
| sat-3-129-30-1.pddl | 0 |
| sat-3-129-30-2.pddl | 0 |
| sat-3-129-30-3.pddl | 0 |
| sat-3-129-30-4.pddl | 0 |
| sat-3-129-30-5.pddl | 0 |
bag-barman
| unsolvable | Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 0 |
| prob06.pddl | 0 |
| prob07.pddl | 0 |
| prob08.pddl | 0 |
| prob09.pddl | 0 |
| prob10.pddl | 0 |
| prob11.pddl | 0 |
| prob12.pddl | 0 |
| prob13.pddl | 0 |
| prob14.pddl | 0 |
| prob15.pddl | 0 |
| prob16.pddl | 0 |
| prob17.pddl | 0 |
| prob18.pddl | 0 |
| prob19.pddl | 0 |
| prob20.pddl | 0 |
bag-gripper
| unsolvable | Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob07.pddl | 1 |
| prob08.pddl | 1 |
| prob09.pddl | 0 |
| prob10.pddl | 1 |
| prob11.pddl | 1 |
| prob12.pddl | 1 |
| prob13.pddl | 1 |
| prob14.pddl | 1 |
| prob15.pddl | 1 |
| prob16.pddl | 0 |
| prob17.pddl | 0 |
| prob18.pddl | 0 |
| prob19.pddl | 0 |
| prob20.pddl | 0 |
| prob21.pddl | 0 |
| prob22.pddl | 0 |
| prob23.pddl | 1 |
| prob24.pddl | 0 |
| prob25.pddl | 0 |
bag-transport
| unsolvable | Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob07.pddl | 1 |
| prob08.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | 1 |
| prob11.pddl | 1 |
| prob12.pddl | 1 |
| prob13.pddl | 1 |
| prob14.pddl | 1 |
| prob15.pddl | 1 |
| prob16.pddl | 1 |
| prob17.pddl | 1 |
| prob18.pddl | 1 |
| prob19.pddl | 1 |
| prob20.pddl | 1 |
| prob21.pddl | 1 |
| prob22.pddl | 1 |
| prob23.pddl | 0 |
| prob24.pddl | 0 |
| prob25.pddl | 0 |
| prob26.pddl | 0 |
| prob27.pddl | 0 |
| prob28.pddl | 0 |
| prob29.pddl | 0 |
bottleneck
| unsolvable | Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob07.pddl | 1 |
| prob08.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | 1 |
| prob11.pddl | 1 |
| prob12.pddl | 1 |
| prob13.pddl | 1 |
| prob14.pddl | 1 |
| prob15.pddl | 1 |
| prob16.pddl | 1 |
| prob17.pddl | 1 |
| prob18.pddl | 1 |
| prob19.pddl | 1 |
| prob20.pddl | 1 |
| prob21.pddl | 1 |
| prob22.pddl | 1 |
| prob23.pddl | 1 |
| prob24.pddl | 1 |
| prob25.pddl | 1 |
cave-diving
| unsolvable | Dead End Pot |
|---|---|
| prob01.pddl | 0 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 0 |
| prob07.pddl | 0 |
| prob08.pddl | 0 |
| prob09.pddl | 0 |
| prob10.pddl | 1 |
| prob11.pddl | 0 |
| prob12.pddl | 0 |
| prob13.pddl | 0 |
| prob14.pddl | 0 |
| prob15.pddl | 1 |
| prob16.pddl | 0 |
| prob17.pddl | 0 |
| prob18.pddl | 0 |
| prob19.pddl | 0 |
| prob20.pddl | 1 |
| prob21.pddl | 0 |
| prob22.pddl | 0 |
| prob23.pddl | 0 |
| prob24.pddl | 0 |
| prob25.pddl | 0 |
chessboard-pebbling
| unsolvable | Dead End Pot |
|---|---|
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob07.pddl | 1 |
| prob08.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | 1 |
| prob11.pddl | 1 |
| prob12.pddl | 1 |
| prob13.pddl | 1 |
| prob14.pddl | 1 |
| prob15.pddl | 1 |
| prob16.pddl | 1 |
| prob17.pddl | 1 |
| prob18.pddl | 1 |
| prob19.pddl | 1 |
| prob20.pddl | 1 |
| prob21.pddl | 1 |
| prob22.pddl | 1 |
| prob23.pddl | 1 |
| prob24.pddl | 1 |
| prob25.pddl | 1 |
document-transfer
| unsolvable | Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob07.pddl | 0 |
| prob08.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | 0 |
| prob11.pddl | 0 |
| prob12.pddl | 1 |
| prob13.pddl | 0 |
| prob14.pddl | 0 |
| prob15.pddl | 1 |
| prob16.pddl | 1 |
| prob17.pddl | 1 |
| prob18.pddl | 0 |
| prob19.pddl | 0 |
| prob20.pddl | 1 |
mystery
| unsolvable | Dead End Pot |
|---|---|
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob08.pddl | 1 |
| prob12.pddl | 1 |
| prob16.pddl | 1 |
| prob21.pddl | 1 |
| prob22.pddl | 1 |
| prob23.pddl | 1 |
| prob24.pddl | 1 |
over-nomystery
| unsolvable | Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 0 |
| prob07.pddl | 0 |
| prob08.pddl | 0 |
| prob09.pddl | 0 |
| prob10.pddl | 0 |
| prob11.pddl | 0 |
| prob12.pddl | 0 |
| prob13.pddl | 0 |
| prob14.pddl | 0 |
| prob15.pddl | 0 |
| prob16.pddl | 0 |
| prob17.pddl | 0 |
| prob18.pddl | 0 |
| prob19.pddl | 0 |
| prob20.pddl | 0 |
| prob21.pddl | 0 |
| prob22.pddl | 0 |
| prob23.pddl | 0 |
| prob24.pddl | 0 |
over-rovers
| unsolvable | Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 0 |
| prob05.pddl | 1 |
| prob06.pddl | 0 |
| prob07.pddl | 0 |
| prob08.pddl | 0 |
| prob09.pddl | 1 |
| prob10.pddl | 0 |
| prob11.pddl | 0 |
| prob12.pddl | 0 |
| prob13.pddl | 0 |
| prob14.pddl | 0 |
| prob15.pddl | 0 |
| prob16.pddl | 0 |
| prob17.pddl | 0 |
| prob18.pddl | 0 |
| prob19.pddl | 0 |
| prob20.pddl | 0 |
over-tpp
| unsolvable | Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob07.pddl | 1 |
| prob08.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | 1 |
| prob11.pddl | 0 |
| prob12.pddl | 1 |
| prob13.pddl | 1 |
| prob14.pddl | 1 |
| prob15.pddl | 1 |
| prob16.pddl | 1 |
| prob17.pddl | 1 |
| prob18.pddl | 1 |
| prob19.pddl | 1 |
| prob20.pddl | 1 |
| prob21.pddl | 0 |
| prob22.pddl | 0 |
| prob23.pddl | 0 |
| prob24.pddl | 0 |
| prob25.pddl | 0 |
| prob26.pddl | 0 |
| prob27.pddl | 0 |
| prob28.pddl | 0 |
| prob29.pddl | 0 |
| prob30.pddl | 0 |
pegsol
| unsolvable | Dead End Pot |
|---|---|
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | 1 |
| prob11.pddl | 1 |
| prob12.pddl | 1 |
| prob13.pddl | 1 |
| prob14.pddl | 1 |
| prob15.pddl | 1 |
| prob16.pddl | 1 |
| prob17.pddl | 1 |
| prob18.pddl | 1 |
| prob19.pddl | 1 |
| prob20.pddl | 1 |
| prob21.pddl | 1 |
| prob22.pddl | 1 |
| prob23.pddl | 1 |
| prob24.pddl | 1 |
| prob25.pddl | 1 |
| prob26.pddl | 1 |
| prob27.pddl | 1 |
| prob28.pddl | 1 |
| prob29.pddl | 0 |
| prob30.pddl | 0 |
pegsol-row5
| unsolvable | Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob07.pddl | 1 |
| prob08.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | 1 |
| prob11.pddl | 1 |
| prob12.pddl | 1 |
| prob13.pddl | 1 |
| prob14.pddl | 1 |
| prob15.pddl | 1 |
sliding-tiles
| unsolvable | Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob07.pddl | 1 |
| prob08.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | 1 |
| prob11.pddl | 0 |
| prob12.pddl | 0 |
| prob13.pddl | 0 |
| prob14.pddl | 0 |
| prob15.pddl | 0 |
| prob16.pddl | 0 |
| prob17.pddl | 0 |
| prob18.pddl | 0 |
| prob19.pddl | 0 |
| prob20.pddl | 0 |
| prob24.pddl | 0 |
tetris
| unsolvable | Dead End Pot |
|---|---|
| prob01.pddl | 1 |
| prob02.pddl | 1 |
| prob03.pddl | 1 |
| prob04.pddl | 1 |
| prob05.pddl | 1 |
| prob06.pddl | 1 |
| prob07.pddl | 1 |
| prob08.pddl | 1 |
| prob09.pddl | 1 |
| prob10.pddl | 1 |
| prob11.pddl | 1 |
| prob12.pddl | 1 |
| prob13.pddl | 1 |
| prob14.pddl | 1 |
| prob15.pddl | 1 |
| prob16.pddl | 1 |
| prob17.pddl | 1 |
| prob18.pddl | 1 |
| prob19.pddl | 1 |
| prob20.pddl | 1 |
unsat-nomystery
| unsolvable | Dead End Pot |
|---|---|
| nomystery-problem-05-9-9-1-01.pddl | 1 |
| nomystery-problem-05-9-9-1-02.pddl | 1 |
| nomystery-problem-05-9-9-1-03.pddl | 1 |
| nomystery-problem-05-9-9-1-04.pddl | 1 |
| nomystery-problem-05-9-9-1-05.pddl | 1 |
| nomystery-problem-05-9-9-2-01.pddl | 1 |
| nomystery-problem-05-9-9-2-02.pddl | 1 |
| nomystery-problem-05-9-9-2-03.pddl | 1 |
| nomystery-problem-05-9-9-2-04.pddl | 1 |
| nomystery-problem-05-9-9-2-05.pddl | 1 |
| nomystery-problem-05-9-9-3-01.pddl | 1 |
| nomystery-problem-05-9-9-3-02.pddl | 1 |
| nomystery-problem-05-9-9-3-03.pddl | 1 |
| nomystery-problem-05-9-9-3-04.pddl | 1 |
| nomystery-problem-05-9-9-3-05.pddl | 1 |
| nomystery-problem-05-9-9-4-01.pddl | 1 |
| nomystery-problem-05-9-9-4-02.pddl | 1 |
| nomystery-problem-05-9-9-4-03.pddl | 1 |
| nomystery-problem-05-9-9-4-04.pddl | 1 |
| nomystery-problem-05-9-9-4-05.pddl | 1 |
| nomystery-problem-05-9-9-5-01.pddl | 1 |
| nomystery-problem-05-9-9-5-02.pddl | 1 |
| nomystery-problem-05-9-9-5-03.pddl | 1 |
| nomystery-problem-05-9-9-5-04.pddl | 1 |
| nomystery-problem-05-9-9-5-05.pddl | 1 |
| nomystery-problem-05-12-15-01.pddl | 1 |
| nomystery-problem-05-12-15-02.pddl | 1 |
| nomystery-problem-05-12-15-03.pddl | 1 |
| nomystery-problem-05-12-15-04.pddl | 1 |
| nomystery-problem-05-12-15-05.pddl | 1 |
| nomystery-problem-06-9-9-1-01.pddl | 0 |
| nomystery-problem-06-9-9-1-02.pddl | 1 |
| nomystery-problem-06-9-9-1-03.pddl | 1 |
| nomystery-problem-06-9-9-1-04.pddl | 1 |
| nomystery-problem-06-9-9-1-05.pddl | 0 |
| nomystery-problem-06-9-9-2-01.pddl | 1 |
| nomystery-problem-06-9-9-2-02.pddl | 1 |
| nomystery-problem-06-9-9-2-03.pddl | 1 |
| nomystery-problem-06-9-9-2-04.pddl | 1 |
| nomystery-problem-06-9-9-2-05.pddl | 1 |
| nomystery-problem-06-9-9-3-01.pddl | 1 |
| nomystery-problem-06-9-9-3-02.pddl | 1 |
| nomystery-problem-06-9-9-3-03.pddl | 1 |
| nomystery-problem-06-9-9-3-04.pddl | 1 |
| nomystery-problem-06-9-9-3-05.pddl | 1 |
| nomystery-problem-06-9-9-4-01.pddl | 0 |
| nomystery-problem-06-9-9-4-02.pddl | 1 |
| nomystery-problem-06-9-9-4-03.pddl | 1 |
| nomystery-problem-06-9-9-4-04.pddl | 1 |
| nomystery-problem-06-9-9-4-05.pddl | 1 |
| nomystery-problem-06-9-9-5-01.pddl | 1 |
| nomystery-problem-06-9-9-5-02.pddl | 1 |
| nomystery-problem-06-9-9-5-03.pddl | 1 |
| nomystery-problem-06-9-9-5-04.pddl | 1 |
| nomystery-problem-06-9-9-5-05.pddl | 1 |
| nomystery-problem-06-12-15-01.pddl | 0 |
| nomystery-problem-06-12-15-02.pddl | 1 |
| nomystery-problem-06-12-15-03.pddl | 0 |
| nomystery-problem-06-12-15-04.pddl | 1 |
| nomystery-problem-06-12-15-05.pddl | 0 |
| nomystery-problem-07-9-9-1-01.pddl | 0 |
| nomystery-problem-07-9-9-1-02.pddl | 0 |
| nomystery-problem-07-9-9-1-03.pddl | 0 |
| nomystery-problem-07-9-9-1-04.pddl | 1 |
| nomystery-problem-07-9-9-1-05.pddl | 0 |
| nomystery-problem-07-9-9-2-01.pddl | 1 |
| nomystery-problem-07-9-9-2-02.pddl | 1 |
| nomystery-problem-07-9-9-2-03.pddl | 1 |
| nomystery-problem-07-9-9-2-04.pddl | 1 |
| nomystery-problem-07-9-9-2-05.pddl | 1 |
| nomystery-problem-07-9-9-3-01.pddl | 0 |
| nomystery-problem-07-9-9-3-02.pddl | 0 |
| nomystery-problem-07-9-9-3-03.pddl | 1 |
| nomystery-problem-07-9-9-3-04.pddl | 1 |
| nomystery-problem-07-9-9-3-05.pddl | 1 |
| nomystery-problem-07-9-9-4-01.pddl | 0 |
| nomystery-problem-07-9-9-4-02.pddl | 0 |
| nomystery-problem-07-9-9-4-03.pddl | 1 |
| nomystery-problem-07-9-9-4-04.pddl | 1 |
| nomystery-problem-07-9-9-4-05.pddl | 1 |
| nomystery-problem-07-9-9-5-01.pddl | 0 |
| nomystery-problem-07-9-9-5-02.pddl | 0 |
| nomystery-problem-07-9-9-5-03.pddl | 1 |
| nomystery-problem-07-9-9-5-04.pddl | 1 |
| nomystery-problem-07-9-9-5-05.pddl | 1 |
| nomystery-problem-07-12-15-01.pddl | 0 |
| nomystery-problem-07-12-15-02.pddl | 1 |
| nomystery-problem-07-12-15-03.pddl | 0 |
| nomystery-problem-07-12-15-04.pddl | 0 |
| nomystery-problem-07-12-15-05.pddl | 0 |
| nomystery-problem-08-9-9-1-01.pddl | 0 |
| nomystery-problem-08-9-9-1-02.pddl | 0 |
| nomystery-problem-08-9-9-1-03.pddl | 0 |
| nomystery-problem-08-9-9-1-04.pddl | 0 |
| nomystery-problem-08-9-9-1-05.pddl | 0 |
| nomystery-problem-08-9-9-2-01.pddl | 0 |
| nomystery-problem-08-9-9-2-02.pddl | 0 |
| nomystery-problem-08-9-9-2-03.pddl | 0 |
| nomystery-problem-08-9-9-2-04.pddl | 1 |
| nomystery-problem-08-9-9-2-05.pddl | 1 |
| nomystery-problem-08-9-9-3-01.pddl | 0 |
| nomystery-problem-08-9-9-3-02.pddl | 0 |
| nomystery-problem-08-9-9-3-03.pddl | 0 |
| nomystery-problem-08-9-9-3-04.pddl | 1 |
| nomystery-problem-08-9-9-3-05.pddl | 0 |
| nomystery-problem-08-9-9-4-01.pddl | 0 |
| nomystery-problem-08-9-9-4-02.pddl | 0 |
| nomystery-problem-08-9-9-4-03.pddl | 0 |
| nomystery-problem-08-9-9-4-04.pddl | 0 |
| nomystery-problem-08-9-9-4-05.pddl | 0 |
| nomystery-problem-08-9-9-5-01.pddl | 0 |
| nomystery-problem-08-9-9-5-02.pddl | 0 |
| nomystery-problem-08-9-9-5-03.pddl | 0 |
| nomystery-problem-08-9-9-5-04.pddl | 1 |
| nomystery-problem-08-9-9-5-05.pddl | 0 |
| nomystery-problem-08-12-15-01.pddl | 0 |
| nomystery-problem-08-12-15-02.pddl | 0 |
| nomystery-problem-08-12-15-03.pddl | 0 |
| nomystery-problem-08-12-15-04.pddl | 0 |
| nomystery-problem-08-12-15-05.pddl | 0 |
| nomystery-problem-09-9-9-1-01.pddl | 0 |
| nomystery-problem-09-9-9-1-02.pddl | 0 |
| nomystery-problem-09-9-9-1-03.pddl | 0 |
| nomystery-problem-09-9-9-1-04.pddl | 0 |
| nomystery-problem-09-9-9-1-05.pddl | 0 |
| nomystery-problem-09-9-9-2-01.pddl | 0 |
| nomystery-problem-09-9-9-2-02.pddl | 0 |
| nomystery-problem-09-9-9-2-03.pddl | 0 |
| nomystery-problem-09-9-9-2-04.pddl | 0 |
| nomystery-problem-09-9-9-2-05.pddl | 0 |
| nomystery-problem-09-9-9-3-01.pddl | 0 |
| nomystery-problem-09-9-9-3-02.pddl | 0 |
| nomystery-problem-09-9-9-3-03.pddl | 0 |
| nomystery-problem-09-9-9-3-04.pddl | 0 |
| nomystery-problem-09-9-9-3-05.pddl | 0 |
| nomystery-problem-09-9-9-4-01.pddl | 0 |
| nomystery-problem-09-9-9-4-02.pddl | 0 |
| nomystery-problem-09-9-9-4-03.pddl | 0 |
| nomystery-problem-09-9-9-4-04.pddl | 0 |
| nomystery-problem-09-9-9-4-05.pddl | 0 |
| nomystery-problem-09-9-9-5-01.pddl | 0 |
| nomystery-problem-09-9-9-5-02.pddl | 0 |
| nomystery-problem-09-9-9-5-03.pddl | 0 |
| nomystery-problem-09-9-9-5-04.pddl | 0 |
| nomystery-problem-09-9-9-5-05.pddl | 0 |
| nomystery-problem-09-12-15-01.pddl | 0 |
| nomystery-problem-09-12-15-02.pddl | 0 |
| nomystery-problem-09-12-15-03.pddl | 0 |
| nomystery-problem-09-12-15-04.pddl | 0 |
| nomystery-problem-09-12-15-05.pddl | 0 |
unsat-rovers
| unsolvable | Dead End Pot |
|---|---|
| rovers-problem-05-11-1-01.pddl | 1 |
| rovers-problem-05-11-1-02.pddl | 1 |
| rovers-problem-05-11-1-03.pddl | 1 |
| rovers-problem-05-11-1-04.pddl | 1 |
| rovers-problem-05-11-1-05.pddl | 1 |
| rovers-problem-05-11-2-01.pddl | 1 |
| rovers-problem-05-11-2-02.pddl | 1 |
| rovers-problem-05-11-2-03.pddl | 1 |
| rovers-problem-05-11-2-04.pddl | 1 |
| rovers-problem-05-11-2-05.pddl | 1 |
| rovers-problem-05-11-3-01.pddl | 0 |
| rovers-problem-05-11-3-02.pddl | 1 |
| rovers-problem-05-11-3-03.pddl | 1 |
| rovers-problem-05-11-3-04.pddl | 1 |
| rovers-problem-05-11-3-05.pddl | 1 |
| rovers-problem-05-11-4-01.pddl | 1 |
| rovers-problem-05-11-4-02.pddl | 1 |
| rovers-problem-05-11-4-03.pddl | 1 |
| rovers-problem-05-11-4-04.pddl | 1 |
| rovers-problem-05-11-4-05.pddl | 1 |
| rovers-problem-05-11-5-01.pddl | 0 |
| rovers-problem-05-11-5-02.pddl | 1 |
| rovers-problem-05-11-5-03.pddl | 1 |
| rovers-problem-05-11-5-04.pddl | 1 |
| rovers-problem-05-11-5-05.pddl | 1 |
| rovers-problem-05-15-01.pddl | 0 |
| rovers-problem-05-15-02.pddl | 0 |
| rovers-problem-05-15-03.pddl | 0 |
| rovers-problem-05-15-04.pddl | 0 |
| rovers-problem-05-15-05.pddl | 1 |
| rovers-problem-06-11-1-01.pddl | 1 |
| rovers-problem-06-11-1-02.pddl | 1 |
| rovers-problem-06-11-1-03.pddl | 1 |
| rovers-problem-06-11-1-04.pddl | 1 |
| rovers-problem-06-11-1-05.pddl | 1 |
| rovers-problem-06-11-2-01.pddl | 0 |
| rovers-problem-06-11-2-02.pddl | 1 |
| rovers-problem-06-11-2-03.pddl | 1 |
| rovers-problem-06-11-2-04.pddl | 1 |
| rovers-problem-06-11-2-05.pddl | 1 |
| rovers-problem-06-11-3-01.pddl | 0 |
| rovers-problem-06-11-3-02.pddl | 0 |
| rovers-problem-06-11-3-03.pddl | 0 |
| rovers-problem-06-11-3-04.pddl | 1 |
| rovers-problem-06-11-3-05.pddl | 1 |
| rovers-problem-06-11-4-01.pddl | 0 |
| rovers-problem-06-11-4-02.pddl | 1 |
| rovers-problem-06-11-4-03.pddl | 1 |
| rovers-problem-06-11-4-04.pddl | 1 |
| rovers-problem-06-11-4-05.pddl | 1 |
| rovers-problem-06-11-5-01.pddl | 0 |
| rovers-problem-06-11-5-02.pddl | 0 |
| rovers-problem-06-11-5-03.pddl | 1 |
| rovers-problem-06-11-5-04.pddl | 1 |
| rovers-problem-06-11-5-05.pddl | 1 |
| rovers-problem-06-15-01.pddl | 0 |
| rovers-problem-06-15-02.pddl | 0 |
| rovers-problem-06-15-03.pddl | 0 |
| rovers-problem-06-15-04.pddl | 0 |
| rovers-problem-06-15-05.pddl | 1 |
| rovers-problem-07-11-1-01.pddl | 0 |
| rovers-problem-07-11-1-02.pddl | 1 |
| rovers-problem-07-11-1-03.pddl | 1 |
| rovers-problem-07-11-1-04.pddl | 1 |
| rovers-problem-07-11-1-05.pddl | 1 |
| rovers-problem-07-11-2-01.pddl | 0 |
| rovers-problem-07-11-2-02.pddl | 1 |
| rovers-problem-07-11-2-03.pddl | 1 |
| rovers-problem-07-11-2-04.pddl | 1 |
| rovers-problem-07-11-2-05.pddl | 1 |
| rovers-problem-07-11-3-01.pddl | 0 |
| rovers-problem-07-11-3-02.pddl | 0 |
| rovers-problem-07-11-3-03.pddl | 0 |
| rovers-problem-07-11-3-04.pddl | 1 |
| rovers-problem-07-11-3-05.pddl | 0 |
| rovers-problem-07-11-4-01.pddl | 0 |
| rovers-problem-07-11-4-02.pddl | 1 |
| rovers-problem-07-11-4-03.pddl | 1 |
| rovers-problem-07-11-4-04.pddl | 1 |
| rovers-problem-07-11-4-05.pddl | 1 |
| rovers-problem-07-11-5-01.pddl | 0 |
| rovers-problem-07-11-5-02.pddl | 0 |
| rovers-problem-07-11-5-03.pddl | 0 |
| rovers-problem-07-11-5-04.pddl | 0 |
| rovers-problem-07-11-5-05.pddl | 1 |
| rovers-problem-07-15-01.pddl | 0 |
| rovers-problem-07-15-02.pddl | 0 |
| rovers-problem-07-15-03.pddl | 0 |
| rovers-problem-07-15-04.pddl | 0 |
| rovers-problem-07-15-05.pddl | 1 |
| rovers-problem-08-11-1-01.pddl | 0 |
| rovers-problem-08-11-1-02.pddl | 0 |
| rovers-problem-08-11-1-03.pddl | 1 |
| rovers-problem-08-11-1-04.pddl | 1 |
| rovers-problem-08-11-1-05.pddl | 1 |
| rovers-problem-08-11-2-01.pddl | 0 |
| rovers-problem-08-11-2-02.pddl | 1 |
| rovers-problem-08-11-2-03.pddl | 1 |
| rovers-problem-08-11-2-04.pddl | 1 |
| rovers-problem-08-11-2-05.pddl | 1 |
| rovers-problem-08-11-3-01.pddl | 0 |
| rovers-problem-08-11-3-02.pddl | 0 |
| rovers-problem-08-11-3-03.pddl | 0 |
| rovers-problem-08-11-3-04.pddl | 0 |
| rovers-problem-08-11-3-05.pddl | 0 |
| rovers-problem-08-11-4-01.pddl | 0 |
| rovers-problem-08-11-4-02.pddl | 0 |
| rovers-problem-08-11-4-03.pddl | 1 |
| rovers-problem-08-11-4-04.pddl | 1 |
| rovers-problem-08-11-4-05.pddl | 1 |
| rovers-problem-08-11-5-01.pddl | 0 |
| rovers-problem-08-11-5-02.pddl | 0 |
| rovers-problem-08-11-5-03.pddl | 0 |
| rovers-problem-08-11-5-04.pddl | 0 |
| rovers-problem-08-11-5-05.pddl | 0 |
| rovers-problem-08-15-01.pddl | 0 |
| rovers-problem-08-15-02.pddl | 0 |
| rovers-problem-08-15-03.pddl | 0 |
| rovers-problem-08-15-04.pddl | 0 |
| rovers-problem-08-15-05.pddl | 1 |
| rovers-problem-09-11-1-01.pddl | 0 |
| rovers-problem-09-11-1-02.pddl | 0 |
| rovers-problem-09-11-1-03.pddl | 1 |
| rovers-problem-09-11-1-04.pddl | 1 |
| rovers-problem-09-11-1-05.pddl | 1 |
| rovers-problem-09-11-2-01.pddl | 0 |
| rovers-problem-09-11-2-02.pddl | 0 |
| rovers-problem-09-11-2-03.pddl | 1 |
| rovers-problem-09-11-2-04.pddl | 1 |
| rovers-problem-09-11-2-05.pddl | 1 |
| rovers-problem-09-11-3-01.pddl | 0 |
| rovers-problem-09-11-3-02.pddl | 0 |
| rovers-problem-09-11-3-03.pddl | 0 |
| rovers-problem-09-11-3-04.pddl | 0 |
| rovers-problem-09-11-3-05.pddl | 0 |
| rovers-problem-09-11-4-01.pddl | 0 |
| rovers-problem-09-11-4-02.pddl | 0 |
| rovers-problem-09-11-4-03.pddl | 0 |
| rovers-problem-09-11-4-04.pddl | 0 |
| rovers-problem-09-11-4-05.pddl | 1 |
| rovers-problem-09-11-5-01.pddl | 0 |
| rovers-problem-09-11-5-02.pddl | 0 |
| rovers-problem-09-11-5-03.pddl | 0 |
| rovers-problem-09-11-5-04.pddl | 0 |
| rovers-problem-09-11-5-05.pddl | 0 |
| rovers-problem-09-15-01.pddl | 0 |
| rovers-problem-09-15-02.pddl | 0 |
| rovers-problem-09-15-03.pddl | 0 |
| rovers-problem-09-15-04.pddl | 0 |
| rovers-problem-09-15-05.pddl | 0 |
unsat-tpp
| unsolvable | Dead End Pot |
|---|---|
| tpp-problem-05-01.pddl | 1 |
| tpp-problem-05-02.pddl | 1 |
| tpp-problem-05-03.pddl | 1 |
| tpp-problem-05-04.pddl | 1 |
| tpp-problem-05-05.pddl | 1 |
| tpp-problem-06-01.pddl | 1 |
| tpp-problem-06-02.pddl | 1 |
| tpp-problem-06-03.pddl | 1 |
| tpp-problem-06-04.pddl | 1 |
| tpp-problem-06-05.pddl | 1 |
| tpp-problem-07-01.pddl | 0 |
| tpp-problem-07-02.pddl | 1 |
| tpp-problem-07-03.pddl | 1 |
| tpp-problem-07-04.pddl | 0 |
| tpp-problem-07-05.pddl | 0 |
| tpp-problem-08-01.pddl | 0 |
| tpp-problem-08-02.pddl | 0 |
| tpp-problem-08-03.pddl | 1 |
| tpp-problem-08-04.pddl | 0 |
| tpp-problem-08-05.pddl | 0 |
| tpp-problem-09-01.pddl | 0 |
| tpp-problem-09-02.pddl | 0 |
| tpp-problem-09-03.pddl | 0 |
| tpp-problem-09-04.pddl | 0 |
| tpp-problem-09-05.pddl | 0 |