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.002 seconds true

Assertion: P_out_1

Assertion States Transitions Time Result
P_out_1 28 35 0.005 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.004 seconds 0.16666650772094727
P_out_x xx=3 28 35 0.004 seconds 0.16666650772094727
P_out_x xx=4 28 35 0.005 seconds 0.16666650772094727
P_out_x xx=5 28 35 0.006 seconds 0.16666650772094727
P_out_x xx=6 28 35 0.004 seconds 0.16666650772094727

Assertion: P_out_x_sim

Assertion Const States Transitions Time Result
P_out_x_sim xx=1 0.1775
P_out_x_sim xx=2 0.163
P_out_x_sim xx=3 0.1495
P_out_x_sim xx=4 0.17
P_out_x_sim xx=5 0.177
P_out_x_sim xx=6 0.1525

Assertion: R_out

Assertion States Transitions Time Result
R_out 28 35 0.005 seconds 3.6666641235351562