Root:0-1-
===
Tarea:0

(:method M22-ACHIEVE-SERVED
:precondition
      (and
         (type_member_passenger P1)
         (not (LOCKED-SERVED P1))
         (not (SERVED P1))
      )

:tasks (
   (ACHIEVE-SERVED2 P1)
   (i-LOCK-SERVED P1)
)
)
===
Tarea:2

(:method M24-ACHIEVE-SERVED2
:precondition
      (and
         (type_member_floor F2)
         (type_member_passenger P1)
         (not (SERVED P1))
         (not (SERVED P1))
         (DESTIN P1 F2)
      )

:tasks (
   (DO-SERVED-DEPART2 F2 P1)
   (ACHIEVE-SERVED2 P1)
)
)
===
Tarea:4

(:method M8-DO-SERVED-DEPART2
:precondition
      (and
         (type_member_floor F2)
         (type_member_passenger P1)
         (not (SERVED P1))
      )

:tasks (
   (ACHIEVE-BOARDED P1)
   (ACHIEVE-LIFT-AT F2)
   (IFUNLOCK-LIFT-AT F2)
   (IFUNLOCK-BOARDED P1)
   (DEPART F2 P1)
)
)
===
Tarea:6

(:method M17-ACHIEVE-BOARDED
:precondition
      (and
         (type_member_passenger P1)
         (not (LOCKED-BOARDED P1))
         (not (BOARDED P1))
      )

:tasks (
   (ACHIEVE-BOARDED1 P1)
   (i-LOCK-BOARDED P1)
)
)
===
Tarea:11

(:method M19-ACHIEVE-BOARDED1
:precondition
      (and
         (type_member_floor F0)
         (type_member_passenger P1)
         (not (BOARDED P1))
         (not (BOARDED P1))
         (ORIGIN P1 F0)
      )

:tasks (
   (DO-BOARDED-BOARD1 F0 P1)
   (ACHIEVE-BOARDED1 P1)
)
)
===
Tarea:13

(:method M7-DO-BOARDED-BOARD1
:precondition
      (and
         (type_member_floor F0)
         (type_member_passenger P1)
         (not (BOARDED P1))
      )

:tasks (
   (ACHIEVE-LIFT-AT F0)
   (IFUNLOCK-LIFT-AT F0)
   (BOARD F0 P1)
)
)
===
Tarea:15

(:method M10-ACHIEVE-LIFT-AT
:precondition
      (and
         (type_member_floor F0)
         (LIFT-AT F0)
         (not (LOCKED-LIFT-AT F0))
      )

:tasks (
   (i-LOCK-LIFT-AT F0)
)
)
===
Tarea:18

(:method method1
:precondition
      (and
         (type_member_floor F0)
      )

:tasks (
   (i-LOCK-LIFT-AT_primitive F0)
)
)
===
Tarea:19

===
Tarea:16

(:method IFUNLOCK5-LIFT-AT
:precondition
      (and
         (type_member_floor F0)
         (not (FLAGGED-LIFT-AT F0))
      )

:tasks (
   (i-UNLOCK-LIFT-AT F0)
)
)
===
Tarea:21

(:method method1
:precondition
      (and
         (type_member_floor F0)
      )

:tasks (
   (i-UNLOCK-LIFT-AT_primitive F0)
)
)
===
Tarea:22

===
Tarea:17

(:method method1
:precondition
      (and
         (type_member_floor F0)
         (type_member_passenger P1)
      )

:tasks (
   (BOARD_primitive F0 P1)
)
)
===
Tarea:24

===
Tarea:14

(:method M18-ACHIEVE-BOARDED1
:precondition
      (and
         (type_member_passenger P1)
         (BOARDED P1)
      )

:tasks (
   (:inline () ())
)
)
===
Tarea:26

===
Tarea:12

(:method method1
:precondition
      (and
         (type_member_passenger P1)
      )

:tasks (
   (i-LOCK-BOARDED_primitive P1)
)
)
===
Tarea:28

===
Tarea:7

(:method M11-ACHIEVE-LIFT-AT
:precondition
      (and
         (type_member_floor F2)
         (not (LOCKED-LIFT-AT F2))
         (not (LIFT-AT F2))
      )

:tasks (
   (ACHIEVE-LIFT-AT0 F2)
   (i-LOCK-LIFT-AT F2)
)
)
===
Tarea:30

(:method M13-ACHIEVE-LIFT-AT0
:precondition
      (and
         (type_member_floor F2)
         (type_member_floor F0)
         (type_member_floor F1)
         (not (LIFT-AT F2))
         (LIFT-AT F0)
         (ABOVE F0 F1)
      )

:tasks (
   (UP F0 F1)
   (ACHIEVE-LIFT-AT0 F2)
)
)
===
Tarea:32

(:method method1
:precondition
      (and
         (type_member_floor F0)
         (type_member_floor F1)
      )

:tasks (
   (UP_primitive F0 F1)
)
)
===
Tarea:34

===
Tarea:33

(:method M13-ACHIEVE-LIFT-AT0
:precondition
      (and
         (type_member_floor F2)
         (type_member_floor F1)
         (type_member_floor F2)
         (not (LIFT-AT F2))
         (LIFT-AT F1)
         (ABOVE F1 F2)
      )

:tasks (
   (UP F1 F2)
   (ACHIEVE-LIFT-AT0 F2)
)
)
===
Tarea:36

(:method method1
:precondition
      (and
         (type_member_floor F1)
         (type_member_floor F2)
      )

:tasks (
   (UP_primitive F1 F2)
)
)
===
Tarea:38

===
Tarea:37

(:method M12-ACHIEVE-LIFT-AT0
:precondition
      (and
         (type_member_floor F2)
         (LIFT-AT F2)
      )

:tasks (
   (:inline () ())
)
)
===
Tarea:40

===
Tarea:31

(:method method1
:precondition
      (and
         (type_member_floor F2)
      )

:tasks (
   (i-LOCK-LIFT-AT_primitive F2)
)
)
===
Tarea:42

===
Tarea:8

(:method IFUNLOCK5-LIFT-AT
:precondition
      (and
         (type_member_floor F2)
         (not (FLAGGED-LIFT-AT F2))
      )

:tasks (
   (i-UNLOCK-LIFT-AT F2)
)
)
===
Tarea:44

(:method method1
:precondition
      (and
         (type_member_floor F2)
      )

:tasks (
   (i-UNLOCK-LIFT-AT_primitive F2)
)
)
===
Tarea:45

===
Tarea:9

(:method IFUNLOCK1-BOARDED
:precondition
      (and
         (type_member_passenger P1)
         (not (FLAGGED-BOARDED P1))
      )

:tasks (
   (i-UNLOCK-BOARDED P1)
)
)
===
Tarea:47

(:method method1
:precondition
      (and
         (type_member_passenger P1)
      )

:tasks (
   (i-UNLOCK-BOARDED_primitive P1)
)
)
===
Tarea:48

===
Tarea:10

(:method method1
:precondition
      (and
         (type_member_floor F2)
         (type_member_passenger P1)
      )

:tasks (
   (DEPART_primitive F2 P1)
)
)
===
Tarea:50

===
Tarea:5

(:method M23-ACHIEVE-SERVED2
:precondition
      (and
         (type_member_passenger P1)
         (SERVED P1)
      )

:tasks (
   (:inline () ())
)
)
===
Tarea:52

===
Tarea:3

(:method method1
:precondition
      (and
         (type_member_passenger P1)
      )

:tasks (
   (i-LOCK-SERVED_primitive P1)
)
)
===
Tarea:54

===
Tarea:1

(:method M22-ACHIEVE-SERVED
:precondition
      (and
         (type_member_passenger P0)
         (not (LOCKED-SERVED P0))
         (not (SERVED P0))
      )

:tasks (
   (ACHIEVE-SERVED2 P0)
   (i-LOCK-SERVED P0)
)
)
===
Tarea:56

(:method M24-ACHIEVE-SERVED2
:precondition
      (and
         (type_member_floor F0)
         (type_member_passenger P0)
         (not (SERVED P0))
         (not (SERVED P0))
         (DESTIN P0 F0)
      )

:tasks (
   (DO-SERVED-DEPART2 F0 P0)
   (ACHIEVE-SERVED2 P0)
)
)
===
Tarea:58

(:method M8-DO-SERVED-DEPART2
:precondition
      (and
         (type_member_floor F0)
         (type_member_passenger P0)
         (not (SERVED P0))
      )

:tasks (
   (ACHIEVE-BOARDED P0)
   (ACHIEVE-LIFT-AT F0)
   (IFUNLOCK-LIFT-AT F0)
   (IFUNLOCK-BOARDED P0)
   (DEPART F0 P0)
)
)
===
Tarea:60

(:method M17-ACHIEVE-BOARDED
:precondition
      (and
         (type_member_passenger P0)
         (not (LOCKED-BOARDED P0))
         (not (BOARDED P0))
      )

:tasks (
   (ACHIEVE-BOARDED1 P0)
   (i-LOCK-BOARDED P0)
)
)
===
Tarea:65

(:method M19-ACHIEVE-BOARDED1
:precondition
      (and
         (type_member_floor F3)
         (type_member_passenger P0)
         (not (BOARDED P0))
         (not (BOARDED P0))
         (ORIGIN P0 F3)
      )

:tasks (
   (DO-BOARDED-BOARD1 F3 P0)
   (ACHIEVE-BOARDED1 P0)
)
)
===
Tarea:67

(:method M7-DO-BOARDED-BOARD1
:precondition
      (and
         (type_member_floor F3)
         (type_member_passenger P0)
         (not (BOARDED P0))
      )

:tasks (
   (ACHIEVE-LIFT-AT F3)
   (IFUNLOCK-LIFT-AT F3)
   (BOARD F3 P0)
)
)
===
Tarea:69

(:method M11-ACHIEVE-LIFT-AT
:precondition
      (and
         (type_member_floor F3)
         (not (LOCKED-LIFT-AT F3))
         (not (LIFT-AT F3))
      )

:tasks (
   (ACHIEVE-LIFT-AT0 F3)
   (i-LOCK-LIFT-AT F3)
)
)
===
Tarea:72

(:method M13-ACHIEVE-LIFT-AT0
:precondition
      (and
         (type_member_floor F3)
         (type_member_floor F2)
         (type_member_floor F3)
         (not (LIFT-AT F3))
         (LIFT-AT F2)
         (ABOVE F2 F3)
      )

:tasks (
   (UP F2 F3)
   (ACHIEVE-LIFT-AT0 F3)
)
)
===
Tarea:74

(:method method1
:precondition
      (and
         (type_member_floor F2)
         (type_member_floor F3)
      )

:tasks (
   (UP_primitive F2 F3)
)
)
===
Tarea:76

===
Tarea:75

(:method M12-ACHIEVE-LIFT-AT0
:precondition
      (and
         (type_member_floor F3)
         (LIFT-AT F3)
      )

:tasks (
   (:inline () ())
)
)
===
Tarea:78

===
Tarea:73

(:method method1
:precondition
      (and
         (type_member_floor F3)
      )

:tasks (
   (i-LOCK-LIFT-AT_primitive F3)
)
)
===
Tarea:80

===
Tarea:70

(:method IFUNLOCK5-LIFT-AT
:precondition
      (and
         (type_member_floor F3)
         (not (FLAGGED-LIFT-AT F3))
      )

:tasks (
   (i-UNLOCK-LIFT-AT F3)
)
)
===
Tarea:82

(:method method1
:precondition
      (and
         (type_member_floor F3)
      )

:tasks (
   (i-UNLOCK-LIFT-AT_primitive F3)
)
)
===
Tarea:83

===
Tarea:71

(:method method1
:precondition
      (and
         (type_member_floor F3)
         (type_member_passenger P0)
      )

:tasks (
   (BOARD_primitive F3 P0)
)
)
===
Tarea:85

===
Tarea:68

(:method M18-ACHIEVE-BOARDED1
:precondition
      (and
         (type_member_passenger P0)
         (BOARDED P0)
      )

:tasks (
   (:inline () ())
)
)
===
Tarea:87

===
Tarea:66

(:method method1
:precondition
      (and
         (type_member_passenger P0)
      )

:tasks (
   (i-LOCK-BOARDED_primitive P0)
)
)
===
Tarea:89

===
Tarea:61

(:method M11-ACHIEVE-LIFT-AT
:precondition
      (and
         (type_member_floor F0)
         (not (LOCKED-LIFT-AT F0))
         (not (LIFT-AT F0))
      )

:tasks (
   (ACHIEVE-LIFT-AT0 F0)
   (i-LOCK-LIFT-AT F0)
)
)
===
Tarea:91

(:method M14-ACHIEVE-LIFT-AT0
:precondition
      (and
         (type_member_floor F0)
         (type_member_floor F3)
         (type_member_floor F0)
         (not (LIFT-AT F0))
         (LIFT-AT F3)
         (ABOVE F0 F3)
      )

:tasks (
   (DOWN F3 F0)
   (ACHIEVE-LIFT-AT0 F0)
)
)
===
Tarea:93

(:method method1
:precondition
      (and
         (type_member_floor F3)
         (type_member_floor F0)
      )

:tasks (
   (DOWN_primitive F3 F0)
)
)
===
Tarea:95

===
Tarea:94

(:method M12-ACHIEVE-LIFT-AT0
:precondition
      (and
         (type_member_floor F0)
         (LIFT-AT F0)
      )

:tasks (
   (:inline () ())
)
)
===
Tarea:97

===
Tarea:92

(:method method1
:precondition
      (and
         (type_member_floor F0)
      )

:tasks (
   (i-LOCK-LIFT-AT_primitive F0)
)
)
===
Tarea:99

===
Tarea:62

(:method IFUNLOCK5-LIFT-AT
:precondition
      (and
         (type_member_floor F0)
         (not (FLAGGED-LIFT-AT F0))
      )

:tasks (
   (i-UNLOCK-LIFT-AT F0)
)
)
===
Tarea:101

(:method method1
:precondition
      (and
         (type_member_floor F0)
      )

:tasks (
   (i-UNLOCK-LIFT-AT_primitive F0)
)
)
===
Tarea:102

===
Tarea:63

(:method IFUNLOCK1-BOARDED
:precondition
      (and
         (type_member_passenger P0)
         (not (FLAGGED-BOARDED P0))
      )

:tasks (
   (i-UNLOCK-BOARDED P0)
)
)
===
Tarea:104

(:method method1
:precondition
      (and
         (type_member_passenger P0)
      )

:tasks (
   (i-UNLOCK-BOARDED_primitive P0)
)
)
===
Tarea:105

===
Tarea:64

(:method method1
:precondition
      (and
         (type_member_floor F0)
         (type_member_passenger P0)
      )

:tasks (
   (DEPART_primitive F0 P0)
)
)
===
Tarea:107

===
Tarea:59

(:method M23-ACHIEVE-SERVED2
:precondition
      (and
         (type_member_passenger P0)
         (SERVED P0)
      )

:tasks (
   (:inline () ())
)
)
===
Tarea:109

===
Tarea:57

(:method method1
:precondition
      (and
         (type_member_passenger P0)
      )

:tasks (
   (i-LOCK-SERVED_primitive P0)
)
)
===
Tarea:111

===
?FLOOR2 <- F2
?FLOOR2 <- F0
?FLOOR3 <- F1
?FLOOR1 <- F0
?FLOOR3 <- F2
?FLOOR1 <- F1
?FLOOR2 <- F0
?FLOOR2 <- F3
?FLOOR3 <- F3
?FLOOR1 <- F2
?FLOOR3 <- F0
?FLOOR1 <- F3
===
Lista de tareas: 
[0] <i> :unexpanded (ACHIEVE-SERVED P1)
[1] <i> :unexpanded (ACHIEVE-SERVED P0)
[2] <i> :unexpanded (ACHIEVE-SERVED2 P1)
[3] <i> :unexpanded (i-LOCK-SERVED P1)
[4] <i> :unexpanded (DO-SERVED-DEPART2 F2 P1)
[5] <i> :unexpanded (ACHIEVE-SERVED2 P1)
[6] <i> :unexpanded (ACHIEVE-BOARDED P1)
[7] <i> :unexpanded (ACHIEVE-LIFT-AT F2)
[8] <i> :unexpanded (IFUNLOCK-LIFT-AT F2)
[9] <i> :unexpanded (IFUNLOCK-BOARDED P1)
[10] <i> :unexpanded (DEPART F2 P1)
[11] <i> :unexpanded (ACHIEVE-BOARDED1 P1)
[12] <i> :unexpanded (i-LOCK-BOARDED P1)
[13] <i> :unexpanded (DO-BOARDED-BOARD1 F0 P1)
[14] <i> :unexpanded (ACHIEVE-BOARDED1 P1)
[15] <i> :unexpanded (ACHIEVE-LIFT-AT F0)
[16] <i> :unexpanded (IFUNLOCK-LIFT-AT F0)
[17] <i> :unexpanded (BOARD F0 P1)
[18] <i> :unexpanded (i-LOCK-LIFT-AT F0)
[19] <i> :unexpanded (i-LOCK-LIFT-AT_primitive F0)
[20] :action (i-LOCK-LIFT-AT_primitive F0)
[21] <i> :unexpanded (i-UNLOCK-LIFT-AT F0)
[22] <i> :unexpanded (i-UNLOCK-LIFT-AT_primitive F0)
[23] :action (i-UNLOCK-LIFT-AT_primitive F0)
[24] <i> :unexpanded (BOARD_primitive F0 P1)
[25] :action (BOARD_primitive F0 P1)
[26] <i> :action (:inline)
[27] :action (:inline)
[28] <i> :unexpanded (i-LOCK-BOARDED_primitive P1)
[29] :action (i-LOCK-BOARDED_primitive P1)
[30] <i> :unexpanded (ACHIEVE-LIFT-AT0 F2)
[31] <i> :unexpanded (i-LOCK-LIFT-AT F2)
[32] <i> :unexpanded (UP F0 F1)
[33] <i> :unexpanded (ACHIEVE-LIFT-AT0 F2)
[34] <i> :unexpanded (UP_primitive F0 F1)
[35] :action (UP_primitive F0 F1)
[36] <i> :unexpanded (UP F1 F2)
[37] <i> :unexpanded (ACHIEVE-LIFT-AT0 F2)
[38] <i> :unexpanded (UP_primitive F1 F2)
[39] :action (UP_primitive F1 F2)
[40] <i> :action (:inline)
[41] :action (:inline)
[42] <i> :unexpanded (i-LOCK-LIFT-AT_primitive F2)
[43] :action (i-LOCK-LIFT-AT_primitive F2)
[44] <i> :unexpanded (i-UNLOCK-LIFT-AT F2)
[45] <i> :unexpanded (i-UNLOCK-LIFT-AT_primitive F2)
[46] :action (i-UNLOCK-LIFT-AT_primitive F2)
[47] <i> :unexpanded (i-UNLOCK-BOARDED P1)
[48] <i> :unexpanded (i-UNLOCK-BOARDED_primitive P1)
[49] :action (i-UNLOCK-BOARDED_primitive P1)
[50] <i> :unexpanded (DEPART_primitive F2 P1)
[51] :action (DEPART_primitive F2 P1)
[52] <i> :action (:inline)
[53] :action (:inline)
[54] <i> :unexpanded (i-LOCK-SERVED_primitive P1)
[55] :action (i-LOCK-SERVED_primitive P1)
[56] <i> :unexpanded (ACHIEVE-SERVED2 P0)
[57] <i> :unexpanded (i-LOCK-SERVED P0)
[58] <i> :unexpanded (DO-SERVED-DEPART2 F0 P0)
[59] <i> :unexpanded (ACHIEVE-SERVED2 P0)
[60] <i> :unexpanded (ACHIEVE-BOARDED P0)
[61] <i> :unexpanded (ACHIEVE-LIFT-AT F0)
[62] <i> :unexpanded (IFUNLOCK-LIFT-AT F0)
[63] <i> :unexpanded (IFUNLOCK-BOARDED P0)
[64] <i> :unexpanded (DEPART F0 P0)
[65] <i> :unexpanded (ACHIEVE-BOARDED1 P0)
[66] <i> :unexpanded (i-LOCK-BOARDED P0)
[67] <i> :unexpanded (DO-BOARDED-BOARD1 F3 P0)
[68] <i> :unexpanded (ACHIEVE-BOARDED1 P0)
[69] <i> :unexpanded (ACHIEVE-LIFT-AT F3)
[70] <i> :unexpanded (IFUNLOCK-LIFT-AT F3)
[71] <i> :unexpanded (BOARD F3 P0)
[72] <i> :unexpanded (ACHIEVE-LIFT-AT0 F3)
[73] <i> :unexpanded (i-LOCK-LIFT-AT F3)
[74] <i> :unexpanded (UP F2 F3)
[75] <i> :unexpanded (ACHIEVE-LIFT-AT0 F3)
[76] <i> :unexpanded (UP_primitive F2 F3)
[77] :action (UP_primitive F2 F3)
[78] <i> :action (:inline)
[79] :action (:inline)
[80] <i> :unexpanded (i-LOCK-LIFT-AT_primitive F3)
[81] :action (i-LOCK-LIFT-AT_primitive F3)
[82] <i> :unexpanded (i-UNLOCK-LIFT-AT F3)
[83] <i> :unexpanded (i-UNLOCK-LIFT-AT_primitive F3)
[84] :action (i-UNLOCK-LIFT-AT_primitive F3)
[85] <i> :unexpanded (BOARD_primitive F3 P0)
[86] :action (BOARD_primitive F3 P0)
[87] <i> :action (:inline)
[88] :action (:inline)
[89] <i> :unexpanded (i-LOCK-BOARDED_primitive P0)
[90] :action (i-LOCK-BOARDED_primitive P0)
[91] <i> :unexpanded (ACHIEVE-LIFT-AT0 F0)
[92] <i> :unexpanded (i-LOCK-LIFT-AT F0)
[93] <i> :unexpanded (DOWN F3 F0)
[94] <i> :unexpanded (ACHIEVE-LIFT-AT0 F0)
[95] <i> :unexpanded (DOWN_primitive F3 F0)
[96] :action (DOWN_primitive F3 F0)
[97] <i> :action (:inline)
[98] :action (:inline)
[99] <i> :unexpanded (i-LOCK-LIFT-AT_primitive F0)
[100] :action (i-LOCK-LIFT-AT_primitive F0)
[101] <i> :unexpanded (i-UNLOCK-LIFT-AT F0)
[102] <i> :unexpanded (i-UNLOCK-LIFT-AT_primitive F0)
[103] :action (i-UNLOCK-LIFT-AT_primitive F0)
[104] <i> :unexpanded (i-UNLOCK-BOARDED P0)
[105] <i> :unexpanded (i-UNLOCK-BOARDED_primitive P0)
[106] :action (i-UNLOCK-BOARDED_primitive P0)
[107] <i> :unexpanded (DEPART_primitive F0 P0)
[108] :action (DEPART_primitive F0 P0)
[109] <i> :action (:inline)
[110] :action (:inline)
[111] <i> :unexpanded (i-LOCK-SERVED_primitive P0)
[112] :action (i-LOCK-SERVED_primitive P0)
###
:action (i-LOCK-LIFT-AT_primitive F0)
:action (i-UNLOCK-LIFT-AT_primitive F0)
:action (BOARD_primitive F0 P1)
:action (i-LOCK-BOARDED_primitive P1)
:action (UP_primitive F0 F1)
:action (UP_primitive F1 F2)
:action (i-LOCK-LIFT-AT_primitive F2)
:action (i-UNLOCK-LIFT-AT_primitive F2)
:action (i-UNLOCK-BOARDED_primitive P1)
:action (DEPART_primitive F2 P1)
:action (i-LOCK-SERVED_primitive P1)
:action (UP_primitive F2 F3)
:action (i-LOCK-LIFT-AT_primitive F3)
:action (i-UNLOCK-LIFT-AT_primitive F3)
:action (BOARD_primitive F3 P0)
:action (i-LOCK-BOARDED_primitive P0)
:action (DOWN_primitive F3 F0)
:action (i-LOCK-LIFT-AT_primitive F0)
:action (i-UNLOCK-LIFT-AT_primitive F0)
:action (i-UNLOCK-BOARDED_primitive P0)
:action (DEPART_primitive F0 P0)
:action (i-LOCK-SERVED_primitive P0)
==>
18 i-LOCK-LIFT-AT F0
21 i-UNLOCK-LIFT-AT F0
17 BOARD F0 P1
12 i-LOCK-BOARDED P1
32 UP F0 F1
36 UP F1 F2
31 i-LOCK-LIFT-AT F2
44 i-UNLOCK-LIFT-AT F2
47 i-UNLOCK-BOARDED P1
10 DEPART F2 P1
3 i-LOCK-SERVED P1
74 UP F2 F3
73 i-LOCK-LIFT-AT F3
82 i-UNLOCK-LIFT-AT F3
71 BOARD F3 P0
66 i-LOCK-BOARDED P0
93 DOWN F3 F0
92 i-LOCK-LIFT-AT F0
101 i-UNLOCK-LIFT-AT F0
104 i-UNLOCK-BOARDED P0
64 DEPART F0 P0
57 i-LOCK-SERVED P0
root 0 1
0 ACHIEVE-SERVED P1 -> M22-ACHIEVE-SERVED 2 3
2 ACHIEVE-SERVED2 P1 -> M24-ACHIEVE-SERVED2 4 5
4 DO-SERVED-DEPART2 F2 P1 -> M8-DO-SERVED-DEPART2 6 7 8 9 10
6 ACHIEVE-BOARDED P1 -> M17-ACHIEVE-BOARDED 11 12
11 ACHIEVE-BOARDED1 P1 -> M19-ACHIEVE-BOARDED1 13 14
13 DO-BOARDED-BOARD1 F0 P1 -> M7-DO-BOARDED-BOARD1 15 16 17
15 ACHIEVE-LIFT-AT F0 -> M10-ACHIEVE-LIFT-AT 18
16 IFUNLOCK-LIFT-AT F0 -> IFUNLOCK5-LIFT-AT 21
14 ACHIEVE-BOARDED1 P1 -> M18-ACHIEVE-BOARDED1 
7 ACHIEVE-LIFT-AT F2 -> M11-ACHIEVE-LIFT-AT 30 31
30 ACHIEVE-LIFT-AT0 F2 -> M13-ACHIEVE-LIFT-AT0 32 33
33 ACHIEVE-LIFT-AT0 F2 -> M13-ACHIEVE-LIFT-AT0 36 37
37 ACHIEVE-LIFT-AT0 F2 -> M12-ACHIEVE-LIFT-AT0 
8 IFUNLOCK-LIFT-AT F2 -> IFUNLOCK5-LIFT-AT 44
9 IFUNLOCK-BOARDED P1 -> IFUNLOCK1-BOARDED 47
5 ACHIEVE-SERVED2 P1 -> M23-ACHIEVE-SERVED2 
1 ACHIEVE-SERVED P0 -> M22-ACHIEVE-SERVED 56 57
56 ACHIEVE-SERVED2 P0 -> M24-ACHIEVE-SERVED2 58 59
58 DO-SERVED-DEPART2 F0 P0 -> M8-DO-SERVED-DEPART2 60 61 62 63 64
60 ACHIEVE-BOARDED P0 -> M17-ACHIEVE-BOARDED 65 66
65 ACHIEVE-BOARDED1 P0 -> M19-ACHIEVE-BOARDED1 67 68
67 DO-BOARDED-BOARD1 F3 P0 -> M7-DO-BOARDED-BOARD1 69 70 71
69 ACHIEVE-LIFT-AT F3 -> M11-ACHIEVE-LIFT-AT 72 73
72 ACHIEVE-LIFT-AT0 F3 -> M13-ACHIEVE-LIFT-AT0 74 75
75 ACHIEVE-LIFT-AT0 F3 -> M12-ACHIEVE-LIFT-AT0 
70 IFUNLOCK-LIFT-AT F3 -> IFUNLOCK5-LIFT-AT 82
68 ACHIEVE-BOARDED1 P0 -> M18-ACHIEVE-BOARDED1 
61 ACHIEVE-LIFT-AT F0 -> M11-ACHIEVE-LIFT-AT 91 92
91 ACHIEVE-LIFT-AT0 F0 -> M14-ACHIEVE-LIFT-AT0 93 94
94 ACHIEVE-LIFT-AT0 F0 -> M12-ACHIEVE-LIFT-AT0 
62 IFUNLOCK-LIFT-AT F0 -> IFUNLOCK5-LIFT-AT 101
63 IFUNLOCK-BOARDED P0 -> IFUNLOCK1-BOARDED 104
59 ACHIEVE-SERVED2 P0 -> M23-ACHIEVE-SERVED2 
<==
%TIME 0:00.28 40128
%EXIT 0
pandaPIparser is configured as follows
  Colors in output: false
  Mode: plan verification
  Verbosity: 1
  Lenient mode: false
  Ignore given order: false
Reading plan given as input
Parse instantiated task from " i-LOCK-LIFT-AT F0" ... done
Parsed action id=18 i-LOCK-LIFT-AT F0
Parse instantiated task from " i-UNLOCK-LIFT-AT F0" ... done
Parsed action id=21 i-UNLOCK-LIFT-AT F0
Parse instantiated task from " BOARD F0 P1" ... done
Parsed action id=17 BOARD F0 P1
Parse instantiated task from " i-LOCK-BOARDED P1" ... done
Parsed action id=12 i-LOCK-BOARDED P1
Parse instantiated task from " UP F0 F1" ... done
Parsed action id=32 UP F0 F1
Parse instantiated task from " UP F1 F2" ... done
Parsed action id=36 UP F1 F2
Parse instantiated task from " i-LOCK-LIFT-AT F2" ... done
Parsed action id=31 i-LOCK-LIFT-AT F2
Parse instantiated task from " i-UNLOCK-LIFT-AT F2" ... done
Parsed action id=44 i-UNLOCK-LIFT-AT F2
Parse instantiated task from " i-UNLOCK-BOARDED P1" ... done
Parsed action id=47 i-UNLOCK-BOARDED P1
Parse instantiated task from " DEPART F2 P1" ... done
Parsed action id=10 DEPART F2 P1
Parse instantiated task from " i-LOCK-SERVED P1" ... done
Parsed action id=3 i-LOCK-SERVED P1
Parse instantiated task from " UP F2 F3" ... done
Parsed action id=74 UP F2 F3
Parse instantiated task from " i-LOCK-LIFT-AT F3" ... done
Parsed action id=73 i-LOCK-LIFT-AT F3
Parse instantiated task from " i-UNLOCK-LIFT-AT F3" ... done
Parsed action id=82 i-UNLOCK-LIFT-AT F3
Parse instantiated task from " BOARD F3 P0" ... done
Parsed action id=71 BOARD F3 P0
Parse instantiated task from " i-LOCK-BOARDED P0" ... done
Parsed action id=66 i-LOCK-BOARDED P0
Parse instantiated task from " DOWN F3 F0" ... done
Parsed action id=93 DOWN F3 F0
Parse instantiated task from " i-LOCK-LIFT-AT F0" ... done
Parsed action id=92 i-LOCK-LIFT-AT F0
Parse instantiated task from " i-UNLOCK-LIFT-AT F0" ... done
Parsed action id=101 i-UNLOCK-LIFT-AT F0
Parse instantiated task from " i-UNLOCK-BOARDED P0" ... done
Parsed action id=104 i-UNLOCK-BOARDED P0
Parse instantiated task from " DEPART F0 P0" ... done
Parsed action id=64 DEPART F0 P0
Parse instantiated task from " i-LOCK-SERVED P0" ... done
Parsed action id=57 i-LOCK-SERVED P0
Size of primitive plan: 22
Reading list of integers from " 0 1"
Root tasks (2): 0 1
Reading plan given as input
Parse instantiated task from "  ACHIEVE-SERVED P1" ... done
Parsed abstract task id=0 ACHIEVE-SERVED P1
Parsed method name: M22-ACHIEVE-SERVED
Subtasks: 2 3

Parse instantiated task from "  ACHIEVE-SERVED2 P1" ... done
Parsed abstract task id=2 ACHIEVE-SERVED2 P1
Parsed method name: M24-ACHIEVE-SERVED2
Subtasks: 4 5

Parse instantiated task from "  DO-SERVED-DEPART2 F2 P1" ... done
Parsed abstract task id=4 DO-SERVED-DEPART2 F2 P1
Parsed method name: M8-DO-SERVED-DEPART2
Subtasks: 6 7 8 9 10

Parse instantiated task from "  ACHIEVE-BOARDED P1" ... done
Parsed abstract task id=6 ACHIEVE-BOARDED P1
Parsed method name: M17-ACHIEVE-BOARDED
Subtasks: 11 12

Parse instantiated task from "  ACHIEVE-BOARDED1 P1" ... done
Parsed abstract task id=11 ACHIEVE-BOARDED1 P1
Parsed method name: M19-ACHIEVE-BOARDED1
Subtasks: 13 14

Parse instantiated task from "  DO-BOARDED-BOARD1 F0 P1" ... done
Parsed abstract task id=13 DO-BOARDED-BOARD1 F0 P1
Parsed method name: M7-DO-BOARDED-BOARD1
Subtasks: 15 16 17

Parse instantiated task from "  ACHIEVE-LIFT-AT F0" ... done
Parsed abstract task id=15 ACHIEVE-LIFT-AT F0
Parsed method name: M10-ACHIEVE-LIFT-AT
Subtasks: 18

Parse instantiated task from "  IFUNLOCK-LIFT-AT F0" ... done
Parsed abstract task id=16 IFUNLOCK-LIFT-AT F0
Parsed method name: IFUNLOCK5-LIFT-AT
Subtasks: 21

Parse instantiated task from "  ACHIEVE-BOARDED1 P1" ... done
Parsed abstract task id=14 ACHIEVE-BOARDED1 P1
Parsed method name: M18-ACHIEVE-BOARDED1
Subtasks:

Parse instantiated task from "  ACHIEVE-LIFT-AT F2" ... done
Parsed abstract task id=7 ACHIEVE-LIFT-AT F2
Parsed method name: M11-ACHIEVE-LIFT-AT
Subtasks: 30 31

Parse instantiated task from "  ACHIEVE-LIFT-AT0 F2" ... done
Parsed abstract task id=30 ACHIEVE-LIFT-AT0 F2
Parsed method name: M13-ACHIEVE-LIFT-AT0
Subtasks: 32 33

Parse instantiated task from "  ACHIEVE-LIFT-AT0 F2" ... done
Parsed abstract task id=33 ACHIEVE-LIFT-AT0 F2
Parsed method name: M13-ACHIEVE-LIFT-AT0
Subtasks: 36 37

Parse instantiated task from "  ACHIEVE-LIFT-AT0 F2" ... done
Parsed abstract task id=37 ACHIEVE-LIFT-AT0 F2
Parsed method name: M12-ACHIEVE-LIFT-AT0
Subtasks:

Parse instantiated task from "  IFUNLOCK-LIFT-AT F2" ... done
Parsed abstract task id=8 IFUNLOCK-LIFT-AT F2
Parsed method name: IFUNLOCK5-LIFT-AT
Subtasks: 44

Parse instantiated task from "  IFUNLOCK-BOARDED P1" ... done
Parsed abstract task id=9 IFUNLOCK-BOARDED P1
Parsed method name: IFUNLOCK1-BOARDED
Subtasks: 47

Parse instantiated task from "  ACHIEVE-SERVED2 P1" ... done
Parsed abstract task id=5 ACHIEVE-SERVED2 P1
Parsed method name: M23-ACHIEVE-SERVED2
Subtasks:

Parse instantiated task from "  ACHIEVE-SERVED P0" ... done
Parsed abstract task id=1 ACHIEVE-SERVED P0
Parsed method name: M22-ACHIEVE-SERVED
Subtasks: 56 57

Parse instantiated task from "  ACHIEVE-SERVED2 P0" ... done
Parsed abstract task id=56 ACHIEVE-SERVED2 P0
Parsed method name: M24-ACHIEVE-SERVED2
Subtasks: 58 59

Parse instantiated task from "  DO-SERVED-DEPART2 F0 P0" ... done
Parsed abstract task id=58 DO-SERVED-DEPART2 F0 P0
Parsed method name: M8-DO-SERVED-DEPART2
Subtasks: 60 61 62 63 64

Parse instantiated task from "  ACHIEVE-BOARDED P0" ... done
Parsed abstract task id=60 ACHIEVE-BOARDED P0
Parsed method name: M17-ACHIEVE-BOARDED
Subtasks: 65 66

Parse instantiated task from "  ACHIEVE-BOARDED1 P0" ... done
Parsed abstract task id=65 ACHIEVE-BOARDED1 P0
Parsed method name: M19-ACHIEVE-BOARDED1
Subtasks: 67 68

Parse instantiated task from "  DO-BOARDED-BOARD1 F3 P0" ... done
Parsed abstract task id=67 DO-BOARDED-BOARD1 F3 P0
Parsed method name: M7-DO-BOARDED-BOARD1
Subtasks: 69 70 71

Parse instantiated task from "  ACHIEVE-LIFT-AT F3" ... done
Parsed abstract task id=69 ACHIEVE-LIFT-AT F3
Parsed method name: M11-ACHIEVE-LIFT-AT
Subtasks: 72 73

Parse instantiated task from "  ACHIEVE-LIFT-AT0 F3" ... done
Parsed abstract task id=72 ACHIEVE-LIFT-AT0 F3
Parsed method name: M13-ACHIEVE-LIFT-AT0
Subtasks: 74 75

Parse instantiated task from "  ACHIEVE-LIFT-AT0 F3" ... done
Parsed abstract task id=75 ACHIEVE-LIFT-AT0 F3
Parsed method name: M12-ACHIEVE-LIFT-AT0
Subtasks:

Parse instantiated task from "  IFUNLOCK-LIFT-AT F3" ... done
Parsed abstract task id=70 IFUNLOCK-LIFT-AT F3
Parsed method name: IFUNLOCK5-LIFT-AT
Subtasks: 82

Parse instantiated task from "  ACHIEVE-BOARDED1 P0" ... done
Parsed abstract task id=68 ACHIEVE-BOARDED1 P0
Parsed method name: M18-ACHIEVE-BOARDED1
Subtasks:

Parse instantiated task from "  ACHIEVE-LIFT-AT F0" ... done
Parsed abstract task id=61 ACHIEVE-LIFT-AT F0
Parsed method name: M11-ACHIEVE-LIFT-AT
Subtasks: 91 92

Parse instantiated task from "  ACHIEVE-LIFT-AT0 F0" ... done
Parsed abstract task id=91 ACHIEVE-LIFT-AT0 F0
Parsed method name: M14-ACHIEVE-LIFT-AT0
Subtasks: 93 94

Parse instantiated task from "  ACHIEVE-LIFT-AT0 F0" ... done
Parsed abstract task id=94 ACHIEVE-LIFT-AT0 F0
Parsed method name: M12-ACHIEVE-LIFT-AT0
Subtasks:

Parse instantiated task from "  IFUNLOCK-LIFT-AT F0" ... done
Parsed abstract task id=62 IFUNLOCK-LIFT-AT F0
Parsed method name: IFUNLOCK5-LIFT-AT
Subtasks: 101

Parse instantiated task from "  IFUNLOCK-BOARDED P0" ... done
Parsed abstract task id=63 IFUNLOCK-BOARDED P0
Parsed method name: IFUNLOCK1-BOARDED
Subtasks: 104

Parse instantiated task from "  ACHIEVE-SERVED2 P0" ... done
Parsed abstract task id=59 ACHIEVE-SERVED2 P0
Parsed method name: M23-ACHIEVE-SERVED2
Subtasks:

Reached end of plan (marked).

Checking the given plan ...
IDs of subtasks used in the plan exist: true
Tasks declared in plan actually exist and can be instantiated as given: true
Methods don't contain duplicate subtasks: true
Methods don't contain orphaned tasks: true
Generating Matchings for task with id=0
 Matching Task 2 Curpos=0 #sources=1
 Task is: ACHIEVE-SERVED2 P1
 Attempting matching with source __t_id_33
  Setting ?PASSENGER0 = P1
   Matching Task 3 Curpos=1 #sources=1
   Task is: i-LOCK-SERVED P1
   Attempting matching with source __t_id_34
    Setting ?PASSENGER0 = P1
     Found compatible linearisation.
      Checking constants are in variable type ... 
      Checking method's constraint formula ... 
      Checking variable constraints in method's precondition ... 
      Matching is ok.
Found 1 matchings for task with id=0
Generating Matchings for task with id=1
 Matching Task 56 Curpos=0 #sources=1
 Task is: ACHIEVE-SERVED2 P0
 Attempting matching with source __t_id_33
  Setting ?PASSENGER0 = P0
   Matching Task 57 Curpos=1 #sources=1
   Task is: i-LOCK-SERVED P0
   Attempting matching with source __t_id_34
    Setting ?PASSENGER0 = P0
     Found compatible linearisation.
      Checking constants are in variable type ... 
      Checking method's constraint formula ... 
      Checking variable constraints in method's precondition ... 
      Matching is ok.
Found 1 matchings for task with id=1
Generating Matchings for task with id=2
 Matching Task 4 Curpos=0 #sources=1
 Task is: DO-SERVED-DEPART2 F2 P1
 Attempting matching with source __t_id_35
  Setting ?FLOOR2 = F2
  Setting ?PASSENGER0 = P1
   Matching Task 5 Curpos=1 #sources=1
   Task is: ACHIEVE-SERVED2 P1
   Attempting matching with source __t_id_36
    Setting ?PASSENGER0 = P1
     Found compatible linearisation.
      Checking constants are in variable type ... 
      Checking method's constraint formula ... 
      Checking variable constraints in method's precondition ... 
      Matching is ok.
Found 1 matchings for task with id=2
Generating Matchings for task with id=4
 Matching Task 6 Curpos=0 #sources=1
 Task is: ACHIEVE-BOARDED P1
 Attempting matching with source __t_id_12
  Setting ?PASSENGER1 = P1
   Matching Task 7 Curpos=1 #sources=1
   Task is: ACHIEVE-LIFT-AT F2
   Attempting matching with source __t_id_13
    Setting ?FLOOR0 = F2
     Matching Task 8 Curpos=2 #sources=1
     Task is: IFUNLOCK-LIFT-AT F2
     Attempting matching with source __t_id_14
      Setting ?FLOOR0 = F2
       Matching Task 9 Curpos=3 #sources=1
       Task is: IFUNLOCK-BOARDED P1
       Attempting matching with source __t_id_15
        Setting ?PASSENGER1 = P1
         Matching Task 10 Curpos=4 #sources=1
         Task is: DEPART F2 P1
         Attempting matching with source __t_id_16
          Setting ?FLOOR0 = F2
          Setting ?PASSENGER1 = P1
           Found compatible linearisation.
            Checking constants are in variable type ... 
            Checking method's constraint formula ... 
            Checking variable constraints in method's precondition ... 
            Matching is ok.
Found 1 matchings for task with id=4
Generating Matchings for task with id=5
 Found compatible linearisation.
  Checking constants are in variable type ... 
  Checking method's constraint formula ... 
  Checking variable constraints in method's precondition ... 
  Matching is ok.
Found 1 matchings for task with id=5
Generating Matchings for task with id=6
 Matching Task 11 Curpos=0 #sources=1
 Task is: ACHIEVE-BOARDED1 P1
 Attempting matching with source __t_id_27
  Setting ?PASSENGER0 = P1
   Matching Task 12 Curpos=1 #sources=1
   Task is: i-LOCK-BOARDED P1
   Attempting matching with source __t_id_28
    Setting ?PASSENGER0 = P1
     Found compatible linearisation.
      Checking constants are in variable type ... 
      Checking method's constraint formula ... 
      Checking variable constraints in method's precondition ... 
      Matching is ok.
Found 1 matchings for task with id=6
Generating Matchings for task with id=7
 Matching Task 30 Curpos=0 #sources=1
 Task is: ACHIEVE-LIFT-AT0 F2
 Attempting matching with source __t_id_19
  Setting ?FLOOR0 = F2
   Matching Task 31 Curpos=1 #sources=1
   Task is: i-LOCK-LIFT-AT F2
   Attempting matching with source __t_id_20
    Setting ?FLOOR0 = F2
     Found compatible linearisation.
      Checking constants are in variable type ... 
      Checking method's constraint formula ... 
      Checking variable constraints in method's precondition ... 
      Matching is ok.
Found 1 matchings for task with id=7
Generating Matchings for task with id=8
 Matching Task 44 Curpos=0 #sources=1
 Task is: i-UNLOCK-LIFT-AT F2
 Attempting matching with source __t_id_5
  Setting ?FLOOR0 = F2
   Found compatible linearisation.
    Checking constants are in variable type ... 
    Checking method's constraint formula ... 
    Checking variable constraints in method's precondition ... 
    Matching is ok.
Found 1 matchings for task with id=8
Generating Matchings for task with id=9
 Matching Task 47 Curpos=0 #sources=1
 Task is: i-UNLOCK-BOARDED P1
 Attempting matching with source __t_id_1
  Setting ?PASSENGER0 = P1
   Found compatible linearisation.
    Checking constants are in variable type ... 
    Checking method's constraint formula ... 
    Checking variable constraints in method's precondition ... 
    Matching is ok.
Found 1 matchings for task with id=9
Generating Matchings for task with id=11
 Matching Task 13 Curpos=0 #sources=1
 Task is: DO-BOARDED-BOARD1 F0 P1
 Attempting matching with source __t_id_29
  Setting ?FLOOR2 = F0
  Setting ?PASSENGER0 = P1
   Matching Task 14 Curpos=1 #sources=1
   Task is: ACHIEVE-BOARDED1 P1
   Attempting matching with source __t_id_30
    Setting ?PASSENGER0 = P1
     Found compatible linearisation.
      Checking constants are in variable type ... 
      Checking method's constraint formula ... 
      Checking variable constraints in method's precondition ... 
      Matching is ok.
Found 1 matchings for task with id=11
Generating Matchings for task with id=13
 Matching Task 15 Curpos=0 #sources=1
 Task is: ACHIEVE-LIFT-AT F0
 Attempting matching with source __t_id_9
  Setting ?FLOOR0 = F0
   Matching Task 16 Curpos=1 #sources=1
   Task is: IFUNLOCK-LIFT-AT F0
   Attempting matching with source __t_id_10
    Setting ?FLOOR0 = F0
     Matching Task 17 Curpos=2 #sources=1
     Task is: BOARD F0 P1
     Attempting matching with source __t_id_11
      Setting ?FLOOR0 = F0
      Setting ?PASSENGER1 = P1
       Found compatible linearisation.
        Checking constants are in variable type ... 
        Checking method's constraint formula ... 
        Checking variable constraints in method's precondition ... 
        Matching is ok.
Found 1 matchings for task with id=13
Generating Matchings for task with id=14
 Found compatible linearisation.
  Checking constants are in variable type ... 
  Checking method's constraint formula ... 
  Checking variable constraints in method's precondition ... 
  Matching is ok.
Found 1 matchings for task with id=14
Generating Matchings for task with id=15
 Matching Task 18 Curpos=0 #sources=1
 Task is: i-LOCK-LIFT-AT F0
 Attempting matching with source __t_id_18
  Setting ?FLOOR0 = F0
   Found compatible linearisation.
    Checking constants are in variable type ... 
    Checking method's constraint formula ... 
    Checking variable constraints in method's precondition ... 
    Matching is ok.
Found 1 matchings for task with id=15
Generating Matchings for task with id=16
 Matching Task 21 Curpos=0 #sources=1
 Task is: i-UNLOCK-LIFT-AT F0
 Attempting matching with source __t_id_5
  Setting ?FLOOR0 = F0
   Found compatible linearisation.
    Checking constants are in variable type ... 
    Checking method's constraint formula ... 
    Checking variable constraints in method's precondition ... 
    Matching is ok.
Found 1 matchings for task with id=16
Generating Matchings for task with id=19
 Matching Task 0 Curpos=0 #sources=1
 Task is: ACHIEVE-SERVED P1
 Attempting matching with source task1
  Setting ?var_for_P1 = P1
   Matching Task 1 Curpos=1 #sources=1
   Task is: ACHIEVE-SERVED P0
   Attempting matching with source task0
    Setting ?var_for_P0 = P0
     Found compatible linearisation.
      Checking constants are in variable type ... 
      Checking method's constraint formula ... 
      Checking variable constraints in method's precondition ... 
      Matching is ok.
Found 1 matchings for task with id=19
Generating Matchings for task with id=30
 Matching Task 32 Curpos=0 #sources=1
 Task is: UP F0 F1
 Attempting matching with source __t_id_21
  Setting ?FLOOR1 = F0
  Setting ?FLOOR3 = F1
   Matching Task 33 Curpos=1 #sources=1
   Task is: ACHIEVE-LIFT-AT0 F2
   Attempting matching with source __t_id_22
    Setting ?FLOOR0 = F2
     Found compatible linearisation.
      Checking constants are in variable type ... 
      Checking method's constraint formula ... 
      Checking variable constraints in method's precondition ... 
      Matching is ok.
Found 1 matchings for task with id=30
Generating Matchings for task with id=33
 Matching Task 36 Curpos=0 #sources=1
 Task is: UP F1 F2
 Attempting matching with source __t_id_21
  Setting ?FLOOR1 = F1
  Setting ?FLOOR3 = F2
   Matching Task 37 Curpos=1 #sources=1
   Task is: ACHIEVE-LIFT-AT0 F2
   Attempting matching with source __t_id_22
    Setting ?FLOOR0 = F2
     Found compatible linearisation.
      Checking constants are in variable type ... 
      Checking method's constraint formula ... 
      Checking variable constraints in method's precondition ... 
      Matching is ok.
Found 1 matchings for task with id=33
Generating Matchings for task with id=37
 Found compatible linearisation.
  Checking constants are in variable type ... 
  Checking method's constraint formula ... 
  Checking variable constraints in method's precondition ... 
  Matching is ok.
Found 1 matchings for task with id=37
Generating Matchings for task with id=56
 Matching Task 58 Curpos=0 #sources=1
 Task is: DO-SERVED-DEPART2 F0 P0
 Attempting matching with source __t_id_35
  Setting ?FLOOR2 = F0
  Setting ?PASSENGER0 = P0
   Matching Task 59 Curpos=1 #sources=1
   Task is: ACHIEVE-SERVED2 P0
   Attempting matching with source __t_id_36
    Setting ?PASSENGER0 = P0
     Found compatible linearisation.
      Checking constants are in variable type ... 
      Checking method's constraint formula ... 
      Checking variable constraints in method's precondition ... 
      Matching is ok.
Found 1 matchings for task with id=56
Generating Matchings for task with id=58
 Matching Task 60 Curpos=0 #sources=1
 Task is: ACHIEVE-BOARDED P0
 Attempting matching with source __t_id_12
  Setting ?PASSENGER1 = P0
   Matching Task 61 Curpos=1 #sources=1
   Task is: ACHIEVE-LIFT-AT F0
   Attempting matching with source __t_id_13
    Setting ?FLOOR0 = F0
     Matching Task 62 Curpos=2 #sources=1
     Task is: IFUNLOCK-LIFT-AT F0
     Attempting matching with source __t_id_14
      Setting ?FLOOR0 = F0
       Matching Task 63 Curpos=3 #sources=1
       Task is: IFUNLOCK-BOARDED P0
       Attempting matching with source __t_id_15
        Setting ?PASSENGER1 = P0
         Matching Task 64 Curpos=4 #sources=1
         Task is: DEPART F0 P0
         Attempting matching with source __t_id_16
          Setting ?FLOOR0 = F0
          Setting ?PASSENGER1 = P0
           Found compatible linearisation.
            Checking constants are in variable type ... 
            Checking method's constraint formula ... 
            Checking variable constraints in method's precondition ... 
            Matching is ok.
Found 1 matchings for task with id=58
Generating Matchings for task with id=59
 Found compatible linearisation.
  Checking constants are in variable type ... 
  Checking method's constraint formula ... 
  Checking variable constraints in method's precondition ... 
  Matching is ok.
Found 1 matchings for task with id=59
Generating Matchings for task with id=60
 Matching Task 65 Curpos=0 #sources=1
 Task is: ACHIEVE-BOARDED1 P0
 Attempting matching with source __t_id_27
  Setting ?PASSENGER0 = P0
   Matching Task 66 Curpos=1 #sources=1
   Task is: i-LOCK-BOARDED P0
   Attempting matching with source __t_id_28
    Setting ?PASSENGER0 = P0
     Found compatible linearisation.
      Checking constants are in variable type ... 
      Checking method's constraint formula ... 
      Checking variable constraints in method's precondition ... 
      Matching is ok.
Found 1 matchings for task with id=60
Generating Matchings for task with id=61
 Matching Task 91 Curpos=0 #sources=1
 Task is: ACHIEVE-LIFT-AT0 F0
 Attempting matching with source __t_id_19
  Setting ?FLOOR0 = F0
   Matching Task 92 Curpos=1 #sources=1
   Task is: i-LOCK-LIFT-AT F0
   Attempting matching with source __t_id_20
    Setting ?FLOOR0 = F0
     Found compatible linearisation.
      Checking constants are in variable type ... 
      Checking method's constraint formula ... 
      Checking variable constraints in method's precondition ... 
      Matching is ok.
Found 1 matchings for task with id=61
Generating Matchings for task with id=62
 Matching Task 101 Curpos=0 #sources=1
 Task is: i-UNLOCK-LIFT-AT F0
 Attempting matching with source __t_id_5
  Setting ?FLOOR0 = F0
   Found compatible linearisation.
    Checking constants are in variable type ... 
    Checking method's constraint formula ... 
    Checking variable constraints in method's precondition ... 
    Matching is ok.
Found 1 matchings for task with id=62
Generating Matchings for task with id=63
 Matching Task 104 Curpos=0 #sources=1
 Task is: i-UNLOCK-BOARDED P0
 Attempting matching with source __t_id_1
  Setting ?PASSENGER0 = P0
   Found compatible linearisation.
    Checking constants are in variable type ... 
    Checking method's constraint formula ... 
    Checking variable constraints in method's precondition ... 
    Matching is ok.
Found 1 matchings for task with id=63
Generating Matchings for task with id=65
 Matching Task 67 Curpos=0 #sources=1
 Task is: DO-BOARDED-BOARD1 F3 P0
 Attempting matching with source __t_id_29
  Setting ?FLOOR2 = F3
  Setting ?PASSENGER0 = P0
   Matching Task 68 Curpos=1 #sources=1
   Task is: ACHIEVE-BOARDED1 P0
   Attempting matching with source __t_id_30
    Setting ?PASSENGER0 = P0
     Found compatible linearisation.
      Checking constants are in variable type ... 
      Checking method's constraint formula ... 
      Checking variable constraints in method's precondition ... 
      Matching is ok.
Found 1 matchings for task with id=65
Generating Matchings for task with id=67
 Matching Task 69 Curpos=0 #sources=1
 Task is: ACHIEVE-LIFT-AT F3
 Attempting matching with source __t_id_9
  Setting ?FLOOR0 = F3
   Matching Task 70 Curpos=1 #sources=1
   Task is: IFUNLOCK-LIFT-AT F3
   Attempting matching with source __t_id_10
    Setting ?FLOOR0 = F3
     Matching Task 71 Curpos=2 #sources=1
     Task is: BOARD F3 P0
     Attempting matching with source __t_id_11
      Setting ?FLOOR0 = F3
      Setting ?PASSENGER1 = P0
       Found compatible linearisation.
        Checking constants are in variable type ... 
        Checking method's constraint formula ... 
        Checking variable constraints in method's precondition ... 
        Matching is ok.
Found 1 matchings for task with id=67
Generating Matchings for task with id=68
 Found compatible linearisation.
  Checking constants are in variable type ... 
  Checking method's constraint formula ... 
  Checking variable constraints in method's precondition ... 
  Matching is ok.
Found 1 matchings for task with id=68
Generating Matchings for task with id=69
 Matching Task 72 Curpos=0 #sources=1
 Task is: ACHIEVE-LIFT-AT0 F3
 Attempting matching with source __t_id_19
  Setting ?FLOOR0 = F3
   Matching Task 73 Curpos=1 #sources=1
   Task is: i-LOCK-LIFT-AT F3
   Attempting matching with source __t_id_20
    Setting ?FLOOR0 = F3
     Found compatible linearisation.
      Checking constants are in variable type ... 
      Checking method's constraint formula ... 
      Checking variable constraints in method's precondition ... 
      Matching is ok.
Found 1 matchings for task with id=69
Generating Matchings for task with id=70
 Matching Task 82 Curpos=0 #sources=1
 Task is: i-UNLOCK-LIFT-AT F3
 Attempting matching with source __t_id_5
  Setting ?FLOOR0 = F3
   Found compatible linearisation.
    Checking constants are in variable type ... 
    Checking method's constraint formula ... 
    Checking variable constraints in method's precondition ... 
    Matching is ok.
Found 1 matchings for task with id=70
Generating Matchings for task with id=72
 Matching Task 74 Curpos=0 #sources=1
 Task is: UP F2 F3
 Attempting matching with source __t_id_21
  Setting ?FLOOR1 = F2
  Setting ?FLOOR3 = F3
   Matching Task 75 Curpos=1 #sources=1
   Task is: ACHIEVE-LIFT-AT0 F3
   Attempting matching with source __t_id_22
    Setting ?FLOOR0 = F3
     Found compatible linearisation.
      Checking constants are in variable type ... 
      Checking method's constraint formula ... 
      Checking variable constraints in method's precondition ... 
      Matching is ok.
Found 1 matchings for task with id=72
Generating Matchings for task with id=75
 Found compatible linearisation.
  Checking constants are in variable type ... 
  Checking method's constraint formula ... 
  Checking variable constraints in method's precondition ... 
  Matching is ok.
Found 1 matchings for task with id=75
Generating Matchings for task with id=91
 Matching Task 93 Curpos=0 #sources=1
 Task is: DOWN F3 F0
 Attempting matching with source __t_id_23
  Setting ?FLOOR1 = F3
  Setting ?FLOOR3 = F0
   Matching Task 94 Curpos=1 #sources=1
   Task is: ACHIEVE-LIFT-AT0 F0
   Attempting matching with source __t_id_24
    Setting ?FLOOR0 = F0
     Found compatible linearisation.
      Checking constants are in variable type ... 
      Checking method's constraint formula ... 
      Checking variable constraints in method's precondition ... 
      Matching is ok.
Found 1 matchings for task with id=91
Generating Matchings for task with id=94
 Found compatible linearisation.
  Checking constants are in variable type ... 
  Checking method's constraint formula ... 
  Checking variable constraints in method's precondition ... 
  Matching is ok.
Found 1 matchings for task with id=94
Methods can be instantiated: true
Check whether primitive plan is a linearisation of the orderings resulting from applied decomposition methods.
 Abstract Task id=19 matching still unique: true (1)
  Attempting matching
 Abstract Task id=0 matching still unique: true (1)
  Attempting matching
 Abstract Task id=2 matching still unique: true (1)
  Attempting matching
 Abstract Task id=4 matching still unique: true (1)
  Attempting matching
 Abstract Task id=6 matching still unique: true (1)
  Attempting matching
 Abstract Task id=11 matching still unique: true (1)
  Attempting matching
 Abstract Task id=13 matching still unique: true (1)
  Attempting matching
 Abstract Task id=15 matching still unique: true (1)
  Attempting matching
 Primitive Task id=18
  Ordering OK.
 Abstract Task id=16 matching still unique: true (1)
  Attempting matching
 Primitive Task id=21
  Ordering OK.
 Primitive Task id=17
  Ordering OK.
 Abstract Task id=14 matching still unique: true (1)
  Attempting matching
  Ordering OK.
  Ordering OK.
 Primitive Task id=12
  Ordering OK.
 Abstract Task id=7 matching still unique: true (1)
  Attempting matching
 Abstract Task id=30 matching still unique: true (1)
  Attempting matching
 Primitive Task id=32
 Abstract Task id=33 matching still unique: true (1)
  Attempting matching
 Primitive Task id=36
 Abstract Task id=37 matching still unique: true (1)
  Attempting matching
  Ordering OK.
  Ordering OK.
  Ordering OK.
 Primitive Task id=31
  Ordering OK.
 Abstract Task id=8 matching still unique: true (1)
  Attempting matching
 Primitive Task id=44
  Ordering OK.
 Abstract Task id=9 matching still unique: true (1)
  Attempting matching
 Primitive Task id=47
  Ordering OK.
 Primitive Task id=10
  Ordering OK.
 Abstract Task id=5 matching still unique: true (1)
  Attempting matching
  Ordering OK.
  Ordering OK.
 Primitive Task id=3
  Ordering OK.
 Abstract Task id=1 matching still unique: true (1)
  Attempting matching
 Abstract Task id=56 matching still unique: true (1)
  Attempting matching
 Abstract Task id=58 matching still unique: true (1)
  Attempting matching
 Abstract Task id=60 matching still unique: true (1)
  Attempting matching
 Abstract Task id=65 matching still unique: true (1)
  Attempting matching
 Abstract Task id=67 matching still unique: true (1)
  Attempting matching
 Abstract Task id=69 matching still unique: true (1)
  Attempting matching
 Abstract Task id=72 matching still unique: true (1)
  Attempting matching
 Primitive Task id=74
 Abstract Task id=75 matching still unique: true (1)
  Attempting matching
  Ordering OK.
  Ordering OK.
 Primitive Task id=73
  Ordering OK.
 Abstract Task id=70 matching still unique: true (1)
  Attempting matching
 Primitive Task id=82
  Ordering OK.
 Primitive Task id=71
  Ordering OK.
 Abstract Task id=68 matching still unique: true (1)
  Attempting matching
  Ordering OK.
  Ordering OK.
 Primitive Task id=66
  Ordering OK.
 Abstract Task id=61 matching still unique: true (1)
  Attempting matching
 Abstract Task id=91 matching still unique: true (1)
  Attempting matching
 Primitive Task id=93
 Abstract Task id=94 matching still unique: true (1)
  Attempting matching
  Ordering OK.
  Ordering OK.
 Primitive Task id=92
  Ordering OK.
 Abstract Task id=62 matching still unique: true (1)
  Attempting matching
 Primitive Task id=101
  Ordering OK.
 Abstract Task id=63 matching still unique: true (1)
  Attempting matching
 Primitive Task id=104
  Ordering OK.
 Primitive Task id=64
  Ordering OK.
 Abstract Task id=59 matching still unique: true (1)
  Attempting matching
  Ordering OK.
  Ordering OK.
 Primitive Task id=57
  Ordering OK.
  Root Task, checking primitive executability ...
  Running exponential top-sort.
  The current state is:
     ABOVE F0 F1
     ABOVE F0 F2
     ABOVE F0 F3
     ABOVE F1 F2
     ABOVE F1 F3
     ABOVE F2 F3
     DESTIN P0 F0
     DESTIN P1 F2
     LIFT-AT F0
     ORIGIN P0 F3
     ORIGIN P1 F0
   Executing plan time=1 #sources=1
    Source 19 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 0 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 2 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 4 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 6 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 11 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 13 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 15 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 18 is a primitive action.
    Action has an effect.
    Performed all sources that can be taken greedily. 1 sources remain. unique=true
    Attempting to progress through source 18
    Task is: i-LOCK-LIFT-AT F0
    Applying effects of the action.
     Adding fact to state: LOCKED-LIFT-AT F0
    The new state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F0
      LOCKED-LIFT-AT F0
      ORIGIN P0 F3
      ORIGIN P1 F0
   Executing plan time=1 #sources=1
    Source -19 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -16 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 16 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 21 is a primitive action.
    Action has an effect.
    Performed all sources that can be taken greedily. 1 sources remain. unique=true
    Attempting to progress through source 21
    Task is: i-UNLOCK-LIFT-AT F0
    Applying effects of the action.
     Removing fact from state: LOCKED-LIFT-AT F0
    The new state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F0
      ORIGIN P0 F3
      ORIGIN P1 F0
   Executing plan time=1 #sources=1
    Source -22 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -17 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 17 is a primitive action.
    Action has an effect.
    Performed all sources that can be taken greedily. 1 sources remain. unique=true
    Attempting to progress through source 17
    Task is: BOARD F0 P1
    Applying effects of the action.
     Adding fact to state: BOARDED P1
    The new state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      BOARDED P1
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F0
      ORIGIN P0 F3
      ORIGIN P1 F0
   Executing plan time=1 #sources=1
    Source -18 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -14 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 14 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -15 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -12 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 12 is a primitive action.
    Action has an effect.
    Performed all sources that can be taken greedily. 1 sources remain. unique=true
    Attempting to progress through source 12
    Task is: i-LOCK-BOARDED P1
    Applying effects of the action.
     Adding fact to state: LOCKED-BOARDED P1
    The new state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      BOARDED P1
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F0
      LOCKED-BOARDED P1
      ORIGIN P0 F3
      ORIGIN P1 F0
   Executing plan time=1 #sources=1
    Source -13 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -7 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 7 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 30 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 32 is a primitive action.
    Action has an effect.
    Performed all sources that can be taken greedily. 1 sources remain. unique=true
    Attempting to progress through source 32
    Task is: UP F0 F1
    Applying effects of the action.
     Removing fact from state: LIFT-AT F0
     Adding fact to state: LIFT-AT F1
    The new state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      BOARDED P1
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F1
      LOCKED-BOARDED P1
      ORIGIN P0 F3
      ORIGIN P1 F0
   Executing plan time=1 #sources=1
    Source -33 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 33 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 36 is a primitive action.
    Action has an effect.
    Performed all sources that can be taken greedily. 1 sources remain. unique=true
    Attempting to progress through source 36
    Task is: UP F1 F2
    Applying effects of the action.
     Removing fact from state: LIFT-AT F1
     Adding fact to state: LIFT-AT F2
    The new state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      BOARDED P1
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F2
      LOCKED-BOARDED P1
      ORIGIN P0 F3
      ORIGIN P1 F0
   Executing plan time=1 #sources=1
    Source -37 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 37 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -38 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -34 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -31 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 31 is a primitive action.
    Action has an effect.
    Performed all sources that can be taken greedily. 1 sources remain. unique=true
    Attempting to progress through source 31
    Task is: i-LOCK-LIFT-AT F2
    Applying effects of the action.
     Adding fact to state: LOCKED-LIFT-AT F2
    The new state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      BOARDED P1
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F2
      LOCKED-BOARDED P1
      LOCKED-LIFT-AT F2
      ORIGIN P0 F3
      ORIGIN P1 F0
   Executing plan time=1 #sources=1
    Source -32 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -8 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 8 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 44 is a primitive action.
    Action has an effect.
    Performed all sources that can be taken greedily. 1 sources remain. unique=true
    Attempting to progress through source 44
    Task is: i-UNLOCK-LIFT-AT F2
    Applying effects of the action.
     Removing fact from state: LOCKED-LIFT-AT F2
    The new state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      BOARDED P1
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F2
      LOCKED-BOARDED P1
      ORIGIN P0 F3
      ORIGIN P1 F0
   Executing plan time=1 #sources=1
    Source -45 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -9 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 9 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 47 is a primitive action.
    Action has an effect.
    Performed all sources that can be taken greedily. 1 sources remain. unique=true
    Attempting to progress through source 47
    Task is: i-UNLOCK-BOARDED P1
    Applying effects of the action.
     Removing fact from state: LOCKED-BOARDED P1
    The new state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      BOARDED P1
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F2
      ORIGIN P0 F3
      ORIGIN P1 F0
   Executing plan time=1 #sources=1
    Source -48 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -10 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 10 is a primitive action.
    Action has an effect.
    Performed all sources that can be taken greedily. 1 sources remain. unique=true
    Attempting to progress through source 10
    Task is: DEPART F2 P1
    Applying effects of the action.
     Removing fact from state: BOARDED P1
     Adding fact to state: SERVED P1
    The new state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F2
      ORIGIN P0 F3
      ORIGIN P1 F0
      SERVED P1
   Executing plan time=1 #sources=1
    Source -11 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -5 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 5 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -6 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -3 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 3 is a primitive action.
    Action has an effect.
    Performed all sources that can be taken greedily. 1 sources remain. unique=true
    Attempting to progress through source 3
    Task is: i-LOCK-SERVED P1
    Applying effects of the action.
     Adding fact to state: LOCKED-SERVED P1
    The new state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F2
      LOCKED-SERVED P1
      ORIGIN P0 F3
      ORIGIN P1 F0
      SERVED P1
   Executing plan time=1 #sources=1
    Source -4 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -1 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 1 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 56 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 58 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 60 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 65 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 67 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 69 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 72 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 74 is a primitive action.
    Action has an effect.
    Performed all sources that can be taken greedily. 1 sources remain. unique=true
    Attempting to progress through source 74
    Task is: UP F2 F3
    Applying effects of the action.
     Removing fact from state: LIFT-AT F2
     Adding fact to state: LIFT-AT F3
    The new state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F3
      LOCKED-SERVED P1
      ORIGIN P0 F3
      ORIGIN P1 F0
      SERVED P1
   Executing plan time=1 #sources=1
    Source -75 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 75 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -76 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -73 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 73 is a primitive action.
    Action has an effect.
    Performed all sources that can be taken greedily. 1 sources remain. unique=true
    Attempting to progress through source 73
    Task is: i-LOCK-LIFT-AT F3
    Applying effects of the action.
     Adding fact to state: LOCKED-LIFT-AT F3
    The new state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F3
      LOCKED-LIFT-AT F3
      LOCKED-SERVED P1
      ORIGIN P0 F3
      ORIGIN P1 F0
      SERVED P1
   Executing plan time=1 #sources=1
    Source -74 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -70 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 70 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 82 is a primitive action.
    Action has an effect.
    Performed all sources that can be taken greedily. 1 sources remain. unique=true
    Attempting to progress through source 82
    Task is: i-UNLOCK-LIFT-AT F3
    Applying effects of the action.
     Removing fact from state: LOCKED-LIFT-AT F3
    The new state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F3
      LOCKED-SERVED P1
      ORIGIN P0 F3
      ORIGIN P1 F0
      SERVED P1
   Executing plan time=1 #sources=1
    Source -83 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -71 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 71 is a primitive action.
    Action has an effect.
    Performed all sources that can be taken greedily. 1 sources remain. unique=true
    Attempting to progress through source 71
    Task is: BOARD F3 P0
    Applying effects of the action.
     Adding fact to state: BOARDED P0
    The new state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      BOARDED P0
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F3
      LOCKED-SERVED P1
      ORIGIN P0 F3
      ORIGIN P1 F0
      SERVED P1
   Executing plan time=1 #sources=1
    Source -72 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -68 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 68 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -69 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -66 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 66 is a primitive action.
    Action has an effect.
    Performed all sources that can be taken greedily. 1 sources remain. unique=true
    Attempting to progress through source 66
    Task is: i-LOCK-BOARDED P0
    Applying effects of the action.
     Adding fact to state: LOCKED-BOARDED P0
    The new state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      BOARDED P0
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F3
      LOCKED-BOARDED P0
      LOCKED-SERVED P1
      ORIGIN P0 F3
      ORIGIN P1 F0
      SERVED P1
   Executing plan time=1 #sources=1
    Source -67 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -61 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 61 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 91 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 93 is a primitive action.
    Action has an effect.
    Performed all sources that can be taken greedily. 1 sources remain. unique=true
    Attempting to progress through source 93
    Task is: DOWN F3 F0
    Applying effects of the action.
     Removing fact from state: LIFT-AT F3
     Adding fact to state: LIFT-AT F0
    The new state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      BOARDED P0
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F0
      LOCKED-BOARDED P0
      LOCKED-SERVED P1
      ORIGIN P0 F3
      ORIGIN P1 F0
      SERVED P1
   Executing plan time=1 #sources=1
    Source -94 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 94 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -95 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -92 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 92 is a primitive action.
    Action has an effect.
    Performed all sources that can be taken greedily. 1 sources remain. unique=true
    Attempting to progress through source 92
    Task is: i-LOCK-LIFT-AT F0
    Applying effects of the action.
     Adding fact to state: LOCKED-LIFT-AT F0
    The new state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      BOARDED P0
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F0
      LOCKED-BOARDED P0
      LOCKED-LIFT-AT F0
      LOCKED-SERVED P1
      ORIGIN P0 F3
      ORIGIN P1 F0
      SERVED P1
   Executing plan time=1 #sources=1
    Source -93 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -62 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 62 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 101 is a primitive action.
    Action has an effect.
    Performed all sources that can be taken greedily. 1 sources remain. unique=true
    Attempting to progress through source 101
    Task is: i-UNLOCK-LIFT-AT F0
    Applying effects of the action.
     Removing fact from state: LOCKED-LIFT-AT F0
    The new state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      BOARDED P0
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F0
      LOCKED-BOARDED P0
      LOCKED-SERVED P1
      ORIGIN P0 F3
      ORIGIN P1 F0
      SERVED P1
   Executing plan time=1 #sources=1
    Source -102 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -63 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 63 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 104 is a primitive action.
    Action has an effect.
    Performed all sources that can be taken greedily. 1 sources remain. unique=true
    Attempting to progress through source 104
    Task is: i-UNLOCK-BOARDED P0
    Applying effects of the action.
     Removing fact from state: LOCKED-BOARDED P0
    The new state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      BOARDED P0
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F0
      LOCKED-SERVED P1
      ORIGIN P0 F3
      ORIGIN P1 F0
      SERVED P1
   Executing plan time=1 #sources=1
    Source -105 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -64 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 64 is a primitive action.
    Action has an effect.
    Performed all sources that can be taken greedily. 1 sources remain. unique=true
    Attempting to progress through source 64
    Task is: DEPART F0 P0
    Applying effects of the action.
     Removing fact from state: BOARDED P0
     Adding fact to state: SERVED P0
    The new state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F0
      LOCKED-SERVED P1
      ORIGIN P0 F3
      ORIGIN P1 F0
      SERVED P0
      SERVED P1
   Executing plan time=1 #sources=1
    Source -65 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -59 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 59 is the begin of an abstract task.
    Evaluating the method precondition
    Method has no effect.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -60 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -57 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source 57 is a primitive action.
    Action has an effect.
    Performed all sources that can be taken greedily. 1 sources remain. unique=true
    Attempting to progress through source 57
    Task is: i-LOCK-SERVED P0
    Applying effects of the action.
     Adding fact to state: LOCKED-SERVED P0
    The new state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F0
      LOCKED-SERVED P0
      LOCKED-SERVED P1
      ORIGIN P0 F3
      ORIGIN P1 F0
      SERVED P0
      SERVED P1
   Executing plan time=1 #sources=1
    Source -58 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -2 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=1
    Source -20 is a dummy for the end of a task.
    I can greedily take this source without making any mistake.
   Executing plan time=1 #sources=0
   Executed the whole plan ... checking whether we reached the goal state.
   The current state is:
      ABOVE F0 F1
      ABOVE F0 F2
      ABOVE F0 F3
      ABOVE F1 F2
      ABOVE F1 F3
      ABOVE F2 F3
      DESTIN P0 F0
      DESTIN P1 F2
      LIFT-AT F0
      LOCKED-SERVED P0
      LOCKED-SERVED P1
      ORIGIN P0 F3
      ORIGIN P1 F0
      SERVED P0
      SERVED P1
  Executable linearisation found.
  Ordering OK.
Result true true
Order induced by methods is present in plan: true
Plan is executable: true
Plan verification result: true