Reading plan from tests/log-p7.txt Finished reading tests/log-p7.txt in process_plan Step 1: "start" preconds: adds: at-obj o1 po1, at-obj o2 po2, at-obj o3 po1, at-obj o4 po3, at-obj o5 po1, at-obj o6 po2, at-obj o7 airp4, inside-truck o8 t3, at-obj o9 airp3, inside-truck o9 t1, at-obj o10 airp1, inside-truck o11 t1, at-obj o12 airp1, inside-airplane o13 p1, at-obj o14 airp5, inside-airplane o15 p2, at-airplane p1 airp2, at-airplane p2 airp1, at-airplane p3 airp4, at-truck t1 airp1, at-truck t2 po2, at-truck t3 airp3, at-truck t4 po4, at-truck t5 airp5, part-of t1 c1, part-of t2 c2, part-of t3 c3, part-of t4 c4, part-of t5 c5, loc-at po1 c1, loc-at po2 c2, loc-at po3 c3, loc-at po4 c4, loc-at po5 c5, loc-at airp1 c1, loc-at airp2 c2, loc-at airp3 c3, loc-at airp4 c4, loc-at airp5 c5, same-city po1 airp1, same-city po2 airp2, same-city po3 airp3, same-city po4 airp4, same-city po5 airp5, same-city airp1 po1, same-city airp2 po2, same-city airp3 po3, same-city airp4 po4, same-city airp5 po5 dels: Step 2: "load-truck o2 t2 po2 c2" preconds: loc-at po2 c2, part-of t2 c2, at-obj o2 po2, at-truck t2 po2 adds: inside-truck o2 t2 dels: at-obj o2 po2 Step 3: "load-truck o6 t2 po2 c2" preconds: loc-at po2 c2, part-of t2 c2, at-obj o6 po2, at-truck t2 po2 adds: inside-truck o6 t2 dels: at-obj o6 po2 Step 4: "drive-truck t2 po2 airp2 c2" preconds: loc-at airp2 c2, loc-at po2 c2, part-of t2 c2, at-truck t2 po2 adds: at-truck t2 airp2 dels: at-truck t2 po2 Step 5: "unload-truck o2 t2 airp2 c2" preconds: loc-at airp2 c2, part-of t2 c2, inside-truck o2 t2, at-truck t2 airp2 adds: at-obj o2 airp2 dels: inside-truck o2 t2 Step 6: "load-airplane o6 p1 airp2" preconds: at-obj o6 airp2, at-airplane p1 airp2 adds: inside-airplane o6 p1 dels: at-obj o6 airp2 Step 7: "unload-truck o8 t3 airp3 c3" preconds: loc-at airp3 c3, part-of t3 c3, inside-truck o8 t3, at-truck t3 airp3 adds: at-obj o8 airp3 dels: inside-truck o8 t3 Step 8: "drive-truck t3 airp3 po3 c3" preconds: loc-at po3 c3, loc-at airp3 c3, part-of t3 c3, at-truck t3 airp3 adds: at-truck t3 po3 dels: at-truck t3 airp3 Step 9: "load-truck o4 t3 po3 c3" preconds: loc-at po3 c3, part-of t3 c3, at-obj o4 po3, at-truck t3 po3 adds: inside-truck o4 t3 dels: at-obj o4 po3 Step 10: "load-truck o10 t1 airp1 c1" preconds: loc-at airp1 c1, part-of t1 c1, at-obj o10 airp1, at-truck t1 airp1 adds: inside-truck o10 t1 dels: at-obj o10 airp1 Step 11: "unload-truck o11 t1 airp1 c1" preconds: loc-at airp1 c1, part-of t1 c1, inside-truck o11 t1, at-truck t1 airp1 adds: at-obj o11 airp1 dels: inside-truck o11 t1 Step 12: "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 13: "load-truck o3 t1 po1 c1" preconds: loc-at po1 c1, part-of t1 c1, at-obj o3 po1, at-truck t1 po1 adds: inside-truck o3 t1 dels: at-obj o3 po1 Step 14: "load-truck o5 t1 po1 c1" preconds: loc-at po1 c1, part-of t1 c1, at-obj o5 po1, at-truck t1 po1 adds: inside-truck o5 t1 dels: at-obj o5 po1 Step 15: "unload-truck o10 t1 po1 c1" preconds: loc-at po1 c1, part-of t1 c1, inside-truck o10 t1, at-truck t1 po1 adds: at-obj o10 po1 dels: inside-truck o10 t1 Step 16: "load-airplane o11 p2 airp1" preconds: at-obj o11 airp1, at-airplane p2 airp1 adds: inside-airplane o11 p2 dels: at-obj o11 airp1 Step 17: "load-airplane o12 p2 airp1" preconds: at-obj o12 airp1, at-airplane p2 airp1 adds: inside-airplane o12 p2 dels: at-obj o12 airp1 Step 18: "unload-airplane o15 p2 airp1" preconds: inside-airplane o15 p2, at-airplane p2 airp1 adds: at-obj o15 airp1 dels: inside-airplane o15 p2 Step 19: "drive-truck t2 airp2 po2 c2" preconds: loc-at po2 c2, loc-at airp2 c2, part-of t2 c2, at-truck t2 airp2 adds: at-truck t2 po2 dels: at-truck t2 airp2 Step 20: "drive-truck t3 po3 airp3 c3" preconds: loc-at airp3 c3, loc-at po3 c3, part-of t3 c3, at-truck t3 po3 adds: at-truck t3 airp3 dels: at-truck t3 po3 Step 21: "unload-truck o4 t3 airp3 c3" preconds: loc-at airp3 c3, part-of t3 c3, inside-truck o4 t3, at-truck t3 airp3 adds: at-obj o4 airp3 dels: inside-truck o4 t3 Step 22: "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 23: "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 24: "unload-truck o3 t1 airp1 c1" preconds: loc-at airp1 c1, part-of t1 c1, inside-truck o3 t1, at-truck t1 airp1 adds: at-obj o3 airp1 dels: inside-truck o3 t1 Step 25: "load-airplane o3 p2 airp1" preconds: at-obj o3 airp1, at-airplane p2 airp1 adds: inside-airplane o3 p2 dels: at-obj o3 airp1 Step 26: "unload-truck o5 t1 airp1 c1" preconds: loc-at airp1 c1, part-of t1 c1, inside-truck o5 t1, at-truck t1 airp1 adds: at-obj o5 airp1 dels: inside-truck o5 t1 Step 27: "load-airplane o5 p2 airp1" preconds: at-obj o5 airp1, at-airplane p2 airp1 adds: inside-airplane o5 p2 dels: at-obj o5 airp1 Step 28: "load-truck o15 t1 airp1 c1" preconds: loc-at airp1 c1, part-of t1 c1, at-obj o15 airp1, at-truck t1 airp1 adds: inside-truck o15 t1 dels: at-obj o15 airp1 Step 29: "drive-truck t2 po2 airp2 c2" preconds: loc-at airp2 c2, loc-at po2 c2, part-of t2 c2, at-truck t2 po2 adds: at-truck t2 airp2 dels: at-truck t2 po2 Step 30: "drive-truck t3 airp3 po3 c3" preconds: loc-at po3 c3, loc-at airp3 c3, part-of t3 c3, at-truck t3 airp3 adds: at-truck t3 po3 dels: at-truck t3 airp3 Step 31: "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 32: "drive-truck t2 airp2 po2 c2" preconds: loc-at po2 c2, loc-at airp2 c2, part-of t2 c2, at-truck t2 airp2 adds: at-truck t2 po2 dels: at-truck t2 airp2 Step 33: "drive-truck t3 po3 airp3 c3" preconds: loc-at airp3 c3, loc-at po3 c3, part-of t3 c3, at-truck t3 po3 adds: at-truck t3 airp3 dels: at-truck t3 po3 Step 34: "drive-truck t2 po2 airp2 c2" preconds: loc-at airp2 c2, loc-at po2 c2, part-of t2 c2, at-truck t2 po2 adds: at-truck t2 airp2 dels: at-truck t2 po2 Step 35: "fly-airplane p2 airp1 airp2" preconds: at-airplane p2 airp1 adds: at-airplane p2 airp2 dels: at-airplane p2 airp1 Step 36: "unload-airplane o3 p2 airp2" preconds: inside-airplane o3 p2, at-airplane p2 airp2 adds: at-obj o3 airp2 dels: inside-airplane o3 p2 Step 37: "load-airplane o3 p1 airp2" preconds: at-obj o3 airp2, at-airplane p1 airp2 adds: inside-airplane o3 p1 dels: at-obj o3 airp2 Step 38: "unload-airplane o12 p2 airp2" preconds: inside-airplane o12 p2, at-airplane p2 airp2 adds: at-obj o12 airp2 dels: inside-airplane o12 p2 Step 39: "load-airplane o12 p1 airp2" preconds: at-obj o12 airp2, at-airplane p1 airp2 adds: inside-airplane o12 p1 dels: at-obj o12 airp2 Step 40: "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 41: "drive-truck t3 airp3 po3 c3" preconds: loc-at po3 c3, loc-at airp3 c3, part-of t3 c3, at-truck t3 airp3 adds: at-truck t3 po3 dels: at-truck t3 airp3 Step 42: "drive-truck t2 airp2 po2 c2" preconds: loc-at po2 c2, loc-at airp2 c2, part-of t2 c2, at-truck t2 airp2 adds: at-truck t2 po2 dels: at-truck t2 airp2 Step 43: "fly-airplane p2 airp2 airp1" preconds: at-airplane p2 airp2 adds: at-airplane p2 airp1 dels: at-airplane p2 airp2 Step 44: "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 45: "drive-truck t3 po3 airp3 c3" preconds: loc-at airp3 c3, loc-at po3 c3, part-of t3 c3, at-truck t3 po3 adds: at-truck t3 airp3 dels: at-truck t3 po3 Step 46: "drive-truck t2 po2 airp2 c2" preconds: loc-at airp2 c2, loc-at po2 c2, part-of t2 c2, at-truck t2 po2 adds: at-truck t2 airp2 dels: at-truck t2 po2 Step 47: "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 48: "drive-truck t3 airp3 po3 c3" preconds: loc-at po3 c3, loc-at airp3 c3, part-of t3 c3, at-truck t3 airp3 adds: at-truck t3 po3 dels: at-truck t3 airp3 Step 49: "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 50: "fly-airplane p1 airp2 airp3" preconds: at-airplane p1 airp2 adds: at-airplane p1 airp3 dels: at-airplane p1 airp2 Step 51: "unload-airplane o3 p1 airp3" preconds: inside-airplane o3 p1, at-airplane p1 airp3 adds: at-obj o3 airp3 dels: inside-airplane o3 p1 Step 52: "unload-airplane o6 p1 airp3" preconds: inside-airplane o6 p1, at-airplane p1 airp3 adds: at-obj o6 airp3 dels: inside-airplane o6 p1 Step 53: "unload-airplane o12 p1 airp3" preconds: inside-airplane o12 p1, at-airplane p1 airp3 adds: at-obj o12 airp3 dels: inside-airplane o12 p1 Step 54: "drive-truck t2 airp2 po2 c2" preconds: loc-at po2 c2, loc-at airp2 c2, part-of t2 c2, at-truck t2 airp2 adds: at-truck t2 po2 dels: at-truck t2 airp2 Step 55: "drive-truck t3 po3 airp3 c3" preconds: loc-at airp3 c3, loc-at po3 c3, part-of t3 c3, at-truck t3 po3 adds: at-truck t3 airp3 dels: at-truck t3 po3 Step 56: "load-truck o6 t3 airp3 c3" preconds: loc-at airp3 c3, part-of t3 c3, at-obj o6 airp3, at-truck t3 airp3 adds: inside-truck o6 t3 dels: at-obj o6 airp3 Step 57: "load-truck o12 t3 airp3 c3" preconds: loc-at airp3 c3, part-of t3 c3, at-obj o12 airp3, at-truck t3 airp3 adds: inside-truck o12 t3 dels: at-obj o12 airp3 Step 58: "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 59: "fly-airplane p1 airp3 airp2" preconds: at-airplane p1 airp3 adds: at-airplane p1 airp2 dels: at-airplane p1 airp3 Step 60: "fly-airplane p1 airp2 airp5" preconds: at-airplane p1 airp2 adds: at-airplane p1 airp5 dels: at-airplane p1 airp2 Step 61: "drive-truck t2 po2 airp2 c2" preconds: loc-at airp2 c2, loc-at po2 c2, part-of t2 c2, at-truck t2 po2 adds: at-truck t2 airp2 dels: at-truck t2 po2 Step 62: "drive-truck t3 airp3 po3 c3" preconds: loc-at po3 c3, loc-at airp3 c3, part-of t3 c3, at-truck t3 airp3 adds: at-truck t3 po3 dels: at-truck t3 airp3 Step 63: "unload-truck o6 t3 po3 c3" preconds: loc-at po3 c3, part-of t3 c3, inside-truck o6 t3, at-truck t3 po3 adds: at-obj o6 po3 dels: inside-truck o6 t3 Step 64: "unload-truck o12 t3 po3 c3" preconds: loc-at po3 c3, part-of t3 c3, inside-truck o12 t3, at-truck t3 po3 adds: at-obj o12 po3 dels: inside-truck o12 t3 Step 65: "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 66: "fly-airplane p1 airp5 airp2" preconds: at-airplane p1 airp5 adds: at-airplane p1 airp2 dels: at-airplane p1 airp5 Step 67: "drive-truck t2 airp2 po2 c2" preconds: loc-at po2 c2, loc-at airp2 c2, part-of t2 c2, at-truck t2 airp2 adds: at-truck t2 po2 dels: at-truck t2 airp2 Step 68: "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 69: "fly-airplane p1 airp2 airp5" preconds: at-airplane p1 airp2 adds: at-airplane p1 airp5 dels: at-airplane p1 airp2 Step 70: "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 71: "fly-airplane p3 airp4 airp3" preconds: at-airplane p3 airp4 adds: at-airplane p3 airp3 dels: at-airplane p3 airp4 Step 72: "load-airplane o4 p3 airp3" preconds: at-obj o4 airp3, at-airplane p3 airp3 adds: inside-airplane o4 p3 dels: at-obj o4 airp3 Step 73: "load-airplane o8 p3 airp3" preconds: at-obj o8 airp3, at-airplane p3 airp3 adds: inside-airplane o8 p3 dels: at-obj o8 airp3 Step 74: "drive-truck t2 po2 airp2 c2" preconds: loc-at airp2 c2, loc-at po2 c2, part-of t2 c2, at-truck t2 po2 adds: at-truck t2 airp2 dels: at-truck t2 po2 Step 75: "fly-airplane p1 airp5 airp2" preconds: at-airplane p1 airp5 adds: at-airplane p1 airp2 dels: at-airplane p1 airp5 Step 76: "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 77: "fly-airplane p3 airp3 airp4" preconds: at-airplane p3 airp3 adds: at-airplane p3 airp4 dels: at-airplane p3 airp3 Step 78: "drive-truck t2 airp2 po2 c2" preconds: loc-at po2 c2, loc-at airp2 c2, part-of t2 c2, at-truck t2 airp2 adds: at-truck t2 po2 dels: at-truck t2 airp2 Step 79: "fly-airplane p1 airp2 airp5" preconds: at-airplane p1 airp2 adds: at-airplane p1 airp5 dels: at-airplane p1 airp2 Step 80: "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 81: "drive-truck t2 po2 airp2 c2" preconds: loc-at airp2 c2, loc-at po2 c2, part-of t2 c2, at-truck t2 po2 adds: at-truck t2 airp2 dels: at-truck t2 po2 Step 82: "fly-airplane p1 airp5 airp2" preconds: at-airplane p1 airp5 adds: at-airplane p1 airp2 dels: at-airplane p1 airp5 Step 83: "drive-truck t2 airp2 po2 c2" preconds: loc-at po2 c2, loc-at airp2 c2, part-of t2 c2, at-truck t2 airp2 adds: at-truck t2 po2 dels: at-truck t2 airp2 Step 84: "fly-airplane p3 airp4 airp2" preconds: at-airplane p3 airp4 adds: at-airplane p3 airp2 dels: at-airplane p3 airp4 Step 85: "unload-airplane o4 p3 airp2" preconds: inside-airplane o4 p3, at-airplane p3 airp2 adds: at-obj o4 airp2 dels: inside-airplane o4 p3 Step 86: "load-airplane o4 p1 airp2" preconds: at-obj o4 airp2, at-airplane p1 airp2 adds: inside-airplane o4 p1 dels: at-obj o4 airp2 Step 87: "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 88: "fly-airplane p1 airp2 airp5" preconds: at-airplane p1 airp2 adds: at-airplane p1 airp5 dels: at-airplane p1 airp2 Step 89: "unload-airplane o4 p1 airp5" preconds: inside-airplane o4 p1, at-airplane p1 airp5 adds: at-obj o4 airp5 dels: inside-airplane o4 p1 Step 90: "drive-truck t2 po2 airp2 c2" preconds: loc-at airp2 c2, loc-at po2 c2, part-of t2 c2, at-truck t2 po2 adds: at-truck t2 airp2 dels: at-truck t2 po2 Step 91: "fly-airplane p3 airp2 airp4" preconds: at-airplane p3 airp2 adds: at-airplane p3 airp4 dels: at-airplane p3 airp2 Step 92: "fly-airplane p3 airp4 airp1" preconds: at-airplane p3 airp4 adds: at-airplane p3 airp1 dels: at-airplane p3 airp4 Step 93: "unload-airplane o8 p3 airp1" preconds: inside-airplane o8 p3, at-airplane p3 airp1 adds: at-obj o8 airp1 dels: inside-airplane o8 p3 Step 94: "load-airplane o8 p2 airp1" preconds: at-obj o8 airp1, at-airplane p2 airp1 adds: inside-airplane o8 p2 dels: at-obj o8 airp1 Step 95: "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 96: "fly-airplane p1 airp5 airp2" preconds: at-airplane p1 airp5 adds: at-airplane p1 airp2 dels: at-airplane p1 airp5 Step 97: "drive-truck t2 airp2 po2 c2" preconds: loc-at po2 c2, loc-at airp2 c2, part-of t2 c2, at-truck t2 airp2 adds: at-truck t2 po2 dels: at-truck t2 airp2 Step 98: "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 99: "fly-airplane p1 airp2 airp5" preconds: at-airplane p1 airp2 adds: at-airplane p1 airp5 dels: at-airplane p1 airp2 Step 100: "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 101: "fly-airplane p2 airp1 airp5" preconds: at-airplane p2 airp1 adds: at-airplane p2 airp5 dels: at-airplane p2 airp1 Step 102: "load-airplane o4 p2 airp5" preconds: at-obj o4 airp5, at-airplane p2 airp5 adds: inside-airplane o4 p2 dels: at-obj o4 airp5 Step 103: "unload-airplane o5 p2 airp5" preconds: inside-airplane o5 p2, at-airplane p2 airp5 adds: at-obj o5 airp5 dels: inside-airplane o5 p2 Step 104: "load-airplane o5 p1 airp5" preconds: at-obj o5 airp5, at-airplane p1 airp5 adds: inside-airplane o5 p1 dels: at-obj o5 airp5 Step 105: "unload-airplane o8 p2 airp5" preconds: inside-airplane o8 p2, at-airplane p2 airp5 adds: at-obj o8 airp5 dels: inside-airplane o8 p2 Step 106: "load-airplane o8 p1 airp5" preconds: at-obj o8 airp5, at-airplane p1 airp5 adds: inside-airplane o8 p1 dels: at-obj o8 airp5 Step 107: "unload-airplane o11 p2 airp5" preconds: inside-airplane o11 p2, at-airplane p2 airp5 adds: at-obj o11 airp5 dels: inside-airplane o11 p2 Step 108: "load-airplane o11 p1 airp5" preconds: at-obj o11 airp5, at-airplane p1 airp5 adds: inside-airplane o11 p1 dels: at-obj o11 airp5 Step 109: "load-airplane o14 p2 airp5" preconds: at-obj o14 airp5, at-airplane p2 airp5 adds: inside-airplane o14 p2 dels: at-obj o14 airp5 Step 110: "drive-truck t2 po2 airp2 c2" preconds: loc-at airp2 c2, loc-at po2 c2, part-of t2 c2, at-truck t2 po2 adds: at-truck t2 airp2 dels: at-truck t2 po2 Step 111: "fly-airplane p1 airp5 airp2" preconds: at-airplane p1 airp5 adds: at-airplane p1 airp2 dels: at-airplane p1 airp5 Step 112: "unload-airplane o5 p1 airp2" preconds: inside-airplane o5 p1, at-airplane p1 airp2 adds: at-obj o5 airp2 dels: inside-airplane o5 p1 Step 113: "load-truck o5 t2 airp2 c2" preconds: loc-at airp2 c2, part-of t2 c2, at-obj o5 airp2, at-truck t2 airp2 adds: inside-truck o5 t2 dels: at-obj o5 airp2 Step 114: "unload-airplane o8 p1 airp2" preconds: inside-airplane o8 p1, at-airplane p1 airp2 adds: at-obj o8 airp2 dels: inside-airplane o8 p1 Step 115: "unload-airplane o11 p1 airp2" preconds: inside-airplane o11 p1, at-airplane p1 airp2 adds: at-obj o11 airp2 dels: inside-airplane o11 p1 Step 116: "load-truck o11 t2 airp2 c2" preconds: loc-at airp2 c2, part-of t2 c2, at-obj o11 airp2, at-truck t2 airp2 adds: inside-truck o11 t2 dels: at-obj o11 airp2 Step 117: "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 118: "fly-airplane p2 airp5 airp1" preconds: at-airplane p2 airp5 adds: at-airplane p2 airp1 dels: at-airplane p2 airp5 Step 119: "unload-airplane o4 p2 airp1" preconds: inside-airplane o4 p2, at-airplane p2 airp1 adds: at-obj o4 airp1 dels: inside-airplane o4 p2 Step 120: "load-truck o4 t1 airp1 c1" preconds: loc-at airp1 c1, part-of t1 c1, at-obj o4 airp1, at-truck t1 airp1 adds: inside-truck o4 t1 dels: at-obj o4 airp1 Step 121: "unload-airplane o14 p2 airp1" preconds: inside-airplane o14 p2, at-airplane p2 airp1 adds: at-obj o14 airp1 dels: inside-airplane o14 p2 Step 122: "fly-airplane p2 airp1 airp4" preconds: at-airplane p2 airp1 adds: at-airplane p2 airp4 dels: at-airplane p2 airp1 Step 123: "load-airplane o7 p2 airp4" preconds: at-obj o7 airp4, at-airplane p2 airp4 adds: inside-airplane o7 p2 dels: at-obj o7 airp4 Step 124: "load-truck o14 t1 airp1 c1" preconds: loc-at airp1 c1, part-of t1 c1, at-obj o14 airp1, at-truck t1 airp1 adds: inside-truck o14 t1 dels: at-obj o14 airp1 Step 125: "drive-truck t2 airp2 po2 c2" preconds: loc-at po2 c2, loc-at airp2 c2, part-of t2 c2, at-truck t2 airp2 adds: at-truck t2 po2 dels: at-truck t2 airp2 Step 126: "unload-truck o5 t2 po2 c2" preconds: loc-at po2 c2, part-of t2 c2, inside-truck o5 t2, at-truck t2 po2 adds: at-obj o5 po2 dels: inside-truck o5 t2 Step 127: "unload-truck o11 t2 po2 c2" preconds: loc-at po2 c2, part-of t2 c2, inside-truck o11 t2, at-truck t2 po2 adds: at-obj o11 po2 dels: inside-truck o11 t2 Step 128: "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 129: "unload-truck o4 t1 po1 c1" preconds: loc-at po1 c1, part-of t1 c1, inside-truck o4 t1, at-truck t1 po1 adds: at-obj o4 po1 dels: inside-truck o4 t1 Step 130: "fly-airplane p2 airp4 airp1" preconds: at-airplane p2 airp4 adds: at-airplane p2 airp1 dels: at-airplane p2 airp4 Step 131: "unload-airplane o7 p2 airp1" preconds: inside-airplane o7 p2, at-airplane p2 airp1 adds: at-obj o7 airp1 dels: inside-airplane o7 p2 Step 132: "finish" preconds: at-obj o1 airp1, at-obj o2 airp2, at-obj o3 airp3, at-obj o4 po1, at-obj o5 po2, at-obj o6 po3, at-obj o7 airp1, at-obj o8 airp2, at-obj o9 airp3, at-obj o10 po1, at-obj o11 po2, at-obj o12 po3, inside-airplane o13 p1, inside-truck o14 t1, inside-truck o15 t1 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 po2 in process_adds loop at-obj o3 po1 in process_adds loop at-obj o4 po3 in process_adds loop at-obj o5 po1 in process_adds loop at-obj o6 po2 in process_adds loop at-obj o7 airp4 in process_adds loop inside-truck o8 t3 in process_adds loop at-obj o9 airp3 in process_adds loop inside-truck o9 t1 in process_adds loop at-obj o10 airp1 in process_adds loop inside-truck o11 t1 in process_adds loop at-obj o12 airp1 in process_adds loop inside-airplane o13 p1 in process_adds loop at-obj o14 airp5 in process_adds loop inside-airplane o15 p2 in process_adds loop at-airplane p1 airp2 in process_adds loop at-airplane p2 airp1 in process_adds loop at-airplane p3 airp4 in process_adds loop at-truck t1 airp1 in process_adds loop at-truck t2 po2 in process_adds loop at-truck t3 airp3 in process_adds loop at-truck t4 po4 in process_adds loop at-truck t5 airp5 in process_adds loop part-of t1 c1 in process_adds loop part-of t2 c2 in process_adds loop part-of t3 c3 in process_adds loop part-of t4 c4 in process_adds loop part-of t5 c5 in process_adds loop loc-at po1 c1 in process_adds loop loc-at po2 c2 in process_adds loop loc-at po3 c3 in process_adds loop loc-at po4 c4 in process_adds loop loc-at po5 c5 in process_adds loop loc-at airp1 c1 in process_adds loop loc-at airp2 c2 in process_adds loop loc-at airp3 c3 in process_adds loop loc-at airp4 c4 in process_adds loop loc-at airp5 c5 in process_adds loop same-city po1 airp1 in process_adds loop same-city po2 airp2 in process_adds loop same-city po3 airp3 in process_adds loop same-city po4 airp4 in process_adds loop same-city po5 airp5 in process_adds loop same-city airp1 po1 in process_adds loop same-city airp2 po2 in process_adds loop same-city airp3 po3 in process_adds loop same-city airp4 po4 in process_adds loop same-city airp5 po5 "global condition, at-obj o1 po1, at-obj o2 po2, at-obj o3 po1, at-obj o4 po3, at-obj o5 po1, at-obj o6 po2, at-obj o7 airp4, inside-truck o8 t3, at-obj o9 airp3, inside-truck o9 t1, at-obj o10 airp1, inside-truck o11 t1, at-obj o12 airp1, inside-airplane o13 p1, at-obj o14 airp5, inside-airplane o15 p2, at-airplane p1 airp2, at-airplane p2 airp1, at-airplane p3 airp4, at-truck t1 airp1, at-truck t2 po2, at-truck t3 airp3, at-truck t4 po4, at-truck t5 airp5, part-of t1 c1, part-of t2 c2, part-of t3 c3, part-of t4 c4, part-of t5 c5, loc-at po1 c1, loc-at po2 c2, loc-at po3 c3, loc-at po4 c4, loc-at po5 c5, loc-at airp1 c1, loc-at airp2 c2, loc-at airp3 c3, loc-at airp4 c4, loc-at airp5 c5, same-city po1 airp1, same-city po2 airp2, same-city po3 airp3, same-city po4 airp4, same-city po5 airp5, same-city airp1 po1, same-city airp2 po2, same-city airp3 po3, same-city airp4 po4, same-city airp5 po5" "real world condition, at-obj o1 po1, at-obj o2 po2, at-obj o3 po1, at-obj o4 po3, at-obj o5 po1, at-obj o6 po2, at-obj o7 airp4, inside-truck o8 t3, at-obj o9 airp3, inside-truck o9 t1, at-obj o10 airp1, inside-truck o11 t1, at-obj o12 airp1, inside-airplane o13 p1, at-obj o14 airp5, inside-airplane o15 p2, at-airplane p1 airp2, at-airplane p2 airp1, at-airplane p3 airp4, at-truck t1 airp1, at-truck t2 po2, at-truck t3 airp3, at-truck t4 po4, at-truck t5 airp5, part-of t1 c1, part-of t2 c2, part-of t3 c3, part-of t4 c4, part-of t5 c5, loc-at po1 c1, loc-at po2 c2, loc-at po3 c3, loc-at po4 c4, loc-at po5 c5, loc-at airp1 c1, loc-at airp2 c2, loc-at airp3 c3, loc-at airp4 c4, loc-at airp5 c5, same-city po1 airp1, same-city po2 airp2, same-city po3 airp3, same-city po4 airp4, same-city po5 airp5, same-city airp1 po1, same-city airp2 po2, same-city airp3 po3, same-city airp4 po4, same-city airp5 po5" detect_failure_success() in detect_failure_success loop 1 at-obj o1 po1 in detect_failure_success loop 1 at-obj o2 po2 in detect_failure_success loop 1 at-obj o3 po1 in detect_failure_success loop 1 at-obj o4 po3 in detect_failure_success loop 1 at-obj o5 po1 in detect_failure_success loop 1 at-obj o6 po2 in detect_failure_success loop 1 at-obj o7 airp4 in detect_failure_success loop 1 inside-truck o8 t3 in detect_failure_success loop 1 at-obj o9 airp3 in detect_failure_success loop 1 inside-truck o9 t1 in detect_failure_success loop 1 at-obj o10 airp1 in detect_failure_success loop 1 inside-truck o11 t1 in detect_failure_success loop 1 at-obj o12 airp1 in detect_failure_success loop 1 inside-airplane o13 p1 in detect_failure_success loop 1 at-obj o14 airp5 in detect_failure_success loop 1 inside-airplane o15 p2 in detect_failure_success loop 1 at-airplane p1 airp2 in detect_failure_success loop 1 at-airplane p2 airp1 in detect_failure_success loop 1 at-airplane p3 airp4 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 at-truck t3 airp3 in detect_failure_success loop 1 at-truck t4 po4 in detect_failure_success loop 1 at-truck t5 airp5 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 part-of t3 c3 in detect_failure_success loop 1 part-of t4 c4 in detect_failure_success loop 1 part-of t5 c5 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at po3 c3 in detect_failure_success loop 1 loc-at po4 c4 in detect_failure_success loop 1 loc-at po5 c5 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 loc-at airp3 c3 in detect_failure_success loop 1 loc-at airp4 c4 in detect_failure_success loop 1 loc-at airp5 c5 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city po3 airp3 in detect_failure_success loop 1 same-city po4 airp4 in detect_failure_success loop 1 same-city po5 airp5 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 same-city airp3 po3 in detect_failure_success loop 1 same-city airp4 po4 in detect_failure_success loop 1 same-city airp5 po5 in detect_failure_success loop 2 at-obj o1 po1 in detect_failure_success loop 2 at-obj o2 po2 in detect_failure_success loop 2 at-obj o3 po1 in detect_failure_success loop 2 at-obj o4 po3 in detect_failure_success loop 2 at-obj o5 po1 in detect_failure_success loop 2 at-obj o6 po2 in detect_failure_success loop 2 at-obj o7 airp4 in detect_failure_success loop 2 inside-truck o8 t3 in detect_failure_success loop 2 at-obj o9 airp3 in detect_failure_success loop 2 inside-truck o9 t1 in detect_failure_success loop 2 at-obj o10 airp1 in detect_failure_success loop 2 inside-truck o11 t1 in detect_failure_success loop 2 at-obj o12 airp1 in detect_failure_success loop 2 inside-airplane o13 p1 in detect_failure_success loop 2 at-obj o14 airp5 in detect_failure_success loop 2 inside-airplane o15 p2 in detect_failure_success loop 2 at-airplane p1 airp2 in detect_failure_success loop 2 at-airplane p2 airp1 in detect_failure_success loop 2 at-airplane p3 airp4 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 at-truck t3 airp3 in detect_failure_success loop 2 at-truck t4 po4 in detect_failure_success loop 2 at-truck t5 airp5 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 part-of t3 c3 in detect_failure_success loop 2 part-of t4 c4 in detect_failure_success loop 2 part-of t5 c5 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at po3 c3 in detect_failure_success loop 2 loc-at po4 c4 in detect_failure_success loop 2 loc-at po5 c5 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 loc-at airp3 c3 in detect_failure_success loop 2 loc-at airp4 c4 in detect_failure_success loop 2 loc-at airp5 c5 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city po3 airp3 in detect_failure_success loop 2 same-city po4 airp4 in detect_failure_success loop 2 same-city po5 airp5 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 same-city airp3 po3 in detect_failure_success loop 2 same-city airp4 po4 in detect_failure_success loop 2 same-city airp5 po5 In the process_plan while loop Processing step "load-truck o2 t2 po2 c2" in process_preconds loop loc-at po2 c2 in process_preconds loop part-of t2 c2 in process_preconds loop at-obj o2 po2 in process_preconds loop at-truck t2 po2 in process_adds loop inside-truck o2 t2 in process_dels loop at-obj o2 po2 "global condition, at-obj o1 po1, at-obj o3 po1, at-obj o4 po3, at-obj o5 po1, at-obj o6 po2, at-obj o7 airp4, inside-truck o8 t3, at-obj o9 airp3, inside-truck o9 t1, at-obj o10 airp1, inside-truck o11 t1, at-obj o12 airp1, inside-airplane o13 p1, at-obj o14 airp5, inside-airplane o15 p2, at-airplane p1 airp2, at-airplane p2 airp1, at-airplane p3 airp4, at-truck t1 airp1, at-truck t2 po2, at-truck t3 airp3, at-truck t4 po4, at-truck t5 airp5, part-of t1 c1, part-of t2 c2, part-of t3 c3, part-of t4 c4, part-of t5 c5, loc-at po1 c1, loc-at po2 c2, loc-at po3 c3, loc-at po4 c4, loc-at po5 c5, loc-at airp1 c1, loc-at airp2 c2, loc-at airp3 c3, loc-at airp4 c4, loc-at airp5 c5, same-city po1 airp1, same-city po2 airp2, same-city po3 airp3, same-city po4 airp4, same-city po5 airp5, same-city airp1 po1, same-city airp2 po2, same-city airp3 po3, same-city airp4 po4, same-city airp5 po5, inside-truck o2 t2" "real world condition, at-obj o1 po1, at-obj o3 po1, at-obj o4 po3, at-obj o5 po1, at-obj o6 po2, at-obj o7 airp4, inside-truck o8 t3, at-obj o9 airp3, inside-truck o9 t1, at-obj o10 airp1, inside-truck o11 t1, at-obj o12 airp1, inside-airplane o13 p1, at-obj o14 airp5, inside-airplane o15 p2, at-airplane p1 airp2, at-airplane p2 airp1, at-airplane p3 airp4, at-truck t1 airp1, at-truck t2 po2, at-truck t3 airp3, at-truck t4 po4, at-truck t5 airp5, part-of t1 c1, part-of t2 c2, part-of t3 c3, part-of t4 c4, part-of t5 c5, loc-at po1 c1, loc-at po2 c2, loc-at po3 c3, loc-at po4 c4, loc-at po5 c5, loc-at airp1 c1, loc-at airp2 c2, loc-at airp3 c3, loc-at airp4 c4, loc-at airp5 c5, same-city po1 airp1, same-city po2 airp2, same-city po3 airp3, same-city po4 airp4, same-city po5 airp5, same-city airp1 po1, same-city airp2 po2, same-city airp3 po3, same-city airp4 po4, same-city airp5 po5, inside-truck o2 t2" detect_failure_success() in detect_failure_success loop 1 at-obj o1 po1 in detect_failure_success loop 1 at-obj o3 po1 in detect_failure_success loop 1 at-obj o4 po3 in detect_failure_success loop 1 at-obj o5 po1 in detect_failure_success loop 1 at-obj o6 po2 in detect_failure_success loop 1 at-obj o7 airp4 in detect_failure_success loop 1 inside-truck o8 t3 in detect_failure_success loop 1 at-obj o9 airp3 in detect_failure_success loop 1 inside-truck o9 t1 in detect_failure_success loop 1 at-obj o10 airp1 in detect_failure_success loop 1 inside-truck o11 t1 in detect_failure_success loop 1 at-obj o12 airp1 in detect_failure_success loop 1 inside-airplane o13 p1 in detect_failure_success loop 1 at-obj o14 airp5 in detect_failure_success loop 1 inside-airplane o15 p2 in detect_failure_success loop 1 at-airplane p1 airp2 in detect_failure_success loop 1 at-airplane p2 airp1 in detect_failure_success loop 1 at-airplane p3 airp4 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 at-truck t3 airp3 in detect_failure_success loop 1 at-truck t4 po4 in detect_failure_success loop 1 at-truck t5 airp5 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 part-of t3 c3 in detect_failure_success loop 1 part-of t4 c4 in detect_failure_success loop 1 part-of t5 c5 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at po3 c3 in detect_failure_success loop 1 loc-at po4 c4 in detect_failure_success loop 1 loc-at po5 c5 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 loc-at airp3 c3 in detect_failure_success loop 1 loc-at airp4 c4 in detect_failure_success loop 1 loc-at airp5 c5 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city po3 airp3 in detect_failure_success loop 1 same-city po4 airp4 in detect_failure_success loop 1 same-city po5 airp5 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 same-city airp3 po3 in detect_failure_success loop 1 same-city airp4 po4 in detect_failure_success loop 1 same-city airp5 po5 in detect_failure_success loop 1 inside-truck o2 t2 in detect_failure_success loop 2 at-obj o1 po1 in detect_failure_success loop 2 at-obj o3 po1 in detect_failure_success loop 2 at-obj o4 po3 in detect_failure_success loop 2 at-obj o5 po1 in detect_failure_success loop 2 at-obj o6 po2 in detect_failure_success loop 2 at-obj o7 airp4 in detect_failure_success loop 2 inside-truck o8 t3 in detect_failure_success loop 2 at-obj o9 airp3 in detect_failure_success loop 2 inside-truck o9 t1 in detect_failure_success loop 2 at-obj o10 airp1 in detect_failure_success loop 2 inside-truck o11 t1 in detect_failure_success loop 2 at-obj o12 airp1 in detect_failure_success loop 2 inside-airplane o13 p1 in detect_failure_success loop 2 at-obj o14 airp5 in detect_failure_success loop 2 inside-airplane o15 p2 in detect_failure_success loop 2 at-airplane p1 airp2 in detect_failure_success loop 2 at-airplane p2 airp1 in detect_failure_success loop 2 at-airplane p3 airp4 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 at-truck t3 airp3 in detect_failure_success loop 2 at-truck t4 po4 in detect_failure_success loop 2 at-truck t5 airp5 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 part-of t3 c3 in detect_failure_success loop 2 part-of t4 c4 in detect_failure_success loop 2 part-of t5 c5 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at po3 c3 in detect_failure_success loop 2 loc-at po4 c4 in detect_failure_success loop 2 loc-at po5 c5 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 loc-at airp3 c3 in detect_failure_success loop 2 loc-at airp4 c4 in detect_failure_success loop 2 loc-at airp5 c5 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city po3 airp3 in detect_failure_success loop 2 same-city po4 airp4 in detect_failure_success loop 2 same-city po5 airp5 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 same-city airp3 po3 in detect_failure_success loop 2 same-city airp4 po4 in detect_failure_success loop 2 same-city airp5 po5 in detect_failure_success loop 2 inside-truck o2 t2 In the process_plan while loop Processing step "load-truck o6 t2 po2 c2" in process_preconds loop loc-at po2 c2 in process_preconds loop part-of t2 c2 in process_preconds loop at-obj o6 po2 in process_preconds loop at-truck t2 po2 in process_adds loop inside-truck o6 t2 in process_dels loop at-obj o6 po2 "global condition, at-obj o1 po1, at-obj o3 po1, at-obj o4 po3, at-obj o5 po1, at-obj o7 airp4, inside-truck o8 t3, at-obj o9 airp3, inside-truck o9 t1, at-obj o10 airp1, inside-truck o11 t1, at-obj o12 airp1, inside-airplane o13 p1, at-obj o14 airp5, inside-airplane o15 p2, at-airplane p1 airp2, at-airplane p2 airp1, at-airplane p3 airp4, at-truck t1 airp1, at-truck t2 po2, at-truck t3 airp3, at-truck t4 po4, at-truck t5 airp5, part-of t1 c1, part-of t2 c2, part-of t3 c3, part-of t4 c4, part-of t5 c5, loc-at po1 c1, loc-at po2 c2, loc-at po3 c3, loc-at po4 c4, loc-at po5 c5, loc-at airp1 c1, loc-at airp2 c2, loc-at airp3 c3, loc-at airp4 c4, loc-at airp5 c5, same-city po1 airp1, same-city po2 airp2, same-city po3 airp3, same-city po4 airp4, same-city po5 airp5, same-city airp1 po1, same-city airp2 po2, same-city airp3 po3, same-city airp4 po4, same-city airp5 po5, inside-truck o2 t2, inside-truck o6 t2" "real world condition, at-obj o1 po1, at-obj o3 po1, at-obj o4 po3, at-obj o5 po1, at-obj o7 airp4, inside-truck o8 t3, at-obj o9 airp3, inside-truck o9 t1, at-obj o10 airp1, inside-truck o11 t1, at-obj o12 airp1, inside-airplane o13 p1, at-obj o14 airp5, inside-airplane o15 p2, at-airplane p1 airp2, at-airplane p2 airp1, at-airplane p3 airp4, at-truck t1 airp1, at-truck t2 po2, at-truck t3 airp3, at-truck t4 po4, at-truck t5 airp5, part-of t1 c1, part-of t2 c2, part-of t3 c3, part-of t4 c4, part-of t5 c5, loc-at po1 c1, loc-at po2 c2, loc-at po3 c3, loc-at po4 c4, loc-at po5 c5, loc-at airp1 c1, loc-at airp2 c2, loc-at airp3 c3, loc-at airp4 c4, loc-at airp5 c5, same-city po1 airp1, same-city po2 airp2, same-city po3 airp3, same-city po4 airp4, same-city po5 airp5, same-city airp1 po1, same-city airp2 po2, same-city airp3 po3, same-city airp4 po4, same-city airp5 po5, inside-truck o2 t2, inside-truck o6 t2" detect_failure_success() in detect_failure_success loop 1 at-obj o1 po1 in detect_failure_success loop 1 at-obj o3 po1 in detect_failure_success loop 1 at-obj o4 po3 in detect_failure_success loop 1 at-obj o5 po1 in detect_failure_success loop 1 at-obj o7 airp4 in detect_failure_success loop 1 inside-truck o8 t3 in detect_failure_success loop 1 at-obj o9 airp3 in detect_failure_success loop 1 inside-truck o9 t1 in detect_failure_success loop 1 at-obj o10 airp1 in detect_failure_success loop 1 inside-truck o11 t1 in detect_failure_success loop 1 at-obj o12 airp1 in detect_failure_success loop 1 inside-airplane o13 p1 in detect_failure_success loop 1 at-obj o14 airp5 in detect_failure_success loop 1 inside-airplane o15 p2 in detect_failure_success loop 1 at-airplane p1 airp2 in detect_failure_success loop 1 at-airplane p2 airp1 in detect_failure_success loop 1 at-airplane p3 airp4 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 at-truck t3 airp3 in detect_failure_success loop 1 at-truck t4 po4 in detect_failure_success loop 1 at-truck t5 airp5 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 part-of t3 c3 in detect_failure_success loop 1 part-of t4 c4 in detect_failure_success loop 1 part-of t5 c5 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at po3 c3 in detect_failure_success loop 1 loc-at po4 c4 in detect_failure_success loop 1 loc-at po5 c5 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 loc-at airp3 c3 in detect_failure_success loop 1 loc-at airp4 c4 in detect_failure_success loop 1 loc-at airp5 c5 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city po3 airp3 in detect_failure_success loop 1 same-city po4 airp4 in detect_failure_success loop 1 same-city po5 airp5 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 same-city airp3 po3 in detect_failure_success loop 1 same-city airp4 po4 in detect_failure_success loop 1 same-city airp5 po5 in detect_failure_success loop 1 inside-truck o2 t2 in detect_failure_success loop 1 inside-truck o6 t2 in detect_failure_success loop 2 at-obj o1 po1 in detect_failure_success loop 2 at-obj o3 po1 in detect_failure_success loop 2 at-obj o4 po3 in detect_failure_success loop 2 at-obj o5 po1 in detect_failure_success loop 2 at-obj o7 airp4 in detect_failure_success loop 2 inside-truck o8 t3 in detect_failure_success loop 2 at-obj o9 airp3 in detect_failure_success loop 2 inside-truck o9 t1 in detect_failure_success loop 2 at-obj o10 airp1 in detect_failure_success loop 2 inside-truck o11 t1 in detect_failure_success loop 2 at-obj o12 airp1 in detect_failure_success loop 2 inside-airplane o13 p1 in detect_failure_success loop 2 at-obj o14 airp5 in detect_failure_success loop 2 inside-airplane o15 p2 in detect_failure_success loop 2 at-airplane p1 airp2 in detect_failure_success loop 2 at-airplane p2 airp1 in detect_failure_success loop 2 at-airplane p3 airp4 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 at-truck t3 airp3 in detect_failure_success loop 2 at-truck t4 po4 in detect_failure_success loop 2 at-truck t5 airp5 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 part-of t3 c3 in detect_failure_success loop 2 part-of t4 c4 in detect_failure_success loop 2 part-of t5 c5 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at po3 c3 in detect_failure_success loop 2 loc-at po4 c4 in detect_failure_success loop 2 loc-at po5 c5 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 loc-at airp3 c3 in detect_failure_success loop 2 loc-at airp4 c4 in detect_failure_success loop 2 loc-at airp5 c5 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city po3 airp3 in detect_failure_success loop 2 same-city po4 airp4 in detect_failure_success loop 2 same-city po5 airp5 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 same-city airp3 po3 in detect_failure_success loop 2 same-city airp4 po4 in detect_failure_success loop 2 same-city airp5 po5 in detect_failure_success loop 2 inside-truck o2 t2 in detect_failure_success loop 2 inside-truck o6 t2 In the process_plan while loop Processing step "drive-truck t2 po2 airp2 c2" in process_preconds loop loc-at airp2 c2 in process_preconds loop loc-at po2 c2 in process_preconds loop part-of t2 c2 in process_preconds loop at-truck t2 po2 in process_adds loop at-truck t2 airp2 in process_dels loop at-truck t2 po2 "global condition, at-obj o1 po1, at-obj o3 po1, at-obj o4 po3, at-obj o5 po1, at-obj o7 airp4, inside-truck o8 t3, at-obj o9 airp3, inside-truck o9 t1, at-obj o10 airp1, inside-truck o11 t1, at-obj o12 airp1, inside-airplane o13 p1, at-obj o14 airp5, inside-airplane o15 p2, at-airplane p1 airp2, at-airplane p2 airp1, at-airplane p3 airp4, at-truck t1 airp1, at-truck t3 airp3, at-truck t4 po4, at-truck t5 airp5, part-of t1 c1, part-of t2 c2, part-of t3 c3, part-of t4 c4, part-of t5 c5, loc-at po1 c1, loc-at po2 c2, loc-at po3 c3, loc-at po4 c4, loc-at po5 c5, loc-at airp1 c1, loc-at airp2 c2, loc-at airp3 c3, loc-at airp4 c4, loc-at airp5 c5, same-city po1 airp1, same-city po2 airp2, same-city po3 airp3, same-city po4 airp4, same-city po5 airp5, same-city airp1 po1, same-city airp2 po2, same-city airp3 po3, same-city airp4 po4, same-city airp5 po5, inside-truck o2 t2, inside-truck o6 t2, at-truck t2 airp2" "real world condition, at-obj o1 po1, at-obj o3 po1, at-obj o4 po3, at-obj o5 po1, at-obj o7 airp4, inside-truck o8 t3, at-obj o9 airp3, inside-truck o9 t1, at-obj o10 airp1, inside-truck o11 t1, at-obj o12 airp1, inside-airplane o13 p1, at-obj o14 airp5, inside-airplane o15 p2, at-airplane p1 airp2, at-airplane p2 airp1, at-airplane p3 airp4, at-truck t1 airp1, at-truck t3 airp3, at-truck t4 po4, at-truck t5 airp5, part-of t1 c1, part-of t2 c2, part-of t3 c3, part-of t4 c4, part-of t5 c5, loc-at po1 c1, loc-at po2 c2, loc-at po3 c3, loc-at po4 c4, loc-at po5 c5, loc-at airp1 c1, loc-at airp2 c2, loc-at airp3 c3, loc-at airp4 c4, loc-at airp5 c5, same-city po1 airp1, same-city po2 airp2, same-city po3 airp3, same-city po4 airp4, same-city po5 airp5, same-city airp1 po1, same-city airp2 po2, same-city airp3 po3, same-city airp4 po4, same-city airp5 po5, inside-truck o2 t2, inside-truck o6 t2, at-truck t2 airp2" detect_failure_success() in detect_failure_success loop 1 at-obj o1 po1 in detect_failure_success loop 1 at-obj o3 po1 in detect_failure_success loop 1 at-obj o4 po3 in detect_failure_success loop 1 at-obj o5 po1 in detect_failure_success loop 1 at-obj o7 airp4 in detect_failure_success loop 1 inside-truck o8 t3 in detect_failure_success loop 1 at-obj o9 airp3 in detect_failure_success loop 1 inside-truck o9 t1 in detect_failure_success loop 1 at-obj o10 airp1 in detect_failure_success loop 1 inside-truck o11 t1 in detect_failure_success loop 1 at-obj o12 airp1 in detect_failure_success loop 1 inside-airplane o13 p1 in detect_failure_success loop 1 at-obj o14 airp5 in detect_failure_success loop 1 inside-airplane o15 p2 in detect_failure_success loop 1 at-airplane p1 airp2 in detect_failure_success loop 1 at-airplane p2 airp1 in detect_failure_success loop 1 at-airplane p3 airp4 in detect_failure_success loop 1 at-truck t1 airp1 in detect_failure_success loop 1 at-truck t3 airp3 in detect_failure_success loop 1 at-truck t4 po4 in detect_failure_success loop 1 at-truck t5 airp5 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 part-of t3 c3 in detect_failure_success loop 1 part-of t4 c4 in detect_failure_success loop 1 part-of t5 c5 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at po3 c3 in detect_failure_success loop 1 loc-at po4 c4 in detect_failure_success loop 1 loc-at po5 c5 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 loc-at airp3 c3 in detect_failure_success loop 1 loc-at airp4 c4 in detect_failure_success loop 1 loc-at airp5 c5 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city po3 airp3 in detect_failure_success loop 1 same-city po4 airp4 in detect_failure_success loop 1 same-city po5 airp5 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 same-city airp3 po3 in detect_failure_success loop 1 same-city airp4 po4 in detect_failure_success loop 1 same-city airp5 po5 in detect_failure_success loop 1 inside-truck o2 t2 in detect_failure_success loop 1 inside-truck o6 t2 in detect_failure_success loop 1 at-truck t2 airp2 in detect_failure_success loop 2 at-obj o1 po1 in detect_failure_success loop 2 at-obj o3 po1 in detect_failure_success loop 2 at-obj o4 po3 in detect_failure_success loop 2 at-obj o5 po1 in detect_failure_success loop 2 at-obj o7 airp4 in detect_failure_success loop 2 inside-truck o8 t3 in detect_failure_success loop 2 at-obj o9 airp3 in detect_failure_success loop 2 inside-truck o9 t1 in detect_failure_success loop 2 at-obj o10 airp1 in detect_failure_success loop 2 inside-truck o11 t1 in detect_failure_success loop 2 at-obj o12 airp1 in detect_failure_success loop 2 inside-airplane o13 p1 in detect_failure_success loop 2 at-obj o14 airp5 in detect_failure_success loop 2 inside-airplane o15 p2 in detect_failure_success loop 2 at-airplane p1 airp2 in detect_failure_success loop 2 at-airplane p2 airp1 in detect_failure_success loop 2 at-airplane p3 airp4 in detect_failure_success loop 2 at-truck t1 airp1 in detect_failure_success loop 2 at-truck t3 airp3 in detect_failure_success loop 2 at-truck t4 po4 in detect_failure_success loop 2 at-truck t5 airp5 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 part-of t3 c3 in detect_failure_success loop 2 part-of t4 c4 in detect_failure_success loop 2 part-of t5 c5 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at po3 c3 in detect_failure_success loop 2 loc-at po4 c4 in detect_failure_success loop 2 loc-at po5 c5 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 loc-at airp3 c3 in detect_failure_success loop 2 loc-at airp4 c4 in detect_failure_success loop 2 loc-at airp5 c5 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city po3 airp3 in detect_failure_success loop 2 same-city po4 airp4 in detect_failure_success loop 2 same-city po5 airp5 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 same-city airp3 po3 in detect_failure_success loop 2 same-city airp4 po4 in detect_failure_success loop 2 same-city airp5 po5 in detect_failure_success loop 2 inside-truck o2 t2 in detect_failure_success loop 2 inside-truck o6 t2 in detect_failure_success loop 2 at-truck t2 airp2 In the process_plan while loop Processing step "unload-truck o2 t2 airp2 c2" in process_preconds loop loc-at airp2 c2 in process_preconds loop part-of t2 c2 in process_preconds loop inside-truck o2 t2 in process_preconds loop at-truck t2 airp2 in process_adds loop at-obj o2 airp2 in process_dels loop inside-truck o2 t2 "global condition, at-obj o1 po1, at-obj o3 po1, at-obj o4 po3, at-obj o5 po1, at-obj o7 airp4, inside-truck o8 t3, at-obj o9 airp3, inside-truck o9 t1, at-obj o10 airp1, inside-truck o11 t1, at-obj o12 airp1, inside-airplane o13 p1, at-obj o14 airp5, inside-airplane o15 p2, at-airplane p1 airp2, at-airplane p2 airp1, at-airplane p3 airp4, at-truck t1 airp1, at-truck t3 airp3, at-truck t4 po4, at-truck t5 airp5, part-of t1 c1, part-of t2 c2, part-of t3 c3, part-of t4 c4, part-of t5 c5, loc-at po1 c1, loc-at po2 c2, loc-at po3 c3, loc-at po4 c4, loc-at po5 c5, loc-at airp1 c1, loc-at airp2 c2, loc-at airp3 c3, loc-at airp4 c4, loc-at airp5 c5, same-city po1 airp1, same-city po2 airp2, same-city po3 airp3, same-city po4 airp4, same-city po5 airp5, same-city airp1 po1, same-city airp2 po2, same-city airp3 po3, same-city airp4 po4, same-city airp5 po5, inside-truck o6 t2, at-truck t2 airp2, at-obj o2 airp2" "real world condition, at-obj o1 po1, at-obj o3 po1, at-obj o4 po3, at-obj o5 po1, at-obj o7 airp4, inside-truck o8 t3, at-obj o9 airp3, inside-truck o9 t1, at-obj o10 airp1, inside-truck o11 t1, at-obj o12 airp1, inside-airplane o13 p1, at-obj o14 airp5, inside-airplane o15 p2, at-airplane p1 airp2, at-airplane p2 airp1, at-airplane p3 airp4, at-truck t1 airp1, at-truck t3 airp3, at-truck t4 po4, at-truck t5 airp5, part-of t1 c1, part-of t2 c2, part-of t3 c3, part-of t4 c4, part-of t5 c5, loc-at po1 c1, loc-at po2 c2, loc-at po3 c3, loc-at po4 c4, loc-at po5 c5, loc-at airp1 c1, loc-at airp2 c2, loc-at airp3 c3, loc-at airp4 c4, loc-at airp5 c5, same-city po1 airp1, same-city po2 airp2, same-city po3 airp3, same-city po4 airp4, same-city po5 airp5, same-city airp1 po1, same-city airp2 po2, same-city airp3 po3, same-city airp4 po4, same-city airp5 po5, inside-truck o6 t2, at-truck t2 airp2, at-obj o2 airp2" detect_failure_success() in detect_failure_success loop 1 at-obj o1 po1 in detect_failure_success loop 1 at-obj o3 po1 in detect_failure_success loop 1 at-obj o4 po3 in detect_failure_success loop 1 at-obj o5 po1 in detect_failure_success loop 1 at-obj o7 airp4 in detect_failure_success loop 1 inside-truck o8 t3 in detect_failure_success loop 1 at-obj o9 airp3 in detect_failure_success loop 1 inside-truck o9 t1 in detect_failure_success loop 1 at-obj o10 airp1 in detect_failure_success loop 1 inside-truck o11 t1 in detect_failure_success loop 1 at-obj o12 airp1 in detect_failure_success loop 1 inside-airplane o13 p1 in detect_failure_success loop 1 at-obj o14 airp5 in detect_failure_success loop 1 inside-airplane o15 p2 in detect_failure_success loop 1 at-airplane p1 airp2 in detect_failure_success loop 1 at-airplane p2 airp1 in detect_failure_success loop 1 at-airplane p3 airp4 in detect_failure_success loop 1 at-truck t1 airp1 in detect_failure_success loop 1 at-truck t3 airp3 in detect_failure_success loop 1 at-truck t4 po4 in detect_failure_success loop 1 at-truck t5 airp5 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 part-of t3 c3 in detect_failure_success loop 1 part-of t4 c4 in detect_failure_success loop 1 part-of t5 c5 in detect_failure_success loop 1 loc-at po1 c1 in detect_failure_success loop 1 loc-at po2 c2 in detect_failure_success loop 1 loc-at po3 c3 in detect_failure_success loop 1 loc-at po4 c4 in detect_failure_success loop 1 loc-at po5 c5 in detect_failure_success loop 1 loc-at airp1 c1 in detect_failure_success loop 1 loc-at airp2 c2 in detect_failure_success loop 1 loc-at airp3 c3 in detect_failure_success loop 1 loc-at airp4 c4 in detect_failure_success loop 1 loc-at airp5 c5 in detect_failure_success loop 1 same-city po1 airp1 in detect_failure_success loop 1 same-city po2 airp2 in detect_failure_success loop 1 same-city po3 airp3 in detect_failure_success loop 1 same-city po4 airp4 in detect_failure_success loop 1 same-city po5 airp5 in detect_failure_success loop 1 same-city airp1 po1 in detect_failure_success loop 1 same-city airp2 po2 in detect_failure_success loop 1 same-city airp3 po3 in detect_failure_success loop 1 same-city airp4 po4 in detect_failure_success loop 1 same-city airp5 po5 in detect_failure_success loop 1 inside-truck o6 t2 in detect_failure_success loop 1 at-truck t2 airp2 in detect_failure_success loop 1 at-obj o2 airp2 in detect_failure_success loop 2 at-obj o1 po1 in detect_failure_success loop 2 at-obj o3 po1 in detect_failure_success loop 2 at-obj o4 po3 in detect_failure_success loop 2 at-obj o5 po1 in detect_failure_success loop 2 at-obj o7 airp4 in detect_failure_success loop 2 inside-truck o8 t3 in detect_failure_success loop 2 at-obj o9 airp3 in detect_failure_success loop 2 inside-truck o9 t1 in detect_failure_success loop 2 at-obj o10 airp1 in detect_failure_success loop 2 inside-truck o11 t1 in detect_failure_success loop 2 at-obj o12 airp1 in detect_failure_success loop 2 inside-airplane o13 p1 in detect_failure_success loop 2 at-obj o14 airp5 in detect_failure_success loop 2 inside-airplane o15 p2 in detect_failure_success loop 2 at-airplane p1 airp2 in detect_failure_success loop 2 at-airplane p2 airp1 in detect_failure_success loop 2 at-airplane p3 airp4 in detect_failure_success loop 2 at-truck t1 airp1 in detect_failure_success loop 2 at-truck t3 airp3 in detect_failure_success loop 2 at-truck t4 po4 in detect_failure_success loop 2 at-truck t5 airp5 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 part-of t3 c3 in detect_failure_success loop 2 part-of t4 c4 in detect_failure_success loop 2 part-of t5 c5 in detect_failure_success loop 2 loc-at po1 c1 in detect_failure_success loop 2 loc-at po2 c2 in detect_failure_success loop 2 loc-at po3 c3 in detect_failure_success loop 2 loc-at po4 c4 in detect_failure_success loop 2 loc-at po5 c5 in detect_failure_success loop 2 loc-at airp1 c1 in detect_failure_success loop 2 loc-at airp2 c2 in detect_failure_success loop 2 loc-at airp3 c3 in detect_failure_success loop 2 loc-at airp4 c4 in detect_failure_success loop 2 loc-at airp5 c5 in detect_failure_success loop 2 same-city po1 airp1 in detect_failure_success loop 2 same-city po2 airp2 in detect_failure_success loop 2 same-city po3 airp3 in detect_failure_success loop 2 same-city po4 airp4 in detect_failure_success loop 2 same-city po5 airp5 in detect_failure_success loop 2 same-city airp1 po1 in detect_failure_success loop 2 same-city airp2 po2 in detect_failure_success loop 2 same-city airp3 po3 in detect_failure_success loop 2 same-city airp4 po4 in detect_failure_success loop 2 same-city airp5 po5 in detect_failure_success loop 2 inside-truck o6 t2 in detect_failure_success loop 2 at-truck t2 airp2 in detect_failure_success loop 2 at-obj o2 airp2 In the process_plan while loop Processing step "load-airplane o6 p1 airp2" in process_preconds loop at-obj o6 airp2 Preconds failed in step load-airplane o6 p1 airp2