CS计算机代考程序代写 // Automatically produced by rddl.translate.RDDL2Format

// Automatically produced by rddl.translate.RDDL2Format
// SPUDD / Symbolic Perseus Format for ‘sysadmin_pomdp.sysadmin_inst_pomdp__1′

(variables
(running__c1 true false)
(running__c2 true false)
(running__c3 true false)
(running__c4 true false)
(running__c5 true false)
(running__c6 true false)
(running__c7 true false)
(running__c8 true false)
(running__c9 true false)
(running__c10 true false)
)

(observations
(running_obs__c1 true false)
(running_obs__c2 true false)
(running_obs__c3 true false)
(running_obs__c4 true false)
(running_obs__c5 true false)
(running_obs__c6 true false)
(running_obs__c7 true false)
(running_obs__c8 true false)
(running_obs__c9 true false)
(running_obs__c10 true false)
)

init [*
(running__c1 (true (1.0)) (false (0.0)))
(running__c2 (true (1.0)) (false (0.0)))
(running__c3 (true (1.0)) (false (0.0)))
(running__c4 (true (1.0)) (false (0.0)))
(running__c5 (true (1.0)) (false (0.0)))
(running__c6 (true (1.0)) (false (0.0)))
(running__c7 (true (1.0)) (false (0.0)))
(running__c8 (true (1.0)) (false (0.0)))
(running__c9 (true (1.0)) (false (0.0)))
(running__c10 (true (1.0)) (false (0.0)))
]

action noop
running__c1
(running__c1
(true (running__c3
(true (running__c1′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c1′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c1′
(true (0.02))
(false (0.98)))))
running__c2
(running__c2
(true (running__c9
(true (running__c2′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c2′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c2′
(true (0.02))
(false (0.98)))))
running__c3
(running__c1
(true (running__c3
(true (running__c6
(true (running__c3′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c3′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c3′
(true (0.02))
(false (0.98))))))
(false (running__c3
(true (running__c6
(true (running__c3′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c3′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c3′
(true (0.02))
(false (0.98)))))))
running__c4
(running__c3
(true (running__c4
(true (running__c6
(true (running__c4′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c4′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c4′
(true (0.02))
(false (0.98))))))
(false (running__c4
(true (running__c6
(true (running__c4′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c4′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c4′
(true (0.02))
(false (0.98)))))))
running__c5
(running__c2
(true (running__c4
(true (running__c5
(true (running__c8
(true (running__c5′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c5′
(true (0.825))
(false (0.17500000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))
(false (running__c5
(true (running__c8
(true (running__c5′
(true (0.825))
(false (0.17500000000000004))))
(false (running__c5′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))))
(false (running__c4
(true (running__c5
(true (running__c8
(true (running__c5′
(true (0.825))
(false (0.17500000000000004))))
(false (running__c5′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))
(false (running__c5
(true (running__c8
(true (running__c5′
(true (0.7))
(false (0.30000000000000004))))
(false (running__c5′
(true (0.575))
(false (0.42500000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98)))))))))
running__c6
(running__c6
(true (running__c9
(true (running__c10
(true (running__c6′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c6′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c10
(true (running__c6′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c6′
(true (0.6166666666666667))
(false (0.3833333333333333))))))))
(false (running__c6′
(true (0.02))
(false (0.98)))))
running__c7
(running__c1
(true (running__c5
(true (running__c7
(true (running__c7′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c7′
(true (0.02))
(false (0.98))))))
(false (running__c7
(true (running__c7′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c7′
(true (0.02))
(false (0.98))))))))
(false (running__c5
(true (running__c7
(true (running__c7′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c7′
(true (0.02))
(false (0.98))))))
(false (running__c7
(true (running__c7′
(true (0.6166666666666667))
(false (0.3833333333333333))))
(false (running__c7′
(true (0.02))
(false (0.98)))))))))
running__c8
(running__c4
(true (running__c8
(true (running__c10
(true (running__c8′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c8′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c8′
(true (0.02))
(false (0.98))))))
(false (running__c8
(true (running__c10
(true (running__c8′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c8′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c8′
(true (0.02))
(false (0.98)))))))
running__c9
(running__c9
(true (running__c9′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c9′
(true (0.02))
(false (0.98)))))
running__c10
(running__c8
(true (running__c10
(true (running__c10′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c10′
(true (0.02))
(false (0.98))))))
(false (running__c10
(true (running__c10′
(true (0.7))
(false (0.30000000000000004))))
(false (running__c10′
(true (0.02))
(false (0.98)))))))
observe
running_obs__c1
(running__c1′
(true (running_obs__c1′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c1′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c2
(running__c2′
(true (running_obs__c2′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c2′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c3
(running__c3′
(true (running_obs__c3′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c3′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c4
(running__c4′
(true (running_obs__c4′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c4′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c5
(running__c5′
(true (running_obs__c5′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c5′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c6
(running__c6′
(true (running_obs__c6′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c6′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c7
(running__c7′
(true (running_obs__c7′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c7′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c8
(running__c8′
(true (running_obs__c8′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c8′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c9
(running__c9′
(true (running_obs__c9′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c9′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c10
(running__c10′
(true (running_obs__c10′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c10′
(true (0.050000000000000044))
(false (0.95)))))
endobserve
cost [+
(running__c1
(true (-1.0))
(false (0.0)))
(running__c2
(true (-1.0))
(false (0.0)))
(running__c3
(true (-1.0))
(false (0.0)))
(running__c4
(true (-1.0))
(false (0.0)))
(running__c5
(true (-1.0))
(false (0.0)))
(running__c6
(true (-1.0))
(false (0.0)))
(running__c7
(true (-1.0))
(false (0.0)))
(running__c8
(true (-1.0))
(false (0.0)))
(running__c9
(true (-1.0))
(false (0.0)))
(running__c10
(true (-1.0))
(false (0.0)))
]
endaction

action reboot__c1
running__c1
(running__c1′
(true (1.0))
(false (0.0)))
running__c2
(running__c2
(true (running__c9
(true (running__c2′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c2′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c2′
(true (0.02))
(false (0.98)))))
running__c3
(running__c1
(true (running__c3
(true (running__c6
(true (running__c3′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c3′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c3′
(true (0.02))
(false (0.98))))))
(false (running__c3
(true (running__c6
(true (running__c3′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c3′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c3′
(true (0.02))
(false (0.98)))))))
running__c4
(running__c3
(true (running__c4
(true (running__c6
(true (running__c4′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c4′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c4′
(true (0.02))
(false (0.98))))))
(false (running__c4
(true (running__c6
(true (running__c4′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c4′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c4′
(true (0.02))
(false (0.98)))))))
running__c5
(running__c2
(true (running__c4
(true (running__c5
(true (running__c8
(true (running__c5′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c5′
(true (0.825))
(false (0.17500000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))
(false (running__c5
(true (running__c8
(true (running__c5′
(true (0.825))
(false (0.17500000000000004))))
(false (running__c5′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))))
(false (running__c4
(true (running__c5
(true (running__c8
(true (running__c5′
(true (0.825))
(false (0.17500000000000004))))
(false (running__c5′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))
(false (running__c5
(true (running__c8
(true (running__c5′
(true (0.7))
(false (0.30000000000000004))))
(false (running__c5′
(true (0.575))
(false (0.42500000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98)))))))))
running__c6
(running__c6
(true (running__c9
(true (running__c10
(true (running__c6′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c6′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c10
(true (running__c6′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c6′
(true (0.6166666666666667))
(false (0.3833333333333333))))))))
(false (running__c6′
(true (0.02))
(false (0.98)))))
running__c7
(running__c1
(true (running__c5
(true (running__c7
(true (running__c7′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c7′
(true (0.02))
(false (0.98))))))
(false (running__c7
(true (running__c7′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c7′
(true (0.02))
(false (0.98))))))))
(false (running__c5
(true (running__c7
(true (running__c7′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c7′
(true (0.02))
(false (0.98))))))
(false (running__c7
(true (running__c7′
(true (0.6166666666666667))
(false (0.3833333333333333))))
(false (running__c7′
(true (0.02))
(false (0.98)))))))))
running__c8
(running__c4
(true (running__c8
(true (running__c10
(true (running__c8′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c8′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c8′
(true (0.02))
(false (0.98))))))
(false (running__c8
(true (running__c10
(true (running__c8′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c8′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c8′
(true (0.02))
(false (0.98)))))))
running__c9
(running__c9
(true (running__c9′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c9′
(true (0.02))
(false (0.98)))))
running__c10
(running__c8
(true (running__c10
(true (running__c10′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c10′
(true (0.02))
(false (0.98))))))
(false (running__c10
(true (running__c10′
(true (0.7))
(false (0.30000000000000004))))
(false (running__c10′
(true (0.02))
(false (0.98)))))))
observe
running_obs__c1
(running__c1′
(true (running_obs__c1′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c1′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c2
(running__c2′
(true (running_obs__c2′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c2′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c3
(running__c3′
(true (running_obs__c3′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c3′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c4
(running__c4′
(true (running_obs__c4′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c4′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c5
(running__c5′
(true (running_obs__c5′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c5′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c6
(running__c6′
(true (running_obs__c6′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c6′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c7
(running__c7′
(true (running_obs__c7′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c7′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c8
(running__c8′
(true (running_obs__c8′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c8′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c9
(running__c9′
(true (running_obs__c9′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c9′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c10
(running__c10′
(true (running_obs__c10′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c10′
(true (0.050000000000000044))
(false (0.95)))))
endobserve
cost [+
(running__c1
(true (-0.9))
(false (0.1)))
(running__c2
(true (-1.0))
(false (0.0)))
(running__c3
(true (-1.0))
(false (0.0)))
(running__c4
(true (-1.0))
(false (0.0)))
(running__c5
(true (-1.0))
(false (0.0)))
(running__c6
(true (-1.0))
(false (0.0)))
(running__c7
(true (-1.0))
(false (0.0)))
(running__c8
(true (-1.0))
(false (0.0)))
(running__c9
(true (-1.0))
(false (0.0)))
(running__c10
(true (-1.0))
(false (0.0)))
]
endaction

action reboot__c10
running__c1
(running__c1
(true (running__c3
(true (running__c1′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c1′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c1′
(true (0.02))
(false (0.98)))))
running__c2
(running__c2
(true (running__c9
(true (running__c2′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c2′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c2′
(true (0.02))
(false (0.98)))))
running__c3
(running__c1
(true (running__c3
(true (running__c6
(true (running__c3′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c3′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c3′
(true (0.02))
(false (0.98))))))
(false (running__c3
(true (running__c6
(true (running__c3′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c3′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c3′
(true (0.02))
(false (0.98)))))))
running__c4
(running__c3
(true (running__c4
(true (running__c6
(true (running__c4′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c4′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c4′
(true (0.02))
(false (0.98))))))
(false (running__c4
(true (running__c6
(true (running__c4′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c4′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c4′
(true (0.02))
(false (0.98)))))))
running__c5
(running__c2
(true (running__c4
(true (running__c5
(true (running__c8
(true (running__c5′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c5′
(true (0.825))
(false (0.17500000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))
(false (running__c5
(true (running__c8
(true (running__c5′
(true (0.825))
(false (0.17500000000000004))))
(false (running__c5′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))))
(false (running__c4
(true (running__c5
(true (running__c8
(true (running__c5′
(true (0.825))
(false (0.17500000000000004))))
(false (running__c5′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))
(false (running__c5
(true (running__c8
(true (running__c5′
(true (0.7))
(false (0.30000000000000004))))
(false (running__c5′
(true (0.575))
(false (0.42500000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98)))))))))
running__c6
(running__c6
(true (running__c9
(true (running__c10
(true (running__c6′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c6′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c10
(true (running__c6′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c6′
(true (0.6166666666666667))
(false (0.3833333333333333))))))))
(false (running__c6′
(true (0.02))
(false (0.98)))))
running__c7
(running__c1
(true (running__c5
(true (running__c7
(true (running__c7′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c7′
(true (0.02))
(false (0.98))))))
(false (running__c7
(true (running__c7′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c7′
(true (0.02))
(false (0.98))))))))
(false (running__c5
(true (running__c7
(true (running__c7′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c7′
(true (0.02))
(false (0.98))))))
(false (running__c7
(true (running__c7′
(true (0.6166666666666667))
(false (0.3833333333333333))))
(false (running__c7′
(true (0.02))
(false (0.98)))))))))
running__c8
(running__c4
(true (running__c8
(true (running__c10
(true (running__c8′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c8′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c8′
(true (0.02))
(false (0.98))))))
(false (running__c8
(true (running__c10
(true (running__c8′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c8′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c8′
(true (0.02))
(false (0.98)))))))
running__c9
(running__c9
(true (running__c9′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c9′
(true (0.02))
(false (0.98)))))
running__c10
(running__c10′
(true (1.0))
(false (0.0)))
observe
running_obs__c1
(running__c1′
(true (running_obs__c1′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c1′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c2
(running__c2′
(true (running_obs__c2′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c2′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c3
(running__c3′
(true (running_obs__c3′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c3′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c4
(running__c4′
(true (running_obs__c4′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c4′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c5
(running__c5′
(true (running_obs__c5′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c5′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c6
(running__c6′
(true (running_obs__c6′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c6′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c7
(running__c7′
(true (running_obs__c7′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c7′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c8
(running__c8′
(true (running_obs__c8′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c8′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c9
(running__c9′
(true (running_obs__c9′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c9′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c10
(running__c10′
(true (running_obs__c10′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c10′
(true (0.050000000000000044))
(false (0.95)))))
endobserve
cost [+
(running__c1
(true (-1.0))
(false (0.0)))
(running__c2
(true (-1.0))
(false (0.0)))
(running__c3
(true (-1.0))
(false (0.0)))
(running__c4
(true (-1.0))
(false (0.0)))
(running__c5
(true (-1.0))
(false (0.0)))
(running__c6
(true (-1.0))
(false (0.0)))
(running__c7
(true (-1.0))
(false (0.0)))
(running__c8
(true (-1.0))
(false (0.0)))
(running__c9
(true (-1.0))
(false (0.0)))
(running__c10
(true (-0.9))
(false (0.1)))
]
endaction

action reboot__c2
running__c1
(running__c1
(true (running__c3
(true (running__c1′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c1′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c1′
(true (0.02))
(false (0.98)))))
running__c2
(running__c2′
(true (1.0))
(false (0.0)))
running__c3
(running__c1
(true (running__c3
(true (running__c6
(true (running__c3′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c3′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c3′
(true (0.02))
(false (0.98))))))
(false (running__c3
(true (running__c6
(true (running__c3′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c3′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c3′
(true (0.02))
(false (0.98)))))))
running__c4
(running__c3
(true (running__c4
(true (running__c6
(true (running__c4′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c4′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c4′
(true (0.02))
(false (0.98))))))
(false (running__c4
(true (running__c6
(true (running__c4′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c4′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c4′
(true (0.02))
(false (0.98)))))))
running__c5
(running__c2
(true (running__c4
(true (running__c5
(true (running__c8
(true (running__c5′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c5′
(true (0.825))
(false (0.17500000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))
(false (running__c5
(true (running__c8
(true (running__c5′
(true (0.825))
(false (0.17500000000000004))))
(false (running__c5′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))))
(false (running__c4
(true (running__c5
(true (running__c8
(true (running__c5′
(true (0.825))
(false (0.17500000000000004))))
(false (running__c5′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))
(false (running__c5
(true (running__c8
(true (running__c5′
(true (0.7))
(false (0.30000000000000004))))
(false (running__c5′
(true (0.575))
(false (0.42500000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98)))))))))
running__c6
(running__c6
(true (running__c9
(true (running__c10
(true (running__c6′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c6′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c10
(true (running__c6′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c6′
(true (0.6166666666666667))
(false (0.3833333333333333))))))))
(false (running__c6′
(true (0.02))
(false (0.98)))))
running__c7
(running__c1
(true (running__c5
(true (running__c7
(true (running__c7′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c7′
(true (0.02))
(false (0.98))))))
(false (running__c7
(true (running__c7′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c7′
(true (0.02))
(false (0.98))))))))
(false (running__c5
(true (running__c7
(true (running__c7′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c7′
(true (0.02))
(false (0.98))))))
(false (running__c7
(true (running__c7′
(true (0.6166666666666667))
(false (0.3833333333333333))))
(false (running__c7′
(true (0.02))
(false (0.98)))))))))
running__c8
(running__c4
(true (running__c8
(true (running__c10
(true (running__c8′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c8′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c8′
(true (0.02))
(false (0.98))))))
(false (running__c8
(true (running__c10
(true (running__c8′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c8′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c8′
(true (0.02))
(false (0.98)))))))
running__c9
(running__c9
(true (running__c9′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c9′
(true (0.02))
(false (0.98)))))
running__c10
(running__c8
(true (running__c10
(true (running__c10′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c10′
(true (0.02))
(false (0.98))))))
(false (running__c10
(true (running__c10′
(true (0.7))
(false (0.30000000000000004))))
(false (running__c10′
(true (0.02))
(false (0.98)))))))
observe
running_obs__c1
(running__c1′
(true (running_obs__c1′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c1′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c2
(running__c2′
(true (running_obs__c2′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c2′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c3
(running__c3′
(true (running_obs__c3′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c3′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c4
(running__c4′
(true (running_obs__c4′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c4′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c5
(running__c5′
(true (running_obs__c5′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c5′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c6
(running__c6′
(true (running_obs__c6′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c6′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c7
(running__c7′
(true (running_obs__c7′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c7′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c8
(running__c8′
(true (running_obs__c8′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c8′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c9
(running__c9′
(true (running_obs__c9′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c9′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c10
(running__c10′
(true (running_obs__c10′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c10′
(true (0.050000000000000044))
(false (0.95)))))
endobserve
cost [+
(running__c1
(true (-1.0))
(false (0.0)))
(running__c2
(true (-0.9))
(false (0.1)))
(running__c3
(true (-1.0))
(false (0.0)))
(running__c4
(true (-1.0))
(false (0.0)))
(running__c5
(true (-1.0))
(false (0.0)))
(running__c6
(true (-1.0))
(false (0.0)))
(running__c7
(true (-1.0))
(false (0.0)))
(running__c8
(true (-1.0))
(false (0.0)))
(running__c9
(true (-1.0))
(false (0.0)))
(running__c10
(true (-1.0))
(false (0.0)))
]
endaction

action reboot__c3
running__c1
(running__c1
(true (running__c3
(true (running__c1′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c1′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c1′
(true (0.02))
(false (0.98)))))
running__c2
(running__c2
(true (running__c9
(true (running__c2′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c2′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c2′
(true (0.02))
(false (0.98)))))
running__c3
(running__c3′
(true (1.0))
(false (0.0)))
running__c4
(running__c3
(true (running__c4
(true (running__c6
(true (running__c4′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c4′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c4′
(true (0.02))
(false (0.98))))))
(false (running__c4
(true (running__c6
(true (running__c4′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c4′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c4′
(true (0.02))
(false (0.98)))))))
running__c5
(running__c2
(true (running__c4
(true (running__c5
(true (running__c8
(true (running__c5′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c5′
(true (0.825))
(false (0.17500000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))
(false (running__c5
(true (running__c8
(true (running__c5′
(true (0.825))
(false (0.17500000000000004))))
(false (running__c5′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))))
(false (running__c4
(true (running__c5
(true (running__c8
(true (running__c5′
(true (0.825))
(false (0.17500000000000004))))
(false (running__c5′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))
(false (running__c5
(true (running__c8
(true (running__c5′
(true (0.7))
(false (0.30000000000000004))))
(false (running__c5′
(true (0.575))
(false (0.42500000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98)))))))))
running__c6
(running__c6
(true (running__c9
(true (running__c10
(true (running__c6′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c6′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c10
(true (running__c6′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c6′
(true (0.6166666666666667))
(false (0.3833333333333333))))))))
(false (running__c6′
(true (0.02))
(false (0.98)))))
running__c7
(running__c1
(true (running__c5
(true (running__c7
(true (running__c7′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c7′
(true (0.02))
(false (0.98))))))
(false (running__c7
(true (running__c7′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c7′
(true (0.02))
(false (0.98))))))))
(false (running__c5
(true (running__c7
(true (running__c7′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c7′
(true (0.02))
(false (0.98))))))
(false (running__c7
(true (running__c7′
(true (0.6166666666666667))
(false (0.3833333333333333))))
(false (running__c7′
(true (0.02))
(false (0.98)))))))))
running__c8
(running__c4
(true (running__c8
(true (running__c10
(true (running__c8′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c8′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c8′
(true (0.02))
(false (0.98))))))
(false (running__c8
(true (running__c10
(true (running__c8′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c8′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c8′
(true (0.02))
(false (0.98)))))))
running__c9
(running__c9
(true (running__c9′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c9′
(true (0.02))
(false (0.98)))))
running__c10
(running__c8
(true (running__c10
(true (running__c10′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c10′
(true (0.02))
(false (0.98))))))
(false (running__c10
(true (running__c10′
(true (0.7))
(false (0.30000000000000004))))
(false (running__c10′
(true (0.02))
(false (0.98)))))))
observe
running_obs__c1
(running__c1′
(true (running_obs__c1′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c1′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c2
(running__c2′
(true (running_obs__c2′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c2′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c3
(running__c3′
(true (running_obs__c3′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c3′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c4
(running__c4′
(true (running_obs__c4′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c4′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c5
(running__c5′
(true (running_obs__c5′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c5′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c6
(running__c6′
(true (running_obs__c6′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c6′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c7
(running__c7′
(true (running_obs__c7′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c7′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c8
(running__c8′
(true (running_obs__c8′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c8′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c9
(running__c9′
(true (running_obs__c9′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c9′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c10
(running__c10′
(true (running_obs__c10′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c10′
(true (0.050000000000000044))
(false (0.95)))))
endobserve
cost [+
(running__c1
(true (-1.0))
(false (0.0)))
(running__c2
(true (-1.0))
(false (0.0)))
(running__c3
(true (-0.9))
(false (0.1)))
(running__c4
(true (-1.0))
(false (0.0)))
(running__c5
(true (-1.0))
(false (0.0)))
(running__c6
(true (-1.0))
(false (0.0)))
(running__c7
(true (-1.0))
(false (0.0)))
(running__c8
(true (-1.0))
(false (0.0)))
(running__c9
(true (-1.0))
(false (0.0)))
(running__c10
(true (-1.0))
(false (0.0)))
]
endaction

action reboot__c4
running__c1
(running__c1
(true (running__c3
(true (running__c1′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c1′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c1′
(true (0.02))
(false (0.98)))))
running__c2
(running__c2
(true (running__c9
(true (running__c2′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c2′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c2′
(true (0.02))
(false (0.98)))))
running__c3
(running__c1
(true (running__c3
(true (running__c6
(true (running__c3′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c3′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c3′
(true (0.02))
(false (0.98))))))
(false (running__c3
(true (running__c6
(true (running__c3′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c3′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c3′
(true (0.02))
(false (0.98)))))))
running__c4
(running__c4′
(true (1.0))
(false (0.0)))
running__c5
(running__c2
(true (running__c4
(true (running__c5
(true (running__c8
(true (running__c5′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c5′
(true (0.825))
(false (0.17500000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))
(false (running__c5
(true (running__c8
(true (running__c5′
(true (0.825))
(false (0.17500000000000004))))
(false (running__c5′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))))
(false (running__c4
(true (running__c5
(true (running__c8
(true (running__c5′
(true (0.825))
(false (0.17500000000000004))))
(false (running__c5′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))
(false (running__c5
(true (running__c8
(true (running__c5′
(true (0.7))
(false (0.30000000000000004))))
(false (running__c5′
(true (0.575))
(false (0.42500000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98)))))))))
running__c6
(running__c6
(true (running__c9
(true (running__c10
(true (running__c6′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c6′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c10
(true (running__c6′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c6′
(true (0.6166666666666667))
(false (0.3833333333333333))))))))
(false (running__c6′
(true (0.02))
(false (0.98)))))
running__c7
(running__c1
(true (running__c5
(true (running__c7
(true (running__c7′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c7′
(true (0.02))
(false (0.98))))))
(false (running__c7
(true (running__c7′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c7′
(true (0.02))
(false (0.98))))))))
(false (running__c5
(true (running__c7
(true (running__c7′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c7′
(true (0.02))
(false (0.98))))))
(false (running__c7
(true (running__c7′
(true (0.6166666666666667))
(false (0.3833333333333333))))
(false (running__c7′
(true (0.02))
(false (0.98)))))))))
running__c8
(running__c4
(true (running__c8
(true (running__c10
(true (running__c8′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c8′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c8′
(true (0.02))
(false (0.98))))))
(false (running__c8
(true (running__c10
(true (running__c8′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c8′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c8′
(true (0.02))
(false (0.98)))))))
running__c9
(running__c9
(true (running__c9′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c9′
(true (0.02))
(false (0.98)))))
running__c10
(running__c8
(true (running__c10
(true (running__c10′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c10′
(true (0.02))
(false (0.98))))))
(false (running__c10
(true (running__c10′
(true (0.7))
(false (0.30000000000000004))))
(false (running__c10′
(true (0.02))
(false (0.98)))))))
observe
running_obs__c1
(running__c1′
(true (running_obs__c1′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c1′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c2
(running__c2′
(true (running_obs__c2′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c2′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c3
(running__c3′
(true (running_obs__c3′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c3′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c4
(running__c4′
(true (running_obs__c4′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c4′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c5
(running__c5′
(true (running_obs__c5′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c5′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c6
(running__c6′
(true (running_obs__c6′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c6′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c7
(running__c7′
(true (running_obs__c7′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c7′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c8
(running__c8′
(true (running_obs__c8′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c8′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c9
(running__c9′
(true (running_obs__c9′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c9′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c10
(running__c10′
(true (running_obs__c10′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c10′
(true (0.050000000000000044))
(false (0.95)))))
endobserve
cost [+
(running__c1
(true (-1.0))
(false (0.0)))
(running__c2
(true (-1.0))
(false (0.0)))
(running__c3
(true (-1.0))
(false (0.0)))
(running__c4
(true (-0.9))
(false (0.1)))
(running__c5
(true (-1.0))
(false (0.0)))
(running__c6
(true (-1.0))
(false (0.0)))
(running__c7
(true (-1.0))
(false (0.0)))
(running__c8
(true (-1.0))
(false (0.0)))
(running__c9
(true (-1.0))
(false (0.0)))
(running__c10
(true (-1.0))
(false (0.0)))
]
endaction

action reboot__c5
running__c1
(running__c1
(true (running__c3
(true (running__c1′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c1′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c1′
(true (0.02))
(false (0.98)))))
running__c2
(running__c2
(true (running__c9
(true (running__c2′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c2′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c2′
(true (0.02))
(false (0.98)))))
running__c3
(running__c1
(true (running__c3
(true (running__c6
(true (running__c3′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c3′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c3′
(true (0.02))
(false (0.98))))))
(false (running__c3
(true (running__c6
(true (running__c3′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c3′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c3′
(true (0.02))
(false (0.98)))))))
running__c4
(running__c3
(true (running__c4
(true (running__c6
(true (running__c4′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c4′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c4′
(true (0.02))
(false (0.98))))))
(false (running__c4
(true (running__c6
(true (running__c4′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c4′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c4′
(true (0.02))
(false (0.98)))))))
running__c5
(running__c5′
(true (1.0))
(false (0.0)))
running__c6
(running__c6
(true (running__c9
(true (running__c10
(true (running__c6′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c6′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c10
(true (running__c6′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c6′
(true (0.6166666666666667))
(false (0.3833333333333333))))))))
(false (running__c6′
(true (0.02))
(false (0.98)))))
running__c7
(running__c1
(true (running__c5
(true (running__c7
(true (running__c7′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c7′
(true (0.02))
(false (0.98))))))
(false (running__c7
(true (running__c7′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c7′
(true (0.02))
(false (0.98))))))))
(false (running__c5
(true (running__c7
(true (running__c7′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c7′
(true (0.02))
(false (0.98))))))
(false (running__c7
(true (running__c7′
(true (0.6166666666666667))
(false (0.3833333333333333))))
(false (running__c7′
(true (0.02))
(false (0.98)))))))))
running__c8
(running__c4
(true (running__c8
(true (running__c10
(true (running__c8′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c8′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c8′
(true (0.02))
(false (0.98))))))
(false (running__c8
(true (running__c10
(true (running__c8′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c8′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c8′
(true (0.02))
(false (0.98)))))))
running__c9
(running__c9
(true (running__c9′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c9′
(true (0.02))
(false (0.98)))))
running__c10
(running__c8
(true (running__c10
(true (running__c10′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c10′
(true (0.02))
(false (0.98))))))
(false (running__c10
(true (running__c10′
(true (0.7))
(false (0.30000000000000004))))
(false (running__c10′
(true (0.02))
(false (0.98)))))))
observe
running_obs__c1
(running__c1′
(true (running_obs__c1′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c1′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c2
(running__c2′
(true (running_obs__c2′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c2′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c3
(running__c3′
(true (running_obs__c3′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c3′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c4
(running__c4′
(true (running_obs__c4′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c4′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c5
(running__c5′
(true (running_obs__c5′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c5′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c6
(running__c6′
(true (running_obs__c6′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c6′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c7
(running__c7′
(true (running_obs__c7′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c7′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c8
(running__c8′
(true (running_obs__c8′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c8′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c9
(running__c9′
(true (running_obs__c9′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c9′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c10
(running__c10′
(true (running_obs__c10′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c10′
(true (0.050000000000000044))
(false (0.95)))))
endobserve
cost [+
(running__c1
(true (-1.0))
(false (0.0)))
(running__c2
(true (-1.0))
(false (0.0)))
(running__c3
(true (-1.0))
(false (0.0)))
(running__c4
(true (-1.0))
(false (0.0)))
(running__c5
(true (-0.9))
(false (0.1)))
(running__c6
(true (-1.0))
(false (0.0)))
(running__c7
(true (-1.0))
(false (0.0)))
(running__c8
(true (-1.0))
(false (0.0)))
(running__c9
(true (-1.0))
(false (0.0)))
(running__c10
(true (-1.0))
(false (0.0)))
]
endaction

action reboot__c6
running__c1
(running__c1
(true (running__c3
(true (running__c1′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c1′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c1′
(true (0.02))
(false (0.98)))))
running__c2
(running__c2
(true (running__c9
(true (running__c2′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c2′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c2′
(true (0.02))
(false (0.98)))))
running__c3
(running__c1
(true (running__c3
(true (running__c6
(true (running__c3′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c3′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c3′
(true (0.02))
(false (0.98))))))
(false (running__c3
(true (running__c6
(true (running__c3′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c3′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c3′
(true (0.02))
(false (0.98)))))))
running__c4
(running__c3
(true (running__c4
(true (running__c6
(true (running__c4′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c4′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c4′
(true (0.02))
(false (0.98))))))
(false (running__c4
(true (running__c6
(true (running__c4′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c4′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c4′
(true (0.02))
(false (0.98)))))))
running__c5
(running__c2
(true (running__c4
(true (running__c5
(true (running__c8
(true (running__c5′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c5′
(true (0.825))
(false (0.17500000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))
(false (running__c5
(true (running__c8
(true (running__c5′
(true (0.825))
(false (0.17500000000000004))))
(false (running__c5′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))))
(false (running__c4
(true (running__c5
(true (running__c8
(true (running__c5′
(true (0.825))
(false (0.17500000000000004))))
(false (running__c5′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))
(false (running__c5
(true (running__c8
(true (running__c5′
(true (0.7))
(false (0.30000000000000004))))
(false (running__c5′
(true (0.575))
(false (0.42500000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98)))))))))
running__c6
(running__c6′
(true (1.0))
(false (0.0)))
running__c7
(running__c1
(true (running__c5
(true (running__c7
(true (running__c7′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c7′
(true (0.02))
(false (0.98))))))
(false (running__c7
(true (running__c7′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c7′
(true (0.02))
(false (0.98))))))))
(false (running__c5
(true (running__c7
(true (running__c7′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c7′
(true (0.02))
(false (0.98))))))
(false (running__c7
(true (running__c7′
(true (0.6166666666666667))
(false (0.3833333333333333))))
(false (running__c7′
(true (0.02))
(false (0.98)))))))))
running__c8
(running__c4
(true (running__c8
(true (running__c10
(true (running__c8′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c8′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c8′
(true (0.02))
(false (0.98))))))
(false (running__c8
(true (running__c10
(true (running__c8′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c8′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c8′
(true (0.02))
(false (0.98)))))))
running__c9
(running__c9
(true (running__c9′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c9′
(true (0.02))
(false (0.98)))))
running__c10
(running__c8
(true (running__c10
(true (running__c10′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c10′
(true (0.02))
(false (0.98))))))
(false (running__c10
(true (running__c10′
(true (0.7))
(false (0.30000000000000004))))
(false (running__c10′
(true (0.02))
(false (0.98)))))))
observe
running_obs__c1
(running__c1′
(true (running_obs__c1′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c1′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c2
(running__c2′
(true (running_obs__c2′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c2′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c3
(running__c3′
(true (running_obs__c3′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c3′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c4
(running__c4′
(true (running_obs__c4′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c4′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c5
(running__c5′
(true (running_obs__c5′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c5′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c6
(running__c6′
(true (running_obs__c6′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c6′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c7
(running__c7′
(true (running_obs__c7′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c7′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c8
(running__c8′
(true (running_obs__c8′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c8′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c9
(running__c9′
(true (running_obs__c9′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c9′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c10
(running__c10′
(true (running_obs__c10′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c10′
(true (0.050000000000000044))
(false (0.95)))))
endobserve
cost [+
(running__c1
(true (-1.0))
(false (0.0)))
(running__c2
(true (-1.0))
(false (0.0)))
(running__c3
(true (-1.0))
(false (0.0)))
(running__c4
(true (-1.0))
(false (0.0)))
(running__c5
(true (-1.0))
(false (0.0)))
(running__c6
(true (-0.9))
(false (0.1)))
(running__c7
(true (-1.0))
(false (0.0)))
(running__c8
(true (-1.0))
(false (0.0)))
(running__c9
(true (-1.0))
(false (0.0)))
(running__c10
(true (-1.0))
(false (0.0)))
]
endaction

action reboot__c7
running__c1
(running__c1
(true (running__c3
(true (running__c1′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c1′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c1′
(true (0.02))
(false (0.98)))))
running__c2
(running__c2
(true (running__c9
(true (running__c2′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c2′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c2′
(true (0.02))
(false (0.98)))))
running__c3
(running__c1
(true (running__c3
(true (running__c6
(true (running__c3′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c3′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c3′
(true (0.02))
(false (0.98))))))
(false (running__c3
(true (running__c6
(true (running__c3′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c3′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c3′
(true (0.02))
(false (0.98)))))))
running__c4
(running__c3
(true (running__c4
(true (running__c6
(true (running__c4′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c4′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c4′
(true (0.02))
(false (0.98))))))
(false (running__c4
(true (running__c6
(true (running__c4′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c4′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c4′
(true (0.02))
(false (0.98)))))))
running__c5
(running__c2
(true (running__c4
(true (running__c5
(true (running__c8
(true (running__c5′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c5′
(true (0.825))
(false (0.17500000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))
(false (running__c5
(true (running__c8
(true (running__c5′
(true (0.825))
(false (0.17500000000000004))))
(false (running__c5′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))))
(false (running__c4
(true (running__c5
(true (running__c8
(true (running__c5′
(true (0.825))
(false (0.17500000000000004))))
(false (running__c5′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))
(false (running__c5
(true (running__c8
(true (running__c5′
(true (0.7))
(false (0.30000000000000004))))
(false (running__c5′
(true (0.575))
(false (0.42500000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98)))))))))
running__c6
(running__c6
(true (running__c9
(true (running__c10
(true (running__c6′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c6′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c10
(true (running__c6′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c6′
(true (0.6166666666666667))
(false (0.3833333333333333))))))))
(false (running__c6′
(true (0.02))
(false (0.98)))))
running__c7
(running__c7′
(true (1.0))
(false (0.0)))
running__c8
(running__c4
(true (running__c8
(true (running__c10
(true (running__c8′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c8′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c8′
(true (0.02))
(false (0.98))))))
(false (running__c8
(true (running__c10
(true (running__c8′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c8′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c8′
(true (0.02))
(false (0.98)))))))
running__c9
(running__c9
(true (running__c9′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c9′
(true (0.02))
(false (0.98)))))
running__c10
(running__c8
(true (running__c10
(true (running__c10′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c10′
(true (0.02))
(false (0.98))))))
(false (running__c10
(true (running__c10′
(true (0.7))
(false (0.30000000000000004))))
(false (running__c10′
(true (0.02))
(false (0.98)))))))
observe
running_obs__c1
(running__c1′
(true (running_obs__c1′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c1′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c2
(running__c2′
(true (running_obs__c2′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c2′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c3
(running__c3′
(true (running_obs__c3′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c3′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c4
(running__c4′
(true (running_obs__c4′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c4′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c5
(running__c5′
(true (running_obs__c5′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c5′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c6
(running__c6′
(true (running_obs__c6′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c6′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c7
(running__c7′
(true (running_obs__c7′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c7′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c8
(running__c8′
(true (running_obs__c8′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c8′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c9
(running__c9′
(true (running_obs__c9′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c9′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c10
(running__c10′
(true (running_obs__c10′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c10′
(true (0.050000000000000044))
(false (0.95)))))
endobserve
cost [+
(running__c1
(true (-1.0))
(false (0.0)))
(running__c2
(true (-1.0))
(false (0.0)))
(running__c3
(true (-1.0))
(false (0.0)))
(running__c4
(true (-1.0))
(false (0.0)))
(running__c5
(true (-1.0))
(false (0.0)))
(running__c6
(true (-1.0))
(false (0.0)))
(running__c7
(true (-0.9))
(false (0.1)))
(running__c8
(true (-1.0))
(false (0.0)))
(running__c9
(true (-1.0))
(false (0.0)))
(running__c10
(true (-1.0))
(false (0.0)))
]
endaction

action reboot__c8
running__c1
(running__c1
(true (running__c3
(true (running__c1′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c1′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c1′
(true (0.02))
(false (0.98)))))
running__c2
(running__c2
(true (running__c9
(true (running__c2′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c2′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c2′
(true (0.02))
(false (0.98)))))
running__c3
(running__c1
(true (running__c3
(true (running__c6
(true (running__c3′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c3′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c3′
(true (0.02))
(false (0.98))))))
(false (running__c3
(true (running__c6
(true (running__c3′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c3′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c3′
(true (0.02))
(false (0.98)))))))
running__c4
(running__c3
(true (running__c4
(true (running__c6
(true (running__c4′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c4′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c4′
(true (0.02))
(false (0.98))))))
(false (running__c4
(true (running__c6
(true (running__c4′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c4′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c4′
(true (0.02))
(false (0.98)))))))
running__c5
(running__c2
(true (running__c4
(true (running__c5
(true (running__c8
(true (running__c5′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c5′
(true (0.825))
(false (0.17500000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))
(false (running__c5
(true (running__c8
(true (running__c5′
(true (0.825))
(false (0.17500000000000004))))
(false (running__c5′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))))
(false (running__c4
(true (running__c5
(true (running__c8
(true (running__c5′
(true (0.825))
(false (0.17500000000000004))))
(false (running__c5′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))
(false (running__c5
(true (running__c8
(true (running__c5′
(true (0.7))
(false (0.30000000000000004))))
(false (running__c5′
(true (0.575))
(false (0.42500000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98)))))))))
running__c6
(running__c6
(true (running__c9
(true (running__c10
(true (running__c6′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c6′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c10
(true (running__c6′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c6′
(true (0.6166666666666667))
(false (0.3833333333333333))))))))
(false (running__c6′
(true (0.02))
(false (0.98)))))
running__c7
(running__c1
(true (running__c5
(true (running__c7
(true (running__c7′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c7′
(true (0.02))
(false (0.98))))))
(false (running__c7
(true (running__c7′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c7′
(true (0.02))
(false (0.98))))))))
(false (running__c5
(true (running__c7
(true (running__c7′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c7′
(true (0.02))
(false (0.98))))))
(false (running__c7
(true (running__c7′
(true (0.6166666666666667))
(false (0.3833333333333333))))
(false (running__c7′
(true (0.02))
(false (0.98)))))))))
running__c8
(running__c8′
(true (1.0))
(false (0.0)))
running__c9
(running__c9
(true (running__c9′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c9′
(true (0.02))
(false (0.98)))))
running__c10
(running__c8
(true (running__c10
(true (running__c10′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c10′
(true (0.02))
(false (0.98))))))
(false (running__c10
(true (running__c10′
(true (0.7))
(false (0.30000000000000004))))
(false (running__c10′
(true (0.02))
(false (0.98)))))))
observe
running_obs__c1
(running__c1′
(true (running_obs__c1′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c1′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c2
(running__c2′
(true (running_obs__c2′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c2′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c3
(running__c3′
(true (running_obs__c3′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c3′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c4
(running__c4′
(true (running_obs__c4′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c4′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c5
(running__c5′
(true (running_obs__c5′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c5′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c6
(running__c6′
(true (running_obs__c6′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c6′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c7
(running__c7′
(true (running_obs__c7′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c7′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c8
(running__c8′
(true (running_obs__c8′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c8′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c9
(running__c9′
(true (running_obs__c9′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c9′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c10
(running__c10′
(true (running_obs__c10′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c10′
(true (0.050000000000000044))
(false (0.95)))))
endobserve
cost [+
(running__c1
(true (-1.0))
(false (0.0)))
(running__c2
(true (-1.0))
(false (0.0)))
(running__c3
(true (-1.0))
(false (0.0)))
(running__c4
(true (-1.0))
(false (0.0)))
(running__c5
(true (-1.0))
(false (0.0)))
(running__c6
(true (-1.0))
(false (0.0)))
(running__c7
(true (-1.0))
(false (0.0)))
(running__c8
(true (-0.9))
(false (0.1)))
(running__c9
(true (-1.0))
(false (0.0)))
(running__c10
(true (-1.0))
(false (0.0)))
]
endaction

action reboot__c9
running__c1
(running__c1
(true (running__c3
(true (running__c1′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c1′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c1′
(true (0.02))
(false (0.98)))))
running__c2
(running__c2
(true (running__c9
(true (running__c2′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c2′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c2′
(true (0.02))
(false (0.98)))))
running__c3
(running__c1
(true (running__c3
(true (running__c6
(true (running__c3′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c3′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c3′
(true (0.02))
(false (0.98))))))
(false (running__c3
(true (running__c6
(true (running__c3′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c3′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c3′
(true (0.02))
(false (0.98)))))))
running__c4
(running__c3
(true (running__c4
(true (running__c6
(true (running__c4′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c4′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c4′
(true (0.02))
(false (0.98))))))
(false (running__c4
(true (running__c6
(true (running__c4′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c4′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c4′
(true (0.02))
(false (0.98)))))))
running__c5
(running__c2
(true (running__c4
(true (running__c5
(true (running__c8
(true (running__c5′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c5′
(true (0.825))
(false (0.17500000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))
(false (running__c5
(true (running__c8
(true (running__c5′
(true (0.825))
(false (0.17500000000000004))))
(false (running__c5′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))))
(false (running__c4
(true (running__c5
(true (running__c8
(true (running__c5′
(true (0.825))
(false (0.17500000000000004))))
(false (running__c5′
(true (0.7))
(false (0.30000000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98))))))
(false (running__c5
(true (running__c8
(true (running__c5′
(true (0.7))
(false (0.30000000000000004))))
(false (running__c5′
(true (0.575))
(false (0.42500000000000004))))))
(false (running__c5′
(true (0.02))
(false (0.98)))))))))
running__c6
(running__c6
(true (running__c9
(true (running__c10
(true (running__c6′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c6′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c10
(true (running__c6′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c6′
(true (0.6166666666666667))
(false (0.3833333333333333))))))))
(false (running__c6′
(true (0.02))
(false (0.98)))))
running__c7
(running__c1
(true (running__c5
(true (running__c7
(true (running__c7′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c7′
(true (0.02))
(false (0.98))))))
(false (running__c7
(true (running__c7′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c7′
(true (0.02))
(false (0.98))))))))
(false (running__c5
(true (running__c7
(true (running__c7′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c7′
(true (0.02))
(false (0.98))))))
(false (running__c7
(true (running__c7′
(true (0.6166666666666667))
(false (0.3833333333333333))))
(false (running__c7′
(true (0.02))
(false (0.98)))))))))
running__c8
(running__c4
(true (running__c8
(true (running__c10
(true (running__c8′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c8′
(true (0.7833333333333333))
(false (0.21666666666666667))))))
(false (running__c8′
(true (0.02))
(false (0.98))))))
(false (running__c8
(true (running__c10
(true (running__c8′
(true (0.7833333333333333))
(false (0.21666666666666667))))
(false (running__c8′
(true (0.6166666666666667))
(false (0.3833333333333333))))))
(false (running__c8′
(true (0.02))
(false (0.98)))))))
running__c9
(running__c9′
(true (1.0))
(false (0.0)))
running__c10
(running__c8
(true (running__c10
(true (running__c10′
(true (0.95))
(false (0.050000000000000044))))
(false (running__c10′
(true (0.02))
(false (0.98))))))
(false (running__c10
(true (running__c10′
(true (0.7))
(false (0.30000000000000004))))
(false (running__c10′
(true (0.02))
(false (0.98)))))))
observe
running_obs__c1
(running__c1′
(true (running_obs__c1′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c1′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c2
(running__c2′
(true (running_obs__c2′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c2′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c3
(running__c3′
(true (running_obs__c3′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c3′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c4
(running__c4′
(true (running_obs__c4′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c4′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c5
(running__c5′
(true (running_obs__c5′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c5′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c6
(running__c6′
(true (running_obs__c6′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c6′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c7
(running__c7′
(true (running_obs__c7′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c7′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c8
(running__c8′
(true (running_obs__c8′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c8′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c9
(running__c9′
(true (running_obs__c9′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c9′
(true (0.050000000000000044))
(false (0.95)))))
running_obs__c10
(running__c10′
(true (running_obs__c10′
(true (0.95))
(false (0.050000000000000044))))
(false (running_obs__c10’
(true (0.050000000000000044))
(false (0.95)))))
endobserve
cost [+
(running__c1
(true (-1.0))
(false (0.0)))
(running__c2
(true (-1.0))
(false (0.0)))
(running__c3
(true (-1.0))
(false (0.0)))
(running__c4
(true (-1.0))
(false (0.0)))
(running__c5
(true (-1.0))
(false (0.0)))
(running__c6
(true (-1.0))
(false (0.0)))
(running__c7
(true (-1.0))
(false (0.0)))
(running__c8
(true (-1.0))
(false (0.0)))
(running__c9
(true (-0.9))
(false (0.1)))
(running__c10
(true (-1.0))
(false (0.0)))
]
endaction

reward
(0.0)

discount 1.0
horizon 40