Uni-Logo

IPC 2020 - Participants

The 2020 IPC for Hierarchical Planning - Competitors

This list contains current status information on all active competitors of the 2020 IPC. For each competitor we show whether the planner currently compiles and whether it solves a given set of sample problems. The logs of the compilation and every run are available for download by clicking on the blue links. The test instances can be downloaded by clicking at the columns headers.

Each of the six sample problems is divided into two sections. The one on the top shows whether the planner is able to find a plan (green) or not (red). The second section below shows whether the generated plan is valid. Green indicates that the plan is valid, red that it is not, and blue that no plan was found in the first place. If the planner produced only a primitive plan and did not provide a decomposition witness, we will indicate with cyan that the primitive plan is executable. Yellow indicates instances that the planner does not support (either due to recursion or partial order).

For the last column, we let each planner run for 10 seconds on a larger set of benchmark instances. As a summary per domain we report:

  1. SOL - the planner has solved the problem with a valid plan,
  2. INVAL - the planner has solved the problem, but the plan failed verification, and
  3. TLE - the planner exceeded the timelimit of 10 seconds.
Note that INVAL here also includes cases where the planner produced only a primitive plan which was valid.

CompetitorCompile Status rover01 satellite01 um-translog01 transport01 p-rover01 p-transport01 10 seconds run (SOL,INVAL,TLE)
Treerexx
recursion: yes
partial order: no
Compile Log
234.22 sec
506140 kbyte
Planner Log
0.41 sec
24588 kbyte
Planner Log
0.35 sec
24020 kbyte
Planner Log
0.57 sec
24396 kbyte
Planner Log
0.34 sec
25036 kbyte
not supported not supported Miconic:
7 / 0 / 0
Zenotravel:
5 / 0 / 0
UM-Translog:
22 / 0 / 0
Satellite:
25 / 0 / 0
Woodworking:
11 / 0 / 0
SmartPhone:
7 / 0 / 0
rover:
18 / 0 / 2
transport:
25 / 0 / 5
Planner Log
Verify Log
0.01 sec
4132 kbyte
Verify Log
0.00 sec
2544 kbyte
Verify Log
0.01 sec
5416 kbyte
Verify Log
0.00 sec
2804 kbyte
no plan no plan
HPDL-planner
recursion: yes
partial order: yes
Compile Log
179.16 sec
436044 kbyte
Planner Log
0.57 sec
24240 kbyte
Planner Log
0.53 sec
24116 kbyte
Planner Log
0.61 sec
24084 kbyte
Planner Log
0.54 sec
23804 kbyte
Planner Log
0.60 sec
24648 kbyte
Planner Log
0.50 sec
25056 kbyte
Miconic:
7 / 0 / 0
Zenotravel:
5 / 0 / 0
UM-Translog:
22 / 0 / 0
Satellite:
25 / 0 / 0
Woodworking:
3 / 0 / 8
SmartPhone:
2 / 0 / 5
rover:
13 / 0 / 7
transport:
1 / 0 / 29
Planner Log
Verify Log
0.01 sec
4132 kbyte
Verify Log
0.00 sec
2540 kbyte
Verify Log
0.01 sec
5420 kbyte
Verify Log
0.00 sec
2808 kbyte
Verify Log
0.00 sec
4104 kbyte
Verify Log
0.00 sec
2800 kbyte

recursion:
partial order:
Compile Log
218.31 sec
119824 kbyte
Planner Log
0.04 sec
24424 kbyte
Planner Log
0.03 sec
24764 kbyte
Planner Log
0.04 sec
24520 kbyte
not supported not supported not supported Miconic:
0 / 0 / 7
Zenotravel:
0 / 0 / 5
UM-Translog:
0 / 0 / 22
Satellite:
0 / 0 / 25
Woodworking:
0 / 0 / 11
SmartPhone:
0 / 0 / 7
rover:
0 / 0 / 20
transport:
0 / 0 / 30
Planner Log
no plan no plan no plan no plan no plan no plan
HyperTensioN
recursion: yes
partial order: no
Compile Log
33.27 sec
188768 kbyte
Planner Log
0.55 sec
24028 kbyte
Planner Log
0.51 sec
25236 kbyte
Planner Log
0.57 sec
24256 kbyte
Planner Log
0.54 sec
24316 kbyte
not supported not supported Miconic:
7 / 0 / 0
Zenotravel:
5 / 0 / 0
UM-Translog:
22 / 0 / 0
Satellite:
25 / 0 / 0
Woodworking:
6 / 0 / 5
SmartPhone:
7 / 0 / 0
rover:
19 / 0 / 1
transport:
25 / 0 / 5
Planner Log
Verify Log
0.01 sec
3952 kbyte
Verify Log
0.00 sec
2516 kbyte
Verify Log
0.01 sec
4684 kbyte
Verify Log
0.00 sec
3144 kbyte
no plan no plan
PDDL4J
recursion: yes
partial order: no
Compile Log
182.73 sec
718488 kbyte
Planner Log
1.84 sec
118036 kbyte
Planner Log
1.79 sec
116824 kbyte
Planner Log
1.82 sec
118860 kbyte
Planner Log
1.85 sec
121392 kbyte
not supported not supported Miconic:
0 / 0 / 7
Zenotravel:
0 / 0 / 5
UM-Translog:
0 / 0 / 22
Satellite:
0 / 0 / 25
Woodworking:
0 / 0 / 11
SmartPhone:
0 / 0 / 7
rover:
0 / 0 / 20
transport:
0 / 28 / 2
Planner Log
no plan no plan no plan Verify Log
0.01 sec
2448 kbyte
no plan no plan
PDDL4J
recursion: yes
partial order: yes
Compile Log
182.91 sec
710316 kbyte
Planner Log
1.84 sec
117628 kbyte
Planner Log
1.78 sec
118616 kbyte
Planner Log
1.80 sec
120804 kbyte
Planner Log
1.86 sec
121340 kbyte
Planner Log
1.79 sec
118312 kbyte
Planner Log
1.77 sec
109952 kbyte
Miconic:
0 / 0 / 7
Zenotravel:
0 / 0 / 5
UM-Translog:
0 / 0 / 22
Satellite:
0 / 0 / 25
Woodworking:
0 / 0 / 11
SmartPhone:
0 / 0 / 7
rover:
0 / 0 / 20
transport:
0 / 0 / 30
Planner Log
no plan no plan no plan no plan no plan no plan
Competitor test01 test02 test03 test04 test05 test06
empty method forall no abstracts sortof constants in domain synonymes
Treerexx
recursion: yes
partial order: no
Planner Log
0.33 sec
24080 kbyte
Planner Log
0.34 sec
24492 kbyte
Planner Log
0.33 sec
25308 kbyte
Planner Log
0.33 sec
25028 kbyte
Planner Log
0.35 sec
24740 kbyte
Planner Log
0.33 sec
24660 kbyte
Verify Log
0.00 sec
2352 kbyte
Verify Log
0.30 sec
2368 kbyte
Verify Log
0.00 sec
2352 kbyte
Verify Log
0.00 sec
2364 kbyte
Verify Log
0.00 sec
2368 kbyte
Verify Log
0.00 sec
2508 kbyte
HPDL-planner
recursion: yes
partial order: yes
Planner Log
0.51 sec
24264 kbyte
Planner Log
0.56 sec
24184 kbyte
Planner Log
0.52 sec
24640 kbyte
Planner Log
0.52 sec
24376 kbyte
Planner Log
0.52 sec
24204 kbyte
Planner Log
0.52 sec
24232 kbyte
Verify Log
0.01 sec
2232 kbyte
Verify Log
0.00 sec
2368 kbyte
Verify Log
0.00 sec
2348 kbyte
Verify Log
0.00 sec
2360 kbyte
Verify Log
0.00 sec
2364 kbyte
Verify Log
0.00 sec
2504 kbyte

recursion:
partial order:
Planner Log
0.34 sec
24588 kbyte
Planner Log
0.03 sec
24424 kbyte
Planner Log
0.03 sec
24136 kbyte
Planner Log
0.03 sec
24692 kbyte
Planner Log
0.04 sec
24484 kbyte
Planner Log
0.03 sec
24344 kbyte
no plan no plan no plan no plan no plan no plan
HyperTensioN
recursion: yes
partial order: no
Planner Log
0.52 sec
24600 kbyte
Planner Log
0.52 sec
24508 kbyte
Planner Log
0.53 sec
25164 kbyte
Planner Log
0.50 sec
24192 kbyte
Planner Log
0.51 sec
25156 kbyte
Planner Log
0.49 sec
24792 kbyte
Verify Log
0.01 sec
2300 kbyte
Verify Log
0.00 sec
2368 kbyte
Verify Log
0.00 sec
2352 kbyte
Verify Log
0.00 sec
2360 kbyte
Verify Log
0.00 sec
2360 kbyte
Verify Log
0.00 sec
2504 kbyte
PDDL4J
recursion: yes
partial order: no
Planner Log
1.82 sec
117488 kbyte
Planner Log
1.80 sec
116340 kbyte
Planner Log
1.81 sec
118892 kbyte
Planner Log
1.79 sec
117036 kbyte
Planner Log
1.80 sec
117452 kbyte
Planner Log
1.78 sec
116784 kbyte
no plan no plan no plan no plan no plan no plan
PDDL4J
recursion: yes
partial order: yes
Planner Log
3.43 sec
118432 kbyte
Planner Log
1.80 sec
119384 kbyte
Planner Log
1.83 sec
117052 kbyte
Planner Log
1.78 sec
117360 kbyte
Planner Log
1.81 sec
118516 kbyte
Planner Log
1.86 sec
118916 kbyte
no plan no plan no plan no plan no plan no plan