Reading plan from tests/log-p3.txt Finished reading tests/log-p3.txt in process_plan Step 1: "start" preconds: adds: at-obj o1 po1, at-obj o2 po1, at-airplane p1 airp2, at-truck t1 airp1, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2 dels: Step 2: "fly-airplane p1 airp2 airp1" preconds: at-airplane p1 airp2 adds: at-airplane p1 airp1 dels: at-airplane p1 airp2 Step 3: "drive-truck t1 airp1 po1 c1" preconds: loc-at po1 c1, loc-at airp1 c1, part-of t1 c1, at-truck t1 airp1 adds: at-truck t1 po1 dels: at-truck t1 airp1 Step 4: "fly-airplane p1 airp1 airp2" preconds: at-airplane p1 airp1 adds: at-airplane p1 airp2 dels: at-airplane p1 airp1 Step 5: "load-truck o2 t1 po1 c1" preconds: loc-at po1 c1, part-of t1 c1, at-obj o2 po1, at-truck t1 po1 adds: inside-truck o2 t1 dels: at-obj o2 po1 Step 6: "fly-airplane p1 airp2 airp1" preconds: at-airplane p1 airp2 adds: at-airplane p1 airp1 dels: at-airplane p1 airp2 Step 7: "load-truck o1 t1 po1 c1" preconds: loc-at po1 c1, part-of t1 c1, at-obj o1 po1, at-truck t1 po1 adds: inside-truck o1 t1 dels: at-obj o1 po1 Step 8: "fly-airplane p1 airp1 airp2" preconds: at-airplane p1 airp1 adds: at-airplane p1 airp2 dels: at-airplane p1 airp1 Step 9: "drive-truck t1 po1 airp1 c1" preconds: loc-at airp1 c1, loc-at po1 c1, part-of t1 c1, at-truck t1 po1 adds: at-truck t1 airp1 dels: at-truck t1 po1 Step 10: "fly-airplane p1 airp2 airp1" preconds: at-airplane p1 airp2 adds: at-airplane p1 airp1 dels: at-airplane p1 airp2 Step 11: "unload-truck o2 t1 airp1 c1" preconds: loc-at airp1 c1, part-of t1 c1, inside-truck o2 t1, at-truck t1 airp1 adds: at-obj o2 airp1 dels: inside-truck o2 t1 Step 12: "load-airplane o2 p1 airp1" preconds: at-obj o2 airp1, at-airplane p1 airp1 adds: inside-airplane o2 p1 dels: at-obj o2 airp1 Step 13: "fly-airplane p1 airp1 airp2" preconds: at-airplane p1 airp1 adds: at-airplane p1 airp2 dels: at-airplane p1 airp1 Step 14: "unload-airplane o2 p1 airp2" preconds: inside-airplane o2 p1, at-airplane p1 airp2 adds: at-obj o2 airp2 dels: inside-airplane o2 p1 Step 15: "fly-airplane p1 airp2 airp1" preconds: at-airplane p1 airp2 adds: at-airplane p1 airp1 dels: at-airplane p1 airp2 Step 16: "unload-truck o1 t1 airp1 c1" preconds: loc-at airp1 c1, part-of t1 c1, inside-truck o1 t1, at-truck t1 airp1 adds: at-obj o1 airp1 dels: inside-truck o1 t1 Step 17: "load-airplane o1 p1 airp1" preconds: at-obj o1 airp1, at-airplane p1 airp1 adds: inside-airplane o1 p1 dels: at-obj o1 airp1 Step 18: "fly-airplane p1 airp1 airp2" preconds: at-airplane p1 airp1 adds: at-airplane p1 airp2 dels: at-airplane p1 airp1 Step 19: "unload-airplane o1 p1 airp2" preconds: inside-airplane o1 p1, at-airplane p1 airp2 adds: at-obj o1 airp2 dels: inside-airplane o1 p1 Step 20: "finish" preconds: at-obj o1 airp2, at-obj o2 airp2 adds: dels: Showed the plan real world conditionglobal conditionIn the process_plan while loop Processing step "start" in process_adds loop at-obj o1 po1 in process_adds loop at-obj o2 po1 in process_adds loop at-airplane p1 airp2 in process_adds loop at-truck t1 airp1 in process_adds loop at-truck t2 po2 in process_adds loop part-of t1 c1 in process_adds loop part-of t2 c2 in process_adds loop loc-at po1 c1 in process_adds loop loc-at airp1 c1 in process_adds loop loc-at po2 c2 in process_adds loop loc-at airp2 c2 in process_adds loop same-city po1 airp1 in process_adds loop same-city airp1 po1 in process_adds loop same-city po2 airp2 in process_adds loop same-city airp2 po2 "global condition, at-obj o1 po1, at-obj o2 po1, at-airplane p1 airp2, at-truck t1 airp1, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2" "real world condition, at-obj o1 po1, at-obj o2 po1, at-airplane p1 airp2, at-truck t1 airp1, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2" detect_failure_success() in detect_failure_success loop 1 at-obj o1 po1 in detect_failure_success loop 1 at-obj o2 po1 in detect_failure_success loop 1 at-airplane p1 airp2 in detect_failure_success loop 1 at-truck t1 airp1 in detect_failure_success loop 1 at-truck t2 po2 in detect_failure_success loop 1 part-of t1 c1 in detect_failure_success loop 1 part-of t2 c2 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 2 at-obj o1 po1 in detect_failure_success loop 2 at-obj o2 po1 in detect_failure_success loop 2 at-airplane p1 airp2 in detect_failure_success loop 2 at-truck t1 airp1 in detect_failure_success loop 2 at-truck t2 po2 in detect_failure_success loop 2 part-of t1 c1 in detect_failure_success loop 2 part-of t2 c2 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city airp2 po2 In the process_plan while loop Processing step "fly-airplane p1 airp2 airp1" in process_preconds loop at-airplane p1 airp2 in process_adds loop at-airplane p1 airp1 in process_dels loop at-airplane p1 airp2 "global condition, at-obj o1 po1, at-obj o2 po1, at-truck t1 airp1, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-airplane p1 airp1" "real world condition, at-obj o1 po1, at-obj o2 po1, at-truck t1 airp1, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-airplane p1 airp1" detect_failure_success() in detect_failure_success loop 1 at-obj o1 po1 in detect_failure_success loop 1 at-obj o2 po1 in detect_failure_success loop 1 at-truck t1 airp1 in detect_failure_success loop 1 at-truck t2 po2 in detect_failure_success loop 1 part-of t1 c1 in detect_failure_success loop 1 part-of t2 c2 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 at-airplane p1 airp1 in detect_failure_success loop 2 at-obj o1 po1 in detect_failure_success loop 2 at-obj o2 po1 in detect_failure_success loop 2 at-truck t1 airp1 in detect_failure_success loop 2 at-truck t2 po2 in detect_failure_success loop 2 part-of t1 c1 in detect_failure_success loop 2 part-of t2 c2 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 at-airplane p1 airp1 In the process_plan while loop Processing step "drive-truck t1 airp1 po1 c1" in process_preconds loop loc-at po1 c1 in process_preconds loop loc-at airp1 c1 in process_preconds loop part-of t1 c1 in process_preconds loop at-truck t1 airp1 in process_adds loop at-truck t1 po1 in process_dels loop at-truck t1 airp1 "global condition, at-obj o1 po1, at-obj o2 po1, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-airplane p1 airp1, at-truck t1 po1" "real world condition, at-obj o1 po1, at-obj o2 po1, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-airplane p1 airp1, at-truck t1 po1" detect_failure_success() in detect_failure_success loop 1 at-obj o1 po1 in detect_failure_success loop 1 at-obj o2 po1 in detect_failure_success loop 1 at-truck t2 po2 in detect_failure_success loop 1 part-of t1 c1 in detect_failure_success loop 1 part-of t2 c2 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 at-airplane p1 airp1 in detect_failure_success loop 1 at-truck t1 po1 in detect_failure_success loop 2 at-obj o1 po1 in detect_failure_success loop 2 at-obj o2 po1 in detect_failure_success loop 2 at-truck t2 po2 in detect_failure_success loop 2 part-of t1 c1 in detect_failure_success loop 2 part-of t2 c2 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 at-airplane p1 airp1 in detect_failure_success loop 2 at-truck t1 po1 In the process_plan while loop Processing step "fly-airplane p1 airp1 airp2" in process_preconds loop at-airplane p1 airp1 in process_adds loop at-airplane p1 airp2 in process_dels loop at-airplane p1 airp1 "global condition, at-obj o1 po1, at-obj o2 po1, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-truck t1 po1, at-airplane p1 airp2" "real world condition, at-obj o1 po1, at-obj o2 po1, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-truck t1 po1, at-airplane p1 airp2" detect_failure_success() in detect_failure_success loop 1 at-obj o1 po1 in detect_failure_success loop 1 at-obj o2 po1 in detect_failure_success loop 1 at-truck t2 po2 in detect_failure_success loop 1 part-of t1 c1 in detect_failure_success loop 1 part-of t2 c2 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 at-truck t1 po1 in detect_failure_success loop 1 at-airplane p1 airp2 in detect_failure_success loop 2 at-obj o1 po1 in detect_failure_success loop 2 at-obj o2 po1 in detect_failure_success loop 2 at-truck t2 po2 in detect_failure_success loop 2 part-of t1 c1 in detect_failure_success loop 2 part-of t2 c2 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 at-truck t1 po1 in detect_failure_success loop 2 at-airplane p1 airp2 In the process_plan while loop Processing step "load-truck o2 t1 po1 c1" in process_preconds loop loc-at po1 c1 in process_preconds loop part-of t1 c1 in process_preconds loop at-obj o2 po1 in process_preconds loop at-truck t1 po1 in process_adds loop inside-truck o2 t1 in process_dels loop at-obj o2 po1 "global condition, at-obj o1 po1, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-truck t1 po1, at-airplane p1 airp2, inside-truck o2 t1" "real world condition, at-obj o1 po1, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-truck t1 po1, at-airplane p1 airp2, inside-truck o2 t1" detect_failure_success() in detect_failure_success loop 1 at-obj o1 po1 in detect_failure_success loop 1 at-truck t2 po2 in detect_failure_success loop 1 part-of t1 c1 in detect_failure_success loop 1 part-of t2 c2 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 at-truck t1 po1 in detect_failure_success loop 1 at-airplane p1 airp2 in detect_failure_success loop 1 inside-truck o2 t1 in detect_failure_success loop 2 at-obj o1 po1 in detect_failure_success loop 2 at-truck t2 po2 in detect_failure_success loop 2 part-of t1 c1 in detect_failure_success loop 2 part-of t2 c2 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 at-truck t1 po1 in detect_failure_success loop 2 at-airplane p1 airp2 in detect_failure_success loop 2 inside-truck o2 t1 In the process_plan while loop Processing step "fly-airplane p1 airp2 airp1" in process_preconds loop at-airplane p1 airp2 in process_adds loop at-airplane p1 airp1 in process_dels loop at-airplane p1 airp2 "global condition, at-obj o1 po1, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-truck t1 po1, inside-truck o2 t1, at-airplane p1 airp1" "real world condition, at-obj o1 po1, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-truck t1 po1, inside-truck o2 t1, at-airplane p1 airp1" detect_failure_success() in detect_failure_success loop 1 at-obj o1 po1 in detect_failure_success loop 1 at-truck t2 po2 in detect_failure_success loop 1 part-of t1 c1 in detect_failure_success loop 1 part-of t2 c2 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 at-truck t1 po1 in detect_failure_success loop 1 inside-truck o2 t1 in detect_failure_success loop 1 at-airplane p1 airp1 in detect_failure_success loop 2 at-obj o1 po1 in detect_failure_success loop 2 at-truck t2 po2 in detect_failure_success loop 2 part-of t1 c1 in detect_failure_success loop 2 part-of t2 c2 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 at-truck t1 po1 in detect_failure_success loop 2 inside-truck o2 t1 in detect_failure_success loop 2 at-airplane p1 airp1 In the process_plan while loop Processing step "load-truck o1 t1 po1 c1" in process_preconds loop loc-at po1 c1 in process_preconds loop part-of t1 c1 in process_preconds loop at-obj o1 po1 in process_preconds loop at-truck t1 po1 in process_adds loop inside-truck o1 t1 in process_dels loop at-obj o1 po1 "global condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-truck t1 po1, inside-truck o2 t1, at-airplane p1 airp1, inside-truck o1 t1" "real world condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-truck t1 po1, inside-truck o2 t1, at-airplane p1 airp1, inside-truck o1 t1" detect_failure_success() in detect_failure_success loop 1 at-truck t2 po2 in detect_failure_success loop 1 part-of t1 c1 in detect_failure_success loop 1 part-of t2 c2 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 at-truck t1 po1 in detect_failure_success loop 1 inside-truck o2 t1 in detect_failure_success loop 1 at-airplane p1 airp1 in detect_failure_success loop 1 inside-truck o1 t1 in detect_failure_success loop 2 at-truck t2 po2 in detect_failure_success loop 2 part-of t1 c1 in detect_failure_success loop 2 part-of t2 c2 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 at-truck t1 po1 in detect_failure_success loop 2 inside-truck o2 t1 in detect_failure_success loop 2 at-airplane p1 airp1 in detect_failure_success loop 2 inside-truck o1 t1 In the process_plan while loop Processing step "fly-airplane p1 airp1 airp2" in process_preconds loop at-airplane p1 airp1 in process_adds loop at-airplane p1 airp2 in process_dels loop at-airplane p1 airp1 "global condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-truck t1 po1, inside-truck o2 t1, inside-truck o1 t1, at-airplane p1 airp2" "real world condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-truck t1 po1, inside-truck o2 t1, inside-truck o1 t1, at-airplane p1 airp2" detect_failure_success() in detect_failure_success loop 1 at-truck t2 po2 in detect_failure_success loop 1 part-of t1 c1 in detect_failure_success loop 1 part-of t2 c2 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 at-truck t1 po1 in detect_failure_success loop 1 inside-truck o2 t1 in detect_failure_success loop 1 inside-truck o1 t1 in detect_failure_success loop 1 at-airplane p1 airp2 in detect_failure_success loop 2 at-truck t2 po2 in detect_failure_success loop 2 part-of t1 c1 in detect_failure_success loop 2 part-of t2 c2 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 at-truck t1 po1 in detect_failure_success loop 2 inside-truck o2 t1 in detect_failure_success loop 2 inside-truck o1 t1 in detect_failure_success loop 2 at-airplane p1 airp2 In the process_plan while loop Processing step "drive-truck t1 po1 airp1 c1" in process_preconds loop loc-at airp1 c1 in process_preconds loop loc-at po1 c1 in process_preconds loop part-of t1 c1 in process_preconds loop at-truck t1 po1 in process_adds loop at-truck t1 airp1 in process_dels loop at-truck t1 po1 "global condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, inside-truck o2 t1, inside-truck o1 t1, at-airplane p1 airp2, at-truck t1 airp1" "real world condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, inside-truck o2 t1, inside-truck o1 t1, at-airplane p1 airp2, at-truck t1 airp1" detect_failure_success() in detect_failure_success loop 1 at-truck t2 po2 in detect_failure_success loop 1 part-of t1 c1 in detect_failure_success loop 1 part-of t2 c2 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 inside-truck o2 t1 in detect_failure_success loop 1 inside-truck o1 t1 in detect_failure_success loop 1 at-airplane p1 airp2 in detect_failure_success loop 1 at-truck t1 airp1 in detect_failure_success loop 2 at-truck t2 po2 in detect_failure_success loop 2 part-of t1 c1 in detect_failure_success loop 2 part-of t2 c2 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 inside-truck o2 t1 in detect_failure_success loop 2 inside-truck o1 t1 in detect_failure_success loop 2 at-airplane p1 airp2 in detect_failure_success loop 2 at-truck t1 airp1 In the process_plan while loop Processing step "fly-airplane p1 airp2 airp1" in process_preconds loop at-airplane p1 airp2 in process_adds loop at-airplane p1 airp1 in process_dels loop at-airplane p1 airp2 "global condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, inside-truck o2 t1, inside-truck o1 t1, at-truck t1 airp1, at-airplane p1 airp1" "real world condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, inside-truck o2 t1, inside-truck o1 t1, at-truck t1 airp1, at-airplane p1 airp1" detect_failure_success() in detect_failure_success loop 1 at-truck t2 po2 in detect_failure_success loop 1 part-of t1 c1 in detect_failure_success loop 1 part-of t2 c2 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 inside-truck o2 t1 in detect_failure_success loop 1 inside-truck o1 t1 in detect_failure_success loop 1 at-truck t1 airp1 in detect_failure_success loop 1 at-airplane p1 airp1 in detect_failure_success loop 2 at-truck t2 po2 in detect_failure_success loop 2 part-of t1 c1 in detect_failure_success loop 2 part-of t2 c2 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 inside-truck o2 t1 in detect_failure_success loop 2 inside-truck o1 t1 in detect_failure_success loop 2 at-truck t1 airp1 in detect_failure_success loop 2 at-airplane p1 airp1 In the process_plan while loop Processing step "unload-truck o2 t1 airp1 c1" in process_preconds loop loc-at airp1 c1 in process_preconds loop part-of t1 c1 in process_preconds loop inside-truck o2 t1 in process_preconds loop at-truck t1 airp1 in process_adds loop at-obj o2 airp1 in process_dels loop inside-truck o2 t1 "global condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, inside-truck o1 t1, at-truck t1 airp1, at-airplane p1 airp1, at-obj o2 airp1" "real world condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, inside-truck o1 t1, at-truck t1 airp1, at-airplane p1 airp1, at-obj o2 airp1" detect_failure_success() in detect_failure_success loop 1 at-truck t2 po2 in detect_failure_success loop 1 part-of t1 c1 in detect_failure_success loop 1 part-of t2 c2 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 inside-truck o1 t1 in detect_failure_success loop 1 at-truck t1 airp1 in detect_failure_success loop 1 at-airplane p1 airp1 in detect_failure_success loop 1 at-obj o2 airp1 in detect_failure_success loop 2 at-truck t2 po2 in detect_failure_success loop 2 part-of t1 c1 in detect_failure_success loop 2 part-of t2 c2 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 inside-truck o1 t1 in detect_failure_success loop 2 at-truck t1 airp1 in detect_failure_success loop 2 at-airplane p1 airp1 in detect_failure_success loop 2 at-obj o2 airp1 In the process_plan while loop Processing step "load-airplane o2 p1 airp1" in process_preconds loop at-obj o2 airp1 in process_preconds loop at-airplane p1 airp1 in process_adds loop inside-airplane o2 p1 in process_dels loop at-obj o2 airp1 "global condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, inside-truck o1 t1, at-truck t1 airp1, at-airplane p1 airp1, inside-airplane o2 p1" "real world condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, inside-truck o1 t1, at-truck t1 airp1, at-airplane p1 airp1, inside-airplane o2 p1" detect_failure_success() in detect_failure_success loop 1 at-truck t2 po2 in detect_failure_success loop 1 part-of t1 c1 in detect_failure_success loop 1 part-of t2 c2 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 inside-truck o1 t1 in detect_failure_success loop 1 at-truck t1 airp1 in detect_failure_success loop 1 at-airplane p1 airp1 in detect_failure_success loop 1 inside-airplane o2 p1 in detect_failure_success loop 2 at-truck t2 po2 in detect_failure_success loop 2 part-of t1 c1 in detect_failure_success loop 2 part-of t2 c2 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 inside-truck o1 t1 in detect_failure_success loop 2 at-truck t1 airp1 in detect_failure_success loop 2 at-airplane p1 airp1 in detect_failure_success loop 2 inside-airplane o2 p1 In the process_plan while loop Processing step "fly-airplane p1 airp1 airp2" in process_preconds loop at-airplane p1 airp1 in process_adds loop at-airplane p1 airp2 in process_dels loop at-airplane p1 airp1 "global condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, inside-truck o1 t1, at-truck t1 airp1, inside-airplane o2 p1, at-airplane p1 airp2" "real world condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, inside-truck o1 t1, at-truck t1 airp1, inside-airplane o2 p1, at-airplane p1 airp2" detect_failure_success() in detect_failure_success loop 1 at-truck t2 po2 in detect_failure_success loop 1 part-of t1 c1 in detect_failure_success loop 1 part-of t2 c2 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 inside-truck o1 t1 in detect_failure_success loop 1 at-truck t1 airp1 in detect_failure_success loop 1 inside-airplane o2 p1 in detect_failure_success loop 1 at-airplane p1 airp2 in detect_failure_success loop 2 at-truck t2 po2 in detect_failure_success loop 2 part-of t1 c1 in detect_failure_success loop 2 part-of t2 c2 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 inside-truck o1 t1 in detect_failure_success loop 2 at-truck t1 airp1 in detect_failure_success loop 2 inside-airplane o2 p1 in detect_failure_success loop 2 at-airplane p1 airp2 In the process_plan while loop Processing step "unload-airplane o2 p1 airp2" in process_preconds loop inside-airplane o2 p1 in process_preconds loop at-airplane p1 airp2 in process_adds loop at-obj o2 airp2 in process_dels loop inside-airplane o2 p1 "global condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, inside-truck o1 t1, at-truck t1 airp1, at-airplane p1 airp2, at-obj o2 airp2" "real world condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, inside-truck o1 t1, at-truck t1 airp1, at-airplane p1 airp2, at-obj o2 airp2" detect_failure_success() in detect_failure_success loop 1 at-truck t2 po2 in detect_failure_success loop 1 part-of t1 c1 in detect_failure_success loop 1 part-of t2 c2 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 inside-truck o1 t1 in detect_failure_success loop 1 at-truck t1 airp1 in detect_failure_success loop 1 at-airplane p1 airp2 in detect_failure_success loop 1 at-obj o2 airp2 in detect_failure_success loop 2 at-truck t2 po2 in detect_failure_success loop 2 part-of t1 c1 in detect_failure_success loop 2 part-of t2 c2 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 inside-truck o1 t1 in detect_failure_success loop 2 at-truck t1 airp1 in detect_failure_success loop 2 at-airplane p1 airp2 in detect_failure_success loop 2 at-obj o2 airp2 In the process_plan while loop Processing step "fly-airplane p1 airp2 airp1" in process_preconds loop at-airplane p1 airp2 in process_adds loop at-airplane p1 airp1 in process_dels loop at-airplane p1 airp2 "global condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, inside-truck o1 t1, at-truck t1 airp1, at-obj o2 airp2, at-airplane p1 airp1" "real world condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, inside-truck o1 t1, at-truck t1 airp1, at-obj o2 airp2, at-airplane p1 airp1" detect_failure_success() in detect_failure_success loop 1 at-truck t2 po2 in detect_failure_success loop 1 part-of t1 c1 in detect_failure_success loop 1 part-of t2 c2 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 inside-truck o1 t1 in detect_failure_success loop 1 at-truck t1 airp1 in detect_failure_success loop 1 at-obj o2 airp2 in detect_failure_success loop 1 at-airplane p1 airp1 in detect_failure_success loop 2 at-truck t2 po2 in detect_failure_success loop 2 part-of t1 c1 in detect_failure_success loop 2 part-of t2 c2 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 inside-truck o1 t1 in detect_failure_success loop 2 at-truck t1 airp1 in detect_failure_success loop 2 at-obj o2 airp2 in detect_failure_success loop 2 at-airplane p1 airp1 In the process_plan while loop Processing step "unload-truck o1 t1 airp1 c1" in process_preconds loop loc-at airp1 c1 in process_preconds loop part-of t1 c1 in process_preconds loop inside-truck o1 t1 in process_preconds loop at-truck t1 airp1 in process_adds loop at-obj o1 airp1 in process_dels loop inside-truck o1 t1 "global condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-truck t1 airp1, at-obj o2 airp2, at-airplane p1 airp1, at-obj o1 airp1" "real world condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-truck t1 airp1, at-obj o2 airp2, at-airplane p1 airp1, at-obj o1 airp1" detect_failure_success() in detect_failure_success loop 1 at-truck t2 po2 in detect_failure_success loop 1 part-of t1 c1 in detect_failure_success loop 1 part-of t2 c2 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 at-truck t1 airp1 in detect_failure_success loop 1 at-obj o2 airp2 in detect_failure_success loop 1 at-airplane p1 airp1 in detect_failure_success loop 1 at-obj o1 airp1 in detect_failure_success loop 2 at-truck t2 po2 in detect_failure_success loop 2 part-of t1 c1 in detect_failure_success loop 2 part-of t2 c2 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 at-truck t1 airp1 in detect_failure_success loop 2 at-obj o2 airp2 in detect_failure_success loop 2 at-airplane p1 airp1 in detect_failure_success loop 2 at-obj o1 airp1 In the process_plan while loop Processing step "load-airplane o1 p1 airp1" in process_preconds loop at-obj o1 airp1 in process_preconds loop at-airplane p1 airp1 in process_adds loop inside-airplane o1 p1 in process_dels loop at-obj o1 airp1 "global condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-truck t1 airp1, at-obj o2 airp2, at-airplane p1 airp1, inside-airplane o1 p1" "real world condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-truck t1 airp1, at-obj o2 airp2, at-airplane p1 airp1, inside-airplane o1 p1" detect_failure_success() in detect_failure_success loop 1 at-truck t2 po2 in detect_failure_success loop 1 part-of t1 c1 in detect_failure_success loop 1 part-of t2 c2 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 at-truck t1 airp1 in detect_failure_success loop 1 at-obj o2 airp2 in detect_failure_success loop 1 at-airplane p1 airp1 in detect_failure_success loop 1 inside-airplane o1 p1 in detect_failure_success loop 2 at-truck t2 po2 in detect_failure_success loop 2 part-of t1 c1 in detect_failure_success loop 2 part-of t2 c2 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 at-truck t1 airp1 in detect_failure_success loop 2 at-obj o2 airp2 in detect_failure_success loop 2 at-airplane p1 airp1 in detect_failure_success loop 2 inside-airplane o1 p1 In the process_plan while loop Processing step "fly-airplane p1 airp1 airp2" in process_preconds loop at-airplane p1 airp1 in process_adds loop at-airplane p1 airp2 in process_dels loop at-airplane p1 airp1 "global condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-truck t1 airp1, at-obj o2 airp2, inside-airplane o1 p1, at-airplane p1 airp2" "real world condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-truck t1 airp1, at-obj o2 airp2, inside-airplane o1 p1, at-airplane p1 airp2" detect_failure_success() in detect_failure_success loop 1 at-truck t2 po2 in detect_failure_success loop 1 part-of t1 c1 in detect_failure_success loop 1 part-of t2 c2 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 at-truck t1 airp1 in detect_failure_success loop 1 at-obj o2 airp2 in detect_failure_success loop 1 inside-airplane o1 p1 in detect_failure_success loop 1 at-airplane p1 airp2 in detect_failure_success loop 2 at-truck t2 po2 in detect_failure_success loop 2 part-of t1 c1 in detect_failure_success loop 2 part-of t2 c2 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 at-truck t1 airp1 in detect_failure_success loop 2 at-obj o2 airp2 in detect_failure_success loop 2 inside-airplane o1 p1 in detect_failure_success loop 2 at-airplane p1 airp2 In the process_plan while loop Processing step "unload-airplane o1 p1 airp2" in process_preconds loop inside-airplane o1 p1 in process_preconds loop at-airplane p1 airp2 in process_adds loop at-obj o1 airp2 in process_dels loop inside-airplane o1 p1 "global condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-truck t1 airp1, at-obj o2 airp2, at-airplane p1 airp2, at-obj o1 airp2" "real world condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-truck t1 airp1, at-obj o2 airp2, at-airplane p1 airp2, at-obj o1 airp2" detect_failure_success() in detect_failure_success loop 1 at-truck t2 po2 in detect_failure_success loop 1 part-of t1 c1 in detect_failure_success loop 1 part-of t2 c2 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 at-truck t1 airp1 in detect_failure_success loop 1 at-obj o2 airp2 in detect_failure_success loop 1 at-airplane p1 airp2 in detect_failure_success loop 1 at-obj o1 airp2 in detect_failure_success loop 2 at-truck t2 po2 in detect_failure_success loop 2 part-of t1 c1 in detect_failure_success loop 2 part-of t2 c2 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 at-truck t1 airp1 in detect_failure_success loop 2 at-obj o2 airp2 in detect_failure_success loop 2 at-airplane p1 airp2 in detect_failure_success loop 2 at-obj o1 airp2 In the process_plan while loop Processing step "finish" in process_preconds loop at-obj o1 airp2 in process_preconds loop at-obj o2 airp2 "global condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-truck t1 airp1, at-obj o2 airp2, at-airplane p1 airp2, at-obj o1 airp2" "real world condition, at-truck t2 po2, part-of t1 c1, part-of t2 c2, loc-at po1 c1, loc-at airp1 c1, loc-at po2 c2, loc-at airp2 c2, same-city po1 airp1, same-city airp1 po1, same-city po2 airp2, same-city airp2 po2, at-truck t1 airp1, at-obj o2 airp2, at-airplane p1 airp2, at-obj o1 airp2" detect_failure_success() in detect_failure_success loop 1 at-truck t2 po2 in detect_failure_success loop 1 part-of t1 c1 in detect_failure_success loop 1 part-of t2 c2 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 at-truck t1 airp1 in detect_failure_success loop 1 at-obj o2 airp2 in detect_failure_success loop 1 at-airplane p1 airp2 in detect_failure_success loop 1 at-obj o1 airp2 in detect_failure_success loop 2 at-truck t2 po2 in detect_failure_success loop 2 part-of t1 c1 in detect_failure_success loop 2 part-of t2 c2 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 at-truck t1 airp1 in detect_failure_success loop 2 at-obj o2 airp2 in detect_failure_success loop 2 at-airplane p1 airp2 in detect_failure_success loop 2 at-obj o1 airp2 Plan looks fine to me.