INFO: underlay of /etc/localtime required more than 50 (86) bind mounts WARNING: workaround for empty domain of optional vars (Github Issue #28) WARNING: workaround for empty domain of optional vars (Github Issue #28) WARNING: workaround for empty domain of optional vars (Github Issue #28) WARNING: workaround for empty domain of optional vars (Github Issue #28) WARNING: workaround for empty domain of optional vars (Github Issue #28) WARNING: workaround for empty domain of optional vars (Github Issue #28) WARNING: workaround for empty domain of optional vars (Github Issue #28) WARNING: workaround for empty domain of optional vars (Github Issue #28) WARNING: workaround for empty domain of optional vars (Github Issue #28) WARNING: workaround for empty domain of optional vars (Github Issue #28) WARNING: workaround for empty domain of optional vars (Github Issue #28) WARNING: workaround for empty domain of optional vars (Github Issue #28) WARNING: workaround for empty domain of optional vars (Github Issue #28) WARNING: workaround for empty domain of optional vars (Github Issue #28) ===== Preprocessing ====== Removed 5639 unusable effects Substitution from predicate to state variable: - has_condition - in_town - powerco_of - road_snowy - tree_blocking_road - waterco_of - wrecked_vehicle Transforming static state functions as table constraints: - can_drive - can_lift - fit_in - has_condition - hazard_seriousness - hospital_doesnt_treat - in_town - no_electricity - powerco_of - road_snowy - serious_condition - tree_blocking_road - waterco_of - wrecked_vehicle ========================== 0 Solving with depth 0 [0.001s] Populated [0.001s] Solved 1 Solving with depth 1 [0.001s] Populated [0.001s] Solved 2 Solving with depth 2 [0.001s] Populated [0.002s] Solved 3 Solving with depth 3  0.035582883s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28)  0.036980882s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28) [0.004s] Populated [0.005s] Solved 4 Solving with depth 4  0.038247478s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28)  0.038276125s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28)  0.038541453s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28) [0.005s] Populated ==== Worker 1 solutions : 0 restarts : 0 decisions : 1199 (425408 /sec) conflicts : 0 (0 /sec) ================= Solvers : SAT DiffLog CP % propagation cycles: 11.90 % 84.82 % 0.79 % # propagation loops : 1213 1213 1213 # conflicts : 0 0 0 ================= Init time : 0.000727 s Solve time : 0.002818 s ====== SAT ===== DB size : 2848 Num unit propagations: 38 ====== DiffLog ===== # nodes: 2670 # propagators: 596 # propagations: 1206 # domain updates: 83 ====== CP ===== ==== Worker 2 Solver is running ==== Worker 3 Solver is running [0.050s] Solved **** Decomposition **** ==> 76 (SHOP_methodm_quell_riot_precondition strong rochester) 122 (call ebs) 123 (call police_chief) 126 (SHOP_methodm_get_to_already_there_precondition pu1 strong) 130 (SHOP_methodm_get_to_already_there_precondition pu2 strong) 74 (set_up_barricades pu1) 75 (set_up_barricades pu2) root 9 9 (tlt) -> m_tlt_quell_riot 21 21 (quell_riot strong) -> m_quell_riot 76 65 68 72 74 75 65 (declare_curfew rochester) -> m_declare_curfew 122 123 68 (get_to pu1 strong) -> m_get_to_already_there 126 72 (get_to pu2 strong) -> m_get_to_already_there 130 <== **** Plan **** 0: (SHOP_methodm_quell_riot_precondition strong rochester) [0.000] 0.1: (call ebs) [0.000] 0.2: (call police_chief) [0.000] 0.3: (SHOP_methodm_get_to_already_there_precondition pu1 strong) [0.000] 0.4: (SHOP_methodm_get_to_already_there_precondition pu2 strong) [0.000] 0.5: (set_up_barricades pu1) [0.000] 0.6: (set_up_barricades pu2) [0.000] %TIME 0:00.19 36700 %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 " (SHOP_methodm_quell_riot_precondition strong rochester)" ... done Parsed action id=76 SHOP_methodm_quell_riot_precondition strong rochester Parse instantiated task from " (call ebs)" ... done Parsed action id=122 call ebs Parse instantiated task from " (call police_chief)" ... done Parsed action id=123 call police_chief Parse instantiated task from " (SHOP_methodm_get_to_already_there_precondition pu1 strong)" ... done Parsed action id=126 SHOP_methodm_get_to_already_there_precondition pu1 strong Parse instantiated task from " (SHOP_methodm_get_to_already_there_precondition pu2 strong)" ... done Parsed action id=130 SHOP_methodm_get_to_already_there_precondition pu2 strong Parse instantiated task from " (set_up_barricades pu1)" ... done Parsed action id=74 set_up_barricades pu1 Parse instantiated task from " (set_up_barricades pu2)" ... done Parsed action id=75 set_up_barricades pu2 Size of primitive plan: 7 Reading list of integers from " 9" Root tasks (1): 9 Reading plan given as input Parse instantiated task from " (tlt)" ... done Parsed abstract task id=9 tlt Parsed method name: m_tlt_quell_riot Subtasks: 21 Parse instantiated task from " (quell_riot strong)" ... done Parsed abstract task id=21 quell_riot strong Parsed method name: m_quell_riot Subtasks: 76 65 68 72 74 75 Parse instantiated task from " (declare_curfew rochester)" ... done Parsed abstract task id=65 declare_curfew rochester Parsed method name: m_declare_curfew Subtasks: 122 123 Parse instantiated task from " (get_to pu1 strong)" ... done Parsed abstract task id=68 get_to pu1 strong Parsed method name: m_get_to_already_there Subtasks: 126 Parse instantiated task from " (get_to pu2 strong)" ... done Parsed abstract task id=72 get_to pu2 strong Parsed method name: m_get_to_already_there Subtasks: 130 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 9 Curpos=0 #sources=1 Task is: tlt Attempting matching with source __t_id_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=0 Generating Matchings for task with id=9 Matching Task 21 Curpos=0 #sources=1 Task is: quell_riot strong Attempting matching with source task0 Setting ?p0 = strong 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=21 Matching Task 76 Curpos=0 #sources=1 Task is: SHOP_methodm_quell_riot_precondition strong rochester Attempting matching with source task5 Setting ?loc = strong Setting ?town = rochester Matching Task 65 Curpos=1 #sources=1 Task is: declare_curfew rochester Attempting matching with source task0 Setting ?town = rochester Matching Task 68 Curpos=2 #sources=1 Task is: get_to pu1 strong Attempting matching with source task1 Setting ?p1 = pu1 Setting ?loc = strong Matching Task 72 Curpos=3 #sources=1 Task is: get_to pu2 strong Attempting matching with source task2 Setting ?p2 = pu2 Setting ?loc = strong Matching Task 74 Curpos=4 #sources=1 Task is: set_up_barricades pu1 Attempting matching with source task3 Setting ?p1 = pu1 Matching Task 75 Curpos=5 #sources=1 Task is: set_up_barricades pu2 Attempting matching with source task4 Setting ?p2 = pu2 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=21 Generating Matchings for task with id=65 Matching Task 122 Curpos=0 #sources=1 Task is: call ebs Attempting matching with source task0 Setting ?var_for_ebs = ebs Matching Task 123 Curpos=1 #sources=1 Task is: call police_chief Attempting matching with source task1 Setting ?var_for_police_chief = police_chief 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=68 Matching Task 126 Curpos=0 #sources=1 Task is: SHOP_methodm_get_to_already_there_precondition pu1 strong Attempting matching with source task0 Setting ?obj = pu1 Setting ?place = strong 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=72 Matching Task 130 Curpos=0 #sources=1 Task is: SHOP_methodm_get_to_already_there_precondition pu2 strong Attempting matching with source task0 Setting ?obj = pu2 Setting ?place = strong 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 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=9 matching still unique: true (1) Attempting matching Abstract Task id=21 matching still unique: true (1) Attempting matching Primitive Task id=76 Abstract Task id=65 matching still unique: true (1) Attempting matching Primitive Task id=122 Primitive Task id=123 Ordering OK. Abstract Task id=68 matching still unique: true (1) Attempting matching Primitive Task id=126 Ordering OK. Abstract Task id=72 matching still unique: true (1) Attempting matching Primitive Task id=130 Ordering OK. Primitive Task id=74 Primitive Task id=75 Ordering OK. Ordering OK. Root Task, checking primitive executability ... Running exponential top-sort. The current state is: atloc amb1 marketplace atloc backhoe1 pittsford_plaza atloc bdriver1 henrietta_dump atloc bus1 henrietta_dump atloc ccrew1 pittsford_plaza atloc dtruck1 brighton_dump atloc emt1 marketplace atloc food1 brighton_dump atloc food2 park_ridge atloc food3 park_ridge atloc gen1 rochester_general atloc gen2 rochester_general atloc ht1 brighton_high atloc ht2 brighton_high atloc pcrew1 mendon_pond atloc pdriver1 brighton_high atloc pdriver2 marketplace atloc plow1 brighton_dump atloc plow2 brighton_high atloc pu1 strong atloc pu2 strong atloc pvan1 strong atloc pvan2 strong atloc sleader1 mendon_pond atloc sleader2 texaco1 atloc sleader3 mendon_pond atloc tcrew1 brighton_dump atloc tdriver1 brighton_dump atloc ttdriver1 brighton_dump atloc ttruck1 brighton_dump atloc van1 mendon_pond atloc wcrew1 mendon_pond atloc wtruck1 mendon_pond can_drive bdriver1 bus1 can_drive ccrew1 backhoe1 can_drive emt1 amb1 can_drive pcrew1 van1 can_drive pdriver1 plow1 can_drive pdriver1 plow2 can_drive pdriver2 plow1 can_drive pdriver2 plow2 can_drive pu1 pvan1 can_drive pu1 pvan2 can_drive pu2 pvan1 can_drive pu2 pvan2 can_drive tdriver1 backhoe1 can_drive tdriver1 dtruck1 can_drive tdriver1 plow1 can_drive tdriver1 plow2 can_drive tdriver1 ttruck1 can_drive tdriver1 wtruck1 can_drive ttdriver1 ttruck1 can_drive wcrew1 wtruck1 can_lift ccrew1 food1 can_lift ccrew1 food2 can_lift ccrew1 food3 can_lift ccrew1 gen1 can_lift ccrew1 gen2 can_lift emt1 bdriver1 can_lift emt1 ccrew1 can_lift emt1 ht1 can_lift emt1 ht2 can_lift emt1 pcrew1 can_lift emt1 pdriver1 can_lift emt1 pdriver2 can_lift emt1 pu1 can_lift emt1 pu2 can_lift emt1 sleader1 can_lift emt1 sleader2 can_lift emt1 sleader3 can_lift emt1 tcrew1 can_lift emt1 tdriver1 can_lift emt1 ttdriver1 can_lift emt1 wcrew1 can_lift ht1 food1 can_lift ht1 food2 can_lift ht1 food3 can_lift ht1 gen1 can_lift ht1 gen2 can_lift ht2 food1 can_lift ht2 food2 can_lift ht2 food3 can_lift ht2 gen1 can_lift ht2 gen2 can_lift pcrew1 food1 can_lift pcrew1 food2 can_lift pcrew1 food3 can_lift pcrew1 gen1 can_lift pcrew1 gen2 can_lift tcrew1 food1 can_lift tcrew1 food2 can_lift tcrew1 food3 can_lift tcrew1 gen1 can_lift tcrew1 gen2 can_lift wcrew1 food1 can_lift wcrew1 food2 can_lift wcrew1 food3 can_lift wcrew1 gen1 can_lift wcrew1 gen2 fit_in bdriver1 amb1 fit_in bdriver1 backhoe1 fit_in bdriver1 bus1 fit_in bdriver1 dtruck1 fit_in bdriver1 plow1 fit_in bdriver1 plow2 fit_in bdriver1 pvan1 fit_in bdriver1 pvan2 fit_in bdriver1 ttruck1 fit_in bdriver1 van1 fit_in bdriver1 wtruck1 fit_in ccrew1 amb1 fit_in ccrew1 backhoe1 fit_in ccrew1 bus1 fit_in ccrew1 dtruck1 fit_in ccrew1 plow1 fit_in ccrew1 plow2 fit_in ccrew1 pvan1 fit_in ccrew1 pvan2 fit_in ccrew1 ttruck1 fit_in ccrew1 van1 fit_in ccrew1 wtruck1 fit_in emt1 amb1 fit_in emt1 backhoe1 fit_in emt1 bus1 fit_in emt1 dtruck1 fit_in emt1 plow1 fit_in emt1 plow2 fit_in emt1 pvan1 fit_in emt1 pvan2 fit_in emt1 ttruck1 fit_in emt1 van1 fit_in emt1 wtruck1 fit_in food1 amb1 fit_in food1 backhoe1 fit_in food1 bus1 fit_in food1 dtruck1 fit_in food1 plow1 fit_in food1 plow2 fit_in food1 pvan1 fit_in food1 pvan2 fit_in food1 ttruck1 fit_in food1 van1 fit_in food1 wtruck1 fit_in food2 amb1 fit_in food2 backhoe1 fit_in food2 bus1 fit_in food2 dtruck1 fit_in food2 plow1 fit_in food2 plow2 fit_in food2 pvan1 fit_in food2 pvan2 fit_in food2 ttruck1 fit_in food2 van1 fit_in food2 wtruck1 fit_in food3 amb1 fit_in food3 backhoe1 fit_in food3 bus1 fit_in food3 dtruck1 fit_in food3 plow1 fit_in food3 plow2 fit_in food3 pvan1 fit_in food3 pvan2 fit_in food3 ttruck1 fit_in food3 van1 fit_in food3 wtruck1 fit_in gen1 amb1 fit_in gen1 backhoe1 fit_in gen1 bus1 fit_in gen1 dtruck1 fit_in gen1 plow1 fit_in gen1 plow2 fit_in gen1 pvan1 fit_in gen1 pvan2 fit_in gen1 ttruck1 fit_in gen1 van1 fit_in gen1 wtruck1 fit_in gen2 amb1 fit_in gen2 backhoe1 fit_in gen2 bus1 fit_in gen2 dtruck1 fit_in gen2 plow1 fit_in gen2 plow2 fit_in gen2 pvan1 fit_in gen2 pvan2 fit_in gen2 ttruck1 fit_in gen2 van1 fit_in gen2 wtruck1 fit_in ht1 amb1 fit_in ht1 backhoe1 fit_in ht1 bus1 fit_in ht1 dtruck1 fit_in ht1 plow1 fit_in ht1 plow2 fit_in ht1 pvan1 fit_in ht1 pvan2 fit_in ht1 ttruck1 fit_in ht1 van1 fit_in ht1 wtruck1 fit_in ht2 amb1 fit_in ht2 backhoe1 fit_in ht2 bus1 fit_in ht2 dtruck1 fit_in ht2 plow1 fit_in ht2 plow2 fit_in ht2 pvan1 fit_in ht2 pvan2 fit_in ht2 ttruck1 fit_in ht2 van1 fit_in ht2 wtruck1 fit_in pcrew1 amb1 fit_in pcrew1 backhoe1 fit_in pcrew1 bus1 fit_in pcrew1 dtruck1 fit_in pcrew1 plow1 fit_in pcrew1 plow2 fit_in pcrew1 pvan1 fit_in pcrew1 pvan2 fit_in pcrew1 ttruck1 fit_in pcrew1 van1 fit_in pcrew1 wtruck1 fit_in pdriver1 amb1 fit_in pdriver1 backhoe1 fit_in pdriver1 bus1 fit_in pdriver1 dtruck1 fit_in pdriver1 plow1 fit_in pdriver1 plow2 fit_in pdriver1 pvan1 fit_in pdriver1 pvan2 fit_in pdriver1 ttruck1 fit_in pdriver1 van1 fit_in pdriver1 wtruck1 fit_in pdriver2 amb1 fit_in pdriver2 backhoe1 fit_in pdriver2 bus1 fit_in pdriver2 dtruck1 fit_in pdriver2 plow1 fit_in pdriver2 plow2 fit_in pdriver2 pvan1 fit_in pdriver2 pvan2 fit_in pdriver2 ttruck1 fit_in pdriver2 van1 fit_in pdriver2 wtruck1 fit_in pu1 amb1 fit_in pu1 backhoe1 fit_in pu1 bus1 fit_in pu1 dtruck1 fit_in pu1 plow1 fit_in pu1 plow2 fit_in pu1 pvan1 fit_in pu1 pvan2 fit_in pu1 ttruck1 fit_in pu1 van1 fit_in pu1 wtruck1 fit_in pu2 amb1 fit_in pu2 backhoe1 fit_in pu2 bus1 fit_in pu2 dtruck1 fit_in pu2 plow1 fit_in pu2 plow2 fit_in pu2 pvan1 fit_in pu2 pvan2 fit_in pu2 ttruck1 fit_in pu2 van1 fit_in pu2 wtruck1 fit_in sleader1 amb1 fit_in sleader1 backhoe1 fit_in sleader1 bus1 fit_in sleader1 dtruck1 fit_in sleader1 plow1 fit_in sleader1 plow2 fit_in sleader1 pvan1 fit_in sleader1 pvan2 fit_in sleader1 ttruck1 fit_in sleader1 van1 fit_in sleader1 wtruck1 fit_in sleader2 amb1 fit_in sleader2 backhoe1 fit_in sleader2 bus1 fit_in sleader2 dtruck1 fit_in sleader2 plow1 fit_in sleader2 plow2 fit_in sleader2 pvan1 fit_in sleader2 pvan2 fit_in sleader2 ttruck1 fit_in sleader2 van1 fit_in sleader2 wtruck1 fit_in sleader3 amb1 fit_in sleader3 backhoe1 fit_in sleader3 bus1 fit_in sleader3 dtruck1 fit_in sleader3 plow1 fit_in sleader3 plow2 fit_in sleader3 pvan1 fit_in sleader3 pvan2 fit_in sleader3 ttruck1 fit_in sleader3 van1 fit_in sleader3 wtruck1 fit_in tcrew1 amb1 fit_in tcrew1 backhoe1 fit_in tcrew1 bus1 fit_in tcrew1 dtruck1 fit_in tcrew1 plow1 fit_in tcrew1 plow2 fit_in tcrew1 pvan1 fit_in tcrew1 pvan2 fit_in tcrew1 ttruck1 fit_in tcrew1 van1 fit_in tcrew1 wtruck1 fit_in tdriver1 amb1 fit_in tdriver1 backhoe1 fit_in tdriver1 bus1 fit_in tdriver1 dtruck1 fit_in tdriver1 plow1 fit_in tdriver1 plow2 fit_in tdriver1 pvan1 fit_in tdriver1 pvan2 fit_in tdriver1 ttruck1 fit_in tdriver1 van1 fit_in tdriver1 wtruck1 fit_in ttdriver1 amb1 fit_in ttdriver1 backhoe1 fit_in ttdriver1 bus1 fit_in ttdriver1 dtruck1 fit_in ttdriver1 plow1 fit_in ttdriver1 plow2 fit_in ttdriver1 pvan1 fit_in ttdriver1 pvan2 fit_in ttdriver1 ttruck1 fit_in ttdriver1 van1 fit_in ttdriver1 wtruck1 fit_in wcrew1 amb1 fit_in wcrew1 backhoe1 fit_in wcrew1 bus1 fit_in wcrew1 dtruck1 fit_in wcrew1 plow1 fit_in wcrew1 plow2 fit_in wcrew1 pvan1 fit_in wcrew1 pvan2 fit_in wcrew1 ttruck1 fit_in wcrew1 van1 fit_in wcrew1 wtruck1 hospital_doesnt_treat rochester_general broken_leg in_town airport gates in_town brighton_dump brighton in_town brighton_high brighton in_town henrietta_dump henrietta in_town marketplace henrietta in_town mendon_pond mendon in_town park_ridge greece in_town pittsford_plaza pittsford in_town rochester_general rochester in_town strong rochester in_town texaco1 brighton in_town twelve_corners brighton powerco_of brighton rge powerco_of brockport monroe_ge powerco_of chili rge powerco_of churchville monroe_ge powerco_of clarkson monroe_ge powerco_of east_rochester monroe_ge powerco_of fairport monroe_ge powerco_of gates rge powerco_of greece rge powerco_of hamlin monroe_ge powerco_of henrietta rge powerco_of hilton monroe_ge powerco_of honeoye_falls monroe_ge powerco_of irondequoit monroe_ge powerco_of mendon mendon_ge powerco_of ogden monroe_ge powerco_of parma monroe_ge powerco_of penfield monroe_ge powerco_of perinton monroe_ge powerco_of pittsford monroe_ge powerco_of riga monroe_ge powerco_of rochester rge powerco_of rush monroe_ge powerco_of scottsville monroe_ge powerco_of spencerport monroe_ge powerco_of sweeden monroe_ge powerco_of webster monroe_ge powerco_of wheatland monroe_ge waterco_of brighton roch_water waterco_of brockport monroe_water waterco_of chili roch_water waterco_of churchville monroe_water waterco_of clarkson monroe_water waterco_of east_rochester monroe_water waterco_of fairport monroe_water waterco_of gates roch_water waterco_of greece monroe_water waterco_of hamlin roch_water waterco_of henrietta roch_water waterco_of hilton monroe_water waterco_of honeoye_falls monroe_water waterco_of irondequoit monroe_water waterco_of mendon mendon_water waterco_of ogden monroe_water waterco_of parma monroe_water waterco_of penfield monroe_water waterco_of perinton monroe_water waterco_of pittsford monroe_water waterco_of riga monroe_water waterco_of rochester roch_water waterco_of rush monroe_water waterco_of scottsville monroe_water waterco_of spencerport monroe_water waterco_of sweeden monroe_water waterco_of webster monroe_water waterco_of wheatland monroe_water 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 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 21 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 primitive action. Action has no effect. I can greedily take this source without making any mistake. Executing plan time=1 #sources=1 Source -77 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 122 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 -123 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 a primitive action. Action has no effect. 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 -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 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 126 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 -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 -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 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 130 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 -131 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 74 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 -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 a primitive action. Action 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 -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 -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 -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: atloc amb1 marketplace atloc backhoe1 pittsford_plaza atloc bdriver1 henrietta_dump atloc bus1 henrietta_dump atloc ccrew1 pittsford_plaza atloc dtruck1 brighton_dump atloc emt1 marketplace atloc food1 brighton_dump atloc food2 park_ridge atloc food3 park_ridge atloc gen1 rochester_general atloc gen2 rochester_general atloc ht1 brighton_high atloc ht2 brighton_high atloc pcrew1 mendon_pond atloc pdriver1 brighton_high atloc pdriver2 marketplace atloc plow1 brighton_dump atloc plow2 brighton_high atloc pu1 strong atloc pu2 strong atloc pvan1 strong atloc pvan2 strong atloc sleader1 mendon_pond atloc sleader2 texaco1 atloc sleader3 mendon_pond atloc tcrew1 brighton_dump atloc tdriver1 brighton_dump atloc ttdriver1 brighton_dump atloc ttruck1 brighton_dump atloc van1 mendon_pond atloc wcrew1 mendon_pond atloc wtruck1 mendon_pond can_drive bdriver1 bus1 can_drive ccrew1 backhoe1 can_drive emt1 amb1 can_drive pcrew1 van1 can_drive pdriver1 plow1 can_drive pdriver1 plow2 can_drive pdriver2 plow1 can_drive pdriver2 plow2 can_drive pu1 pvan1 can_drive pu1 pvan2 can_drive pu2 pvan1 can_drive pu2 pvan2 can_drive tdriver1 backhoe1 can_drive tdriver1 dtruck1 can_drive tdriver1 plow1 can_drive tdriver1 plow2 can_drive tdriver1 ttruck1 can_drive tdriver1 wtruck1 can_drive ttdriver1 ttruck1 can_drive wcrew1 wtruck1 can_lift ccrew1 food1 can_lift ccrew1 food2 can_lift ccrew1 food3 can_lift ccrew1 gen1 can_lift ccrew1 gen2 can_lift emt1 bdriver1 can_lift emt1 ccrew1 can_lift emt1 ht1 can_lift emt1 ht2 can_lift emt1 pcrew1 can_lift emt1 pdriver1 can_lift emt1 pdriver2 can_lift emt1 pu1 can_lift emt1 pu2 can_lift emt1 sleader1 can_lift emt1 sleader2 can_lift emt1 sleader3 can_lift emt1 tcrew1 can_lift emt1 tdriver1 can_lift emt1 ttdriver1 can_lift emt1 wcrew1 can_lift ht1 food1 can_lift ht1 food2 can_lift ht1 food3 can_lift ht1 gen1 can_lift ht1 gen2 can_lift ht2 food1 can_lift ht2 food2 can_lift ht2 food3 can_lift ht2 gen1 can_lift ht2 gen2 can_lift pcrew1 food1 can_lift pcrew1 food2 can_lift pcrew1 food3 can_lift pcrew1 gen1 can_lift pcrew1 gen2 can_lift tcrew1 food1 can_lift tcrew1 food2 can_lift tcrew1 food3 can_lift tcrew1 gen1 can_lift tcrew1 gen2 can_lift wcrew1 food1 can_lift wcrew1 food2 can_lift wcrew1 food3 can_lift wcrew1 gen1 can_lift wcrew1 gen2 fit_in bdriver1 amb1 fit_in bdriver1 backhoe1 fit_in bdriver1 bus1 fit_in bdriver1 dtruck1 fit_in bdriver1 plow1 fit_in bdriver1 plow2 fit_in bdriver1 pvan1 fit_in bdriver1 pvan2 fit_in bdriver1 ttruck1 fit_in bdriver1 van1 fit_in bdriver1 wtruck1 fit_in ccrew1 amb1 fit_in ccrew1 backhoe1 fit_in ccrew1 bus1 fit_in ccrew1 dtruck1 fit_in ccrew1 plow1 fit_in ccrew1 plow2 fit_in ccrew1 pvan1 fit_in ccrew1 pvan2 fit_in ccrew1 ttruck1 fit_in ccrew1 van1 fit_in ccrew1 wtruck1 fit_in emt1 amb1 fit_in emt1 backhoe1 fit_in emt1 bus1 fit_in emt1 dtruck1 fit_in emt1 plow1 fit_in emt1 plow2 fit_in emt1 pvan1 fit_in emt1 pvan2 fit_in emt1 ttruck1 fit_in emt1 van1 fit_in emt1 wtruck1 fit_in food1 amb1 fit_in food1 backhoe1 fit_in food1 bus1 fit_in food1 dtruck1 fit_in food1 plow1 fit_in food1 plow2 fit_in food1 pvan1 fit_in food1 pvan2 fit_in food1 ttruck1 fit_in food1 van1 fit_in food1 wtruck1 fit_in food2 amb1 fit_in food2 backhoe1 fit_in food2 bus1 fit_in food2 dtruck1 fit_in food2 plow1 fit_in food2 plow2 fit_in food2 pvan1 fit_in food2 pvan2 fit_in food2 ttruck1 fit_in food2 van1 fit_in food2 wtruck1 fit_in food3 amb1 fit_in food3 backhoe1 fit_in food3 bus1 fit_in food3 dtruck1 fit_in food3 plow1 fit_in food3 plow2 fit_in food3 pvan1 fit_in food3 pvan2 fit_in food3 ttruck1 fit_in food3 van1 fit_in food3 wtruck1 fit_in gen1 amb1 fit_in gen1 backhoe1 fit_in gen1 bus1 fit_in gen1 dtruck1 fit_in gen1 plow1 fit_in gen1 plow2 fit_in gen1 pvan1 fit_in gen1 pvan2 fit_in gen1 ttruck1 fit_in gen1 van1 fit_in gen1 wtruck1 fit_in gen2 amb1 fit_in gen2 backhoe1 fit_in gen2 bus1 fit_in gen2 dtruck1 fit_in gen2 plow1 fit_in gen2 plow2 fit_in gen2 pvan1 fit_in gen2 pvan2 fit_in gen2 ttruck1 fit_in gen2 van1 fit_in gen2 wtruck1 fit_in ht1 amb1 fit_in ht1 backhoe1 fit_in ht1 bus1 fit_in ht1 dtruck1 fit_in ht1 plow1 fit_in ht1 plow2 fit_in ht1 pvan1 fit_in ht1 pvan2 fit_in ht1 ttruck1 fit_in ht1 van1 fit_in ht1 wtruck1 fit_in ht2 amb1 fit_in ht2 backhoe1 fit_in ht2 bus1 fit_in ht2 dtruck1 fit_in ht2 plow1 fit_in ht2 plow2 fit_in ht2 pvan1 fit_in ht2 pvan2 fit_in ht2 ttruck1 fit_in ht2 van1 fit_in ht2 wtruck1 fit_in pcrew1 amb1 fit_in pcrew1 backhoe1 fit_in pcrew1 bus1 fit_in pcrew1 dtruck1 fit_in pcrew1 plow1 fit_in pcrew1 plow2 fit_in pcrew1 pvan1 fit_in pcrew1 pvan2 fit_in pcrew1 ttruck1 fit_in pcrew1 van1 fit_in pcrew1 wtruck1 fit_in pdriver1 amb1 fit_in pdriver1 backhoe1 fit_in pdriver1 bus1 fit_in pdriver1 dtruck1 fit_in pdriver1 plow1 fit_in pdriver1 plow2 fit_in pdriver1 pvan1 fit_in pdriver1 pvan2 fit_in pdriver1 ttruck1 fit_in pdriver1 van1 fit_in pdriver1 wtruck1 fit_in pdriver2 amb1 fit_in pdriver2 backhoe1 fit_in pdriver2 bus1 fit_in pdriver2 dtruck1 fit_in pdriver2 plow1 fit_in pdriver2 plow2 fit_in pdriver2 pvan1 fit_in pdriver2 pvan2 fit_in pdriver2 ttruck1 fit_in pdriver2 van1 fit_in pdriver2 wtruck1 fit_in pu1 amb1 fit_in pu1 backhoe1 fit_in pu1 bus1 fit_in pu1 dtruck1 fit_in pu1 plow1 fit_in pu1 plow2 fit_in pu1 pvan1 fit_in pu1 pvan2 fit_in pu1 ttruck1 fit_in pu1 van1 fit_in pu1 wtruck1 fit_in pu2 amb1 fit_in pu2 backhoe1 fit_in pu2 bus1 fit_in pu2 dtruck1 fit_in pu2 plow1 fit_in pu2 plow2 fit_in pu2 pvan1 fit_in pu2 pvan2 fit_in pu2 ttruck1 fit_in pu2 van1 fit_in pu2 wtruck1 fit_in sleader1 amb1 fit_in sleader1 backhoe1 fit_in sleader1 bus1 fit_in sleader1 dtruck1 fit_in sleader1 plow1 fit_in sleader1 plow2 fit_in sleader1 pvan1 fit_in sleader1 pvan2 fit_in sleader1 ttruck1 fit_in sleader1 van1 fit_in sleader1 wtruck1 fit_in sleader2 amb1 fit_in sleader2 backhoe1 fit_in sleader2 bus1 fit_in sleader2 dtruck1 fit_in sleader2 plow1 fit_in sleader2 plow2 fit_in sleader2 pvan1 fit_in sleader2 pvan2 fit_in sleader2 ttruck1 fit_in sleader2 van1 fit_in sleader2 wtruck1 fit_in sleader3 amb1 fit_in sleader3 backhoe1 fit_in sleader3 bus1 fit_in sleader3 dtruck1 fit_in sleader3 plow1 fit_in sleader3 plow2 fit_in sleader3 pvan1 fit_in sleader3 pvan2 fit_in sleader3 ttruck1 fit_in sleader3 van1 fit_in sleader3 wtruck1 fit_in tcrew1 amb1 fit_in tcrew1 backhoe1 fit_in tcrew1 bus1 fit_in tcrew1 dtruck1 fit_in tcrew1 plow1 fit_in tcrew1 plow2 fit_in tcrew1 pvan1 fit_in tcrew1 pvan2 fit_in tcrew1 ttruck1 fit_in tcrew1 van1 fit_in tcrew1 wtruck1 fit_in tdriver1 amb1 fit_in tdriver1 backhoe1 fit_in tdriver1 bus1 fit_in tdriver1 dtruck1 fit_in tdriver1 plow1 fit_in tdriver1 plow2 fit_in tdriver1 pvan1 fit_in tdriver1 pvan2 fit_in tdriver1 ttruck1 fit_in tdriver1 van1 fit_in tdriver1 wtruck1 fit_in ttdriver1 amb1 fit_in ttdriver1 backhoe1 fit_in ttdriver1 bus1 fit_in ttdriver1 dtruck1 fit_in ttdriver1 plow1 fit_in ttdriver1 plow2 fit_in ttdriver1 pvan1 fit_in ttdriver1 pvan2 fit_in ttdriver1 ttruck1 fit_in ttdriver1 van1 fit_in ttdriver1 wtruck1 fit_in wcrew1 amb1 fit_in wcrew1 backhoe1 fit_in wcrew1 bus1 fit_in wcrew1 dtruck1 fit_in wcrew1 plow1 fit_in wcrew1 plow2 fit_in wcrew1 pvan1 fit_in wcrew1 pvan2 fit_in wcrew1 ttruck1 fit_in wcrew1 van1 fit_in wcrew1 wtruck1 hospital_doesnt_treat rochester_general broken_leg in_town airport gates in_town brighton_dump brighton in_town brighton_high brighton in_town henrietta_dump henrietta in_town marketplace henrietta in_town mendon_pond mendon in_town park_ridge greece in_town pittsford_plaza pittsford in_town rochester_general rochester in_town strong rochester in_town texaco1 brighton in_town twelve_corners brighton powerco_of brighton rge powerco_of brockport monroe_ge powerco_of chili rge powerco_of churchville monroe_ge powerco_of clarkson monroe_ge powerco_of east_rochester monroe_ge powerco_of fairport monroe_ge powerco_of gates rge powerco_of greece rge powerco_of hamlin monroe_ge powerco_of henrietta rge powerco_of hilton monroe_ge powerco_of honeoye_falls monroe_ge powerco_of irondequoit monroe_ge powerco_of mendon mendon_ge powerco_of ogden monroe_ge powerco_of parma monroe_ge powerco_of penfield monroe_ge powerco_of perinton monroe_ge powerco_of pittsford monroe_ge powerco_of riga monroe_ge powerco_of rochester rge powerco_of rush monroe_ge powerco_of scottsville monroe_ge powerco_of spencerport monroe_ge powerco_of sweeden monroe_ge powerco_of webster monroe_ge powerco_of wheatland monroe_ge waterco_of brighton roch_water waterco_of brockport monroe_water waterco_of chili roch_water waterco_of churchville monroe_water waterco_of clarkson monroe_water waterco_of east_rochester monroe_water waterco_of fairport monroe_water waterco_of gates roch_water waterco_of greece monroe_water waterco_of hamlin roch_water waterco_of henrietta roch_water waterco_of hilton monroe_water waterco_of honeoye_falls monroe_water waterco_of irondequoit monroe_water waterco_of mendon mendon_water waterco_of ogden monroe_water waterco_of parma monroe_water waterco_of penfield monroe_water waterco_of perinton monroe_water waterco_of pittsford monroe_water waterco_of riga monroe_water waterco_of rochester roch_water waterco_of rush monroe_water waterco_of scottsville monroe_water waterco_of spencerport monroe_water waterco_of sweeden monroe_water waterco_of webster monroe_water waterco_of wheatland monroe_water 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