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)

recursion:
partial order:
Compile Log
11.81 sec
49892 kbyte
Planner Log
0.04 sec
24856 kbyte
Planner Log
0.03 sec
24476 kbyte
Planner Log
0.04 sec
24612 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
HPDL-planner
recursion: yes
partial order: yes
Compile Log
210.51 sec
435944 kbyte
Planner Log
0.67 sec
24228 kbyte
Planner Log
0.68 sec
24084 kbyte
Planner Log
0.76 sec
24136 kbyte
Planner Log
0.91 sec
24068 kbyte
Planner Log
0.76 sec
24476 kbyte
Planner Log
0.66 sec
24220 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.00 sec
3372 kbyte
Verify Log
0.00 sec
2500 kbyte
Verify Log
0.01 sec
4668 kbyte
Verify Log
0.00 sec
2704 kbyte
Verify Log
0.01 sec
3368 kbyte
Verify Log
0.00 sec
2704 kbyte

recursion:
partial order:
Compile Log
142.56 sec
68776 kbyte
Planner Log
0.04 sec
24760 kbyte
Planner Log
0.03 sec
24768 kbyte
Planner Log
0.04 sec
24488 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

recursion:
partial order:
Compile Log
13.44 sec
49540 kbyte
Planner Log
0.05 sec
24444 kbyte
Planner Log
0.04 sec
24380 kbyte
Planner Log
0.04 sec
25056 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
PDDL4J
recursion: yes
partial order: no
Compile Log
183.17 sec
711248 kbyte
Planner Log
2.27 sec
99224 kbyte
Planner Log
2.18 sec
94976 kbyte
Planner Log
2.22 sec
107300 kbyte
Planner Log
2.01 sec
96372 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:
0 / 0 / 7
rover:
20 / 0 / 0
transport:
28 / 0 / 2
Planner Log
Verify Log
0.00 sec
3212 kbyte
Verify Log
0.00 sec
2492 kbyte
Verify Log
0.02 sec
4668 kbyte
Verify Log
0.00 sec
2708 kbyte
no plan no plan
PDDL4J
recursion: yes
partial order: yes
Compile Log
219.01 sec
705092 kbyte
Planner Log
2.13 sec
100244 kbyte
Planner Log
2.20 sec
93680 kbyte
Planner Log
2.23 sec
99680 kbyte
Planner Log
2.43 sec
94628 kbyte
Planner Log
2.22 sec
91740 kbyte
Planner Log
2.22 sec
94964 kbyte
Miconic:
7 / 0 / 0
Zenotravel:
5 / 0 / 0
UM-Translog:
22 / 0 / 0
Satellite:
25 / 0 / 0
Woodworking:
5 / 0 / 6
SmartPhone:
0 / 0 / 7
rover:
20 / 0 / 0
transport:
26 / 0 / 4
Planner Log
Verify Log
0.00 sec
3216 kbyte
Verify Log
0.00 sec
2496 kbyte
Verify Log
0.01 sec
4668 kbyte
Verify Log
0.00 sec
2704 kbyte
Verify Log
0.00 sec
3240 kbyte
Verify Log
0.00 sec
2700 kbyte
pyHiPOP
recursion: yes
partial order: yes
Compile Log
102.70 sec
416480 kbyte
Planner Log
5.51 sec
69188 kbyte
Planner Log
2.53 sec
38240 kbyte
Planner Log
57.21 sec
1539936 kbyte
Planner Log
2.15 sec
44764 kbyte
Planner Log
60.13 sec
24968 kbyte
Planner Log
2.53 sec
47664 kbyte
Miconic:
2 / 0 / 5
Zenotravel:
4 / 0 / 1
UM-Translog:
17 / 0 / 5
Satellite:
11 / 0 / 14
Woodworking:
2 / 0 / 9
SmartPhone:
4 / 0 / 3
rover:
4 / 0 / 16
transport:
1 / 0 / 29
Planner Log
Verify Log
0.01 sec
3936 kbyte
Verify Log
0.00 sec
2492 kbyte
Verify Log
0.02 sec
4668 kbyte
Verify Log
0.00 sec
2704 kbyte
no plan Verify Log
0.00 sec
2700 kbyte
Competitor test01 test02 test03 test04 test05 test06 test07
empty method forall forall2 no abstracts constants in domain synonymes arguments

recursion:
partial order:
Planner Log
0.03 sec
24596 kbyte
Planner Log
0.04 sec
24456 kbyte
Planner Log
0.04 sec
24572 kbyte
Planner Log
0.04 sec
24544 kbyte
Planner Log
0.03 sec
24436 kbyte
Planner Log
0.03 sec
24688 kbyte
Planner Log
0.04 sec
24616 kbyte
no plan no plan no plan no plan no plan no plan no plan
HPDL-planner
recursion: yes
partial order: yes
Planner Log
0.78 sec
24836 kbyte
Planner Log
0.63 sec
24284 kbyte
Planner Log
0.60 sec
24248 kbyte
Planner Log
0.61 sec
24236 kbyte
Planner Log
0.63 sec
24556 kbyte
Planner Log
0.59 sec
23868 kbyte
Planner Log
0.63 sec
23996 kbyte
Verify Log
0.17 sec
2312 kbyte
Verify Log
0.01 sec
2344 kbyte
Verify Log
0.00 sec
2356 kbyte
Verify Log
0.00 sec
2328 kbyte
Verify Log
0.00 sec
2344 kbyte
Verify Log
0.00 sec
2484 kbyte
Verify Log
0.00 sec
2348 kbyte

recursion:
partial order:
Planner Log
0.04 sec
24476 kbyte
Planner Log
0.04 sec
24284 kbyte
Planner Log
0.04 sec
24296 kbyte
Planner Log
0.04 sec
24404 kbyte
Planner Log
0.04 sec
24684 kbyte
Planner Log
0.04 sec
24676 kbyte
Planner Log
0.04 sec
24600 kbyte
no plan no plan no plan no plan no plan no plan no plan

recursion:
partial order:
Planner Log
0.04 sec
24676 kbyte
Planner Log
0.04 sec
25032 kbyte
Planner Log
0.04 sec
24284 kbyte
Planner Log
0.05 sec
24584 kbyte
Planner Log
0.04 sec
24348 kbyte
Planner Log
0.04 sec
24904 kbyte
Planner Log
0.06 sec
24444 kbyte
no plan no plan no plan no plan no plan no plan no plan
PDDL4J
recursion: yes
partial order: no
Planner Log
1.99 sec
92508 kbyte
Planner Log
1.94 sec
85444 kbyte
Planner Log
1.91 sec
93584 kbyte
Planner Log
2.04 sec
92488 kbyte
Planner Log
1.95 sec
93816 kbyte
Planner Log
2.09 sec
90792 kbyte
Planner Log
2.03 sec
93996 kbyte
Verify Log
0.00 sec
2332 kbyte
Verify Log
0.00 sec
2348 kbyte
Verify Log
0.00 sec
2352 kbyte
Verify Log
0.00 sec
2324 kbyte
Verify Log
0.00 sec
2340 kbyte
Verify Log
0.00 sec
2480 kbyte
Verify Log
0.00 sec
2344 kbyte
PDDL4J
recursion: yes
partial order: yes
Planner Log
2.18 sec
92144 kbyte
Planner Log
2.07 sec
91020 kbyte
Planner Log
2.10 sec
92008 kbyte
Planner Log
2.19 sec
93092 kbyte
Planner Log
2.13 sec
93904 kbyte
Planner Log
2.33 sec
86124 kbyte
Planner Log
2.00 sec
85936 kbyte
Verify Log
0.00 sec
2332 kbyte
Verify Log
0.01 sec
2348 kbyte
Verify Log
0.00 sec
2352 kbyte
Verify Log
0.00 sec
2328 kbyte
Verify Log
0.00 sec
2340 kbyte
Verify Log
0.00 sec
2484 kbyte
Verify Log
0.00 sec
2344 kbyte
pyHiPOP
recursion: yes
partial order: yes
Planner Log
1.34 sec
32260 kbyte
Planner Log
1.60 sec
32428 kbyte
Planner Log
1.44 sec
32380 kbyte
Planner Log
1.47 sec
32072 kbyte
Planner Log
1.44 sec
32404 kbyte
Planner Log
1.40 sec
32760 kbyte
Planner Log
1.39 sec
32428 kbyte
Verify Log
0.00 sec
2328 kbyte
Verify Log
0.00 sec
2344 kbyte
Verify Log
0.00 sec
2352 kbyte
Verify Log
0.00 sec
2332 kbyte
Verify Log
0.00 sec
2340 kbyte
Verify Log
0.00 sec
2484 kbyte
Verify Log
0.00 sec
2340 kbyte