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.000s] Populated [0.000s] 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.048742849s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28)  0.050285624s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28) [0.003s] Populated [0.005s] Solved 4 Solving with depth 4  0.051718980s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28)  0.051754224s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28)  0.051898605s  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 **** Decomposition **** ==> 66 (SHOP_methodm_quell_riot_precondition strong rochester) 117 (call ebs) 118 (call police_chief) 119 (SHOP_methodm_get_to_already_there_precondition pu2 strong) 123 (SHOP_methodm_get_to_already_there_precondition pu1 strong) 64 (set_up_barricades pu2) 65 (set_up_barricades pu1) root 6 6 (tlt) -> m_tlt_quell_riot 18 18 (quell_riot strong) -> m_quell_riot 66 55 56 60 64 65 55 (declare_curfew rochester) -> m_declare_curfew 117 118 56 (get_to pu2 strong) -> m_get_to_already_there 119 60 (get_to pu1 strong) -> m_get_to_already_there 123 <== **** 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 pu2 strong) [0.000] 0.4: (SHOP_methodm_get_to_already_there_precondition pu1 strong) [0.000] 0.5: (set_up_barricades pu2) [0.000] 0.6: (set_up_barricades pu1) [0.000] ==== Worker 1 Solver is running ==== Worker 2 Solver is running ==== Worker 3 solutions : 1 restarts : 0 decisions : 382 (56147 /sec) conflicts : 6 (882 /sec) ================= Solvers : SAT DiffLog CP % propagation cycles: 9.23 % 64.72 % 25.12 % # propagation loops : 421 415 415 # conflicts : 6 0 0 ================= Init time : 0.001010 s Solve time : 0.006804 s ====== SAT ===== DB size : 2851 Num unit propagations: 142 ====== DiffLog ===== # nodes: 2670 # propagators: 596 # propagations: 478 # domain updates: 87 ====== CP ===== [0.062s] Solved 5 Solving with depth 5  0.109068776s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28)  0.109093661s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28)  0.109481290s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28)  0.109818214s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28)  0.110049646s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28)  0.110059392s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28) [0.064s] Populated [0.343s] Solved 6 Solving with depth 6  0.391449788s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28)  0.391481176s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28)  0.391624444s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28)  0.392221719s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28)  0.392409236s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28)  0.392421463s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28)  0.393749781s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28)  0.393759335s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28)  0.395957425s  WARN ThreadId(01) aries_planners::encode: Chronicle parameter with no label. WARNING: workaround for empty domain of optional vars (Github Issue #28) [0.351s] Populated Command exited with non-zero status 124 %TIME 0:02.01 478612 %EXIT 124 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=66 SHOP_methodm_quell_riot_precondition strong rochester Parse instantiated task from " (call ebs)" ... done Parsed action id=117 call ebs Parse instantiated task from " (call police_chief)" ... done Parsed action id=118 call police_chief Parse instantiated task from " (SHOP_methodm_get_to_already_there_precondition pu2 strong)" ... done Parsed action id=119 SHOP_methodm_get_to_already_there_precondition pu2 strong Parse instantiated task from " (SHOP_methodm_get_to_already_there_precondition pu1 strong)" ... done Parsed action id=123 SHOP_methodm_get_to_already_there_precondition pu1 strong Parse instantiated task from " (set_up_barricades pu2)" ... done Parsed action id=64 set_up_barricades pu2 Parse instantiated task from " (set_up_barricades pu1)" ... done Parsed action id=65 set_up_barricades pu1 Size of primitive plan: 7 Reading list of integers from " 6" Root tasks (1): 6 Reading plan given as input Parse instantiated task from " (tlt)" ... done Parsed abstract task id=6 tlt Parsed method name: m_tlt_quell_riot Subtasks: 18 Parse instantiated task from " (quell_riot strong)" ... done Parsed abstract task id=18 quell_riot strong Parsed method name: m_quell_riot Subtasks: 66 55 56 60 64 65 Parse instantiated task from " (declare_curfew rochester)" ... done Parsed abstract task id=55 declare_curfew rochester Parsed method name: m_declare_curfew Subtasks: 117 118 Parse instantiated task from " (get_to pu2 strong)" ... done Parsed abstract task id=56 get_to pu2 strong Parsed method name: m_get_to_already_there Subtasks: 119 Parse instantiated task from " (get_to pu1 strong)" ... done Parsed abstract task id=60 get_to pu1 strong Parsed method name: m_get_to_already_there Subtasks: 123 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 6 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=6 Matching Task 18 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=6 Generating Matchings for task with id=18 Matching Task 66 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 55 Curpos=1 #sources=1 Task is: declare_curfew rochester Attempting matching with source task0 Setting ?town = rochester Matching Task 56 Curpos=2 #sources=1 Task is: get_to pu2 strong Attempting matching with source task1 Setting ?p1 = pu2 Setting ?loc = strong Matching Task 60 Curpos=3 #sources=1 Task is: get_to pu1 strong Attempting matching with source task2 Setting ?p2 = pu1 Setting ?loc = strong Matching Task 64 Curpos=4 #sources=1 Task is: set_up_barricades pu2 Attempting matching with source task3 Setting ?p1 = pu2 Matching Task 65 Curpos=5 #sources=1 Task is: set_up_barricades pu1 Attempting matching with source task4 Setting ?p2 = pu1 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=18 Generating Matchings for task with id=55 Matching Task 117 Curpos=0 #sources=1 Task is: call ebs Attempting matching with source task0 Setting ?var_for_ebs = ebs Matching Task 118 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=55 Generating Matchings for task with id=56 Matching Task 119 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=56 Generating Matchings for task with id=60 Matching Task 123 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=60 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=6 matching still unique: true (1) Attempting matching Abstract Task id=18 matching still unique: true (1) Attempting matching Primitive Task id=66 Abstract Task id=55 matching still unique: true (1) Attempting matching Primitive Task id=117 Primitive Task id=118 Ordering OK. Abstract Task id=56 matching still unique: true (1) Attempting matching Primitive Task id=119 Ordering OK. Abstract Task id=60 matching still unique: true (1) Attempting matching Primitive Task id=123 Ordering OK. Primitive Task id=64 Primitive Task id=65 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 6 is the begin of an abstract task. Evaluating the method precondition Method has no effect. I can greedily take this source without making any mistake. Executing plan time=1 #sources=1 Source 18 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 no effect. I can greedily take this source without making any mistake. 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 55 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 117 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 -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 118 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 -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 -56 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 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 119 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 -120 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 60 is the begin of an abstract task. Evaluating the method precondition Method has no effect. I can greedily take this source without making any mistake. Executing plan time=1 #sources=1 Source 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 -61 is a dummy for the end of a task. I can greedily take this source without making any mistake. Executing plan time=1 #sources=1 Source 64 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 -65 is a dummy for the end of a task. I can greedily take this source without making any mistake. Executing plan time=1 #sources=1 Source 65 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 -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 -19 is a dummy for the end of a task. I can greedily take this source without making any mistake. Executing plan time=1 #sources=1 Source -7 is a dummy for the end of a task. I can greedily take this source without making any mistake. Executing plan time=1 #sources=1 Source -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