Results of probabilistic analysis of assertions in stuck_loc.assertions using PRISM

Assertion: P_stuck_loc_0

Assertion Const Const States Transitions Time Result
P_stuck_loc_0 deliverMOD::rp_ref0::chargeStep=4 deliverMOD::rp_ref0::batteryCapacity=20 25935984 53649520 460.773 seconds 0.02567183864834713

Assertion: P_stuck_loc_1

Assertion Const Const States Transitions Time Result
P_stuck_loc_1 deliverMOD::rp_ref0::chargeStep=4 deliverMOD::rp_ref0::batteryCapacity=20 25935984 53649520 477.005 seconds 0.10795480852569778

Assertion: P_stuck_loc_2

Assertion Const Const States Transitions Time Result
P_stuck_loc_2 deliverMOD::rp_ref0::chargeStep=4 deliverMOD::rp_ref0::batteryCapacity=20 25935984 53649520 491.92 seconds 0.12917175436226516

Assertion: P_stuck_loc_3

Assertion Const Const States Transitions Time Result
P_stuck_loc_3 deliverMOD::rp_ref0::chargeStep=4 deliverMOD::rp_ref0::batteryCapacity=20 25935984 53649520 495.315 seconds 0.14039934198186033

Assertion: P_stuck_loc_4

Assertion Const Const States Transitions Time Result
P_stuck_loc_4 deliverMOD::rp_ref0::chargeStep=4 deliverMOD::rp_ref0::batteryCapacity=20 25935984 53649520 474.077 seconds 0.10107648905102322

Assertion: P_stuck_loc_5

Assertion Const Const States Transitions Time Result
P_stuck_loc_5 deliverMOD::rp_ref0::chargeStep=4 deliverMOD::rp_ref0::batteryCapacity=20 25935984 53649520 531.203 seconds 0.14377771389591754

Assertion: P_stuck_loc_6

Assertion Const Const States Transitions Time Result
P_stuck_loc_6 deliverMOD::rp_ref0::chargeStep=4 deliverMOD::rp_ref0::batteryCapacity=20 25935984 53649520 492.263 seconds 0.10795480831424162

Assertion: P_stuck_loc_7

Assertion Const Const States Transitions Time Result
P_stuck_loc_7 deliverMOD::rp_ref0::chargeStep=4 deliverMOD::rp_ref0::batteryCapacity=20 25935984 53649520 494.472 seconds 0.12917175377882492

Assertion: P_stuck_loc_8

Assertion Const Const States Transitions Time Result
P_stuck_loc_8 deliverMOD::rp_ref0::chargeStep=4 deliverMOD::rp_ref0::batteryCapacity=20 25935984 53649520 514.503 seconds 0.1403993411834904

Assertion: P_stuck_loc_9

Assertion Const Const States Transitions Time Result
P_stuck_loc_9 deliverMOD::rp_ref0::chargeStep=4 deliverMOD::rp_ref0::batteryCapacity=20 25935984 53649520 2.658 seconds 1.0