PRISM
=====
Version: 4.8.1
Date: Fri Sep 13 10:52:04 GMT+01:00 2024
Hostname: r23m0213.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=1g
Command line: prism /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/toggle-switch/toggle-switch.prism -steadystate -explicit -relative -epsilon 0.001
Parsing model file "/rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/toggle-switch/toggle-switch.prism"...
Type: CTMC
Modules: LacI_def TetR_def
Variables: LacI TetR
---------------------------------------------------------------------
Computing steady-state probabilities...
Building model...
Computing reachable states... 99 states
Reachable states exploration and model construction done in 0.011 secs.
Sorting reachable states list...
Time for model construction: 0.03 seconds.
Type: CTMC
States: 99 (1 initial)
Transitions: 356
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: 187 iterations in 0.016 seconds.
Printing steady-state probabilities in plain text format below:
0:(0,0)=3.211305858092281E-9
1:(0,5)=2.05550732290279E-7
2:(0,10)=1.8303177886886437E-6
3:(0,15)=6.891585175860371E-6
4:(0,20)=1.8438844233512856E-5
5:(0,25)=4.1176586204992236E-5
6:(0,30)=8.463527617017312E-5
7:(0,35)=2.2554205424328151E-4
8:(0,40)=0.001607660916611088
9:(0,45)=0.0206591809346189
10:(0,50)=0.27012544126411636
11:(10,0)=4.336944159915051E-7
12:(10,5)=2.665871563090163E-5
13:(10,10)=2.0755352011765603E-4
14:(10,15)=6.331526087220809E-4
15:(10,20)=0.0014241660143160797
16:(10,25)=0.0027434703389569424
17:(10,30)=0.004745800834791618
18:(10,35)=0.007476254786819487
19:(10,40)=0.010853361287816127
20:(10,45)=0.014578463254929758
21:(10,50)=0.01789840087759033
22:(20,0)=3.2746435864909787E-6
23:(20,5)=1.5936605384247101E-4
24:(20,10)=7.47892258716521E-4
25:(20,15)=0.00121028767004607
26:(20,20)=0.0014692074086943934
27:(20,25)=0.001576635847075996
28:(20,30)=0.001551055213384338
29:(20,35)=0.00140998383002041
30:(20,40)=0.0011688594729010232
31:(20,45)=8.548117244444294E-4
32:(20,50)=4.923206081424849E-4
33:(30,0)=1.4733254983585886E-5
34:(30,5)=5.034317746990269E-4
35:(30,10)=0.0011765004118906356
36:(30,15)=8.898214350697809E-4
37:(30,20)=5.545159330991272E-4
38:(30,25)=3.396540427064936E-4
39:(30,30)=2.058750762767005E-4
40:(30,35)=1.1975909117175336E-4
41:(30,40)=6.457888181822582E-5
42:(30,45)=3.026179489142368E-5
43:(30,50)=1.0580093753432843E-5
44:(40,0)=7.940002791399878E-5
45:(40,5)=0.0014365259008801987
46:(40,10)=0.0015212349672499377
47:(40,15)=5.159150985595885E-4
48:(40,20)=1.5122312178994578E-4
49:(40,25)=5.0220734971104624E-5
50:(40,30)=1.86379256270063E-5
51:(40,35)=7.131371812335207E-6
52:(40,40)=2.6068071376271624E-6
53:(40,45)=8.369284471262113E-7
54:(40,50)=1.9654552217775392E-7
55:(50,0)=6.452219895323178E-4
56:(50,5)=0.003994297881659805
57:(50,10)=0.0018660146020199099
58:(50,15)=2.9917960293841556E-4
59:(50,20)=3.952796399984739E-5
60:(50,25)=6.381037811410834E-6
61:(50,30)=1.3748171223836263E-6
62:(50,35)=3.435010531642507E-7
63:(50,40)=8.686104544853353E-8
64:(50,45)=1.97031557523093E-8
65:(50,50)=3.288991149906533E-9
66:(60,0)=0.006171786965856159
67:(60,5)=0.010445557564134353
68:(60,10)=0.0021581466705426983
69:(60,15)=1.8099084813047111E-4
70:(60,20)=1.1616499072717774E-5
71:(60,25)=8.421745494151853E-7
72:(60,30)=9.267213995254132E-8
73:(60,35)=1.4474796841179663E-8
74:(60,40)=2.5262433229090317E-9
75:(60,45)=4.129915422476846E-10
76:(60,50)=5.0474145559443254E-11
77:(70,0)=0.0564680994327662
78:(70,5)=0.024766822279670028
79:(70,10)=0.002248947353703511
80:(70,15)=1.0505152024498969E-4
81:(70,20)=3.760240479592089E-6
82:(70,25)=1.324702068699378E-7
83:(70,30)=6.5788005817152435E-9
84:(70,35)=5.687850235663495E-10
85:(70,40)=6.673177322085334E-11
86:(70,45)=7.887109732993231E-12
87:(70,50)=7.21269048157673E-13
88:(80,0)=0.4648203944058978
89:(80,5)=0.052077762339683316
90:(80,10)=0.0019399896073063509
91:(80,15)=5.035894589181125E-5
92:(80,20)=1.0907803485888248E-6
93:(80,25)=2.230093382091599E-8
94:(80,30)=5.405943375369822E-10
95:(80,35)=2.283449115650965E-11
96:(80,40)=1.666624755399832E-12
97:(80,45)=1.411462702016993E-13
98:(80,50)=9.726561004890031E-15
Time for steady-state probability computation: 0.037 seconds.