- 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_ |
error | planner_ |
raw_ |
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_ |
global_ |
build_ |
driver_ |
|---|---|---|---|---|
| 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 |