- Unexplained Errors
- Info
- Summary
- error
  - error-critical-error error-timeout error-timeout-and-out-of-memory 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

# 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 | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 31.06 | ? | ase16.cluster.bc2.ch
runs-00001-00100/00052 | bag-gripper | prob02.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 96.41 | ? | ase08.cluster.bc2.ch
runs-00001-00100/00053 | bag-gripper | prob03.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 1036.00 | ? | ase14.cluster.bc2.ch
runs-00001-00100/00054 | bag-gripper | prob04.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 164.51 | ? | ase13.cluster.bc2.ch
runs-00001-00100/00055 | bag-gripper | prob05.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 101.61 | ? | ase01.cluster.bc2.ch
runs-00001-00100/00056 | bag-gripper | prob06.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 274.67 | ? | ase19.cluster.bc2.ch
runs-00001-00100/00057 | bag-gripper | prob07.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 1040.18 | ? | ase01.cluster.bc2.ch
runs-00001-00100/00058 | bag-gripper | prob08.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 71.17 | ? | ase18.cluster.bc2.ch
runs-00001-00100/00059 | bag-gripper | prob09.pddl | AIDOS | ['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: MemoryError During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 683, in File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 673, in main File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 567, in pddl_to_sas File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/simplify.py", line 522, in filter_unreachable_propositions File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/simplify.py", line 238, in apply_to_task File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/simplify.py", line 307, in apply_to_operators MemoryError '] | critical-error | 172.11 | ? | ase09.cluster.bc2.ch
runs-00001-00100/00060 | bag-gripper | prob10.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 179.32 | ? | ase11.cluster.bc2.ch
runs-00001-00100/00061 | bag-gripper | prob11.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 251.26 | ? | ase11.cluster.bc2.ch
runs-00001-00100/00062 | bag-gripper | prob12.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 280.72 | ? | ase04.cluster.bc2.ch
runs-00001-00100/00063 | bag-gripper | prob13.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 326.99 | ? | ase05.cluster.bc2.ch
runs-00001-00100/00064 | bag-gripper | prob14.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 295.01 | ? | ase03.cluster.bc2.ch
runs-00001-00100/00065 | bag-gripper | prob15.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 130.79 | ? | ase09.cluster.bc2.ch
runs-00001-00100/00066 | bag-gripper | prob16.pddl | AIDOS | ['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/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_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/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_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: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 683, in File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 673, in main File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 517, in pddl_to_sas File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/instantiate.py", line 78, in explore MemoryError '] | critical-error | 127.71 | ? | ase05.cluster.bc2.ch
runs-00001-00100/00067 | bag-gripper | prob17.pddl | AIDOS | ['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/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/pddl/conditions.py", line 270, 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/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_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 | 121.86 | ? | ase22.cluster.bc2.ch
runs-00001-00100/00068 | bag-gripper | prob18.pddl | AIDOS | ['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/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/simplify.py", line 386, in translate_operator File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/sas_tasks.py", line 259, in __init__ File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_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: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_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 | 166.68 | ? | ase22.cluster.bc2.ch
runs-00001-00100/00069 | bag-gripper | prob19.pddl | AIDOS | ['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/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/pddl/conditions.py", line 270, 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/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_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 | 120.22 | ? | ase20.cluster.bc2.ch
runs-00001-00100/00070 | bag-gripper | prob20.pddl | AIDOS | ['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/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 323, in build_sas_operator File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/sas_tasks.py", line 259, in __init__ File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_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: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 683, in File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 673, in main File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 557, in pddl_to_sas MemoryError '] | critical-error | 161.18 | ? | ase14.cluster.bc2.ch
runs-00001-00100/00071 | bag-gripper | prob21.pddl | AIDOS | ['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/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/timers.py", line 34, in timing File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/instantiate.py", line 78, in explore File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/instantiate.py", line 55, in instantiate MemoryError During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 683, in File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 673, in main File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 517, in pddl_to_sas File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/instantiate.py", line 78, in explore MemoryError '] | critical-error | 124.13 | ? | ase24.cluster.bc2.ch
runs-00001-00100/00072 | bag-gripper | prob22.pddl | AIDOS | ['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/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_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 | 119.64 | ? | ase11.cluster.bc2.ch
runs-00001-00100/00073 | bag-gripper | prob23.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 1092.15 | ? | ase13.cluster.bc2.ch
runs-00001-00100/00074 | bag-gripper | prob24.pddl | AIDOS | ['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/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_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 | 117.82 | ? | ase04.cluster.bc2.ch
runs-00001-00100/00075 | bag-gripper | prob25.pddl | AIDOS | ['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/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 683, in main() File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 673, in main sas_task = pddl_to_sas(task) File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/translate.py", line 517, in pddl_to_sas reachable_action_params) = instantiate.explore(task) File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/instantiate.py", line 78, in explore return instantiate(task, model) File "/infai/chrrem00/aidos/experiments/parity/data/aidos-1/code-eb068e77b12259fb366cd449376198b079bf59c2_3ae27883/builds/aidos_ipc/bin/translate/instantiate.py", line 53, in instantiate reachable_action_parameters[action].append(inst_parameters) MemoryError '] | critical-error | 122.50 | ? | ase09.cluster.bc2.ch
runs-00101-00200/00130 | cave-diving | prob01.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 1325.80 | ? | ase22.cluster.bc2.ch
runs-00101-00200/00131 | cave-diving | prob02.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 4.80 | ? | ase06.cluster.bc2.ch
runs-00101-00200/00132 | cave-diving | prob03.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 3.13 | ? | ase17.cluster.bc2.ch
runs-00101-00200/00133 | cave-diving | prob04.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 0.64 | ? | ase03.cluster.bc2.ch
runs-00101-00200/00134 | cave-diving | prob05.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 2.37 | ? | ase22.cluster.bc2.ch
runs-00101-00200/00135 | cave-diving | prob06.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | timeout-and-out-of-memory | 1800.88 | ? | ase08.cluster.bc2.ch
runs-00101-00200/00136 | cave-diving | prob07.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | timeout-and-out-of-memory | 1800.99 | ? | ase13.cluster.bc2.ch
runs-00101-00200/00137 | cave-diving | prob08.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | timeout-and-out-of-memory | 1800.57 | ? | ase20.cluster.bc2.ch
runs-00101-00200/00138 | cave-diving | prob09.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | timeout-and-out-of-memory | 1804.78 | ? | ase02.cluster.bc2.ch
runs-00101-00200/00139 | cave-diving | prob10.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 0.51 | ? | ase16.cluster.bc2.ch
runs-00101-00200/00140 | cave-diving | prob11.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | timeout-and-out-of-memory | 1801.23 | ? | ase07.cluster.bc2.ch
runs-00101-00200/00141 | cave-diving | prob12.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | timeout-and-out-of-memory | 1801.47 | ? | ase18.cluster.bc2.ch
runs-00101-00200/00142 | cave-diving | prob13.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | timeout-and-out-of-memory | 1803.10 | ? | ase04.cluster.bc2.ch
runs-00101-00200/00143 | cave-diving | prob14.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | timeout-and-out-of-memory | 1802.07 | ? | ase11.cluster.bc2.ch
runs-00101-00200/00144 | cave-diving | prob15.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 2.44 | ? | ase01.cluster.bc2.ch
runs-00101-00200/00145 | cave-diving | prob16.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | timeout-and-out-of-memory | 1801.33 | ? | ase14.cluster.bc2.ch
runs-00101-00200/00146 | cave-diving | prob17.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | timeout-and-out-of-memory | 1800.82 | ? | ase19.cluster.bc2.ch
runs-00101-00200/00147 | cave-diving | prob18.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | timeout-and-out-of-memory | 1800.94 | ? | ase17.cluster.bc2.ch
runs-00101-00200/00148 | cave-diving | prob19.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | timeout-and-out-of-memory | 1801.58 | ? | ase17.cluster.bc2.ch
runs-00101-00200/00149 | cave-diving | prob20.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | unsolvable | 1.19 | ? | ase17.cluster.bc2.ch
runs-00101-00200/00150 | cave-diving | prob21.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | timeout-and-out-of-memory | 1800.74 | ? | ase13.cluster.bc2.ch
runs-00101-00200/00151 | cave-diving | prob22.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | timeout-and-out-of-memory | 1801.86 | ? | ase02.cluster.bc2.ch
runs-00101-00200/00152 | cave-diving | prob23.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | timeout-and-out-of-memory | 1800.56 | ? | ase13.cluster.bc2.ch
runs-00101-00200/00153 | cave-diving | prob24.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | timeout-and-out-of-memory | 1802.02 | ? | ase18.cluster.bc2.ch
runs-00101-00200/00154 | cave-diving | prob25.pddl | AIDOS | ['run.err: Warning: :constants specification not allowed here (cf. PDDL BNF) '] | timeout-and-out-of-memory | 1803.06 | ? | ase10.cluster.bc2.ch

# info

algorithm | local_revision | global_revision | build_options | driver_options
--- | --- | --- | --- | ---
AIDOS | master | eb068e77b12259fb366cd449376198b079bf59c2 | ['aidos_ipc'] | ['--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--build', 'aidos_ipc', '--portfolio', '/infai/chrrem00/aidos/driver/portfolios/seq_unsolvable_aidos_1.py']

Used nodes: {ase01, ..., ase11, ase13, ..., ase20, ase22, ..., ase24}

# summary

Summary | AIDOS
--- | ---
error-critical-error - Sum | 10
error-timeout - Sum | 1
error-timeout-and-out-of-memory - Sum | 81
error-unsolvable - Sum | 593

# error

## error-critical-error

error-critical-error | AIDOS
--- | ---
3unsat | 0
bag-barman | 0
bag-gripper | 10
bag-transport | 0
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 | 10

## error-timeout

error-timeout | AIDOS
--- | ---
3unsat | 0
bag-barman | 0
bag-gripper | 0
bag-transport | 0
bottleneck | 0
cave-diving | 0
chessboard-pebbling | 0
document-transfer | 0
mystery | 0
over-nomystery | 0
over-rovers | 0
over-tpp | 1
pegsol | 0
pegsol-row5 | 0
sliding-tiles | 0
tetris | 0
unsat-nomystery | 0
unsat-rovers | 0
unsat-tpp | 0
Sum | 1

## error-timeout-and-out-of-memory

error-timeout-and-out-of-memory | AIDOS
--- | ---
3unsat | 0
bag-barman | 8
bag-gripper | 0
bag-transport | 6
bottleneck | 0
cave-diving | 17
chessboard-pebbling | 0
document-transfer | 7
mystery | 0
over-nomystery | 10
over-rovers | 7
over-tpp | 3
pegsol | 0
pegsol-row5 | 0
sliding-tiles | 11
tetris | 0
unsat-nomystery | 1
unsat-rovers | 11
unsat-tpp | 0
Sum | 81

## error-unsolvable

error-unsolvable | AIDOS
--- | ---
3unsat | 30
bag-barman | 12
bag-gripper | 15
bag-transport | 23
bottleneck | 25
cave-diving | 8
chessboard-pebbling | 23
document-transfer | 13
mystery | 9
over-nomystery | 14
over-rovers | 13
over-tpp | 26
pegsol | 24
pegsol-row5 | 15
sliding-tiles | 10
tetris | 20
unsat-nomystery | 149
unsat-rovers | 139
unsat-tpp | 25
Sum | 593

## 3unsat

error | AIDOS
--- | ---
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 | unsolvable
sat-3-86-20-2.pddl | unsolvable
sat-3-86-20-3.pddl | unsolvable
sat-3-86-20-4.pddl | unsolvable
sat-3-86-20-5.pddl | unsolvable
sat-3-108-25-1.pddl | unsolvable
sat-3-108-25-2.pddl | unsolvable
sat-3-108-25-3.pddl | unsolvable
sat-3-108-25-4.pddl | unsolvable
sat-3-108-25-5.pddl | unsolvable
sat-3-129-30-1.pddl | unsolvable
sat-3-129-30-2.pddl | unsolvable
sat-3-129-30-3.pddl | unsolvable
sat-3-129-30-4.pddl | unsolvable
sat-3-129-30-5.pddl | unsolvable

## bag-barman

error | AIDOS
--- | ---
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 | timeout-and-out-of-memory
prob14.pddl | timeout-and-out-of-memory
prob15.pddl | timeout-and-out-of-memory
prob16.pddl | timeout-and-out-of-memory
prob17.pddl | timeout-and-out-of-memory
prob18.pddl | timeout-and-out-of-memory
prob19.pddl | timeout-and-out-of-memory
prob20.pddl | timeout-and-out-of-memory

## bag-gripper

error | AIDOS
--- | ---
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 | AIDOS
--- | ---
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 | timeout-and-out-of-memory
prob24.pddl | timeout-and-out-of-memory
prob25.pddl | timeout-and-out-of-memory
prob26.pddl | unsolvable
prob27.pddl | timeout-and-out-of-memory
prob28.pddl | timeout-and-out-of-memory
prob29.pddl | timeout-and-out-of-memory

## bottleneck

error | AIDOS
--- | ---
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 | AIDOS
--- | ---
prob01.pddl | unsolvable
prob02.pddl | unsolvable
prob03.pddl | unsolvable
prob04.pddl | unsolvable
prob05.pddl | unsolvable
prob06.pddl | timeout-and-out-of-memory
prob07.pddl | timeout-and-out-of-memory
prob08.pddl | timeout-and-out-of-memory
prob09.pddl | timeout-and-out-of-memory
prob10.pddl | unsolvable
prob11.pddl | timeout-and-out-of-memory
prob12.pddl | timeout-and-out-of-memory
prob13.pddl | timeout-and-out-of-memory
prob14.pddl | timeout-and-out-of-memory
prob15.pddl | unsolvable
prob16.pddl | timeout-and-out-of-memory
prob17.pddl | timeout-and-out-of-memory
prob18.pddl | timeout-and-out-of-memory
prob19.pddl | timeout-and-out-of-memory
prob20.pddl | unsolvable
prob21.pddl | timeout-and-out-of-memory
prob22.pddl | timeout-and-out-of-memory
prob23.pddl | timeout-and-out-of-memory
prob24.pddl | timeout-and-out-of-memory
prob25.pddl | timeout-and-out-of-memory

## chessboard-pebbling

error | AIDOS
--- | ---
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 | AIDOS
--- | ---
prob01.pddl | unsolvable
prob02.pddl | unsolvable
prob03.pddl | unsolvable
prob04.pddl | unsolvable
prob05.pddl | unsolvable
prob06.pddl | unsolvable
prob07.pddl | timeout-and-out-of-memory
prob08.pddl | unsolvable
prob09.pddl | unsolvable
prob10.pddl | timeout-and-out-of-memory
prob11.pddl | timeout-and-out-of-memory
prob12.pddl | unsolvable
prob13.pddl | timeout-and-out-of-memory
prob14.pddl | timeout-and-out-of-memory
prob15.pddl | unsolvable
prob16.pddl | unsolvable
prob17.pddl | unsolvable
prob18.pddl | timeout-and-out-of-memory
prob19.pddl | timeout-and-out-of-memory
prob20.pddl | unsolvable

## mystery

error | AIDOS
--- | ---
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 | AIDOS
--- | ---
prob01.pddl | unsolvable
prob02.pddl | unsolvable
prob03.pddl | unsolvable
prob04.pddl | unsolvable
prob05.pddl | unsolvable
prob06.pddl | unsolvable
prob07.pddl | unsolvable
prob08.pddl | timeout-and-out-of-memory
prob09.pddl | timeout-and-out-of-memory
prob10.pddl | timeout-and-out-of-memory
prob11.pddl | unsolvable
prob12.pddl | unsolvable
prob13.pddl | timeout-and-out-of-memory
prob14.pddl | timeout-and-out-of-memory
prob15.pddl | timeout-and-out-of-memory
prob16.pddl | unsolvable
prob17.pddl | unsolvable
prob18.pddl | timeout-and-out-of-memory
prob19.pddl | timeout-and-out-of-memory
prob20.pddl | timeout-and-out-of-memory
prob21.pddl | unsolvable
prob22.pddl | unsolvable
prob23.pddl | unsolvable
prob24.pddl | timeout-and-out-of-memory

## over-rovers

error | AIDOS
--- | ---
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 | timeout-and-out-of-memory
prob14.pddl | timeout-and-out-of-memory
prob15.pddl | timeout-and-out-of-memory
prob16.pddl | timeout-and-out-of-memory
prob17.pddl | unsolvable
prob18.pddl | timeout-and-out-of-memory
prob19.pddl | timeout-and-out-of-memory
prob20.pddl | timeout-and-out-of-memory

## over-tpp

error | AIDOS
--- | ---
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
prob26.pddl | timeout-and-out-of-memory
prob27.pddl | timeout
prob28.pddl | unsolvable
prob29.pddl | timeout-and-out-of-memory
prob30.pddl | timeout-and-out-of-memory

## pegsol

error | AIDOS
--- | ---
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 | unsolvable
prob30.pddl | unsolvable

## pegsol-row5

error | AIDOS
--- | ---
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 | AIDOS
--- | ---
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-and-out-of-memory
prob12.pddl | timeout-and-out-of-memory
prob13.pddl | timeout-and-out-of-memory
prob14.pddl | timeout-and-out-of-memory
prob15.pddl | timeout-and-out-of-memory
prob16.pddl | timeout-and-out-of-memory
prob17.pddl | timeout-and-out-of-memory
prob18.pddl | timeout-and-out-of-memory
prob19.pddl | timeout-and-out-of-memory
prob20.pddl | timeout-and-out-of-memory
prob24.pddl | timeout-and-out-of-memory

## tetris

error | AIDOS
--- | ---
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 | AIDOS
--- | ---
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 | unsolvable
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 | unsolvable
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 | unsolvable
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 | unsolvable
nomystery-problem-06-12-15-02.pddl | unsolvable
nomystery-problem-06-12-15-03.pddl | unsolvable
nomystery-problem-06-12-15-04.pddl | unsolvable
nomystery-problem-06-12-15-05.pddl | unsolvable
nomystery-problem-07-9-9-1-01.pddl | unsolvable
nomystery-problem-07-9-9-1-02.pddl | unsolvable
nomystery-problem-07-9-9-1-03.pddl | unsolvable
nomystery-problem-07-9-9-1-04.pddl | unsolvable
nomystery-problem-07-9-9-1-05.pddl | unsolvable
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 | unsolvable
nomystery-problem-07-9-9-3-02.pddl | unsolvable
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 | unsolvable
nomystery-problem-07-9-9-4-02.pddl | unsolvable
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 | unsolvable
nomystery-problem-07-9-9-5-02.pddl | unsolvable
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 | unsolvable
nomystery-problem-07-12-15-02.pddl | unsolvable
nomystery-problem-07-12-15-03.pddl | unsolvable
nomystery-problem-07-12-15-04.pddl | unsolvable
nomystery-problem-07-12-15-05.pddl | unsolvable
nomystery-problem-08-9-9-1-01.pddl | unsolvable
nomystery-problem-08-9-9-1-02.pddl | unsolvable
nomystery-problem-08-9-9-1-03.pddl | unsolvable
nomystery-problem-08-9-9-1-04.pddl | unsolvable
nomystery-problem-08-9-9-1-05.pddl | unsolvable
nomystery-problem-08-9-9-2-01.pddl | unsolvable
nomystery-problem-08-9-9-2-02.pddl | unsolvable
nomystery-problem-08-9-9-2-03.pddl | unsolvable
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 | unsolvable
nomystery-problem-08-9-9-3-02.pddl | unsolvable
nomystery-problem-08-9-9-3-03.pddl | unsolvable
nomystery-problem-08-9-9-3-04.pddl | unsolvable
nomystery-problem-08-9-9-3-05.pddl | unsolvable
nomystery-problem-08-9-9-4-01.pddl | unsolvable
nomystery-problem-08-9-9-4-02.pddl | unsolvable
nomystery-problem-08-9-9-4-03.pddl | unsolvable
nomystery-problem-08-9-9-4-04.pddl | unsolvable
nomystery-problem-08-9-9-4-05.pddl | unsolvable
nomystery-problem-08-9-9-5-01.pddl | unsolvable
nomystery-problem-08-9-9-5-02.pddl | unsolvable
nomystery-problem-08-9-9-5-03.pddl | unsolvable
nomystery-problem-08-9-9-5-04.pddl | unsolvable
nomystery-problem-08-9-9-5-05.pddl | unsolvable
nomystery-problem-08-12-15-01.pddl | unsolvable
nomystery-problem-08-12-15-02.pddl | unsolvable
nomystery-problem-08-12-15-03.pddl | unsolvable
nomystery-problem-08-12-15-04.pddl | unsolvable
nomystery-problem-08-12-15-05.pddl | unsolvable
nomystery-problem-09-9-9-1-01.pddl | unsolvable
nomystery-problem-09-9-9-1-02.pddl | unsolvable
nomystery-problem-09-9-9-1-03.pddl | unsolvable
nomystery-problem-09-9-9-1-04.pddl | unsolvable
nomystery-problem-09-9-9-1-05.pddl | timeout-and-out-of-memory
nomystery-problem-09-9-9-2-01.pddl | unsolvable
nomystery-problem-09-9-9-2-02.pddl | unsolvable
nomystery-problem-09-9-9-2-03.pddl | unsolvable
nomystery-problem-09-9-9-2-04.pddl | unsolvable
nomystery-problem-09-9-9-2-05.pddl | unsolvable
nomystery-problem-09-9-9-3-01.pddl | unsolvable
nomystery-problem-09-9-9-3-02.pddl | unsolvable
nomystery-problem-09-9-9-3-03.pddl | unsolvable
nomystery-problem-09-9-9-3-04.pddl | unsolvable
nomystery-problem-09-9-9-3-05.pddl | unsolvable
nomystery-problem-09-9-9-4-01.pddl | unsolvable
nomystery-problem-09-9-9-4-02.pddl | unsolvable
nomystery-problem-09-9-9-4-03.pddl | unsolvable
nomystery-problem-09-9-9-4-04.pddl | unsolvable
nomystery-problem-09-9-9-4-05.pddl | unsolvable
nomystery-problem-09-9-9-5-01.pddl | unsolvable
nomystery-problem-09-9-9-5-02.pddl | unsolvable
nomystery-problem-09-9-9-5-03.pddl | unsolvable
nomystery-problem-09-9-9-5-04.pddl | unsolvable
nomystery-problem-09-9-9-5-05.pddl | unsolvable
nomystery-problem-09-12-15-01.pddl | unsolvable
nomystery-problem-09-12-15-02.pddl | unsolvable
nomystery-problem-09-12-15-03.pddl | unsolvable
nomystery-problem-09-12-15-04.pddl | unsolvable
nomystery-problem-09-12-15-05.pddl | unsolvable

## unsat-rovers

error | AIDOS
--- | ---
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 | unsolvable
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 | unsolvable
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 | unsolvable
rovers-problem-05-15-02.pddl | unsolvable
rovers-problem-05-15-03.pddl | unsolvable
rovers-problem-05-15-04.pddl | unsolvable
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 | unsolvable
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 | unsolvable
rovers-problem-06-11-3-02.pddl | unsolvable
rovers-problem-06-11-3-03.pddl | unsolvable
rovers-problem-06-11-3-04.pddl | unsolvable
rovers-problem-06-11-3-05.pddl | unsolvable
rovers-problem-06-11-4-01.pddl | unsolvable
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 | unsolvable
rovers-problem-06-11-5-02.pddl | unsolvable
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 | unsolvable
rovers-problem-06-15-02.pddl | unsolvable
rovers-problem-06-15-03.pddl | unsolvable
rovers-problem-06-15-04.pddl | unsolvable
rovers-problem-06-15-05.pddl | unsolvable
rovers-problem-07-11-1-01.pddl | unsolvable
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 | unsolvable
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 | unsolvable
rovers-problem-07-11-3-02.pddl | unsolvable
rovers-problem-07-11-3-03.pddl | unsolvable
rovers-problem-07-11-3-04.pddl | unsolvable
rovers-problem-07-11-3-05.pddl | unsolvable
rovers-problem-07-11-4-01.pddl | unsolvable
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 | unsolvable
rovers-problem-07-11-5-02.pddl | unsolvable
rovers-problem-07-11-5-03.pddl | unsolvable
rovers-problem-07-11-5-04.pddl | timeout-and-out-of-memory
rovers-problem-07-11-5-05.pddl | unsolvable
rovers-problem-07-15-01.pddl | unsolvable
rovers-problem-07-15-02.pddl | unsolvable
rovers-problem-07-15-03.pddl | unsolvable
rovers-problem-07-15-04.pddl | unsolvable
rovers-problem-07-15-05.pddl | unsolvable
rovers-problem-08-11-1-01.pddl | unsolvable
rovers-problem-08-11-1-02.pddl | unsolvable
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 | unsolvable
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 | unsolvable
rovers-problem-08-11-3-02.pddl | unsolvable
rovers-problem-08-11-3-03.pddl | unsolvable
rovers-problem-08-11-3-04.pddl | unsolvable
rovers-problem-08-11-3-05.pddl | unsolvable
rovers-problem-08-11-4-01.pddl | unsolvable
rovers-problem-08-11-4-02.pddl | unsolvable
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 | unsolvable
rovers-problem-08-11-5-02.pddl | unsolvable
rovers-problem-08-11-5-03.pddl | unsolvable
rovers-problem-08-11-5-04.pddl | timeout-and-out-of-memory
rovers-problem-08-11-5-05.pddl | timeout-and-out-of-memory
rovers-problem-08-15-01.pddl | unsolvable
rovers-problem-08-15-02.pddl | timeout-and-out-of-memory
rovers-problem-08-15-03.pddl | unsolvable
rovers-problem-08-15-04.pddl | unsolvable
rovers-problem-08-15-05.pddl | unsolvable
rovers-problem-09-11-1-01.pddl | timeout-and-out-of-memory
rovers-problem-09-11-1-02.pddl | unsolvable
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 | unsolvable
rovers-problem-09-11-2-02.pddl | unsolvable
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 | unsolvable
rovers-problem-09-11-3-02.pddl | unsolvable
rovers-problem-09-11-3-03.pddl | unsolvable
rovers-problem-09-11-3-04.pddl | unsolvable
rovers-problem-09-11-3-05.pddl | timeout-and-out-of-memory
rovers-problem-09-11-4-01.pddl | unsolvable
rovers-problem-09-11-4-02.pddl | unsolvable
rovers-problem-09-11-4-03.pddl | unsolvable
rovers-problem-09-11-4-04.pddl | timeout-and-out-of-memory
rovers-problem-09-11-4-05.pddl | unsolvable
rovers-problem-09-11-5-01.pddl | unsolvable
rovers-problem-09-11-5-02.pddl | unsolvable
rovers-problem-09-11-5-03.pddl | unsolvable
rovers-problem-09-11-5-04.pddl | timeout-and-out-of-memory
rovers-problem-09-11-5-05.pddl | timeout-and-out-of-memory
rovers-problem-09-15-01.pddl | timeout-and-out-of-memory
rovers-problem-09-15-02.pddl | timeout-and-out-of-memory
rovers-problem-09-15-03.pddl | unsolvable
rovers-problem-09-15-04.pddl | unsolvable
rovers-problem-09-15-05.pddl | unsolvable

## unsat-tpp

error | AIDOS
--- | ---
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 | unsolvable
tpp-problem-07-02.pddl | unsolvable
tpp-problem-07-03.pddl | unsolvable
tpp-problem-07-04.pddl | unsolvable
tpp-problem-07-05.pddl | unsolvable
tpp-problem-08-01.pddl | unsolvable
tpp-problem-08-02.pddl | unsolvable
tpp-problem-08-03.pddl | unsolvable
tpp-problem-08-04.pddl | unsolvable
tpp-problem-08-05.pddl | unsolvable
tpp-problem-09-01.pddl | unsolvable
tpp-problem-09-02.pddl | unsolvable
tpp-problem-09-03.pddl | unsolvable
tpp-problem-09-04.pddl | unsolvable
tpp-problem-09-05.pddl | unsolvable