- Unexplained Errors
- Info
- Summary
- error
  - error-critical-error error-out-of-memory error-timeout error-unsolvable 3unsat bag-barman bag-gripper bag-transport bottleneck cave-diving chessboard-pebbling document-transfer mystery over-nomystery over-rovers over-tpp pegsol pegsol-row5 sliding-tiles tetris unsat-nomystery unsat-rovers unsat-tpp
- expansions
  - 3unsat bag-barman bag-gripper bag-transport bottleneck cave-diving chessboard-pebbling document-transfer mystery over-nomystery over-rovers over-tpp pegsol pegsol-row5 sliding-tiles tetris unsat-nomystery unsat-rovers unsat-tpp
- initial_state_dead
  - 3unsat bag-barman bag-gripper bag-transport bottleneck cave-diving chessboard-pebbling document-transfer mystery over-nomystery over-rovers over-tpp pegsol pegsol-row5 sliding-tiles tetris unsat-nomystery unsat-rovers unsat-tpp
- total_time
  - 3unsat bag-barman bag-gripper bag-transport bottleneck cave-diving chessboard-pebbling document-transfer mystery over-nomystery over-rovers over-tpp pegsol pegsol-row5 sliding-tiles tetris unsat-nomystery unsat-rovers unsat-tpp
- unsolvable
  - 3unsat bag-barman bag-gripper bag-transport bottleneck cave-diving chessboard-pebbling document-transfer mystery over-nomystery over-rovers over-tpp pegsol pegsol-row5 sliding-tiles tetris unsat-nomystery unsat-rovers unsat-tpp

# unexplained-errors

Unexplained errors | domain | problem | algorithm | unexplained_errors | error | planner_wall_clock_time | raw_memory | 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_revision | global_revision | build_options | driver_options | component_options
--- | --- | --- | --- | --- | ---
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_state_dead | 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_state_dead | 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_state_dead | 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_state_dead | 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_state_dead | 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_state_dead | 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_state_dead | 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_state_dead | 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_state_dead | 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_state_dead | 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_state_dead | 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_state_dead | 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_state_dead | 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_state_dead | 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_state_dead | 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_state_dead | 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_state_dead | 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_state_dead | 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_state_dead | 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_state_dead | 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_time | 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_time | 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_time | 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_time | 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_time | 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_time | 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_time | 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_time | 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_time | 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_time | 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_time | 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_time | 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_time | 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_time | 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_time | 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_time | 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_time | 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_time | 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_time | 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_time | 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