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 |