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

Assertion: P_deadlock_free

Assertion States Transitions Time Result
P_deadlock_free 28 35 0.003 seconds true

Assertion: P_out_1

Assertion States Transitions Time Result
P_out_1 28 35 0.007 seconds 0.16666650772094727

Assertion: P_out_x

Assertion Const States Transitions Time Result
P_out_x xx=1 28 35 0.006 seconds 0.16666650772094727
P_out_x xx=2 28 35 0.008 seconds 0.16666650772094727
P_out_x xx=3 28 35 0.01 seconds 0.16666650772094727
P_out_x xx=4 28 35 0.007 seconds 0.16666650772094727
P_out_x xx=5 28 35 0.008 seconds 0.16666650772094727
P_out_x xx=6 28 35 0.011 seconds 0.16666650772094727

Assertion: P_out_x_sim

Assertion Const States Transitions Time Result
P_out_x_sim xx=1 0.166
P_out_x_sim xx=2 0.1645
P_out_x_sim xx=3 0.171
P_out_x_sim xx=4 0.158
P_out_x_sim xx=5 0.174
P_out_x_sim xx=6 0.173

Assertion: R_out

Assertion States Transitions Time Result
R_out 28 35 0.007 seconds 3.6666641235351562