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 |