Reading plan from tests/log-p2.txt
Finished reading tests/log-p2.txt
in process_plan 
Step 1: "start"
  preconds: 
      adds: at-obj o1 po1, at-obj o2 po1, at-airplane p1 airp1, at-truck t1 po1, part-of t1 c1, loc-at po1 c1, loc-at airp1 c1, same-city po1 airp1, same-city airp1 po1
      dels: 
Step 2: "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 3: "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 4: "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 5: "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 6: "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 7: "finish"
  preconds: at-obj o1 airp1, at-obj o2 airp1
      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 airp1
 in process_adds loop at-truck t1 po1
 in process_adds loop part-of t1 c1
 in process_adds loop loc-at po1 c1
 in process_adds loop loc-at airp1 c1
 in process_adds loop same-city po1 airp1
 in process_adds loop same-city airp1 po1
"global condition, at-obj o1 po1, at-obj o2 po1, at-airplane p1 airp1, at-truck t1 po1, part-of t1 c1, loc-at po1 c1, loc-at airp1 c1, same-city po1 airp1, same-city airp1 po1"
"real world condition, at-obj o1 po1, at-obj o2 po1, at-airplane p1 airp1, at-truck t1 po1, part-of t1 c1, loc-at po1 c1, loc-at airp1 c1, same-city po1 airp1, same-city airp1 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-airplane p1 airp1
 in detect_failure_success loop 1 at-truck t1 po1
 in detect_failure_success loop 1 part-of t1 c1
 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 same-city po1 airp1
 in detect_failure_success loop 1 same-city airp1 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-airplane p1 airp1
 in detect_failure_success loop 2 at-truck t1 po1
 in detect_failure_success loop 2 part-of t1 c1
 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 same-city po1 airp1
 in detect_failure_success loop 2 same-city airp1 po1
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-airplane p1 airp1, at-truck t1 po1, part-of t1 c1, loc-at po1 c1, loc-at airp1 c1, same-city po1 airp1, same-city airp1 po1, inside-truck o2 t1"
"real world condition, at-obj o1 po1, at-airplane p1 airp1, at-truck t1 po1, part-of t1 c1, loc-at po1 c1, loc-at airp1 c1, same-city po1 airp1, same-city airp1 po1, inside-truck o2 t1"
detect_failure_success()
 in detect_failure_success loop 1 at-obj o1 po1
 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 1 part-of t1 c1
 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 same-city po1 airp1
 in detect_failure_success loop 1 same-city airp1 po1
 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-airplane p1 airp1
 in detect_failure_success loop 2 at-truck t1 po1
 in detect_failure_success loop 2 part-of t1 c1
 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 same-city po1 airp1
 in detect_failure_success loop 2 same-city airp1 po1
 in detect_failure_success loop 2 inside-truck o2 t1
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-airplane p1 airp1, at-truck t1 po1, part-of t1 c1, loc-at po1 c1, loc-at airp1 c1, same-city po1 airp1, same-city airp1 po1, inside-truck o2 t1, inside-truck o1 t1"
"real world condition, at-airplane p1 airp1, at-truck t1 po1, part-of t1 c1, loc-at po1 c1, loc-at airp1 c1, same-city po1 airp1, same-city airp1 po1, inside-truck o2 t1, inside-truck o1 t1"
detect_failure_success()
 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 1 part-of t1 c1
 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 same-city po1 airp1
 in detect_failure_success loop 1 same-city airp1 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 2 at-airplane p1 airp1
 in detect_failure_success loop 2 at-truck t1 po1
 in detect_failure_success loop 2 part-of t1 c1
 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 same-city po1 airp1
 in detect_failure_success loop 2 same-city airp1 po1
 in detect_failure_success loop 2 inside-truck o2 t1
 in detect_failure_success loop 2 inside-truck o1 t1
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-airplane p1 airp1, part-of t1 c1, loc-at po1 c1, loc-at airp1 c1, same-city po1 airp1, same-city airp1 po1, inside-truck o2 t1, inside-truck o1 t1, at-truck t1 airp1"
"real world condition, at-airplane p1 airp1, part-of t1 c1, loc-at po1 c1, loc-at airp1 c1, same-city po1 airp1, same-city airp1 po1, inside-truck o2 t1, inside-truck o1 t1, at-truck t1 airp1"
detect_failure_success()
 in detect_failure_success loop 1 at-airplane p1 airp1
 in detect_failure_success loop 1 part-of t1 c1
 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 same-city po1 airp1
 in detect_failure_success loop 1 same-city airp1 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-truck t1 airp1
 in detect_failure_success loop 2 at-airplane p1 airp1
 in detect_failure_success loop 2 part-of t1 c1
 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 same-city po1 airp1
 in detect_failure_success loop 2 same-city airp1 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-truck t1 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-airplane p1 airp1, part-of t1 c1, loc-at po1 c1, loc-at airp1 c1, same-city po1 airp1, same-city airp1 po1, inside-truck o1 t1, at-truck t1 airp1, at-obj o2 airp1"
"real world condition, at-airplane p1 airp1, part-of t1 c1, loc-at po1 c1, loc-at airp1 c1, same-city po1 airp1, same-city airp1 po1, inside-truck o1 t1, at-truck t1 airp1, at-obj o2 airp1"
detect_failure_success()
 in detect_failure_success loop 1 at-airplane p1 airp1
 in detect_failure_success loop 1 part-of t1 c1
 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 same-city po1 airp1
 in detect_failure_success loop 1 same-city airp1 po1
 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 airp1
 in detect_failure_success loop 2 at-airplane p1 airp1
 in detect_failure_success loop 2 part-of t1 c1
 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 same-city po1 airp1
 in detect_failure_success loop 2 same-city airp1 po1
 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 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-airplane p1 airp1, part-of t1 c1, loc-at po1 c1, loc-at airp1 c1, same-city po1 airp1, same-city airp1 po1, at-truck t1 airp1, at-obj o2 airp1, at-obj o1 airp1"
"real world condition, at-airplane p1 airp1, part-of t1 c1, loc-at po1 c1, loc-at airp1 c1, same-city po1 airp1, same-city airp1 po1, at-truck t1 airp1, at-obj o2 airp1, at-obj o1 airp1"
detect_failure_success()
 in detect_failure_success loop 1 at-airplane p1 airp1
 in detect_failure_success loop 1 part-of t1 c1
 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 same-city po1 airp1
 in detect_failure_success loop 1 same-city airp1 po1
 in detect_failure_success loop 1 at-truck t1 airp1
 in detect_failure_success loop 1 at-obj o2 airp1
 in detect_failure_success loop 1 at-obj o1 airp1
 in detect_failure_success loop 2 at-airplane p1 airp1
 in detect_failure_success loop 2 part-of t1 c1
 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 same-city po1 airp1
 in detect_failure_success loop 2 same-city airp1 po1
 in detect_failure_success loop 2 at-truck t1 airp1
 in detect_failure_success loop 2 at-obj o2 airp1
 in detect_failure_success loop 2 at-obj o1 airp1
In the process_plan while loop 
Processing step "finish"
 in process_preconds loop at-obj o1 airp1
 in process_preconds loop at-obj o2 airp1
"global condition, at-airplane p1 airp1, part-of t1 c1, loc-at po1 c1, loc-at airp1 c1, same-city po1 airp1, same-city airp1 po1, at-truck t1 airp1, at-obj o2 airp1, at-obj o1 airp1"
"real world condition, at-airplane p1 airp1, part-of t1 c1, loc-at po1 c1, loc-at airp1 c1, same-city po1 airp1, same-city airp1 po1, at-truck t1 airp1, at-obj o2 airp1, at-obj o1 airp1"
detect_failure_success()
 in detect_failure_success loop 1 at-airplane p1 airp1
 in detect_failure_success loop 1 part-of t1 c1
 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 same-city po1 airp1
 in detect_failure_success loop 1 same-city airp1 po1
 in detect_failure_success loop 1 at-truck t1 airp1
 in detect_failure_success loop 1 at-obj o2 airp1
 in detect_failure_success loop 1 at-obj o1 airp1
 in detect_failure_success loop 2 at-airplane p1 airp1
 in detect_failure_success loop 2 part-of t1 c1
 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 same-city po1 airp1
 in detect_failure_success loop 2 same-city airp1 po1
 in detect_failure_success loop 2 at-truck t1 airp1
 in detect_failure_success loop 2 at-obj o2 airp1
 in detect_failure_success loop 2 at-obj o1 airp1
Plan looks fine to me.