PRISM
=====
Version: 4.8.1
Date: Fri Sep 13 10:52:06 GMT+01:00 2024
Hostname: n23m0144.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=1g
Command line: prism /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/polling/polling.6.prism -steadystate -explicit -relative -epsilon 0.001
Parsing model file "/rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/polling/polling.6.prism"...
Type: CTMC
Modules: server station1 station2 station3 station4 station5 station6
Variables: s a s1 s2 s3 s4 s5 s6
---------------------------------------------------------------------
Computing steady-state probabilities...
Building model...
Computing reachable states... 576 states
Reachable states exploration and model construction done in 0.026 secs.
Sorting reachable states list...
Time for model construction: 0.048 seconds.
Type: CTMC
States: 576 (1 initial)
Transitions: 2208
Building embedded DTMC...
Doing steady-state computation in embedded DTMC (with exit-rate weighting for BSCC probabilities)...
Initial states are all in one BSCC (so no reachability probabilities computed)
Starting value iteration...
Power method: 123 iterations in 0.038 seconds.
Printing steady-state probabilities in plain text format below:
0:(1,0,0,0,0,0,0,0)=0.04290679021579819
1:(1,0,0,0,0,0,0,1)=3.560663782186641E-5
2:(1,0,0,0,0,0,1,0)=9.272713799678964E-5
3:(1,0,0,0,0,0,1,1)=1.0659263959407677E-7
4:(1,0,0,0,0,1,0,0)=1.5508576369853687E-4
5:(1,0,0,0,0,1,0,1)=1.5839287438430322E-7
6:(1,0,0,0,0,1,1,0)=5.745408903429763E-6
7:(1,0,0,0,0,1,1,1)=4.997710281050849E-9
8:(1,0,0,0,1,0,0,0)=2.2433363124137114E-4
9:(1,0,0,0,1,0,0,1)=2.1591968229213529E-7
10:(1,0,0,0,1,0,1,0)=6.655652881743681E-6
11:(1,0,0,0,1,0,1,1)=5.802697171294948E-9
12:(1,0,0,0,1,1,0,0)=1.5182846285735283E-5
13:(1,0,0,0,1,1,0,1)=1.293728273069044E-8
14:(1,0,0,0,1,1,1,0)=2.6342523956036864E-6
15:(1,0,0,0,1,1,1,1)=2.2122845328950443E-9
16:(1,0,0,1,0,0,0,0)=3.0289942125555483E-4
17:(1,0,0,1,0,0,0,1)=2.811927197152402E-7
18:(1,0,0,1,0,0,1,0)=7.854557886000224E-6
19:(1,0,0,1,0,0,1,1)=6.854351321223268E-9
20:(1,0,0,1,0,1,0,0)=1.781193837470086E-5
21:(1,0,0,1,0,1,0,1)=1.5178841198195458E-8
22:(1,0,0,1,0,1,1,0)=2.980923778322306E-6
23:(1,0,0,1,0,1,1,1)=2.503714669627878E-9
24:(1,0,0,1,1,0,0,0)=3.13039862519598E-5
25:(1,0,0,1,1,0,0,1)=2.6448807844062875E-8
26:(1,0,0,1,1,0,1,0)=3.7216874602586683E-6
27:(1,0,0,1,1,0,1,1)=3.130567793269105E-9
28:(1,0,0,1,1,1,0,0)=9.078388228413381E-6
29:(1,0,0,1,1,1,0,1)=7.602758821658819E-9
30:(1,0,0,1,1,1,1,0)=2.254261534707364E-6
31:(1,0,0,1,1,1,1,1)=1.891019282853816E-9
32:(1,0,1,0,0,0,0,0)=3.945826433192725E-4
33:(1,0,1,0,0,0,0,1)=3.573719287566461E-7
34:(1,0,1,0,0,0,1,0)=9.502014432584164E-6
35:(1,0,1,0,0,0,1,1)=8.288406041145472E-9
36:(1,0,1,0,0,1,0,0)=2.143537376041086E-5
37:(1,0,1,0,0,1,0,1)=1.8257084228870532E-8
38:(1,0,1,0,0,1,1,0)=3.4702621556885383E-6
39:(1,0,1,0,0,1,1,1)=2.915015444403425E-9
40:(1,0,1,0,1,0,0,0)=3.746417586901601E-5
41:(1,0,1,0,1,0,0,1)=3.16380155031758E-8
42:(1,0,1,0,1,0,1,0)=4.354411402552327E-6
43:(1,0,1,0,1,0,1,1)=3.6630743246635364E-9
44:(1,0,1,0,1,1,0,0)=1.0571880519430849E-5
45:(1,0,1,0,1,1,0,1)=8.853601540149105E-9
46:(1,0,1,0,1,1,1,0)=2.5787820436372936E-6
47:(1,0,1,0,1,1,1,1)=2.163394640558003E-9
48:(1,0,1,1,0,0,0,0)=5.988893181425274E-5
49:(1,0,1,1,0,0,0,1)=5.0347442058626885E-8
50:(1,0,1,1,0,0,1,0)=5.642452407764502E-6
51:(1,0,1,1,0,0,1,1)=4.7522003418658974E-9
52:(1,0,1,1,0,1,0,0)=1.3526825541302504E-5
53:(1,0,1,1,0,1,0,1)=1.1331989278850846E-8
54:(1,0,1,1,0,1,1,0)=3.127151687406955E-6
55:(1,0,1,1,0,1,1,1)=2.6237258828483996E-9
56:(1,0,1,1,1,0,0,0)=2.5300246745804105E-5
57:(1,0,1,1,1,0,0,1)=2.1155733314404408E-8
58:(1,0,1,1,1,0,1,0)=4.290438176501104E-6
59:(1,0,1,1,1,0,1,1)=3.6026716822370988E-9
60:(1,0,1,1,1,1,0,0)=1.0999039839982981E-5
61:(1,0,1,1,1,1,0,1)=9.206996228759369E-9
62:(1,0,1,1,1,1,1,0)=3.5044745784117965E-6
63:(1,0,1,1,1,1,1,1)=2.939240581789857E-9
64:(1,1,1,0,0,0,0,0)=0.04305489493358895
65:(1,1,1,0,0,0,0,1)=0.0043494057267244295
66:(1,1,1,0,0,0,1,0)=0.005447340710887404
67:(1,1,1,0,0,0,1,1)=0.00108994837426569
68:(1,1,1,0,0,1,0,0)=0.006880202117483183
69:(1,1,1,0,0,1,0,1)=0.0012505876648032605
70:(1,1,1,0,0,1,1,0)=0.0018331854938038574
71:(1,1,1,0,0,1,1,1)=5.223530811523191E-4
72:(1,1,1,0,1,0,0,0)=0.008804968596352691
73:(1,1,1,0,1,0,0,1)=0.001466392440687711
74:(1,1,1,0,1,0,1,0)=0.002165200914779311
75:(1,1,1,0,1,0,1,1)=5.909998171343392E-4
76:(1,1,1,0,1,1,0,0)=0.003154096936948946
77:(1,1,1,0,1,1,0,1)=7.355778901620127E-4
78:(1,1,1,0,1,1,1,0)=0.0012816170450767625
79:(1,1,1,0,1,1,1,1)=4.4783212852271445E-4
80:(1,1,1,1,0,0,0,0)=0.01149802619222875
81:(1,1,1,1,0,0,0,1)=0.001768366847089633
82:(1,1,1,1,0,0,1,0)=0.002636592255488018
83:(1,1,1,1,0,0,1,1)=6.879247477595972E-4
84:(1,1,1,1,0,1,0,0)=0.003847981818013886
85:(1,1,1,1,0,1,0,1)=8.605553308171678E-4
86:(1,1,1,1,0,1,1,0)=0.0015097718112582334
87:(1,1,1,1,0,1,1,1)=5.122746821914704E-4
88:(1,1,1,1,1,0,0,0)=0.0056331308148839885
89:(1,1,1,1,1,0,0,1)=0.0011123716268665752
90:(1,1,1,1,1,0,1,0)=0.0019493297980901823
91:(1,1,1,1,1,0,1,1)=6.211245548992334E-4
92:(1,1,1,1,1,1,0,0)=0.003231764704736672
93:(1,1,1,1,1,1,0,1)=8.508149229839787E-4
94:(1,1,1,1,1,1,1,0)=0.0017410895638651715
95:(1,1,1,1,1,1,1,1)=6.966465385619416E-4
96:(2,0,0,0,0,0,0,0)=0.04290679021579819
97:(2,0,0,0,0,0,0,1)=9.272713799678966E-5
98:(2,0,0,0,0,0,1,0)=1.5508576369853693E-4
99:(2,0,0,0,0,0,1,1)=5.745408903429764E-6
100:(2,0,0,0,0,1,0,0)=2.243336312413712E-4
101:(2,0,0,0,0,1,0,1)=6.655652881743682E-6
102:(2,0,0,0,0,1,1,0)=1.5182846285735286E-5
103:(2,0,0,0,0,1,1,1)=2.6342523956036873E-6
104:(2,0,0,0,1,0,0,0)=3.0289942125555483E-4
105:(2,0,0,0,1,0,0,1)=7.85455788600022E-6
106:(2,0,0,0,1,0,1,0)=1.781193837470086E-5
107:(2,0,0,0,1,0,1,1)=2.9809237783223055E-6
108:(2,0,0,0,1,1,0,0)=3.130398625195979E-5
109:(2,0,0,0,1,1,0,1)=3.7216874602586683E-6
110:(2,0,0,0,1,1,1,0)=9.07838822841338E-6
111:(2,0,0,0,1,1,1,1)=2.254261534707364E-6
112:(2,0,0,1,0,0,0,0)=3.9458264331927257E-4
113:(2,0,0,1,0,0,0,1)=9.502014432584164E-6
114:(2,0,0,1,0,0,1,0)=2.1435373760410863E-5
115:(2,0,0,1,0,0,1,1)=3.4702621556885383E-6
116:(2,0,0,1,0,1,0,0)=3.746417586901601E-5
117:(2,0,0,1,0,1,0,1)=4.354411402552329E-6
118:(2,0,0,1,0,1,1,0)=1.0571880519430849E-5
119:(2,0,0,1,0,1,1,1)=2.578782043637294E-6
120:(2,0,0,1,1,0,0,0)=5.988893181425274E-5
121:(2,0,0,1,1,0,0,1)=5.642452407764501E-6
122:(2,0,0,1,1,0,1,0)=1.3526825541302503E-5
123:(2,0,0,1,1,0,1,1)=3.1271516874069554E-6
124:(2,0,0,1,1,1,0,0)=2.530024674580411E-5
125:(2,0,0,1,1,1,0,1)=4.290438176501105E-6
126:(2,0,0,1,1,1,1,0)=1.0999039839982981E-5
127:(2,0,0,1,1,1,1,1)=3.5044745784117965E-6
128:(2,0,1,0,0,0,0,0)=3.560663782186642E-5
129:(2,0,1,0,0,0,0,1)=1.0659263959407677E-7
130:(2,0,1,0,0,0,1,0)=1.5839287438430324E-7
131:(2,0,1,0,0,0,1,1)=4.997710281050848E-9
132:(2,0,1,0,0,1,0,0)=2.159196822921353E-7
133:(2,0,1,0,0,1,0,1)=5.802697171294948E-9
134:(2,0,1,0,0,1,1,0)=1.2937282730690445E-8
135:(2,0,1,0,0,1,1,1)=2.212284532895045E-9
136:(2,0,1,0,1,0,0,0)=2.8119271971524013E-7
137:(2,0,1,0,1,0,0,1)=6.854351321223267E-9
138:(2,0,1,0,1,0,1,0)=1.517884119819546E-8
139:(2,0,1,0,1,0,1,1)=2.503714669627878E-9
140:(2,0,1,0,1,1,0,0)=2.644880784406287E-8
141:(2,0,1,0,1,1,0,1)=3.130567793269105E-9
142:(2,0,1,0,1,1,1,0)=7.602758821658817E-9
143:(2,0,1,0,1,1,1,1)=1.891019282853816E-9
144:(2,0,1,1,0,0,0,0)=3.573719287566461E-7
145:(2,0,1,1,0,0,0,1)=8.28840604114547E-9
146:(2,0,1,1,0,0,1,0)=1.8257084228870535E-8
147:(2,0,1,1,0,0,1,1)=2.9150154444034254E-9
148:(2,0,1,1,0,1,0,0)=3.1638015503175816E-8
149:(2,0,1,1,0,1,0,1)=3.663074324663539E-9
150:(2,0,1,1,0,1,1,0)=8.853601540149107E-9
151:(2,0,1,1,0,1,1,1)=2.1633946405580035E-9
152:(2,0,1,1,1,0,0,0)=5.034744205862687E-8
153:(2,0,1,1,1,0,0,1)=4.752200341865898E-9
154:(2,0,1,1,1,0,1,0)=1.133198927885085E-8
155:(2,0,1,1,1,0,1,1)=2.6237258828483996E-9
156:(2,0,1,1,1,1,0,0)=2.1155733314404408E-8
157:(2,0,1,1,1,1,0,1)=3.6026716822370996E-9
158:(2,0,1,1,1,1,1,0)=9.20699622875937E-9
159:(2,0,1,1,1,1,1,1)=2.939240581789857E-9
160:(2,1,0,1,0,0,0,0)=0.043054894933588946
161:(2,1,0,1,0,0,0,1)=0.005447340710887401
162:(2,1,0,1,0,0,1,0)=0.006880202117483181
163:(2,1,0,1,0,0,1,1)=0.0018331854938038574
164:(2,1,0,1,0,1,0,0)=0.008804968596352691
165:(2,1,0,1,0,1,0,1)=0.0021652009147793117
166:(2,1,0,1,0,1,1,0)=0.003154096936948946
167:(2,1,0,1,0,1,1,1)=0.0012816170450767625
168:(2,1,0,1,1,0,0,0)=0.011498026192228748
169:(2,1,0,1,1,0,0,1)=0.002636592255488018
170:(2,1,0,1,1,0,1,0)=0.003847981818013886
171:(2,1,0,1,1,0,1,1)=0.0015097718112582334
172:(2,1,0,1,1,1,0,0)=0.0056331308148839885
173:(2,1,0,1,1,1,0,1)=0.0019493297980901823
174:(2,1,0,1,1,1,1,0)=0.0032317647047366716
175:(2,1,0,1,1,1,1,1)=0.001741089563865171
176:(2,1,1,1,0,0,0,0)=0.004349405726724429
177:(2,1,1,1,0,0,0,1)=0.00108994837426569
178:(2,1,1,1,0,0,1,0)=0.0012505876648032605
179:(2,1,1,1,0,0,1,1)=5.223530811523194E-4
180:(2,1,1,1,0,1,0,0)=0.001466392440687711
181:(2,1,1,1,0,1,0,1)=5.909998171343394E-4
182:(2,1,1,1,0,1,1,0)=7.35577890162013E-4
183:(2,1,1,1,0,1,1,1)=4.4783212852271445E-4
184:(2,1,1,1,1,0,0,0)=0.001768366847089633
185:(2,1,1,1,1,0,0,1)=6.879247477595974E-4
186:(2,1,1,1,1,0,1,0)=8.605553308171678E-4
187:(2,1,1,1,1,0,1,1)=5.122746821914703E-4
188:(2,1,1,1,1,1,0,0)=0.0011123716268665752
189:(2,1,1,1,1,1,0,1)=6.211245548992334E-4
190:(2,1,1,1,1,1,1,0)=8.508149229839787E-4
191:(2,1,1,1,1,1,1,1)=6.966465385619417E-4
192:(3,0,0,0,0,0,0,0)=0.042906790215798206
193:(3,0,0,0,0,0,0,1)=1.5508576369853696E-4
194:(3,0,0,0,0,0,1,0)=2.243336312413712E-4
195:(3,0,0,0,0,0,1,1)=1.5182846285735286E-5
196:(3,0,0,0,0,1,0,0)=3.028994212555549E-4
197:(3,0,0,0,0,1,0,1)=1.7811938374700862E-5
198:(3,0,0,0,0,1,1,0)=3.13039862519598E-5
199:(3,0,0,0,0,1,1,1)=9.078388228413381E-6
200:(3,0,0,0,1,0,0,0)=3.9458264331927257E-4
201:(3,0,0,0,1,0,0,1)=2.143537376041086E-5
202:(3,0,0,0,1,0,1,0)=3.746417586901601E-5
203:(3,0,0,0,1,0,1,1)=1.0571880519430847E-5
204:(3,0,0,0,1,1,0,0)=5.9888931814252725E-5
205:(3,0,0,0,1,1,0,1)=1.3526825541302503E-5
206:(3,0,0,0,1,1,1,0)=2.53002467458041E-5
207:(3,0,0,0,1,1,1,1)=1.0999039839982981E-5
208:(3,0,0,1,0,0,0,0)=3.560663782186642E-5
209:(3,0,0,1,0,0,0,1)=1.5839287438430322E-7
210:(3,0,0,1,0,0,1,0)=2.1591968229213529E-7
211:(3,0,0,1,0,0,1,1)=1.2937282730690445E-8
212:(3,0,0,1,0,1,0,0)=2.811927197152401E-7
213:(3,0,0,1,0,1,0,1)=1.517884119819546E-8
214:(3,0,0,1,0,1,1,0)=2.644880784406287E-8
215:(3,0,0,1,0,1,1,1)=7.60275882165882E-9
216:(3,0,0,1,1,0,0,0)=3.573719287566459E-7
217:(3,0,0,1,1,0,0,1)=1.8257084228870532E-8
218:(3,0,0,1,1,0,1,0)=3.1638015503175816E-8
219:(3,0,0,1,1,0,1,1)=8.853601540149108E-9
220:(3,0,0,1,1,1,0,0)=5.0347442058626865E-8
221:(3,0,0,1,1,1,0,1)=1.133198927885085E-8
222:(3,0,0,1,1,1,1,0)=2.1155733314404408E-8
223:(3,0,0,1,1,1,1,1)=9.20699622875937E-9
224:(3,0,1,0,0,0,0,0)=9.272713799678966E-5
225:(3,0,1,0,0,0,0,1)=5.745408903429764E-6
226:(3,0,1,0,0,0,1,0)=6.655652881743685E-6
227:(3,0,1,0,0,0,1,1)=2.6342523956036873E-6
228:(3,0,1,0,0,1,0,0)=7.854557886000224E-6
229:(3,0,1,0,0,1,0,1)=2.9809237783223055E-6
230:(3,0,1,0,0,1,1,0)=3.7216874602586683E-6
231:(3,0,1,0,0,1,1,1)=2.2542615347073646E-6
232:(3,0,1,0,1,0,0,0)=9.502014432584164E-6
233:(3,0,1,0,1,0,0,1)=3.4702621556885383E-6
234:(3,0,1,0,1,0,1,0)=4.354411402552329E-6
235:(3,0,1,0,1,0,1,1)=2.5787820436372953E-6
236:(3,0,1,0,1,1,0,0)=5.642452407764501E-6
237:(3,0,1,0,1,1,0,1)=3.1271516874069554E-6
238:(3,0,1,0,1,1,1,0)=4.290438176501105E-6
239:(3,0,1,0,1,1,1,1)=3.504474578411798E-6
240:(3,0,1,1,0,0,0,0)=1.0659263959407673E-7
241:(3,0,1,1,0,0,0,1)=4.997710281050848E-9
242:(3,0,1,1,0,0,1,0)=5.802697171294949E-9
243:(3,0,1,1,0,0,1,1)=2.2122845328950456E-9
244:(3,0,1,1,0,1,0,0)=6.854351321223265E-9
245:(3,0,1,1,0,1,0,1)=2.503714669627879E-9
246:(3,0,1,1,0,1,1,0)=3.1305677932691056E-9
247:(3,0,1,1,0,1,1,1)=1.891019282853816E-9
248:(3,0,1,1,1,0,0,0)=8.288406041145472E-9
249:(3,0,1,1,1,0,0,1)=2.9150154444034254E-9
250:(3,0,1,1,1,0,1,0)=3.6630743246635393E-9
251:(3,0,1,1,1,0,1,1)=2.1633946405580035E-9
252:(3,0,1,1,1,1,0,0)=4.752200341865899E-9
253:(3,0,1,1,1,1,0,1)=2.6237258828484E-9
254:(3,0,1,1,1,1,1,0)=3.6026716822370988E-9
255:(3,0,1,1,1,1,1,1)=2.9392405817898575E-9
256:(3,1,0,0,1,0,0,0)=0.04305489493358893
257:(3,1,0,0,1,0,0,1)=0.0068802021174831805
258:(3,1,0,0,1,0,1,0)=0.008804968596352691
259:(3,1,0,0,1,0,1,1)=0.0031540969369489467
260:(3,1,0,0,1,1,0,0)=0.011498026192228747
261:(3,1,0,0,1,1,0,1)=0.003847981818013886
262:(3,1,0,0,1,1,1,0)=0.0056331308148839885
263:(3,1,0,0,1,1,1,1)=0.0032317647047366716
264:(3,1,0,1,1,0,0,0)=0.004349405726724429
265:(3,1,0,1,1,0,0,1)=0.0012505876648032605
266:(3,1,0,1,1,0,1,0)=0.001466392440687711
267:(3,1,0,1,1,0,1,1)=7.355778901620127E-4
268:(3,1,0,1,1,1,0,0)=0.001768366847089633
269:(3,1,0,1,1,1,0,1)=8.605553308171678E-4
270:(3,1,0,1,1,1,1,0)=0.0011123716268665747
271:(3,1,0,1,1,1,1,1)=8.508149229839787E-4
272:(3,1,1,0,1,0,0,0)=0.005447340710887401
273:(3,1,1,0,1,0,0,1)=0.0018331854938038574
274:(3,1,1,0,1,0,1,0)=0.0021652009147793117
275:(3,1,1,0,1,0,1,1)=0.001281617045076762
276:(3,1,1,0,1,1,0,0)=0.0026365922554880184
277:(3,1,1,0,1,1,0,1)=0.0015097718112582334
278:(3,1,1,0,1,1,1,0)=0.0019493297980901817
279:(3,1,1,0,1,1,1,1)=0.0017410895638651715
280:(3,1,1,1,1,0,0,0)=0.00108994837426569
281:(3,1,1,1,1,0,0,1)=5.223530811523191E-4
282:(3,1,1,1,1,0,1,0)=5.909998171343392E-4
283:(3,1,1,1,1,0,1,1)=4.478321285227145E-4
284:(3,1,1,1,1,1,0,0)=6.879247477595971E-4
285:(3,1,1,1,1,1,0,1)=5.122746821914704E-4
286:(3,1,1,1,1,1,1,0)=6.211245548992334E-4
287:(3,1,1,1,1,1,1,1)=6.966465385619417E-4
288:(4,0,0,0,0,0,0,0)=0.0429067902157982
289:(4,0,0,0,0,0,0,1)=2.243336312413712E-4
290:(4,0,0,0,0,0,1,0)=3.028994212555549E-4
291:(4,0,0,0,0,0,1,1)=3.1303986251959795E-5
292:(4,0,0,0,0,1,0,0)=3.945826433192725E-4
293:(4,0,0,0,0,1,0,1)=3.746417586901601E-5
294:(4,0,0,0,0,1,1,0)=5.988893181425272E-5
295:(4,0,0,0,0,1,1,1)=2.5300246745804105E-5
296:(4,0,0,0,1,0,0,0)=3.56066378218664E-5
297:(4,0,0,0,1,0,0,1)=2.1591968229213529E-7
298:(4,0,0,0,1,0,1,0)=2.811927197152401E-7
299:(4,0,0,0,1,0,1,1)=2.6448807844062875E-8
300:(4,0,0,0,1,1,0,0)=3.573719287566459E-7
301:(4,0,0,0,1,1,0,1)=3.1638015503175816E-8
302:(4,0,0,0,1,1,1,0)=5.034744205862687E-8
303:(4,0,0,0,1,1,1,1)=2.1155733314404408E-8
304:(4,0,0,1,0,0,0,0)=9.272713799678961E-5
305:(4,0,0,1,0,0,0,1)=6.655652881743682E-6
306:(4,0,0,1,0,0,1,0)=7.85455788600022E-6
307:(4,0,0,1,0,0,1,1)=3.7216874602586683E-6
308:(4,0,0,1,0,1,0,0)=9.502014432584164E-6
309:(4,0,0,1,0,1,0,1)=4.354411402552329E-6
310:(4,0,0,1,0,1,1,0)=5.642452407764501E-6
311:(4,0,0,1,0,1,1,1)=4.290438176501105E-6
312:(4,0,0,1,1,0,0,0)=1.0659263959407669E-7
313:(4,0,0,1,1,0,0,1)=5.802697171294949E-9
314:(4,0,0,1,1,0,1,0)=6.854351321223265E-9
315:(4,0,0,1,1,0,1,1)=3.130567793269105E-9
316:(4,0,0,1,1,1,0,0)=8.288406041145476E-9
317:(4,0,0,1,1,1,0,1)=3.6630743246635393E-9
318:(4,0,0,1,1,1,1,0)=4.7522003418658974E-9
319:(4,0,0,1,1,1,1,1)=3.6026716822370988E-9
320:(4,0,1,0,0,0,0,0)=1.550857636985369E-4
321:(4,0,1,0,0,0,0,1)=1.518284628573528E-5
322:(4,0,1,0,0,0,1,0)=1.781193837470086E-5
323:(4,0,1,0,0,0,1,1)=9.078388228413383E-6
324:(4,0,1,0,0,1,0,0)=2.1435373760410856E-5
325:(4,0,1,0,0,1,0,1)=1.0571880519430847E-5
326:(4,0,1,0,0,1,1,0)=1.3526825541302503E-5
327:(4,0,1,0,0,1,1,1)=1.0999039839982981E-5
328:(4,0,1,0,1,0,0,0)=1.583928743843032E-7
329:(4,0,1,0,1,0,0,1)=1.2937282730690442E-8
330:(4,0,1,0,1,0,1,0)=1.517884119819546E-8
331:(4,0,1,0,1,0,1,1)=7.602758821658819E-9
332:(4,0,1,0,1,1,0,0)=1.8257084228870532E-8
333:(4,0,1,0,1,1,0,1)=8.853601540149108E-9
334:(4,0,1,0,1,1,1,0)=1.133198927885085E-8
335:(4,0,1,0,1,1,1,1)=9.206996228759369E-9
336:(4,0,1,1,0,0,0,0)=5.745408903429763E-6
337:(4,0,1,1,0,0,0,1)=2.6342523956036873E-6
338:(4,0,1,1,0,0,1,0)=2.9809237783223055E-6
339:(4,0,1,1,0,0,1,1)=2.2542615347073646E-6
340:(4,0,1,1,0,1,0,0)=3.4702621556885383E-6
341:(4,0,1,1,0,1,0,1)=2.578782043637295E-6
342:(4,0,1,1,0,1,1,0)=3.1271516874069558E-6
343:(4,0,1,1,0,1,1,1)=3.5044745784117965E-6
344:(4,0,1,1,1,0,0,0)=4.997710281050848E-9
345:(4,0,1,1,1,0,0,1)=2.212284532895045E-9
346:(4,0,1,1,1,0,1,0)=2.503714669627879E-9
347:(4,0,1,1,1,0,1,1)=1.891019282853816E-9
348:(4,0,1,1,1,1,0,0)=2.9150154444034254E-9
349:(4,0,1,1,1,1,0,1)=2.1633946405580035E-9
350:(4,0,1,1,1,1,1,0)=2.6237258828483996E-9
351:(4,0,1,1,1,1,1,1)=2.9392405817898575E-9
352:(4,1,0,0,0,1,0,0)=0.04305489493358893
353:(4,1,0,0,0,1,0,1)=0.008804968596352691
354:(4,1,0,0,0,1,1,0)=0.011498026192228748
355:(4,1,0,0,0,1,1,1)=0.0056331308148839885
356:(4,1,0,0,1,1,0,0)=0.004349405726724429
357:(4,1,0,0,1,1,0,1)=0.0014663924406877109
358:(4,1,0,0,1,1,1,0)=0.001768366847089633
359:(4,1,0,0,1,1,1,1)=0.0011123716268665752
360:(4,1,0,1,0,1,0,0)=0.005447340710887403
361:(4,1,0,1,0,1,0,1)=0.0021652009147793117
362:(4,1,0,1,0,1,1,0)=0.002636592255488018
363:(4,1,0,1,0,1,1,1)=0.001949329798090182
364:(4,1,0,1,1,1,0,0)=0.00108994837426569
365:(4,1,0,1,1,1,0,1)=5.909998171343392E-4
366:(4,1,0,1,1,1,1,0)=6.879247477595972E-4
367:(4,1,0,1,1,1,1,1)=6.211245548992334E-4
368:(4,1,1,0,0,1,0,0)=0.006880202117483181
369:(4,1,1,0,0,1,0,1)=0.003154096936948947
370:(4,1,1,0,0,1,1,0)=0.003847981818013886
371:(4,1,1,0,0,1,1,1)=0.003231764704736672
372:(4,1,1,0,1,1,0,0)=0.00125058766480326
373:(4,1,1,0,1,1,0,1)=7.35577890162013E-4
374:(4,1,1,0,1,1,1,0)=8.605553308171678E-4
375:(4,1,1,0,1,1,1,1)=8.508149229839787E-4
376:(4,1,1,1,0,1,0,0)=0.0018331854938038574
377:(4,1,1,1,0,1,0,1)=0.0012816170450767625
378:(4,1,1,1,0,1,1,0)=0.001509771811258234
379:(4,1,1,1,0,1,1,1)=0.0017410895638651715
380:(4,1,1,1,1,1,0,0)=5.223530811523193E-4
381:(4,1,1,1,1,1,0,1)=4.4783212852271445E-4
382:(4,1,1,1,1,1,1,0)=5.122746821914704E-4
383:(4,1,1,1,1,1,1,1)=6.966465385619414E-4
384:(5,0,0,0,0,0,0,0)=0.04290679021579817
385:(5,0,0,0,0,0,0,1)=3.028994212555548E-4
386:(5,0,0,0,0,0,1,0)=3.945826433192725E-4
387:(5,0,0,0,0,0,1,1)=5.988893181425274E-5
388:(5,0,0,0,0,1,0,0)=3.56066378218664E-5
389:(5,0,0,0,0,1,0,1)=2.8119271971524003E-7
390:(5,0,0,0,0,1,1,0)=3.5737192875664594E-7
391:(5,0,0,0,0,1,1,1)=5.034744205862687E-8
392:(5,0,0,0,1,0,0,0)=9.27271379967896E-5
393:(5,0,0,0,1,0,0,1)=7.854557886000222E-6
394:(5,0,0,0,1,0,1,0)=9.502014432584163E-6
395:(5,0,0,0,1,0,1,1)=5.642452407764501E-6
396:(5,0,0,0,1,1,0,0)=1.065926395940767E-7
397:(5,0,0,0,1,1,0,1)=6.854351321223267E-9
398:(5,0,0,0,1,1,1,0)=8.288406041145472E-9
399:(5,0,0,0,1,1,1,1)=4.7522003418658974E-9
400:(5,0,0,1,0,0,0,0)=1.5508576369853685E-4
401:(5,0,0,1,0,0,0,1)=1.781193837470086E-5
402:(5,0,0,1,0,0,1,0)=2.143537376041086E-5
403:(5,0,0,1,0,0,1,1)=1.3526825541302504E-5
404:(5,0,0,1,0,1,0,0)=1.583928743843032E-7
405:(5,0,0,1,0,1,0,1)=1.517884119819546E-8
406:(5,0,0,1,0,1,1,0)=1.825708422887054E-8
407:(5,0,0,1,0,1,1,1)=1.133198927885085E-8
408:(5,0,0,1,1,0,0,0)=5.745408903429766E-6
409:(5,0,0,1,1,0,0,1)=2.980923778322306E-6
410:(5,0,0,1,1,0,1,0)=3.4702621556885383E-6
411:(5,0,0,1,1,0,1,1)=3.127151687406955E-6
412:(5,0,0,1,1,1,0,0)=4.997710281050849E-9
413:(5,0,0,1,1,1,0,1)=2.503714669627878E-9
414:(5,0,0,1,1,1,1,0)=2.915015444403425E-9
415:(5,0,0,1,1,1,1,1)=2.6237258828483996E-9
416:(5,0,1,0,0,0,0,0)=2.2433363124137114E-4
417:(5,0,1,0,0,0,0,1)=3.13039862519598E-5
418:(5,0,1,0,0,0,1,0)=3.746417586901602E-5
419:(5,0,1,0,0,0,1,1)=2.530024674580411E-5
420:(5,0,1,0,0,1,0,0)=2.1591968229213529E-7
421:(5,0,1,0,0,1,0,1)=2.6448807844062875E-8
422:(5,0,1,0,0,1,1,0)=3.1638015503175816E-8
423:(5,0,1,0,0,1,1,1)=2.1155733314404408E-8
424:(5,0,1,0,1,0,0,0)=6.655652881743683E-6
425:(5,0,1,0,1,0,0,1)=3.721687460258669E-6
426:(5,0,1,0,1,0,1,0)=4.354411402552329E-6
427:(5,0,1,0,1,0,1,1)=4.290438176501104E-6
428:(5,0,1,0,1,1,0,0)=5.802697171294949E-9
429:(5,0,1,0,1,1,0,1)=3.130567793269104E-9
430:(5,0,1,0,1,1,1,0)=3.663074324663539E-9
431:(5,0,1,0,1,1,1,1)=3.6026716822370988E-9
432:(5,0,1,1,0,0,0,0)=1.5182846285735286E-5
433:(5,0,1,1,0,0,0,1)=9.078388228413381E-6
434:(5,0,1,1,0,0,1,0)=1.0571880519430849E-5
435:(5,0,1,1,0,0,1,1)=1.0999039839982978E-5
436:(5,0,1,1,0,1,0,0)=1.2937282730690442E-8
437:(5,0,1,1,0,1,0,1)=7.602758821658817E-9
438:(5,0,1,1,0,1,1,0)=8.853601540149107E-9
439:(5,0,1,1,0,1,1,1)=9.206996228759369E-9
440:(5,0,1,1,1,0,0,0)=2.6342523956036864E-6
441:(5,0,1,1,1,0,0,1)=2.254261534707364E-6
442:(5,0,1,1,1,0,1,0)=2.578782043637294E-6
443:(5,0,1,1,1,0,1,1)=3.5044745784117965E-6
444:(5,0,1,1,1,1,0,0)=2.2122845328950447E-9
445:(5,0,1,1,1,1,0,1)=1.891019282853816E-9
446:(5,0,1,1,1,1,1,0)=2.1633946405580035E-9
447:(5,0,1,1,1,1,1,1)=2.9392405817898575E-9
448:(5,1,0,0,0,0,1,0)=0.04305489493358894
449:(5,1,0,0,0,0,1,1)=0.011498026192228748
450:(5,1,0,0,0,1,1,0)=0.004349405726724429
451:(5,1,0,0,0,1,1,1)=0.001768366847089633
452:(5,1,0,0,1,0,1,0)=0.005447340710887403
453:(5,1,0,0,1,0,1,1)=0.002636592255488018
454:(5,1,0,0,1,1,1,0)=0.00108994837426569
455:(5,1,0,0,1,1,1,1)=6.879247477595971E-4
456:(5,1,0,1,0,0,1,0)=0.006880202117483181
457:(5,1,0,1,0,0,1,1)=0.003847981818013886
458:(5,1,0,1,0,1,1,0)=0.0012505876648032607
459:(5,1,0,1,0,1,1,1)=8.605553308171679E-4
460:(5,1,0,1,1,0,1,0)=0.0018331854938038574
461:(5,1,0,1,1,0,1,1)=0.0015097718112582334
462:(5,1,0,1,1,1,1,0)=5.223530811523193E-4
463:(5,1,0,1,1,1,1,1)=5.122746821914704E-4
464:(5,1,1,0,0,0,1,0)=0.008804968596352691
465:(5,1,1,0,0,0,1,1)=0.005633130814883988
466:(5,1,1,0,0,1,1,0)=0.0014663924406877115
467:(5,1,1,0,0,1,1,1)=0.0011123716268665754
468:(5,1,1,0,1,0,1,0)=0.0021652009147793113
469:(5,1,1,0,1,0,1,1)=0.001949329798090182
470:(5,1,1,0,1,1,1,0)=5.909998171343392E-4
471:(5,1,1,0,1,1,1,1)=6.211245548992334E-4
472:(5,1,1,1,0,0,1,0)=0.003154096936948947
473:(5,1,1,1,0,0,1,1)=0.003231764704736672
474:(5,1,1,1,0,1,1,0)=7.35577890162013E-4
475:(5,1,1,1,0,1,1,1)=8.508149229839787E-4
476:(5,1,1,1,1,0,1,0)=0.0012816170450767625
477:(5,1,1,1,1,0,1,1)=0.0017410895638651715
478:(5,1,1,1,1,1,1,0)=4.4783212852271445E-4
479:(5,1,1,1,1,1,1,1)=6.966465385619416E-4
480:(6,0,0,0,0,0,0,0)=0.042906790215798185
481:(6,0,0,0,0,0,0,1)=3.945826433192724E-4
482:(6,0,0,0,0,0,1,0)=3.56066378218664E-5
483:(6,0,0,0,0,0,1,1)=3.5737192875664594E-7
484:(6,0,0,0,0,1,0,0)=9.27271379967896E-5
485:(6,0,0,0,0,1,0,1)=9.502014432584164E-6
486:(6,0,0,0,0,1,1,0)=1.0659263959407676E-7
487:(6,0,0,0,0,1,1,1)=8.288406041145477E-9
488:(6,0,0,0,1,0,0,0)=1.550857636985369E-4
489:(6,0,0,0,1,0,0,1)=2.143537376041086E-5
490:(6,0,0,0,1,0,1,0)=1.583928743843032E-7
491:(6,0,0,0,1,0,1,1)=1.825708422887053E-8
492:(6,0,0,0,1,1,0,0)=5.745408903429764E-6
493:(6,0,0,0,1,1,0,1)=3.4702621556885375E-6
494:(6,0,0,0,1,1,1,0)=4.997710281050849E-9
495:(6,0,0,0,1,1,1,1)=2.915015444403425E-9
496:(6,0,0,1,0,0,0,0)=2.2433363124137114E-4
497:(6,0,0,1,0,0,0,1)=3.746417586901602E-5
498:(6,0,0,1,0,0,1,0)=2.1591968229213529E-7
499:(6,0,0,1,0,0,1,1)=3.163801550317582E-8
500:(6,0,0,1,0,1,0,0)=6.655652881743685E-6
501:(6,0,0,1,0,1,0,1)=4.3544114025523305E-6
502:(6,0,0,1,0,1,1,0)=5.80269717129495E-9
503:(6,0,0,1,0,1,1,1)=3.6630743246635393E-9
504:(6,0,0,1,1,0,0,0)=1.5182846285735286E-5
505:(6,0,0,1,1,0,0,1)=1.0571880519430849E-5
506:(6,0,0,1,1,0,1,0)=1.2937282730690442E-8
507:(6,0,0,1,1,0,1,1)=8.853601540149107E-9
508:(6,0,0,1,1,1,0,0)=2.6342523956036873E-6
509:(6,0,0,1,1,1,0,1)=2.5787820436372953E-6
510:(6,0,0,1,1,1,1,0)=2.2122845328950456E-9
511:(6,0,0,1,1,1,1,1)=2.1633946405580035E-9
512:(6,0,1,0,0,0,0,0)=3.0289942125555483E-4
513:(6,0,1,0,0,0,0,1)=5.988893181425274E-5
514:(6,0,1,0,0,0,1,0)=2.811927197152401E-7
515:(6,0,1,0,0,0,1,1)=5.034744205862687E-8
516:(6,0,1,0,0,1,0,0)=7.854557886000224E-6
517:(6,0,1,0,0,1,0,1)=5.642452407764502E-6
518:(6,0,1,0,0,1,1,0)=6.854351321223268E-9
519:(6,0,1,0,0,1,1,1)=4.752200341865899E-9
520:(6,0,1,0,1,0,0,0)=1.781193837470086E-5
521:(6,0,1,0,1,0,0,1)=1.3526825541302503E-5
522:(6,0,1,0,1,0,1,0)=1.5178841198195455E-8
523:(6,0,1,0,1,0,1,1)=1.1331989278850845E-8
524:(6,0,1,0,1,1,0,0)=2.9809237783223055E-6
525:(6,0,1,0,1,1,0,1)=3.1271516874069554E-6
526:(6,0,1,0,1,1,1,0)=2.5037146696278777E-9
527:(6,0,1,0,1,1,1,1)=2.623725882848399E-9
528:(6,0,1,1,0,0,0,0)=3.13039862519598E-5
529:(6,0,1,1,0,0,0,1)=2.530024674580411E-5
530:(6,0,1,1,0,0,1,0)=2.6448807844062875E-8
531:(6,0,1,1,0,0,1,1)=2.1155733314404414E-8
532:(6,0,1,1,0,1,0,0)=3.721687460258669E-6
533:(6,0,1,1,0,1,0,1)=4.2904381765011056E-6
534:(6,0,1,1,0,1,1,0)=3.1305677932691056E-9
535:(6,0,1,1,0,1,1,1)=3.6026716822370996E-9
536:(6,0,1,1,1,0,0,0)=9.078388228413381E-6
537:(6,0,1,1,1,0,0,1)=1.0999039839982978E-5
538:(6,0,1,1,1,0,1,0)=7.602758821658819E-9
539:(6,0,1,1,1,0,1,1)=9.206996228759369E-9
540:(6,0,1,1,1,1,0,0)=2.2542615347073646E-6
541:(6,0,1,1,1,1,0,1)=3.5044745784117965E-6
542:(6,0,1,1,1,1,1,0)=1.891019282853816E-9
543:(6,0,1,1,1,1,1,1)=2.939240581789857E-9
544:(6,1,0,0,0,0,0,1)=0.04305489493358894
545:(6,1,0,0,0,0,1,1)=0.004349405726724429
546:(6,1,0,0,0,1,0,1)=0.005447340710887403
547:(6,1,0,0,0,1,1,1)=0.0010899483742656901
548:(6,1,0,0,1,0,0,1)=0.006880202117483181
549:(6,1,0,0,1,0,1,1)=0.0012505876648032602
550:(6,1,0,0,1,1,0,1)=0.001833185493803857
551:(6,1,0,0,1,1,1,1)=5.223530811523191E-4
552:(6,1,0,1,0,0,0,1)=0.008804968596352693
553:(6,1,0,1,0,0,1,1)=0.0014663924406877115
554:(6,1,0,1,0,1,0,1)=0.002165200914779312
555:(6,1,0,1,0,1,1,1)=5.909998171343392E-4
556:(6,1,0,1,1,0,0,1)=0.003154096936948947
557:(6,1,0,1,1,0,1,1)=7.355778901620128E-4
558:(6,1,0,1,1,1,0,1)=0.0012816170450767625
559:(6,1,0,1,1,1,1,1)=4.4783212852271445E-4
560:(6,1,1,0,0,0,0,1)=0.011498026192228748
561:(6,1,1,0,0,0,1,1)=0.0017683668470896334
562:(6,1,1,0,0,1,0,1)=0.0026365922554880184
563:(6,1,1,0,0,1,1,1)=6.879247477595972E-4
564:(6,1,1,0,1,0,0,1)=0.0038479818180138852
565:(6,1,1,0,1,0,1,1)=8.605553308171675E-4
566:(6,1,1,0,1,1,0,1)=0.0015097718112582334
567:(6,1,1,0,1,1,1,1)=5.122746821914703E-4
568:(6,1,1,1,0,0,0,1)=0.005633130814883991
569:(6,1,1,1,0,0,1,1)=0.0011123716268665754
570:(6,1,1,1,0,1,0,1)=0.0019493297980901823
571:(6,1,1,1,0,1,1,1)=6.211245548992334E-4
572:(6,1,1,1,1,0,0,1)=0.003231764704736672
573:(6,1,1,1,1,0,1,1)=8.508149229839787E-4
574:(6,1,1,1,1,1,0,1)=0.0017410895638651715
575:(6,1,1,1,1,1,1,1)=6.966465385619413E-4
Time for steady-state probability computation: 0.07 seconds.