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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 |