Example of failure detection:

Reading plan from tests/log-p6.txt
Finished reading tests/log-p6.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 t
4 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 p
o4 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: "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 4: "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 5: "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 6: "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 7: "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 8: "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 9: "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 10: "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 11: "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 12: "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 13: "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 14: "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 15: "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 16: "drive-truck t2 airp2 po2 c2"

.
.
.
.
.


"global condition, at-obj o4 po3, at-obj o5 po1, at-obj o6 po2, at-obj o7
airp4, at-obj o9 airp3, inside-truck o9 t1, inside-airplane o13 p1, at-obj o14 airp5, at-airplane p1 airp2, at-airplane p3 airp4, 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, at-obj o2 airp2, at-obj o8 airp3, at-obj o10 po1, inside-airplane o11 p2, at-tru
ck t1 airp1, at-obj o1 airp1, inside-truck o15 t1, inside-airplane o3 p1, inside-airplane o12 p1, at-truck t2 po2, at-truck t3 airp3, at-airplane p2 airp5"
"real world condition, at-obj o4 po3, at-obj o5 po1, at-obj o6 po2, at-obj o7 airp4, at-obj o9 airp3, inside-truck o9 t1, inside-airplane o13 p1, at-obj o14 airp5, at-airplane p1 airp2, at-airplane p3 airp4, 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, at-obj o2 airp2, at-obj o8 airp3, at-obj o10 po1, inside-airplane o11 p2, at
-truck t1 airp1, at-obj o1 airp1, inside-truck o15 t1, inside-airplane o3 p1, inside-airplane o12 p1, at-truck t2 po2, at-truck t3 airp3, at-airplane p2 airp5"
detect_failure_success()
In the process_plan while loop 
Processing step "unload-airplane o11 p2 airp5"


"global condition, at-obj o4 po3, at-obj o5 po1, at-obj o6 po2, at-obj o7 airp4, at-obj o9 airp3, inside-truck o9 t1, inside-airplane o13 p1, at-obj o14 airp5, at-airplane p1 airp2, at-airplane p3 airp4, 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, at-obj o2 airp2, at-obj o8 airp3, at-obj o10 po1, at-truck t1 airp1, at-obj o1 a
irp1, inside-truck o15 t1, inside-airplane o3 p1, inside-airplane o12 p1, at-truck t2 po2, at-truck t3 airp3, at-airplane p2 airp5, at-obj o11 airp5"
"real world condition, at-obj o4 po3, at-obj o5 po1, at-obj o6 po2, at-obj o7 airp4, at-obj o9 airp3, inside-truck o9 t1, inside-airplane o13 p1, at-obj o14 airp5, at-airplane p1 airp2, at-airplane p3 airp4, 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, at-obj o2 airp2, at-obj o8 airp3, at-obj o10 po1, at-truck t1 airp1, at-obj 
o1 airp1, inside-truck o15 t1, inside-airplane o3 p1, inside-airplane o12 p1, at-truck t2 po2, at-truck t3 airp3, at-airplane p2 airp5, at-obj o11 airp5"
detect_failure_success()
In the process_plan while loop 
Processing step "load-airplane o14 p2 airp5"


"global condition, at-obj o4 po3, at-obj o5 po1, at-obj o6 po2, at-obj o7 airp4, at-obj o9 airp3, inside-truck o9 t1, inside-airplane o13 p1, at-airplane p1 airp2, at-airplane p3 airp4, at-truck t4 po4, at-truck t5 airp5, part-of t1 c1, part-of t2 c2, par
t-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 p
o3 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, at-obj o2 airp2, at-obj o8 airp3, at-obj o10 po1, at-truck t1 airp1, at-obj o1 airp1, inside-truck
 o15 t1, inside-airplane o3 p1, inside-airplane o12 p1, at-truck t2 po2, at-truck t3 airp3, at-airplane p2 airp5, at-obj o11 airp5, inside-airplane o14 p2"
"real world condition, at-obj o4 po3, at-obj o5 po1, at-obj o6 po2, at-obj o7 airp4, at-obj o9 airp3, inside-truck o9 t1, inside-airplane o13 p1, at-airplane p1 airp2, at-airplane p3 airp4, 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-ci
ty 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, at-obj o2 airp2, at-obj o8 airp3, at-obj o10 po1, at-truck t1 airp1, at-obj o1 airp1, inside-t
ruck o15 t1, inside-airplane o3 p1, inside-airplane o12 p1, at-truck t2 po2, at-truck t3 airp3, at-airplane p2 airp5, at-obj o11 airp5, inside-airplane o14 p2"
detect_failure_success()
In the process_plan while loop 
Processing step "drive-truck t2 po2 airp2 c2"


"global condition, at-obj o4 po3, at-obj o5 po1, at-obj o6 po2, at-obj o7 airp4, at-obj o9 airp3, inside-truck o9 t1, inside-airplane o13 p1, at-airplane p1 airp2, at-airplane p3 airp4, at-truck t4 po4, at-truck t5 airp5, part-of t1 c1, part-of t2 c2, par
t-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 p
o3 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, at-obj o2 airp2, at-obj o8 airp3, at-obj o10 po1, at-truck t1 airp1, at-obj o1 airp1, inside-truck
 o15 t1, inside-airplane o3 p1, inside-airplane o12 p1, at-truck t3 airp3, at-airplane p2 airp5, at-obj o11 airp5, inside-airplane o14 p2, at-truck t2 airp2"
"real world condition, at-obj o4 po3, at-obj o5 po1, at-obj o6 po2, at-obj o7 airp4, at-obj o9 airp3, inside-truck o9 t1, inside-airplane o13 p1, at-airplane p1 airp2, at-airplane p3 airp4, 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-ci
ty 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, at-obj o2 airp2, at-obj o8 airp3, at-obj o10 po1, at-truck t1 airp1, at-obj o1 airp1, inside-t
ruck o15 t1, inside-airplane o3 p1, inside-airplane o12 p1, at-truck t3 airp3, at-airplane p2 airp5, at-obj o11 airp5, inside-airplane o14 p2, at-truck t2 airp2"
detect_failure_success()
In the process_plan while loop 
Processing step "drive-truck t3 airp3 po3 c3"


"global condition, at-obj o4 po3, at-obj o5 po1, at-obj o6 po2, at-obj o7 airp4, at-obj o9 airp3, inside-truck o9 t1, inside-airplane o13 p1, at-airplane p1 airp2, at-airplane p3 airp4, at-truck t4 po4, at-truck t5 airp5, part-of t1 c1, part-of t2 c2, par
t-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 p
o3 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, at-obj o2 airp2, at-obj o8 airp3, at-obj o10 po1, at-truck t1 airp1, at-obj o1 airp1, inside-truck
 o15 t1, inside-airplane o3 p1, inside-airplane o12 p1, at-airplane p2 airp5, at-obj o11 airp5, inside-airplane o14 p2, at-truck t2 airp2, at-truck t3 po3"
"real world condition, at-obj o4 po3, at-obj o5 po1, at-obj o6 po2, at-obj o7 airp4, at-obj o9 airp3, inside-truck o9 t1, inside-airplane o13 p1, at-airplane p1 airp2, at-airplane p3 airp4, 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-ci
ty 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, at-obj o2 airp2, at-obj o8 airp3, at-obj o10 po1, at-truck t1 airp1, at-obj o1 airp1, inside-t
ruck o15 t1, inside-airplane o3 p1, inside-airplane o12 p1, at-airplane p2 airp5, at-obj o11 airp5, inside-airplane o14 p2, at-truck t2 airp2"
detect_failure_success()
Failure detected failed in step drive-truck t3 airp3 po3 c3
Exiting...