// cycle13 pomdp spec // author: Pascal Poupart // for descriptions of this model please see the relevant publications // // VDCBPI: an Approximate Scalable Algorithm for Large Scale POMDPs // Pascal Poupart and Craig Boutilier // In Advances in Neural Information Processing Systems 17 (NIPS), pages 1081-1088, Vancouver, BC, 2004 // Exploiting Structure to Efficiently Solve Large Scale Partially Observable Markov Decision Processes // Pascal Poupart // Ph.D. thesis, Department of Computer Science, University of Toronto, Toronto, 2005 // // This code is to be used for research purposes only, is distributed "as is" with no guarantees. Please inform the authors of any uses of this problem specification. (variables (m1 down up) (m2 down up) (m3 down up) (m4 down up) (m5 down up) (m6 down up) (m7 down up) (m8 down up) (m9 down up) (m10 down up) (m11 down up) (m12 down up) (m13 down up) ) (observations (status oDown oUp) ) init (m13 (down (0.0)) (up (m12 (down (0.0)) (up (m11 (down (0.0)) (up (m10 (down (0.0)) (up (m9 (down (0.0)) (up (m8 (down (0.0)) (up (m7 (down (0.0)) (up (m6 (down (0.0)) (up (m5 (down (0.0)) (up (m4 (down (0.0)) (up (m3 (down (0.0)) (up (m2 (down (0.0)) (up (m1 (down (0.0)) (up (1.0))))))))))))))))))))))))))) unnormalised action reboot_m1 m1 (m1' (down (0.05)) (up (0.95))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (1.0)) (oUp (0.0))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (2.5)] endaction action reboot_m2 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (0.05)) (up (0.95))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (1.0)) (oUp (0.0))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (2.5)] endaction action reboot_m3 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (0.05)) (up (0.95))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (1.0)) (oUp (0.0))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (2.5)] endaction action reboot_m4 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (0.05)) (up (0.95))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (1.0)) (oUp (0.0))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (2.5)] endaction action reboot_m5 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (0.05)) (up (0.95))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (1.0)) (oUp (0.0))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (2.5)] endaction action reboot_m6 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (0.05)) (up (0.95))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (1.0)) (oUp (0.0))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (2.5)] endaction action reboot_m7 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (0.05)) (up (0.95))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (1.0)) (oUp (0.0))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (2.5)] endaction action reboot_m8 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (0.05)) (up (0.95))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (1.0)) (oUp (0.0))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (2.5)] endaction action reboot_m9 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (0.05)) (up (0.95))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (1.0)) (oUp (0.0))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (2.5)] endaction action reboot_m10 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (0.05)) (up (0.95))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (1.0)) (oUp (0.0))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (2.5)] endaction action reboot_m11 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (0.05)) (up (0.95))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (1.0)) (oUp (0.0))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (2.5)] endaction action reboot_m12 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (0.05)) (up (0.95))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (1.0)) (oUp (0.0))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (2.5)] endaction action reboot_m13 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (0.05)) (up (0.95))) observe status (status' (oDown (1.0)) (oUp (0.0))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (2.5)] endaction action ping_m1 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (m1' (down (0.95)) (up (0.05)))) (oUp (m1' (down (0.05)) (up (0.95))))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (0.1)] endaction action ping_m2 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (m2' (down (0.95)) (up (0.05)))) (oUp (m2' (down (0.05)) (up (0.95))))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (0.1)] endaction action ping_m3 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (m3' (down (0.95)) (up (0.05)))) (oUp (m3' (down (0.05)) (up (0.95))))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (0.1)] endaction action ping_m4 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (m4' (down (0.95)) (up (0.05)))) (oUp (m4' (down (0.05)) (up (0.95))))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (0.1)] endaction action ping_m5 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (m5' (down (0.95)) (up (0.05)))) (oUp (m5' (down (0.05)) (up (0.95))))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (0.1)] endaction action ping_m6 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (m6' (down (0.95)) (up (0.05)))) (oUp (m6' (down (0.05)) (up (0.95))))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (0.1)] endaction action ping_m7 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (m7' (down (0.95)) (up (0.05)))) (oUp (m7' (down (0.05)) (up (0.95))))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (0.1)] endaction action ping_m8 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (m8' (down (0.95)) (up (0.05)))) (oUp (m8' (down (0.05)) (up (0.95))))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (0.1)] endaction action ping_m9 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (m9' (down (0.95)) (up (0.05)))) (oUp (m9' (down (0.05)) (up (0.95))))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (0.1)] endaction action ping_m10 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (m10' (down (0.95)) (up (0.05)))) (oUp (m10' (down (0.05)) (up (0.95))))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (0.1)] endaction action ping_m11 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (m11' (down (0.95)) (up (0.05)))) (oUp (m11' (down (0.05)) (up (0.95))))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (0.1)] endaction action ping_m12 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (m12' (down (0.95)) (up (0.05)))) (oUp (m12' (down (0.05)) (up (0.95))))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (0.1)] endaction action ping_m13 m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (m13' (down (0.95)) (up (0.05)))) (oUp (m13' (down (0.05)) (up (0.95))))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0))) (0.1)] endaction action doNothing m1 (m1' (down (m13 (down (m1 (down (0.99)) (up (0.333)))) (up (m1 (down (0.99)) (up (0.1)))))) (up (m13 (down (m1 (down (0.01)) (up (0.667)))) (up (m1 (down (0.01)) (up (0.9))))))) m2 (m2' (down (m2 (down (0.99)) (up (m1 (down (0.333)) (up (0.1)))))) (up (m2 (down (0.01)) (up (m1 (down (0.667)) (up (0.9))))))) m3 (m3' (down (m3 (down (0.99)) (up (m2 (down (0.333)) (up (0.1)))))) (up (m3 (down (0.01)) (up (m2 (down (0.667)) (up (0.9))))))) m4 (m4' (down (m4 (down (0.99)) (up (m3 (down (0.333)) (up (0.1)))))) (up (m4 (down (0.01)) (up (m3 (down (0.667)) (up (0.9))))))) m5 (m5' (down (m5 (down (0.99)) (up (m4 (down (0.333)) (up (0.1)))))) (up (m5 (down (0.01)) (up (m4 (down (0.667)) (up (0.9))))))) m6 (m6' (down (m6 (down (0.99)) (up (m5 (down (0.333)) (up (0.1)))))) (up (m6 (down (0.01)) (up (m5 (down (0.667)) (up (0.9))))))) m7 (m7' (down (m7 (down (0.99)) (up (m6 (down (0.333)) (up (0.1)))))) (up (m7 (down (0.01)) (up (m6 (down (0.667)) (up (0.9))))))) m8 (m8' (down (m8 (down (0.99)) (up (m7 (down (0.333)) (up (0.1)))))) (up (m8 (down (0.01)) (up (m7 (down (0.667)) (up (0.9))))))) m9 (m9' (down (m9 (down (0.99)) (up (m8 (down (0.333)) (up (0.1)))))) (up (m9 (down (0.01)) (up (m8 (down (0.667)) (up (0.9))))))) m10 (m10' (down (m10 (down (0.99)) (up (m9 (down (0.333)) (up (0.1)))))) (up (m10 (down (0.01)) (up (m9 (down (0.667)) (up (0.9))))))) m11 (m11' (down (m11 (down (0.99)) (up (m10 (down (0.333)) (up (0.1)))))) (up (m11 (down (0.01)) (up (m10 (down (0.667)) (up (0.9))))))) m12 (m12' (down (m12 (down (0.99)) (up (m11 (down (0.333)) (up (0.1)))))) (up (m12 (down (0.01)) (up (m11 (down (0.667)) (up (0.9))))))) m13 (m13' (down (m13 (down (0.99)) (up (m12 (down (0.333)) (up (0.1)))))) (up (m13 (down (0.01)) (up (m12 (down (0.667)) (up (0.9))))))) observe status (status' (oDown (1.0)) (oUp (0.0))) endobserve cost [+ (m1 (down (-0.0)) (up (-2.0))) (m2 (down (-0.0)) (up (-1.0))) (m3 (down (-0.0)) (up (-1.0))) (m4 (down (-0.0)) (up (-1.0))) (m5 (down (-0.0)) (up (-1.0))) (m6 (down (-0.0)) (up (-1.0))) (m7 (down (-0.0)) (up (-1.0))) (m8 (down (-0.0)) (up (-1.0))) (m9 (down (-0.0)) (up (-1.0))) (m10 (down (-0.0)) (up (-1.0))) (m11 (down (-0.0)) (up (-1.0))) (m12 (down (-0.0)) (up (-1.0))) (m13 (down (-0.0)) (up (-1.0)))] endaction discount 0.950000 tolerance 0.003300