PRISM
=====
Version: 4.8.1
Date: Fri Sep 13 10:51:37 GMT+01:00 2024
Hostname: n23m0131.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=1g
Command line: prism /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/nand/nand.prism -const 'N=40,K=1' -steadystate -explicit -relative -epsilon 0.001
Parsing model file "/rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/nand/nand.prism"...
Type: DTMC
Modules: multiplex
Variables: u c s z zx zy x y
---------------------------------------------------------------------
Computing steady-state probabilities...
Building model...
Model constants: N=40,K=1
Computing reachable states... 1004862 states
Reachable states exploration and model construction done in 1.46 secs.
Sorting reachable states list...
Time for model construction: 1.843 seconds.
Type: DTMC
States: 1004862 (1 initial)
Transitions: 1581422
Computing probability of reaching BSCC 1
Starting probabilistic reachability...
Calculating predecessor relation for discrete-time Markov chain... done (0.117 seconds)
Starting Prob0...
Prob0 took 0.144 seconds.
Starting Prob1...
Prob1 took 0.255 seconds.
target=1, yes=2, no=89534, maybe=915326
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 694141682 multiplications and 3.21 seconds.
Probabilistic reachability took 3.743 seconds.
Probability of reaching BSCC 1: 2.0000848758185206E-5
Computing probability of reaching BSCC 2
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.13 seconds.
Starting Prob1...
Prob1 took 0.252 seconds.
target=1, yes=2, no=86143, maybe=918717
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 696708298 multiplications and 3.175 seconds.
Probabilistic reachability took 3.561 seconds.
Probability of reaching BSCC 2: 4.6878720219613096E-5
Computing probability of reaching BSCC 3
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.112 seconds.
Starting Prob1...
Prob1 took 0.23 seconds.
target=1, yes=2, no=95165, maybe=909695
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 689878098 multiplications and 3.156 seconds.
Probabilistic reachability took 3.499 seconds.
Probability of reaching BSCC 3: 8.166630888202614E-6
Computing probability of reaching BSCC 4
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.117 seconds.
Starting Prob1...
Prob1 took 0.234 seconds.
target=1, yes=2, no=85010, maybe=919850
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 697565440 multiplications and 3.186 seconds.
Probabilistic reachability took 3.538 seconds.
Probability of reaching BSCC 4: 1.05917788331753E-4
Computing probability of reaching BSCC 5
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.114 seconds.
Starting Prob1...
Prob1 took 0.219 seconds.
target=1, yes=2, no=103008, maybe=901852
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 683937748 multiplications and 3.139 seconds.
Probabilistic reachability took 3.474 seconds.
Probability of reaching BSCC 5: 3.199454644421548E-6
Computing probability of reaching BSCC 6
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.114 seconds.
Starting Prob1...
Prob1 took 0.23 seconds.
target=1, yes=2, no=86143, maybe=918717
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 696708298 multiplications and 3.195 seconds.
Probabilistic reachability took 3.541 seconds.
Probability of reaching BSCC 6: 2.2876436438494315E-4
Computing probability of reaching BSCC 7
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.116 seconds.
Starting Prob1...
Prob1 took 0.23 seconds.
target=1, yes=2, no=89534, maybe=915326
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 694141682 multiplications and 3.189 seconds.
Probabilistic reachability took 3.539 seconds.
Probability of reaching BSCC 7: 4.789627867671664E-4
Computing probability of reaching BSCC 8
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.116 seconds.
Starting Prob1...
Prob1 took 0.235 seconds.
target=1, yes=2, no=95165, maybe=909695
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 689878098 multiplications and 3.192 seconds.
Probabilistic reachability took 3.545 seconds.
Probability of reaching BSCC 8: 9.535916668752426E-4
Computing probability of reaching BSCC 9
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.112 seconds.
Starting Prob1...
Prob1 took 0.229 seconds.
target=1, yes=2, no=103008, maybe=901852
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 683937748 multiplications and 3.163 seconds.
Probabilistic reachability took 3.506 seconds.
Probability of reaching BSCC 9: 0.0018556798873185431
Computing probability of reaching BSCC 10
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.112 seconds.
Starting Prob1...
Prob1 took 0.225 seconds.
target=1, yes=2, no=113025, maybe=891835
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 676348530 multiplications and 3.09 seconds.
Probabilistic reachability took 3.428 seconds.
Probability of reaching BSCC 10: 0.003395104581743417
Computing probability of reaching BSCC 11
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.111 seconds.
Starting Prob1...
Prob1 took 0.225 seconds.
target=1, yes=2, no=125168, maybe=879692
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 667146038 multiplications and 3.058 seconds.
Probabilistic reachability took 3.395 seconds.
Probability of reaching BSCC 11: 0.0061528891429765056
Computing probability of reaching BSCC 12
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.113 seconds.
Starting Prob1...
Prob1 took 0.225 seconds.
target=1, yes=2, no=113025, maybe=891835
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 676348530 multiplications and 2.892 seconds.
Probabilistic reachability took 3.232 seconds.
Probability of reaching BSCC 12: 1.1973887321356281E-6
Computing probability of reaching BSCC 13
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.109 seconds.
Starting Prob1...
Prob1 took 0.221 seconds.
target=1, yes=2, no=125168, maybe=879692
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 667146038 multiplications and 2.804 seconds.
Probabilistic reachability took 3.135 seconds.
Probability of reaching BSCC 13: 4.278007374383755E-7
Computing probability of reaching BSCC 14
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.108 seconds.
Starting Prob1...
Prob1 took 0.222 seconds.
target=1, yes=2, no=139379, maybe=865481
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 656373562 multiplications and 2.773 seconds.
Probabilistic reachability took 3.104 seconds.
Probability of reaching BSCC 14: 0.010269681011949111
Computing probability of reaching BSCC 15
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.106 seconds.
Starting Prob1...
Prob1 took 0.221 seconds.
target=1, yes=2, no=139379, maybe=865481
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 656373562 multiplications and 2.772 seconds.
Probabilistic reachability took 3.101 seconds.
Probability of reaching BSCC 15: 1.4536547927381083E-7
Computing probability of reaching BSCC 16
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.104 seconds.
Starting Prob1...
Prob1 took 0.21 seconds.
target=1, yes=2, no=155590, maybe=849270
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 644082088 multiplications and 2.73 seconds.
Probabilistic reachability took 3.045 seconds.
Probability of reaching BSCC 16: 0.017352827784034828
Computing probability of reaching BSCC 17
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.103 seconds.
Starting Prob1...
Prob1 took 0.22 seconds.
target=1, yes=2, no=173723, maybe=831137
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 630330298 multiplications and 2.692 seconds.
Probabilistic reachability took 3.015 seconds.
Probability of reaching BSCC 17: 0.026087901948618108
Computing probability of reaching BSCC 18
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.103 seconds.
Starting Prob1...
Prob1 took 0.225 seconds.
target=1, yes=2, no=155590, maybe=849270
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 644082088 multiplications and 2.733 seconds.
Probabilistic reachability took 3.062 seconds.
Probability of reaching BSCC 18: 4.684715891652341E-8
Computing probability of reaching BSCC 19
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.1 seconds.
Starting Prob1...
Prob1 took 0.215 seconds.
target=1, yes=2, no=193690, maybe=811170
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 615184570 multiplications and 2.63 seconds.
Probabilistic reachability took 2.948 seconds.
Probability of reaching BSCC 19: 0.04111307141955893
Computing probability of reaching BSCC 20
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.101 seconds.
Starting Prob1...
Prob1 took 0.208 seconds.
target=1, yes=2, no=173723, maybe=831137
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 630330298 multiplications and 2.678 seconds.
Probabilistic reachability took 2.988 seconds.
Probability of reaching BSCC 20: 1.42548213444952E-8
Computing probability of reaching BSCC 21
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.097 seconds.
Starting Prob1...
Prob1 took 0.212 seconds.
target=1, yes=2, no=215393, maybe=789467
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 598718978 multiplications and 2.567 seconds.
Probabilistic reachability took 2.877 seconds.
Probability of reaching BSCC 21: 0.054539384661997134
Computing probability of reaching BSCC 22
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.094 seconds.
Starting Prob1...
Prob1 took 0.209 seconds.
target=1, yes=2, no=238724, maybe=766136
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 581015292 multiplications and 2.504 seconds.
Probabilistic reachability took 2.808 seconds.
Probability of reaching BSCC 22: 0.08009935878506662
Computing probability of reaching BSCC 23
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.097 seconds.
Starting Prob1...
Prob1 took 0.214 seconds.
target=1, yes=2, no=193690, maybe=811170
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 615184570 multiplications and 2.638 seconds.
Probabilistic reachability took 2.95 seconds.
Probability of reaching BSCC 23: 4.075457016262725E-9
Computing probability of reaching BSCC 24
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.096 seconds.
Starting Prob1...
Prob1 took 0.212 seconds.
target=1, yes=2, no=215393, maybe=789467
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 598718978 multiplications and 2.577 seconds.
Probabilistic reachability took 2.887 seconds.
Probability of reaching BSCC 24: 1.0877911609033704E-9
Computing probability of reaching BSCC 25
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.091 seconds.
Starting Prob1...
Prob1 took 0.206 seconds.
target=1, yes=2, no=238724, maybe=766136
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 581015292 multiplications and 2.517 seconds.
Probabilistic reachability took 2.815 seconds.
Probability of reaching BSCC 25: 2.6894337354281583E-10
Computing probability of reaching BSCC 26
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.09 seconds.
Starting Prob1...
Prob1 took 0.206 seconds.
target=1, yes=2, no=263565, maybe=741295
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 562162978 multiplications and 2.448 seconds.
Probabilistic reachability took 2.745 seconds.
Probability of reaching BSCC 26: 0.09071984422844413
Computing probability of reaching BSCC 27
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.087 seconds.
Starting Prob1...
Prob1 took 0.204 seconds.
target=1, yes=2, no=263565, maybe=741295
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 562162978 multiplications and 2.467 seconds.
Probabilistic reachability took 2.76 seconds.
Probability of reaching BSCC 27: 6.097070607613947E-11
Computing probability of reaching BSCC 28
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.089 seconds.
Starting Prob1...
Prob1 took 0.226 seconds.
target=1, yes=2, no=289788, maybe=715072
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 542259198 multiplications and 2.392 seconds.
Probabilistic reachability took 2.708 seconds.
Probability of reaching BSCC 28: 0.12384723369824963
Computing probability of reaching BSCC 29
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.084 seconds.
Starting Prob1...
Prob1 took 0.203 seconds.
target=1, yes=2, no=289788, maybe=715072
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 542259198 multiplications and 2.386 seconds.
Probabilistic reachability took 2.673 seconds.
Probability of reaching BSCC 29: 1.2508190554178318E-11
Computing probability of reaching BSCC 30
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.083 seconds.
Starting Prob1...
Prob1 took 0.201 seconds.
target=1, yes=2, no=317255, maybe=687605
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 521408810 multiplications and 2.291 seconds.
Probabilistic reachability took 2.577 seconds.
Probability of reaching BSCC 30: 0.11326720630894606
Computing probability of reaching BSCC 31
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.078 seconds.
Starting Prob1...
Prob1 took 0.2 seconds.
target=1, yes=2, no=345818, maybe=659042
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 499724368 multiplications and 2.218 seconds.
Probabilistic reachability took 2.498 seconds.
Probability of reaching BSCC 31: 0.14296518882931752
Computing probability of reaching BSCC 32
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.076 seconds.
Starting Prob1...
Prob1 took 0.198 seconds.
target=1, yes=2, no=375319, maybe=629541
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 477326122 multiplications and 2.312 seconds.
Probabilistic reachability took 2.588 seconds.
Probability of reaching BSCC 32: 0.09486882676597956
Computing probability of reaching BSCC 33
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.069 seconds.
Starting Prob1...
Prob1 took 0.189 seconds.
target=1, yes=2, no=405590, maybe=599270
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 454342018 multiplications and 2.222 seconds.
Probabilistic reachability took 2.483 seconds.
Probability of reaching BSCC 33: 0.10964691161281119
Computing probability of reaching BSCC 34
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.066 seconds.
Starting Prob1...
Prob1 took 0.187 seconds.
target=1, yes=2, no=436453, maybe=568407
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 430907698 multiplications and 2.132 seconds.
Probabilistic reachability took 2.386 seconds.
Probability of reaching BSCC 34: 0.040156387451150376
Computing probability of reaching BSCC 35
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.062 seconds.
Starting Prob1...
Prob1 took 0.184 seconds.
target=1, yes=2, no=467720, maybe=537140
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 407166500 multiplications and 2.048 seconds.
Probabilistic reachability took 2.294 seconds.
Probability of reaching BSCC 35: 0.04181518245567247
Computing probability of reaching BSCC 36
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.082 seconds.
Starting Prob1...
Prob1 took 0.241 seconds.
target=1, yes=2, no=317255, maybe=687605
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 521408810 multiplications and 2.504 seconds.
Probabilistic reachability took 2.829 seconds.
Probability of reaching BSCC 36: 2.2810744491698126E-12
Computing probability of reaching BSCC 37
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.078 seconds.
Starting Prob1...
Prob1 took 0.2 seconds.
target=1, yes=2, no=345818, maybe=659042
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 499724368 multiplications and 2.405 seconds.
Probabilistic reachability took 2.685 seconds.
Probability of reaching BSCC 37: 3.6064896729927913E-13
Computing probability of reaching BSCC 38
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.072 seconds.
Starting Prob1...
Prob1 took 0.192 seconds.
target=1, yes=2, no=375319, maybe=629541
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 477326122 multiplications and 2.32 seconds.
Probabilistic reachability took 2.586 seconds.
Probability of reaching BSCC 38: 4.76260674633763E-14
Computing probability of reaching BSCC 39
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.069 seconds.
Starting Prob1...
Prob1 took 0.188 seconds.
target=1, yes=2, no=405590, maybe=599270
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 454342018 multiplications and 2.231 seconds.
Probabilistic reachability took 2.49 seconds.
Probability of reaching BSCC 39: 4.945023993035241E-15
Computing probability of reaching BSCC 40
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.065 seconds.
Starting Prob1...
Prob1 took 0.186 seconds.
target=1, yes=2, no=436453, maybe=568407
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 430907698 multiplications and 2.14 seconds.
Probabilistic reachability took 2.392 seconds.
Probability of reaching BSCC 40: 3.605660087378667E-16
Computing probability of reaching BSCC 41
Starting probabilistic reachability...
Starting Prob0...
Prob0 took 0.063 seconds.
Starting Prob1...
Prob1 took 0.185 seconds.
target=1, yes=2, no=467720, maybe=537140
Starting value iteration (with Jacobi)...
Value iteration (with Jacobi) took 481 iterations, 407166500 multiplications and 2.039 seconds.
Probabilistic reachability took 2.288 seconds.
Probability of reaching BSCC 41: 1.39265681808609E-17
Computing steady-state probabilities for BSCC 1
Starting value iteration...
Power method: 1 iterations in 0.005 seconds.
Computing steady-state probabilities for BSCC 2
Starting value iteration...
Power method: 1 iterations in 0.003 seconds.
Computing steady-state probabilities for BSCC 3
Starting value iteration...
Power method: 1 iterations in 0.003 seconds.
Computing steady-state probabilities for BSCC 4
Starting value iteration...
Power method: 1 iterations in 0.002 seconds.
Computing steady-state probabilities for BSCC 5
Starting value iteration...
Power method: 1 iterations in 0.003 seconds.
Computing steady-state probabilities for BSCC 6
Starting value iteration...
Power method: 1 iterations in 0.002 seconds.
Computing steady-state probabilities for BSCC 7
Starting value iteration...
Power method: 1 iterations in 0.003 seconds.
Computing steady-state probabilities for BSCC 8
Starting value iteration...
Power method: 1 iterations in 0.004 seconds.
Computing steady-state probabilities for BSCC 9
Starting value iteration...
Power method: 1 iterations in 0.004 seconds.
Computing steady-state probabilities for BSCC 10
Starting value iteration...
Power method: 1 iterations in 0.004 seconds.
Computing steady-state probabilities for BSCC 11
Starting value iteration...
Power method: 1 iterations in 0.004 seconds.
Computing steady-state probabilities for BSCC 12
Starting value iteration...
Power method: 1 iterations in 0.004 seconds.
Computing steady-state probabilities for BSCC 13
Starting value iteration...
Power method: 1 iterations in 0.004 seconds.
Computing steady-state probabilities for BSCC 14
Starting value iteration...
Power method: 1 iterations in 0.004 seconds.
Computing steady-state probabilities for BSCC 15
Starting value iteration...
Power method: 1 iterations in 0.003 seconds.
Computing steady-state probabilities for BSCC 16
Starting value iteration...
Power method: 1 iterations in 0.003 seconds.
Computing steady-state probabilities for BSCC 17
Starting value iteration...
Power method: 1 iterations in 0.004 seconds.
Computing steady-state probabilities for BSCC 18
Starting value iteration...
Power method: 1 iterations in 0.004 seconds.
Computing steady-state probabilities for BSCC 19
Starting value iteration...
Power method: 1 iterations in 0.004 seconds.
Computing steady-state probabilities for BSCC 20
Starting value iteration...
Power method: 1 iterations in 0.015 seconds.
Computing steady-state probabilities for BSCC 21
Starting value iteration...
Power method: 1 iterations in 0.002 seconds.
Computing steady-state probabilities for BSCC 22
Starting value iteration...
Power method: 1 iterations in 0.002 seconds.
Computing steady-state probabilities for BSCC 23
Starting value iteration...
Power method: 1 iterations in 0.002 seconds.
Computing steady-state probabilities for BSCC 24
Starting value iteration...
Power method: 1 iterations in 0.002 seconds.
Computing steady-state probabilities for BSCC 25
Starting value iteration...
Power method: 1 iterations in 0.002 seconds.
Computing steady-state probabilities for BSCC 26
Starting value iteration...
Power method: 1 iterations in 0.003 seconds.
Computing steady-state probabilities for BSCC 27
Starting value iteration...
Power method: 1 iterations in 0.003 seconds.
Computing steady-state probabilities for BSCC 28
Starting value iteration...
Power method: 1 iterations in 0.002 seconds.
Computing steady-state probabilities for BSCC 29
Starting value iteration...
Power method: 1 iterations in 0.002 seconds.
Computing steady-state probabilities for BSCC 30
Starting value iteration...
Power method: 1 iterations in 0.002 seconds.
Computing steady-state probabilities for BSCC 31
Starting value iteration...
Power method: 1 iterations in 0.002 seconds.
Computing steady-state probabilities for BSCC 32
Starting value iteration...
Power method: 1 iterations in 0.003 seconds.
Computing steady-state probabilities for BSCC 33
Starting value iteration...
Power method: 1 iterations in 0.003 seconds.
Computing steady-state probabilities for BSCC 34
Starting value iteration...
Power method: 1 iterations in 0.002 seconds.
Computing steady-state probabilities for BSCC 35
Starting value iteration...
Power method: 1 iterations in 0.003 seconds.
Computing steady-state probabilities for BSCC 36
Starting value iteration...
Power method: 1 iterations in 0.003 seconds.
Computing steady-state probabilities for BSCC 37
Starting value iteration...
Power method: 1 iterations in 0.002 seconds.
Computing steady-state probabilities for BSCC 38
Starting value iteration...
Power method: 1 iterations in 0.002 seconds.
Computing steady-state probabilities for BSCC 39
Starting value iteration...
Power method: 1 iterations in 0.003 seconds.
Computing steady-state probabilities for BSCC 40
Starting value iteration...
Power method: 1 iterations in 0.002 seconds.
Computing steady-state probabilities for BSCC 41
Starting value iteration...
Power method: 1 iterations in 0.003 seconds.
Printing steady-state probabilities in plain text format below:
1004821:(3,40,4,0,0,0,0,0)=0.04181518245567247
1004822:(3,40,4,1,0,0,0,0)=0.040156387451150376
1004823:(3,40,4,2,0,0,0,0)=0.10964691161281119
1004824:(3,40,4,3,0,0,0,0)=0.09486882676597956
1004825:(3,40,4,4,0,0,0,0)=0.14296518882931752
1004826:(3,40,4,5,0,0,0,0)=0.11326720630894606
1004827:(3,40,4,6,0,0,0,0)=0.12384723369824963
1004828:(3,40,4,7,0,0,0,0)=0.09071984422844413
1004829:(3,40,4,8,0,0,0,0)=0.08009935878506662
1004830:(3,40,4,9,0,0,0,0)=0.054539384661997134
1004831:(3,40,4,10,0,0,0,0)=0.04111307141955893
1004832:(3,40,4,11,0,0,0,0)=0.026087901948618108
1004833:(3,40,4,12,0,0,0,0)=0.017352827784034828
1004834:(3,40,4,13,0,0,0,0)=0.010269681011949111
1004835:(3,40,4,14,0,0,0,0)=0.0061528891429765056
1004836:(3,40,4,15,0,0,0,0)=0.003395104581743417
1004837:(3,40,4,16,0,0,0,0)=0.0018556798873185431
1004838:(3,40,4,17,0,0,0,0)=9.535916668752426E-4
1004839:(3,40,4,18,0,0,0,0)=4.789627867671664E-4
1004840:(3,40,4,19,0,0,0,0)=2.2876436438494315E-4
1004841:(3,40,4,20,0,0,0,0)=1.05917788331753E-4
1004842:(3,40,4,21,0,0,0,0)=4.6878720219613096E-5
1004843:(3,40,4,22,0,0,0,0)=2.0000848758185206E-5
1004844:(3,40,4,23,0,0,0,0)=8.166630888202614E-6
1004845:(3,40,4,24,0,0,0,0)=3.199454644421548E-6
1004846:(3,40,4,25,0,0,0,0)=1.1973887321356281E-6
1004847:(3,40,4,26,0,0,0,0)=4.278007374383755E-7
1004848:(3,40,4,27,0,0,0,0)=1.4536547927381083E-7
1004849:(3,40,4,28,0,0,0,0)=4.684715891652341E-8
1004850:(3,40,4,29,0,0,0,0)=1.42548213444952E-8
1004851:(3,40,4,30,0,0,0,0)=4.075457016262725E-9
1004852:(3,40,4,31,0,0,0,0)=1.0877911609033704E-9
1004853:(3,40,4,32,0,0,0,0)=2.6894337354281583E-10
1004854:(3,40,4,33,0,0,0,0)=6.097070607613947E-11
1004855:(3,40,4,34,0,0,0,0)=1.2508190554178318E-11
1004856:(3,40,4,35,0,0,0,0)=2.2810744491698126E-12
1004857:(3,40,4,36,0,0,0,0)=3.6064896729927913E-13
1004858:(3,40,4,37,0,0,0,0)=4.76260674633763E-14
1004859:(3,40,4,38,0,0,0,0)=4.945023993035241E-15
1004860:(3,40,4,39,0,0,0,0)=3.605660087378667E-16
1004861:(3,40,4,40,0,0,0,0)=1.39265681808609E-17
Time for steady-state probability computation: 122.215 seconds.