INFO: underlay of /etc/localtime required more than 50 (76) bind mounts pandaPIparser is configured as follows Colors in output: true Mode: parsing mode Parameter splitting: true Conditional effects: exponential encoding Disjunctive preconditions as HTN: false Replace goal with action: false Output: pandaPI format pandaPIparser is configured as follows Colors in output: true Mode: convert pandaPI plan %TIME 0:00.21 37632 %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 " drive truck_0 city_loc_0 city_loc_3" ... done Parsed action id=12 drive truck_0 city_loc_0 city_loc_3 Parse instantiated task from " drive truck_0 city_loc_3 city_loc_2" ... done Parsed action id=13 drive truck_0 city_loc_3 city_loc_2 Parse instantiated task from " drive truck_0 city_loc_2 city_loc_1" ... done Parsed action id=14 drive truck_0 city_loc_2 city_loc_1 Parse instantiated task from " pick_up truck_0 city_loc_1 package_1 capacity_2 capacity_3" ... done Parsed action id=24 pick_up truck_0 city_loc_1 package_1 capacity_2 capacity_3 Parse instantiated task from " drive truck_0 city_loc_1 city_loc_2" ... done Parsed action id=57 drive truck_0 city_loc_1 city_loc_2 Parse instantiated task from " drive truck_0 city_loc_2 city_loc_3" ... done Parsed action id=58 drive truck_0 city_loc_2 city_loc_3 Parse instantiated task from " drive truck_0 city_loc_3 city_loc_0" ... done Parsed action id=59 drive truck_0 city_loc_3 city_loc_0 Parse instantiated task from " drop truck_0 city_loc_0 package_1 capacity_2 capacity_3" ... done Parsed action id=66 drop truck_0 city_loc_0 package_1 capacity_2 capacity_3 Parse instantiated task from " noop truck_0 city_loc_0" ... done Parsed action id=71 noop truck_0 city_loc_0 Parse instantiated task from " pick_up truck_0 city_loc_0 package_0 capacity_2 capacity_3" ... done Parsed action id=83 pick_up truck_0 city_loc_0 package_0 capacity_2 capacity_3 Parse instantiated task from " drive truck_0 city_loc_0 city_loc_3" ... done Parsed action id=87 drive truck_0 city_loc_0 city_loc_3 Parse instantiated task from " drop truck_0 city_loc_3 package_0 capacity_2 capacity_3" ... done Parsed action id=95 drop truck_0 city_loc_3 package_0 capacity_2 capacity_3 Parse instantiated task from " drive truck_0 city_loc_3 city_loc_2" ... done Parsed action id=101 drive truck_0 city_loc_3 city_loc_2 Parse instantiated task from " pick_up truck_0 city_loc_2 package_3 capacity_2 capacity_3" ... done Parsed action id=118 pick_up truck_0 city_loc_2 package_3 capacity_2 capacity_3 Parse instantiated task from " drive truck_0 city_loc_2 city_loc_3" ... done Parsed action id=127 drive truck_0 city_loc_2 city_loc_3 Parse instantiated task from " drive truck_0 city_loc_3 city_loc_0" ... done Parsed action id=128 drive truck_0 city_loc_3 city_loc_0 Parse instantiated task from " drop truck_0 city_loc_0 package_3 capacity_2 capacity_3" ... done Parsed action id=146 drop truck_0 city_loc_0 package_3 capacity_2 capacity_3 Parse instantiated task from " drive truck_0 city_loc_0 city_loc_3" ... done Parsed action id=150 drive truck_0 city_loc_0 city_loc_3 Parse instantiated task from " pick_up truck_0 city_loc_3 package_2 capacity_2 capacity_3" ... done Parsed action id=168 pick_up truck_0 city_loc_3 package_2 capacity_2 capacity_3 Parse instantiated task from " drive truck_0 city_loc_3 city_loc_2" ... done Parsed action id=174 drive truck_0 city_loc_3 city_loc_2 Parse instantiated task from " drive truck_0 city_loc_2 city_loc_1" ... done Parsed action id=175 drive truck_0 city_loc_2 city_loc_1 Parse instantiated task from " drop truck_0 city_loc_1 package_2 capacity_2 capacity_3" ... done Parsed action id=196 drop truck_0 city_loc_1 package_2 capacity_2 capacity_3 Size of primitive plan: 22 Reading list of integers from " 198 197 200 199" Root tasks (4): 198 197 200 199 Reading plan given as input Parse instantiated task from " get_to truck_0 city_loc_1" ... done Parsed abstract task id=5 get_to truck_0 city_loc_1 Parsed method name: m_drive_to_via_ordering_0 Subtasks: 9 14 Parse instantiated task from " get_to truck_0 city_loc_2" ... done Parsed abstract task id=9 get_to truck_0 city_loc_2 Parsed method name: m_drive_to_via_ordering_0 Subtasks: 11 13 Parse instantiated task from " get_to truck_0 city_loc_3" ... done Parsed abstract task id=11 get_to truck_0 city_loc_3 Parsed method name: m_drive_to_ordering_0 Subtasks: 12 Parse instantiated task from " load truck_0 city_loc_1 package_1" ... done Parsed abstract task id=23 load truck_0 city_loc_1 package_1 Parsed method name: m_load_ordering_0 Subtasks: 24 Parse instantiated task from " get_to truck_0 city_loc_0" ... done Parsed abstract task id=27 get_to truck_0 city_loc_0 Parsed method name: m_drive_to_via_ordering_0 Subtasks: 34 59 Parse instantiated task from " get_to truck_0 city_loc_3" ... done Parsed abstract task id=34 get_to truck_0 city_loc_3 Parsed method name: m_drive_to_via_ordering_0 Subtasks: 56 58 Parse instantiated task from " get_to truck_0 city_loc_2" ... done Parsed abstract task id=56 get_to truck_0 city_loc_2 Parsed method name: m_drive_to_ordering_0 Subtasks: 57 Parse instantiated task from " unload truck_0 city_loc_0 package_1" ... done Parsed abstract task id=65 unload truck_0 city_loc_0 package_1 Parsed method name: m_unload_ordering_0 Subtasks: 66 Parse instantiated task from " get_to truck_0 city_loc_0" ... done Parsed abstract task id=70 get_to truck_0 city_loc_0 Parsed method name: m_i_am_there_ordering_0 Subtasks: 71 Parse instantiated task from " load truck_0 city_loc_0 package_0" ... done Parsed abstract task id=82 load truck_0 city_loc_0 package_0 Parsed method name: m_load_ordering_0 Subtasks: 83 Parse instantiated task from " get_to truck_0 city_loc_3" ... done Parsed abstract task id=86 get_to truck_0 city_loc_3 Parsed method name: m_drive_to_ordering_0 Subtasks: 87 Parse instantiated task from " unload truck_0 city_loc_3 package_0" ... done Parsed abstract task id=94 unload truck_0 city_loc_3 package_0 Parsed method name: m_unload_ordering_0 Subtasks: 95 Parse instantiated task from " get_to truck_0 city_loc_2" ... done Parsed abstract task id=100 get_to truck_0 city_loc_2 Parsed method name: m_drive_to_ordering_0 Subtasks: 101 Parse instantiated task from " load truck_0 city_loc_2 package_3" ... done Parsed abstract task id=117 load truck_0 city_loc_2 package_3 Parsed method name: m_load_ordering_0 Subtasks: 118 Parse instantiated task from " get_to truck_0 city_loc_0" ... done Parsed abstract task id=123 get_to truck_0 city_loc_0 Parsed method name: m_drive_to_via_ordering_0 Subtasks: 126 128 Parse instantiated task from " get_to truck_0 city_loc_3" ... done Parsed abstract task id=126 get_to truck_0 city_loc_3 Parsed method name: m_drive_to_ordering_0 Subtasks: 127 Parse instantiated task from " unload truck_0 city_loc_0 package_3" ... done Parsed abstract task id=145 unload truck_0 city_loc_0 package_3 Parsed method name: m_unload_ordering_0 Subtasks: 146 Parse instantiated task from " get_to truck_0 city_loc_3" ... done Parsed abstract task id=149 get_to truck_0 city_loc_3 Parsed method name: m_drive_to_ordering_0 Subtasks: 150 Parse instantiated task from " load truck_0 city_loc_3 package_2" ... done Parsed abstract task id=167 load truck_0 city_loc_3 package_2 Parsed method name: m_load_ordering_0 Subtasks: 168 Parse instantiated task from " get_to truck_0 city_loc_1" ... done Parsed abstract task id=172 get_to truck_0 city_loc_1 Parsed method name: m_drive_to_via_ordering_0 Subtasks: 173 175 Parse instantiated task from " get_to truck_0 city_loc_2" ... done Parsed abstract task id=173 get_to truck_0 city_loc_2 Parsed method name: m_drive_to_ordering_0 Subtasks: 174 Parse instantiated task from " unload truck_0 city_loc_1 package_2" ... done Parsed abstract task id=195 unload truck_0 city_loc_1 package_2 Parsed method name: m_unload_ordering_0 Subtasks: 196 Parse instantiated task from " deliver package_0 city_loc_3" ... done Parsed abstract task id=197 deliver package_0 city_loc_3 Parsed method name: m_deliver_ordering_0 Subtasks: 70 82 86 94 Parse instantiated task from " deliver package_1 city_loc_0" ... done Parsed abstract task id=198 deliver package_1 city_loc_0 Parsed method name: m_deliver_ordering_0 Subtasks: 5 23 27 65 Parse instantiated task from " deliver package_2 city_loc_1" ... done Parsed abstract task id=199 deliver package_2 city_loc_1 Parsed method name: m_deliver_ordering_0 Subtasks: 149 167 172 195 Parse instantiated task from " deliver package_3 city_loc_0" ... done Parsed abstract task id=200 deliver package_3 city_loc_0 Parsed method name: m_deliver_ordering_0 Subtasks: 100 117 123 145 Reached end of input. 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 198 Curpos=0 #sources=1 Task is: deliver package_1 city_loc_0 Attempting matching with source task1 Setting ?var_for_package_1 = package_1 Setting ?var_for_city_loc_0 = city_loc_0 Matching Task 197 Curpos=1 #sources=1 Task is: deliver package_0 city_loc_3 Attempting matching with source task0 Setting ?var_for_package_0 = package_0 Setting ?var_for_city_loc_3 = city_loc_3 Matching Task 200 Curpos=2 #sources=1 Task is: deliver package_3 city_loc_0 Attempting matching with source task3 Setting ?var_for_package_3 = package_3 Setting ?var_for_city_loc_0 = city_loc_0 Matching Task 199 Curpos=3 #sources=1 Task is: deliver package_2 city_loc_1 Attempting matching with source task2 Setting ?var_for_package_2 = package_2 Setting ?var_for_city_loc_1 = city_loc_1 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=5 Matching Task 9 Curpos=0 #sources=1 Task is: get_to truck_0 city_loc_2 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l2 = city_loc_2 Matching Task 14 Curpos=1 #sources=1 Task is: drive truck_0 city_loc_2 city_loc_1 Attempting matching with source task1 Setting ?v = truck_0 Setting ?l2 = city_loc_2 Setting ?l3 = city_loc_1 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=9 Matching Task 11 Curpos=0 #sources=1 Task is: get_to truck_0 city_loc_3 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l2 = city_loc_3 Matching Task 13 Curpos=1 #sources=1 Task is: drive truck_0 city_loc_3 city_loc_2 Attempting matching with source task1 Setting ?v = truck_0 Setting ?l2 = city_loc_3 Setting ?l3 = city_loc_2 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 12 Curpos=0 #sources=1 Task is: drive truck_0 city_loc_0 city_loc_3 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l1 = city_loc_0 Setting ?l2 = city_loc_3 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=23 Matching Task 24 Curpos=0 #sources=1 Task is: pick_up truck_0 city_loc_1 package_1 capacity_2 capacity_3 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l = city_loc_1 Setting ?p = package_1 Setting ?s1 = capacity_2 Setting ?s2 = capacity_3 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=23 Generating Matchings for task with id=27 Matching Task 34 Curpos=0 #sources=1 Task is: get_to truck_0 city_loc_3 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l2 = city_loc_3 Matching Task 59 Curpos=1 #sources=1 Task is: drive truck_0 city_loc_3 city_loc_0 Attempting matching with source task1 Setting ?v = truck_0 Setting ?l2 = city_loc_3 Setting ?l3 = city_loc_0 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=27 Generating Matchings for task with id=34 Matching Task 56 Curpos=0 #sources=1 Task is: get_to truck_0 city_loc_2 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l2 = city_loc_2 Matching Task 58 Curpos=1 #sources=1 Task is: drive truck_0 city_loc_2 city_loc_3 Attempting matching with source task1 Setting ?v = truck_0 Setting ?l2 = city_loc_2 Setting ?l3 = city_loc_3 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=34 Generating Matchings for task with id=56 Matching Task 57 Curpos=0 #sources=1 Task is: drive truck_0 city_loc_1 city_loc_2 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l1 = city_loc_1 Setting ?l2 = city_loc_2 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=65 Matching Task 66 Curpos=0 #sources=1 Task is: drop truck_0 city_loc_0 package_1 capacity_2 capacity_3 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l = city_loc_0 Setting ?p = package_1 Setting ?s1 = capacity_2 Setting ?s2 = capacity_3 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=70 Matching Task 71 Curpos=0 #sources=1 Task is: noop truck_0 city_loc_0 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l = city_loc_0 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=82 Matching Task 83 Curpos=0 #sources=1 Task is: pick_up truck_0 city_loc_0 package_0 capacity_2 capacity_3 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l = city_loc_0 Setting ?p = package_0 Setting ?s1 = capacity_2 Setting ?s2 = capacity_3 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=82 Generating Matchings for task with id=86 Matching Task 87 Curpos=0 #sources=1 Task is: drive truck_0 city_loc_0 city_loc_3 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l1 = city_loc_0 Setting ?l2 = city_loc_3 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=86 Generating Matchings for task with id=94 Matching Task 95 Curpos=0 #sources=1 Task is: drop truck_0 city_loc_3 package_0 capacity_2 capacity_3 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l = city_loc_3 Setting ?p = package_0 Setting ?s1 = capacity_2 Setting ?s2 = capacity_3 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 Generating Matchings for task with id=100 Matching Task 101 Curpos=0 #sources=1 Task is: drive truck_0 city_loc_3 city_loc_2 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l1 = city_loc_3 Setting ?l2 = city_loc_2 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=100 Generating Matchings for task with id=117 Matching Task 118 Curpos=0 #sources=1 Task is: pick_up truck_0 city_loc_2 package_3 capacity_2 capacity_3 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l = city_loc_2 Setting ?p = package_3 Setting ?s1 = capacity_2 Setting ?s2 = capacity_3 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=117 Generating Matchings for task with id=123 Matching Task 126 Curpos=0 #sources=1 Task is: get_to truck_0 city_loc_3 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l2 = city_loc_3 Matching Task 128 Curpos=1 #sources=1 Task is: drive truck_0 city_loc_3 city_loc_0 Attempting matching with source task1 Setting ?v = truck_0 Setting ?l2 = city_loc_3 Setting ?l3 = city_loc_0 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=123 Generating Matchings for task with id=126 Matching Task 127 Curpos=0 #sources=1 Task is: drive truck_0 city_loc_2 city_loc_3 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l1 = city_loc_2 Setting ?l2 = city_loc_3 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=126 Generating Matchings for task with id=145 Matching Task 146 Curpos=0 #sources=1 Task is: drop truck_0 city_loc_0 package_3 capacity_2 capacity_3 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l = city_loc_0 Setting ?p = package_3 Setting ?s1 = capacity_2 Setting ?s2 = capacity_3 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=145 Generating Matchings for task with id=149 Matching Task 150 Curpos=0 #sources=1 Task is: drive truck_0 city_loc_0 city_loc_3 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l1 = city_loc_0 Setting ?l2 = city_loc_3 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=149 Generating Matchings for task with id=167 Matching Task 168 Curpos=0 #sources=1 Task is: pick_up truck_0 city_loc_3 package_2 capacity_2 capacity_3 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l = city_loc_3 Setting ?p = package_2 Setting ?s1 = capacity_2 Setting ?s2 = capacity_3 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=167 Generating Matchings for task with id=172 Matching Task 173 Curpos=0 #sources=1 Task is: get_to truck_0 city_loc_2 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l2 = city_loc_2 Matching Task 175 Curpos=1 #sources=1 Task is: drive truck_0 city_loc_2 city_loc_1 Attempting matching with source task1 Setting ?v = truck_0 Setting ?l2 = city_loc_2 Setting ?l3 = city_loc_1 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=172 Generating Matchings for task with id=173 Matching Task 174 Curpos=0 #sources=1 Task is: drive truck_0 city_loc_3 city_loc_2 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l1 = city_loc_3 Setting ?l2 = city_loc_2 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=173 Generating Matchings for task with id=195 Matching Task 196 Curpos=0 #sources=1 Task is: drop truck_0 city_loc_1 package_2 capacity_2 capacity_3 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l = city_loc_1 Setting ?p = package_2 Setting ?s1 = capacity_2 Setting ?s2 = capacity_3 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=195 Generating Matchings for task with id=197 Matching Task 70 Curpos=0 #sources=1 Task is: get_to truck_0 city_loc_0 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l1 = city_loc_0 Matching Task 82 Curpos=1 #sources=1 Task is: load truck_0 city_loc_0 package_0 Attempting matching with source task1 Setting ?v = truck_0 Setting ?l1 = city_loc_0 Setting ?p = package_0 Matching Task 86 Curpos=2 #sources=1 Task is: get_to truck_0 city_loc_3 Attempting matching with source task2 Setting ?v = truck_0 Setting ?l2 = city_loc_3 Matching Task 94 Curpos=3 #sources=1 Task is: unload truck_0 city_loc_3 package_0 Attempting matching with source task3 Setting ?v = truck_0 Setting ?l2 = city_loc_3 Setting ?p = package_0 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=197 Generating Matchings for task with id=198 Matching Task 5 Curpos=0 #sources=1 Task is: get_to truck_0 city_loc_1 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l1 = city_loc_1 Matching Task 23 Curpos=1 #sources=1 Task is: load truck_0 city_loc_1 package_1 Attempting matching with source task1 Setting ?v = truck_0 Setting ?l1 = city_loc_1 Setting ?p = package_1 Matching Task 27 Curpos=2 #sources=1 Task is: get_to truck_0 city_loc_0 Attempting matching with source task2 Setting ?v = truck_0 Setting ?l2 = city_loc_0 Matching Task 65 Curpos=3 #sources=1 Task is: unload truck_0 city_loc_0 package_1 Attempting matching with source task3 Setting ?v = truck_0 Setting ?l2 = city_loc_0 Setting ?p = package_1 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=198 Generating Matchings for task with id=199 Matching Task 149 Curpos=0 #sources=1 Task is: get_to truck_0 city_loc_3 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l1 = city_loc_3 Matching Task 167 Curpos=1 #sources=1 Task is: load truck_0 city_loc_3 package_2 Attempting matching with source task1 Setting ?v = truck_0 Setting ?l1 = city_loc_3 Setting ?p = package_2 Matching Task 172 Curpos=2 #sources=1 Task is: get_to truck_0 city_loc_1 Attempting matching with source task2 Setting ?v = truck_0 Setting ?l2 = city_loc_1 Matching Task 195 Curpos=3 #sources=1 Task is: unload truck_0 city_loc_1 package_2 Attempting matching with source task3 Setting ?v = truck_0 Setting ?l2 = city_loc_1 Setting ?p = package_2 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=199 Generating Matchings for task with id=200 Matching Task 100 Curpos=0 #sources=1 Task is: get_to truck_0 city_loc_2 Attempting matching with source task0 Setting ?v = truck_0 Setting ?l1 = city_loc_2 Matching Task 117 Curpos=1 #sources=1 Task is: load truck_0 city_loc_2 package_3 Attempting matching with source task1 Setting ?v = truck_0 Setting ?l1 = city_loc_2 Setting ?p = package_3 Matching Task 123 Curpos=2 #sources=1 Task is: get_to truck_0 city_loc_0 Attempting matching with source task2 Setting ?v = truck_0 Setting ?l2 = city_loc_0 Matching Task 145 Curpos=3 #sources=1 Task is: unload truck_0 city_loc_0 package_3 Attempting matching with source task3 Setting ?v = truck_0 Setting ?l2 = city_loc_0 Setting ?p = package_3 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=200 Methods can be instantiated: true Check whether primitive plan is a linearisation of the orderings resulting from applied decomposition methods. Abstract Task id=0 matching still unique: true (1) Attempting matching Abstract Task id=198 matching still unique: true (1) Attempting matching Abstract Task id=5 matching still unique: true (1) Attempting matching Abstract Task id=9 matching still unique: true (1) Attempting matching Abstract Task id=11 matching still unique: true (1) Attempting matching Primitive Task id=12 Ordering OK. Primitive Task id=13 Ordering OK. Primitive Task id=14 Ordering OK. Abstract Task id=23 matching still unique: true (1) Attempting matching Primitive Task id=24 Ordering OK. Abstract Task id=27 matching still unique: true (1) Attempting matching Abstract Task id=34 matching still unique: true (1) Attempting matching Abstract Task id=56 matching still unique: true (1) Attempting matching Primitive Task id=57 Ordering OK. Primitive Task id=58 Ordering OK. Primitive Task id=59 Ordering OK. Abstract Task id=65 matching still unique: true (1) Attempting matching Primitive Task id=66 Ordering OK. Ordering OK. Abstract Task id=197 matching still unique: true (1) Attempting matching Abstract Task id=70 matching still unique: true (1) Attempting matching Primitive Task id=71 Ordering OK. Abstract Task id=82 matching still unique: true (1) Attempting matching Primitive Task id=83 Ordering OK. Abstract Task id=86 matching still unique: true (1) Attempting matching Primitive Task id=87 Ordering OK. Abstract Task id=94 matching still unique: true (1) Attempting matching Primitive Task id=95 Ordering OK. Ordering OK. Abstract Task id=200 matching still unique: true (1) Attempting matching Abstract Task id=100 matching still unique: true (1) Attempting matching Primitive Task id=101 Ordering OK. Abstract Task id=117 matching still unique: true (1) Attempting matching Primitive Task id=118 Ordering OK. Abstract Task id=123 matching still unique: true (1) Attempting matching Abstract Task id=126 matching still unique: true (1) Attempting matching Primitive Task id=127 Ordering OK. Primitive Task id=128 Ordering OK. Abstract Task id=145 matching still unique: true (1) Attempting matching Primitive Task id=146 Ordering OK. Ordering OK. Abstract Task id=199 matching still unique: true (1) Attempting matching Abstract Task id=149 matching still unique: true (1) Attempting matching Primitive Task id=150 Ordering OK. Abstract Task id=167 matching still unique: true (1) Attempting matching Primitive Task id=168 Ordering OK. Abstract Task id=172 matching still unique: true (1) Attempting matching Abstract Task id=173 matching still unique: true (1) Attempting matching Primitive Task id=174 Ordering OK. Primitive Task id=175 Ordering OK. Abstract Task id=195 matching still unique: true (1) Attempting matching Primitive Task id=196 Ordering OK. Ordering OK. Root Task, checking primitive executability ... Running exponential top-sort. The current state is: at package_0 city_loc_0 at package_1 city_loc_1 at package_2 city_loc_3 at package_3 city_loc_2 at truck_0 city_loc_0 capacity truck_0 capacity_3 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 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 198 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 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 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 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 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: drive truck_0 city_loc_0 city_loc_3 Applying effects of the action. Removing fact from state: at truck_0 city_loc_0 Adding fact to state: at truck_0 city_loc_3 The new state is: at package_0 city_loc_0 at package_1 city_loc_1 at package_2 city_loc_3 at package_3 city_loc_2 at truck_0 city_loc_3 capacity truck_0 capacity_3 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 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 -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 13 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 13 Task is: drive truck_0 city_loc_3 city_loc_2 Applying effects of the action. Removing fact from state: at truck_0 city_loc_3 Adding fact to state: at truck_0 city_loc_2 The new state is: at package_0 city_loc_0 at package_1 city_loc_1 at package_2 city_loc_3 at package_3 city_loc_2 at truck_0 city_loc_2 capacity truck_0 capacity_3 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 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 -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 14 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 14 Task is: drive truck_0 city_loc_2 city_loc_1 Applying effects of the action. Removing fact from state: at truck_0 city_loc_2 Adding fact to state: at truck_0 city_loc_1 The new state is: at package_0 city_loc_0 at package_1 city_loc_1 at package_2 city_loc_3 at package_3 city_loc_2 at truck_0 city_loc_1 capacity truck_0 capacity_3 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 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 -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 23 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 24 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 24 Task is: pick_up truck_0 city_loc_1 package_1 capacity_2 capacity_3 Applying effects of the action. Removing fact from state: at package_1 city_loc_1 Removing fact from state: capacity truck_0 capacity_3 Adding fact to state: capacity truck_0 capacity_2 Adding fact to state: in package_1 truck_0 The new state is: at package_0 city_loc_0 at package_2 city_loc_3 at package_3 city_loc_2 at truck_0 city_loc_1 capacity truck_0 capacity_2 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 in package_1 truck_0 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 Executing plan time=1 #sources=1 Source -25 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 -24 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 27 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 34 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 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: drive truck_0 city_loc_1 city_loc_2 Applying effects of the action. Removing fact from state: at truck_0 city_loc_1 Adding fact to state: at truck_0 city_loc_2 The new state is: at package_0 city_loc_0 at package_2 city_loc_3 at package_3 city_loc_2 at truck_0 city_loc_2 capacity truck_0 capacity_2 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 in package_1 truck_0 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 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 -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 58 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 58 Task is: drive truck_0 city_loc_2 city_loc_3 Applying effects of the action. Removing fact from state: at truck_0 city_loc_2 Adding fact to state: at truck_0 city_loc_3 The new state is: at package_0 city_loc_0 at package_2 city_loc_3 at package_3 city_loc_2 at truck_0 city_loc_3 capacity truck_0 capacity_2 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 in package_1 truck_0 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 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 -35 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 primitive action. Action has an effect. Performed all sources that can be taken greedily. 1 sources remain. unique=true Attempting to progress through source 59 Task is: drive truck_0 city_loc_3 city_loc_0 Applying effects of the action. Removing fact from state: at truck_0 city_loc_3 Adding fact to state: at truck_0 city_loc_0 The new state is: at package_0 city_loc_0 at package_2 city_loc_3 at package_3 city_loc_2 at truck_0 city_loc_0 capacity truck_0 capacity_2 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 in package_1 truck_0 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 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 -28 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 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 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: drop truck_0 city_loc_0 package_1 capacity_2 capacity_3 Applying effects of the action. Removing fact from state: capacity truck_0 capacity_2 Removing fact from state: in package_1 truck_0 Adding fact to state: at package_1 city_loc_0 Adding fact to state: capacity truck_0 capacity_3 The new state is: at package_0 city_loc_0 at package_1 city_loc_0 at package_2 city_loc_3 at package_3 city_loc_2 at truck_0 city_loc_0 capacity truck_0 capacity_3 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 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 -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 -199 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 197 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 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 71 is a primitive action. Action has no effect. I can greedily take this source without making any mistake. 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 -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 82 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 83 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 83 Task is: pick_up truck_0 city_loc_0 package_0 capacity_2 capacity_3 Applying effects of the action. Removing fact from state: at package_0 city_loc_0 Removing fact from state: capacity truck_0 capacity_3 Adding fact to state: capacity truck_0 capacity_2 Adding fact to state: in package_0 truck_0 The new state is: at package_1 city_loc_0 at package_2 city_loc_3 at package_3 city_loc_2 at truck_0 city_loc_0 capacity truck_0 capacity_2 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 in package_0 truck_0 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 Executing plan time=1 #sources=1 Source -84 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 -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 86 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 87 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 87 Task is: drive truck_0 city_loc_0 city_loc_3 Applying effects of the action. Removing fact from state: at truck_0 city_loc_0 Adding fact to state: at truck_0 city_loc_3 The new state is: at package_1 city_loc_0 at package_2 city_loc_3 at package_3 city_loc_2 at truck_0 city_loc_3 capacity truck_0 capacity_2 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 in package_0 truck_0 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 Executing plan time=1 #sources=1 Source -88 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 -87 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 primitive action. Action has an effect. Performed all sources that can be taken greedily. 1 sources remain. unique=true Attempting to progress through source 95 Task is: drop truck_0 city_loc_3 package_0 capacity_2 capacity_3 Applying effects of the action. Removing fact from state: capacity truck_0 capacity_2 Removing fact from state: in package_0 truck_0 Adding fact to state: at package_0 city_loc_3 Adding fact to state: capacity truck_0 capacity_3 The new state is: at package_0 city_loc_3 at package_1 city_loc_0 at package_2 city_loc_3 at package_3 city_loc_2 at truck_0 city_loc_3 capacity truck_0 capacity_3 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 Executing plan time=1 #sources=1 Source -96 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 -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 -198 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 200 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 100 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: drive truck_0 city_loc_3 city_loc_2 Applying effects of the action. Removing fact from state: at truck_0 city_loc_3 Adding fact to state: at truck_0 city_loc_2 The new state is: at package_0 city_loc_3 at package_1 city_loc_0 at package_2 city_loc_3 at package_3 city_loc_2 at truck_0 city_loc_2 capacity truck_0 capacity_3 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 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 -101 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 117 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 118 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 118 Task is: pick_up truck_0 city_loc_2 package_3 capacity_2 capacity_3 Applying effects of the action. Removing fact from state: at package_3 city_loc_2 Removing fact from state: capacity truck_0 capacity_3 Adding fact to state: capacity truck_0 capacity_2 Adding fact to state: in package_3 truck_0 The new state is: at package_0 city_loc_3 at package_1 city_loc_0 at package_2 city_loc_3 at truck_0 city_loc_2 capacity truck_0 capacity_2 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 in package_3 truck_0 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 Executing plan time=1 #sources=1 Source -119 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 -118 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 123 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 126 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 127 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 127 Task is: drive truck_0 city_loc_2 city_loc_3 Applying effects of the action. Removing fact from state: at truck_0 city_loc_2 Adding fact to state: at truck_0 city_loc_3 The new state is: at package_0 city_loc_3 at package_1 city_loc_0 at package_2 city_loc_3 at truck_0 city_loc_3 capacity truck_0 capacity_2 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 in package_3 truck_0 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 Executing plan time=1 #sources=1 Source -128 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 -127 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 128 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 128 Task is: drive truck_0 city_loc_3 city_loc_0 Applying effects of the action. Removing fact from state: at truck_0 city_loc_3 Adding fact to state: at truck_0 city_loc_0 The new state is: at package_0 city_loc_3 at package_1 city_loc_0 at package_2 city_loc_3 at truck_0 city_loc_0 capacity truck_0 capacity_2 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 in package_3 truck_0 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 Executing plan time=1 #sources=1 Source -129 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 -124 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 145 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 146 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 146 Task is: drop truck_0 city_loc_0 package_3 capacity_2 capacity_3 Applying effects of the action. Removing fact from state: capacity truck_0 capacity_2 Removing fact from state: in package_3 truck_0 Adding fact to state: at package_3 city_loc_0 Adding fact to state: capacity truck_0 capacity_3 The new state is: at package_0 city_loc_3 at package_1 city_loc_0 at package_2 city_loc_3 at package_3 city_loc_0 at truck_0 city_loc_0 capacity truck_0 capacity_3 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 Executing plan time=1 #sources=1 Source -147 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 -146 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 -201 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 199 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 149 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 150 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 150 Task is: drive truck_0 city_loc_0 city_loc_3 Applying effects of the action. Removing fact from state: at truck_0 city_loc_0 Adding fact to state: at truck_0 city_loc_3 The new state is: at package_0 city_loc_3 at package_1 city_loc_0 at package_2 city_loc_3 at package_3 city_loc_0 at truck_0 city_loc_3 capacity truck_0 capacity_3 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 Executing plan time=1 #sources=1 Source -151 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 -150 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 167 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 168 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 168 Task is: pick_up truck_0 city_loc_3 package_2 capacity_2 capacity_3 Applying effects of the action. Removing fact from state: at package_2 city_loc_3 Removing fact from state: capacity truck_0 capacity_3 Adding fact to state: capacity truck_0 capacity_2 Adding fact to state: in package_2 truck_0 The new state is: at package_0 city_loc_3 at package_1 city_loc_0 at package_3 city_loc_0 at truck_0 city_loc_3 capacity truck_0 capacity_2 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 in package_2 truck_0 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 Executing plan time=1 #sources=1 Source -169 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 -168 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 172 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 173 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 174 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 174 Task is: drive truck_0 city_loc_3 city_loc_2 Applying effects of the action. Removing fact from state: at truck_0 city_loc_3 Adding fact to state: at truck_0 city_loc_2 The new state is: at package_0 city_loc_3 at package_1 city_loc_0 at package_3 city_loc_0 at truck_0 city_loc_2 capacity truck_0 capacity_2 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 in package_2 truck_0 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 Executing plan time=1 #sources=1 Source -175 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 -174 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 175 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 175 Task is: drive truck_0 city_loc_2 city_loc_1 Applying effects of the action. Removing fact from state: at truck_0 city_loc_2 Adding fact to state: at truck_0 city_loc_1 The new state is: at package_0 city_loc_3 at package_1 city_loc_0 at package_3 city_loc_0 at truck_0 city_loc_1 capacity truck_0 capacity_2 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 in package_2 truck_0 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 Executing plan time=1 #sources=1 Source -176 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 -173 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 195 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 196 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 196 Task is: drop truck_0 city_loc_1 package_2 capacity_2 capacity_3 Applying effects of the action. Removing fact from state: capacity truck_0 capacity_2 Removing fact from state: in package_2 truck_0 Adding fact to state: at package_2 city_loc_1 Adding fact to state: capacity truck_0 capacity_3 The new state is: at package_0 city_loc_3 at package_1 city_loc_0 at package_2 city_loc_1 at package_3 city_loc_0 at truck_0 city_loc_1 capacity truck_0 capacity_3 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 Executing plan time=1 #sources=1 Source -197 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 -196 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 -200 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=0 Executed the whole plan ... checking whether we reached the goal state. The current state is: at package_0 city_loc_3 at package_1 city_loc_0 at package_2 city_loc_1 at package_3 city_loc_0 at truck_0 city_loc_1 capacity truck_0 capacity_3 capacity_predecessor capacity_0 capacity_1 capacity_predecessor capacity_1 capacity_2 capacity_predecessor capacity_2 capacity_3 road city_loc_0 city_loc_3 road city_loc_1 city_loc_2 road city_loc_2 city_loc_1 road city_loc_2 city_loc_3 road city_loc_3 city_loc_0 road city_loc_3 city_loc_2 road city_loc_3 city_loc_3 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