Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:47:28 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/crowds/crowds.prism --const TotalRuns=5,CrowdSize=15 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:47:28 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 4, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:28 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 115, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:31 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 1018, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98206 loops (19641/sec), 6323717 sampling steps, 10186 aborted
loop condition 0.39308, exit probability 0.20442 in initial state
69908 explored states, 1137 states in BSSCs (1137 absorbing)
84303 component updates, 5450229 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](19647), [0.10250+8.97496e-01]@[0.00000](12495), [0.031507+9.68493e-01]@[0.00000](3046), [0.0085885+9.91412e-01]@[0.00000](841), [3.8197e-05+7.92338e-01]@[0.00000](122), [0.00022738+7.84398e-01]@[0.00000](150), [8.4837e-07+8.01516e-01]@[0.00000](45), [0.00020564+7.85654e-01]@[0.00000](142), [2.8804e-05+7.95254e-01]@[0.00000](111), [3.5511e-06+7.99723e-01]@[0.00000](60) ... (1137)
Sep 13, 2024 10:47:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
226941 loops (25747/sec), 14660889 sampling steps, 11324 aborted
loop condition 0.34848, exit probability 0.10848 in initial state
98262 explored states, 1137 states in BSSCs (1137 absorbing)
210602 component updates, 13631924 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](45233), [0.10250+8.97496e-01]@[0.00000](28757), [0.031507+9.68493e-01]@[0.00000](7104), [0.0092352+9.90765e-01]@[0.00000](2010), [0.00036410+7.85892e-01]@[0.00000](294), [0.0010380+7.69066e-01]@[0.00000](385), [1.2810e-05+7.93075e-01]@[0.00000](120), [0.00084577+7.71355e-01]@[0.00000](332), [0.00027237+7.88758e-01]@[0.00000](259), [6.3350e-05+7.92044e-01]@[0.00000](141) ... (1137)
Sep 13, 2024 10:47:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
362906 loops (27193/sec), 23479550 sampling steps, 12766 aborted
loop condition 0.29422, exit probability 0.077566 in initial state
119439 explored states, 1137 states in BSSCs (1137 absorbing)
344286 component updates, 22302241 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](72307), [0.10250+8.97496e-01]@[0.00000](45836), [0.031507+9.68493e-01]@[0.00000](11551), [0.0092402+9.90760e-01]@[0.00000](3298), [0.00084919+7.82000e-01]@[0.00000](468), [0.0015744+7.62041e-01]@[0.00000](616), [4.5260e-05+7.86744e-01]@[0.00000](187), [0.0015275+7.62150e-01]@[0.00000](581), [0.00082172+7.83537e-01]@[0.00000](456), [0.00025425+7.88660e-01]@[0.00000](243) ... (1137)
Sep 13, 2024 10:47:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
499392 loops (27297/sec), 32338955 sampling steps, 14151 aborted
loop condition 0.25603, exit probability 0.064672 in initial state
135479 explored states, 1137 states in BSSCs (1137 absorbing)
478777 component updates, 31030651 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](99529), [0.10250+8.97496e-01]@[0.00000](62864), [0.031507+9.68493e-01]@[0.00000](15843), [0.0092403+9.90760e-01]@[0.00000](4553), [0.0011529+7.79784e-01]@[0.00000](664), [0.0018207+7.59366e-01]@[0.00000](851), [0.00010366+7.80003e-01]@[0.00000](275), [0.0018125+7.58924e-01]@[0.00000](805), [0.0011107+7.82119e-01]@[0.00000](632), [0.00040490+7.86931e-01]@[0.00000](324) ... (1137)
Sep 13, 2024 10:47:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
636657 loops (27453/sec), 41239624 sampling steps, 15772 aborted
loop condition 0.23289, exit probability 0.057760 in initial state
148835 explored states, 1137 states in BSSCs (1137 absorbing)
613964 component updates, 39794540 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](127075), [0.10250+8.97496e-01]@[0.00000](80078), [0.031507+9.68493e-01]@[0.00000](20210), [0.0092403+9.90760e-01]@[0.00000](5847), [0.0012855+7.79096e-01]@[0.00000](847), [0.0019342+7.57918e-01]@[0.00000](1084), [0.00013630+7.77655e-01]@[0.00000](327), [0.0019244+7.58022e-01]@[0.00000](1024), [0.0012531+7.81113e-01]@[0.00000](817), [0.00049642+7.85690e-01]@[0.00000](395) ... (1137)
Sep 13, 2024 10:47:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
771880 loops (27044/sec), 50009665 sampling steps, 17375 aborted
loop condition 0.21929, exit probability 0.053843 in initial state
159424 explored states, 1137 states in BSSCs (1137 absorbing)
747262 component updates, 48437728 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](153883), [0.10250+8.97496e-01]@[0.00000](97031), [0.031507+9.68493e-01]@[0.00000](24581), [0.0092403+9.90760e-01]@[0.00000](7082), [0.0013399+7.78851e-01]@[0.00000](1036), [0.0019805+7.57172e-01]@[0.00000](1310), [0.00018992+7.74668e-01]@[0.00000](399), [0.0019812+7.57590e-01]@[0.00000](1267), [0.0013125+7.80469e-01]@[0.00000](992), [0.00058108+7.83615e-01]@[0.00000](485) ... (1137)
Sep 13, 2024 10:48:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
912642 loops (28152/sec), 59135542 sampling steps, 19046 aborted
loop condition 0.21004, exit probability 0.050974 in initial state
168667 explored states, 1137 states in BSSCs (1137 absorbing)
886063 component updates, 57432442 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](181852), [0.10250+8.97496e-01]@[0.00000](114785), [0.031507+9.68493e-01]@[0.00000](28953), [0.0092403+9.90760e-01]@[0.00000](8379), [0.0013547+7.78800e-01]@[0.00000](1223), [0.0020184+7.56691e-01]@[0.00000](1570), [0.00023638+7.73089e-01]@[0.00000](461), [0.0020193+7.57100e-01]@[0.00000](1534), [0.0013411+7.80190e-01]@[0.00000](1162), [0.00062194+7.82675e-01]@[0.00000](576) ... (1137)
Sep 13, 2024 10:48:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1046356 loops (26742/sec), 67816146 sampling steps, 20604 aborted
loop condition 0.20343, exit probability 0.048764 in initial state
176846 explored states, 1137 states in BSSCs (1137 absorbing)
1017955 component updates, 65992339 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](208624), [0.10250+8.97496e-01]@[0.00000](131605), [0.031507+9.68493e-01]@[0.00000](33205), [0.0092403+9.90760e-01]@[0.00000](9680), [0.0013622+7.78766e-01]@[0.00000](1389), [0.0020338+7.56462e-01]@[0.00000](1799), [0.00027618+7.71774e-01]@[0.00000](528), [0.0020347+7.56835e-01]@[0.00000](1765), [0.0013539+7.80121e-01]@[0.00000](1334), [0.00063924+7.82316e-01]@[0.00000](655) ... (1137)
Sep 13, 2024 10:48:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1169266 loops (24582/sec), 75810629 sampling steps, 22075 aborted
loop condition 0.19837, exit probability 0.047087 in initial state
183563 explored states, 1137 states in BSSCs (1137 absorbing)
1139206 component updates, 73877631 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](233546), [0.10250+8.97496e-01]@[0.00000](146803), [0.031507+9.68493e-01]@[0.00000](37085), [0.0092403+9.90760e-01]@[0.00000](10865), [0.0013659+7.78742e-01]@[0.00000](1555), [0.0020396+7.56374e-01]@[0.00000](2025), [0.00031747+7.70556e-01]@[0.00000](597), [0.0020429+7.56672e-01]@[0.00000](1970), [0.0013624+7.80047e-01]@[0.00000](1498), [0.00065035+7.82123e-01]@[0.00000](747) ... (1137)
Sep 13, 2024 10:48:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1283866 loops (22920/sec), 83249103 sampling steps, 23550 aborted
loop condition 0.19415, exit probability 0.045721 in initial state
189237 explored states, 1137 states in BSSCs (1137 absorbing)
1252178 component updates, 81207888 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](256591), [0.10250+8.97496e-01]@[0.00000](161079), [0.031507+9.68493e-01]@[0.00000](40658), [0.0092403+9.90760e-01]@[0.00000](11896), [0.0013671+7.78731e-01]@[0.00000](1689), [0.0020431+7.56320e-01]@[0.00000](2249), [0.00035341+7.69869e-01]@[0.00000](662), [0.0020463+7.56631e-01]@[0.00000](2193), [0.0013659+7.80028e-01]@[0.00000](1626), [0.00065747+7.81989e-01]@[0.00000](816) ... (1137)
Sep 13, 2024 10:48:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1404719 loops (24170/sec), 91098433 sampling steps, 25054 aborted
loop condition 0.19036, exit probability 0.044429 in initial state
194536 explored states, 1137 states in BSSCs (1137 absorbing)
1371394 component updates, 88947534 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](280918), [0.10250+8.97496e-01]@[0.00000](176163), [0.031507+9.68493e-01]@[0.00000](44464), [0.0092403+9.90760e-01]@[0.00000](13003), [0.0013677+7.78724e-01]@[0.00000](1854), [0.0020440+7.56304e-01]@[0.00000](2462), [0.00038820+7.69186e-01]@[0.00000](731), [0.0020482+7.56607e-01]@[0.00000](2396), [0.0013674+7.80020e-01]@[0.00000](1796), [0.00066550+7.81809e-01]@[0.00000](899) ... (1137)
Sep 13, 2024 10:48:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1529559 loops (24968/sec), 99198102 sampling steps, 26569 aborted
loop condition 0.18678, exit probability 0.043278 in initial state
199778 explored states, 1137 states in BSSCs (1137 absorbing)
1494575 component updates, 96936283 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](305832), [0.10250+8.97496e-01]@[0.00000](191800), [0.031507+9.68493e-01]@[0.00000](48352), [0.0092403+9.90760e-01]@[0.00000](14187), [0.0013680+7.78719e-01]@[0.00000](2000), [0.0020461+7.56266e-01]@[0.00000](2691), [0.00041118+7.68840e-01]@[0.00000](783), [0.0020489+7.56599e-01]@[0.00000](2648), [0.0013681+7.80019e-01]@[0.00000](1975), [0.00066872+7.81703e-01]@[0.00000](971) ... (1137)
Sep 13, 2024 10:48:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1655531 loops (25194/sec), 107369488 sampling steps, 28118 aborted
loop condition 0.18357, exit probability 0.042236 in initial state
204707 explored states, 1137 states in BSSCs (1137 absorbing)
1618849 component updates, 104993720 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](331079), [0.10250+8.97496e-01]@[0.00000](207700), [0.031507+9.68493e-01]@[0.00000](52396), [0.0092403+9.90760e-01]@[0.00000](15376), [0.0013682+7.78714e-01]@[0.00000](2164), [0.0020480+7.56230e-01]@[0.00000](2920), [0.00043986+7.68090e-01]@[0.00000](846), [0.0020494+7.56591e-01]@[0.00000](2879), [0.0013684+7.80018e-01]@[0.00000](2150), [0.00067193+7.81532e-01]@[0.00000](1051) ... (1137)
Sep 13, 2024 10:48:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1782444 loops (25382/sec), 115610524 sampling steps, 29732 aborted
loop condition 0.18065, exit probability 0.041306 in initial state
209257 explored states, 1137 states in BSSCs (1137 absorbing)
1744019 component updates, 113117951 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](356272), [0.10250+8.97496e-01]@[0.00000](223823), [0.031507+9.68493e-01]@[0.00000](56405), [0.0092403+9.90760e-01]@[0.00000](16576), [0.0013684+7.78711e-01]@[0.00000](2330), [0.0020485+7.56219e-01]@[0.00000](3139), [0.00046161+7.67382e-01]@[0.00000](903), [0.0020497+7.56586e-01]@[0.00000](3108), [0.0013684+7.80018e-01]@[0.00000](2322), [0.00067488+7.81349e-01]@[0.00000](1143) ... (1137)
Sep 13, 2024 10:48:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1906484 loops (24808/sec), 123658645 sampling steps, 31329 aborted
loop condition 0.17821, exit probability 0.040486 in initial state
213561 explored states, 1137 states in BSSCs (1137 absorbing)
1866357 component updates, 121052101 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](381129), [0.10250+8.97496e-01]@[0.00000](239228), [0.031507+9.68493e-01]@[0.00000](60325), [0.0092403+9.90760e-01]@[0.00000](17672), [0.0013684+7.78710e-01]@[0.00000](2482), [0.0020495+7.56201e-01]@[0.00000](3384), [0.00048691+7.66638e-01]@[0.00000](969), [0.0020499+7.56582e-01]@[0.00000](3352), [0.0013685+7.80018e-01]@[0.00000](2470), [0.00067654+7.81256e-01]@[0.00000](1234) ... (1137)
Sep 13, 2024 10:48:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2032647 loops (25232/sec), 131850419 sampling steps, 32940 aborted
loop condition 0.17588, exit probability 0.039735 in initial state
217713 explored states, 1137 states in BSSCs (1137 absorbing)
1990804 component updates, 129129299 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](406511), [0.10250+8.97496e-01]@[0.00000](255097), [0.031507+9.68493e-01]@[0.00000](64266), [0.0092403+9.90760e-01]@[0.00000](18796), [0.0013685+7.78710e-01]@[0.00000](2649), [0.0020499+7.56193e-01]@[0.00000](3605), [0.00050358+7.65920e-01]@[0.00000](1025), [0.0020500+7.56581e-01]@[0.00000](3567), [0.0013685+7.80018e-01]@[0.00000](2634), [0.00067700+7.81233e-01]@[0.00000](1309) ... (1137)
Sep 13, 2024 10:48:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2157399 loops (24950/sec), 139933708 sampling steps, 34507 aborted
loop condition 0.17394, exit probability 0.039074 in initial state
221599 explored states, 1137 states in BSSCs (1137 absorbing)
2113874 component updates, 137099836 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](431535), [0.10250+8.97496e-01]@[0.00000](270699), [0.031507+9.68493e-01]@[0.00000](68293), [0.0092403+9.90760e-01]@[0.00000](19898), [0.0013685+7.78709e-01]@[0.00000](2813), [0.0020500+7.56188e-01]@[0.00000](3845), [0.00051600+7.65466e-01]@[0.00000](1081), [0.0020500+7.56580e-01]@[0.00000](3819), [0.0013685+7.80018e-01]@[0.00000](2802), [0.00067724+7.81225e-01]@[0.00000](1386) ... (1137)
Sep 13, 2024 10:48:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2281288 loops (24777/sec), 147975977 sampling steps, 36058 aborted
loop condition 0.17221, exit probability 0.038486 in initial state
225259 explored states, 1137 states in BSSCs (1137 absorbing)
2236110 component updates, 145031494 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](456413), [0.10250+8.97496e-01]@[0.00000](286283), [0.031507+9.68493e-01]@[0.00000](72156), [0.0092403+9.90760e-01]@[0.00000](21044), [0.0013685+7.78709e-01]@[0.00000](2966), [0.0020500+7.56187e-01]@[0.00000](4047), [0.00052957+7.65157e-01]@[0.00000](1133), [0.0020501+7.56579e-01]@[0.00000](4021), [0.0013685+7.80018e-01]@[0.00000](2969), [0.00067747+7.81214e-01]@[0.00000](1479) ... (1137)
Sep 13, 2024 10:49:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2404523 loops (24647/sec), 155983413 sampling steps, 37615 aborted
loop condition 0.17067, exit probability 0.037934 in initial state
228552 explored states, 1137 states in BSSCs (1137 absorbing)
2357687 component updates, 152927029 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](481116), [0.10250+8.97496e-01]@[0.00000](301904), [0.031507+9.68493e-01]@[0.00000](75997), [0.0092403+9.90760e-01]@[0.00000](22139), [0.0013685+7.78709e-01]@[0.00000](3114), [0.0020500+7.56186e-01]@[0.00000](4262), [0.00054106+7.65022e-01]@[0.00000](1187), [0.0020501+7.56579e-01]@[0.00000](4255), [0.0013685+7.80018e-01]@[0.00000](3141), [0.00067760+7.81207e-01]@[0.00000](1558) ... (1137)
Sep 13, 2024 10:49:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2526594 loops (24414/sec), 163917499 sampling steps, 39182 aborted
loop condition 0.16931, exit probability 0.037450 in initial state
231821 explored states, 1137 states in BSSCs (1137 absorbing)
2478105 component updates, 160750548 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](505532), [0.10250+8.97496e-01]@[0.00000](317394), [0.031507+9.68493e-01]@[0.00000](79741), [0.0092403+9.90760e-01]@[0.00000](23216), [0.0013685+7.78709e-01]@[0.00000](3267), [0.0020501+7.56185e-01]@[0.00000](4466), [0.00055349+7.64838e-01]@[0.00000](1256), [0.0020501+7.56579e-01]@[0.00000](4493), [0.0013685+7.80018e-01]@[0.00000](3287), [0.00067772+7.81200e-01]@[0.00000](1645) ... (1137)
Sep 13, 2024 10:49:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2649333 loops (24547/sec), 171891552 sampling steps, 40716 aborted
loop condition 0.16808, exit probability 0.036969 in initial state
235053 explored states, 1137 states in BSSCs (1137 absorbing)
2599230 component updates, 168615750 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](530017), [0.10250+8.97496e-01]@[0.00000](332904), [0.031507+9.68493e-01]@[0.00000](83623), [0.0092403+9.90760e-01]@[0.00000](24284), [0.0013685+7.78709e-01]@[0.00000](3416), [0.0020501+7.56185e-01]@[0.00000](4669), [0.00056053+7.64665e-01]@[0.00000](1327), [0.0020501+7.56579e-01]@[0.00000](4712), [0.0013685+7.80018e-01]@[0.00000](3416), [0.00067778+7.81197e-01]@[0.00000](1735) ... (1137)
Sep 13, 2024 10:49:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2772909 loops (24715/sec), 179915999 sampling steps, 42265 aborted
loop condition 0.16694, exit probability 0.036539 in initial state
237955 explored states, 1137 states in BSSCs (1137 absorbing)
2721181 component updates, 176530609 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](554905), [0.10250+8.97496e-01]@[0.00000](348431), [0.031507+9.68493e-01]@[0.00000](87502), [0.0092403+9.90760e-01]@[0.00000](25400), [0.0013685+7.78709e-01]@[0.00000](3573), [0.0020501+7.56184e-01]@[0.00000](4897), [0.00056621+7.64506e-01]@[0.00000](1378), [0.0020501+7.56579e-01]@[0.00000](4940), [0.0013685+7.80018e-01]@[0.00000](3606), [0.00067781+7.81196e-01]@[0.00000](1805) ... (1137)
Sep 13, 2024 10:49:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2895405 loops (24499/sec), 187876046 sampling steps, 43787 aborted
loop condition 0.16589, exit probability 0.036138 in initial state
240801 explored states, 1137 states in BSSCs (1137 absorbing)
2842071 component updates, 184382987 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](579575), [0.10250+8.97496e-01]@[0.00000](363979), [0.031507+9.68493e-01]@[0.00000](91360), [0.0092403+9.90760e-01]@[0.00000](26545), [0.0013685+7.78709e-01]@[0.00000](3736), [0.0020501+7.56184e-01]@[0.00000](5103), [0.00057344+7.64364e-01]@[0.00000](1451), [0.0020501+7.56579e-01]@[0.00000](5160), [0.0013685+7.80018e-01]@[0.00000](3758), [0.00067783+7.81195e-01]@[0.00000](1873) ... (1137)
Sep 13, 2024 10:49:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3017757 loops (24470/sec), 195820755 sampling steps, 45420 aborted
loop condition 0.16496, exit probability 0.035781 in initial state
243734 explored states, 1137 states in BSSCs (1137 absorbing)
2962712 component updates, 192212905 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](604368), [0.10250+8.97496e-01]@[0.00000](379301), [0.031507+9.68493e-01]@[0.00000](95274), [0.0092403+9.90760e-01]@[0.00000](27673), [0.0013685+7.78709e-01]@[0.00000](3877), [0.0020501+7.56184e-01]@[0.00000](5306), [0.00058051+7.64235e-01]@[0.00000](1530), [0.0020501+7.56579e-01]@[0.00000](5396), [0.0013685+7.80018e-01]@[0.00000](3937), [0.00067785+7.81195e-01]@[0.00000](1948) ... (1137)
Sep 13, 2024 10:49:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3140843 loops (24617/sec), 203795738 sampling steps, 46987 aborted
loop condition 0.16409, exit probability 0.035437 in initial state
246258 explored states, 1137 states in BSSCs (1137 absorbing)
3084169 component updates, 200078856 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](628959), [0.10250+8.97496e-01]@[0.00000](394936), [0.031507+9.68493e-01]@[0.00000](99189), [0.0092403+9.90760e-01]@[0.00000](28829), [0.0013685+7.78709e-01]@[0.00000](4011), [0.0020501+7.56184e-01]@[0.00000](5529), [0.00058353+7.64167e-01]@[0.00000](1580), [0.0020501+7.56579e-01]@[0.00000](5620), [0.0013685+7.80018e-01]@[0.00000](4069), [0.00067786+7.81194e-01]@[0.00000](2023) ... (1137)
Sep 13, 2024 10:49:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3264528 loops (24737/sec), 211824446 sampling steps, 48563 aborted
loop condition 0.16331, exit probability 0.035129 in initial state
248845 explored states, 1137 states in BSSCs (1137 absorbing)
3206210 component updates, 207996812 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](653811), [0.10250+8.97496e-01]@[0.00000](410690), [0.031507+9.68493e-01]@[0.00000](102994), [0.0092403+9.90760e-01]@[0.00000](29932), [0.0013685+7.78709e-01]@[0.00000](4145), [0.0020501+7.56183e-01]@[0.00000](5755), [0.00058675+7.64110e-01]@[0.00000](1646), [0.0020501+7.56579e-01]@[0.00000](5831), [0.0013685+7.80018e-01]@[0.00000](4234), [0.00067787+7.81194e-01]@[0.00000](2103) ... (1137)
Sep 13, 2024 10:49:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3387510 loops (24596/sec), 219810145 sampling steps, 50085 aborted
loop condition 0.16257, exit probability 0.034831 in initial state
251473 explored states, 1137 states in BSSCs (1137 absorbing)
3327581 component updates, 215874347 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](678465), [0.10250+8.97496e-01]@[0.00000](426186), [0.031507+9.68493e-01]@[0.00000](106827), [0.0092403+9.90760e-01]@[0.00000](31095), [0.0013685+7.78709e-01]@[0.00000](4317), [0.0020501+7.56183e-01]@[0.00000](5960), [0.00058940+7.64082e-01]@[0.00000](1709), [0.0020501+7.56579e-01]@[0.00000](6015), [0.0013685+7.80018e-01]@[0.00000](4380), [0.00067787+7.81194e-01]@[0.00000](2174) ... (1137)
Sep 13, 2024 10:49:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3510037 loops (24505/sec), 227759404 sampling steps, 51589 aborted
loop condition 0.16186, exit probability 0.034554 in initial state
253806 explored states, 1137 states in BSSCs (1137 absorbing)
3448534 component updates, 223718326 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](703193), [0.10250+8.97496e-01]@[0.00000](441708), [0.031507+9.68493e-01]@[0.00000](110568), [0.0092403+9.90760e-01]@[0.00000](32262), [0.0013685+7.78709e-01]@[0.00000](4484), [0.0020501+7.56183e-01]@[0.00000](6184), [0.00059155+7.64050e-01]@[0.00000](1771), [0.0020501+7.56579e-01]@[0.00000](6232), [0.0013685+7.80018e-01]@[0.00000](4529), [0.00067788+7.81194e-01]@[0.00000](2253) ... (1137)
Sep 13, 2024 10:49:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3631081 loops (24208/sec), 235626008 sampling steps, 53265 aborted
loop condition 0.16122, exit probability 0.034309 in initial state
256178 explored states, 1137 states in BSSCs (1137 absorbing)
3567840 component updates, 231466992 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](727657), [0.10250+8.97496e-01]@[0.00000](456898), [0.031507+9.68493e-01]@[0.00000](114340), [0.0092403+9.90760e-01]@[0.00000](33361), [0.0013685+7.78709e-01]@[0.00000](4623), [0.0020501+7.56183e-01]@[0.00000](6402), [0.00059353+7.64018e-01]@[0.00000](1841), [0.0020501+7.56579e-01]@[0.00000](6451), [0.0013685+7.80018e-01]@[0.00000](4704), [0.00067788+7.81194e-01]@[0.00000](2319) ... (1137)
Sep 13, 2024 10:49:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3752887 loops (24361/sec), 243534584 sampling steps, 54802 aborted
loop condition 0.16058, exit probability 0.034068 in initial state
258473 explored states, 1137 states in BSSCs (1137 absorbing)
3688040 component updates, 239268775 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](752000), [0.10250+8.97496e-01]@[0.00000](472140), [0.031507+9.68493e-01]@[0.00000](118237), [0.0092403+9.90760e-01]@[0.00000](34405), [0.0013685+7.78709e-01]@[0.00000](4802), [0.0020501+7.56183e-01]@[0.00000](6627), [0.00059515+7.63995e-01]@[0.00000](1895), [0.0020501+7.56579e-01]@[0.00000](6657), [0.0013685+7.80018e-01]@[0.00000](4865), [0.00067788+7.81193e-01]@[0.00000](2396) ... (1137)
Sep 13, 2024 10:50:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3877083 loops (24839/sec), 251600367 sampling steps, 56396 aborted
loop condition 0.15996, exit probability 0.033835 in initial state
260778 explored states, 1137 states in BSSCs (1137 absorbing)
3810580 component updates, 247224356 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](777074), [0.10250+8.97496e-01]@[0.00000](487619), [0.031507+9.68493e-01]@[0.00000](122126), [0.0092403+9.90760e-01]@[0.00000](35542), [0.0013685+7.78709e-01]@[0.00000](4961), [0.0020501+7.56183e-01]@[0.00000](6835), [0.00059653+7.63985e-01]@[0.00000](1945), [0.0020501+7.56579e-01]@[0.00000](6855), [0.0013685+7.80018e-01]@[0.00000](5025), [0.00067788+7.81193e-01]@[0.00000](2471) ... (1137)
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3998986 loops (24380/sec), 259512393 sampling steps, 57930 aborted
loop condition 0.15938, exit probability 0.033626 in initial state
262947 explored states, 1137 states in BSSCs (1137 absorbing)
3930893 component updates, 255029765 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](801439), [0.10250+8.97496e-01]@[0.00000](503244), [0.031507+9.68493e-01]@[0.00000](126043), [0.0092403+9.90760e-01]@[0.00000](36638), [0.0013685+7.78709e-01]@[0.00000](5135), [0.0020501+7.56183e-01]@[0.00000](7045), [0.00059757+7.63976e-01]@[0.00000](1985), [0.0020501+7.56579e-01]@[0.00000](7067), [0.0013685+7.80018e-01]@[0.00000](5200), [0.00067788+7.81193e-01]@[0.00000](2536) ... (1137)
Sep 13, 2024 10:50:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4119976 loops (24198/sec), 267361950 sampling steps, 59526 aborted
loop condition 0.15881, exit probability 0.033436 in initial state
265075 explored states, 1137 states in BSSCs (1137 absorbing)
4050225 component updates, 262766769 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](825448), [0.10250+8.97496e-01]@[0.00000](518374), [0.031507+9.68493e-01]@[0.00000](129885), [0.0092403+9.90760e-01]@[0.00000](37744), [0.0013685+7.78709e-01]@[0.00000](5306), [0.0020501+7.56183e-01]@[0.00000](7237), [0.00059832+7.63971e-01]@[0.00000](2028), [0.0020501+7.56579e-01]@[0.00000](7264), [0.0013685+7.80018e-01]@[0.00000](5360), [0.00067788+7.81193e-01]@[0.00000](2623) ... (1137)
Sep 13, 2024 10:50:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4241728 loops (24350/sec), 275254908 sampling steps, 61063 aborted
loop condition 0.15824, exit probability 0.033246 in initial state
267228 explored states, 1137 states in BSSCs (1137 absorbing)
4170378 component updates, 270552272 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](849919), [0.10250+8.97496e-01]@[0.00000](533691), [0.031507+9.68493e-01]@[0.00000](133695), [0.0092403+9.90760e-01]@[0.00000](38826), [0.0013685+7.78709e-01]@[0.00000](5453), [0.0020501+7.56183e-01]@[0.00000](7431), [0.00059974+7.63962e-01]@[0.00000](2089), [0.0020501+7.56579e-01]@[0.00000](7465), [0.0013685+7.80018e-01]@[0.00000](5519), [0.00067788+7.81193e-01]@[0.00000](2692) ... (1137)
Sep 13, 2024 10:50:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4364974 loops (24649/sec), 283254642 sampling steps, 62676 aborted
loop condition 0.15770, exit probability 0.033066 in initial state
269249 explored states, 1137 states in BSSCs (1137 absorbing)
4291954 component updates, 278438737 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](874582), [0.10250+8.97496e-01]@[0.00000](549249), [0.031507+9.68493e-01]@[0.00000](137599), [0.0092403+9.90760e-01]@[0.00000](39940), [0.0013685+7.78709e-01]@[0.00000](5605), [0.0020501+7.56183e-01]@[0.00000](7665), [0.00060088+7.63952e-01]@[0.00000](2141), [0.0020501+7.56579e-01]@[0.00000](7674), [0.0013685+7.80018e-01]@[0.00000](5674), [0.00067788+7.81193e-01]@[0.00000](2776) ... (1137)
Sep 13, 2024 10:50:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4488010 loops (24607/sec), 291244484 sampling steps, 64214 aborted
loop condition 0.15717, exit probability 0.032890 in initial state
271249 explored states, 1137 states in BSSCs (1137 absorbing)
4413399 component updates, 286322031 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](899458), [0.10250+8.97496e-01]@[0.00000](564607), [0.031507+9.68493e-01]@[0.00000](141495), [0.0092403+9.90760e-01]@[0.00000](41095), [0.0013685+7.78709e-01]@[0.00000](5782), [0.0020501+7.56183e-01]@[0.00000](7888), [0.00060183+7.63942e-01]@[0.00000](2200), [0.0020501+7.56579e-01]@[0.00000](7886), [0.0013685+7.80018e-01]@[0.00000](5848), [0.00067788+7.81193e-01]@[0.00000](2873) ... (1137)
Sep 13, 2024 10:50:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4611298 loops (24657/sec), 299247277 sampling steps, 65797 aborted
loop condition 0.15665, exit probability 0.032726 in initial state
273050 explored states, 1137 states in BSSCs (1137 absorbing)
4535058 component updates, 294214860 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](924128), [0.10250+8.97496e-01]@[0.00000](580189), [0.031507+9.68493e-01]@[0.00000](145467), [0.0092403+9.90760e-01]@[0.00000](42208), [0.0013685+7.78709e-01]@[0.00000](5912), [0.0020501+7.56183e-01]@[0.00000](8090), [0.00060264+7.63932e-01]@[0.00000](2259), [0.0020501+7.56579e-01]@[0.00000](8102), [0.0013685+7.80018e-01]@[0.00000](6038), [0.00067788+7.81193e-01]@[0.00000](2959) ... (1137)
Sep 13, 2024 10:50:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4734062 loops (24552/sec), 307219676 sampling steps, 67397 aborted
loop condition 0.15613, exit probability 0.032577 in initial state
274935 explored states, 1137 states in BSSCs (1137 absorbing)
4656169 component updates, 302076590 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](948723), [0.10250+8.97496e-01]@[0.00000](595700), [0.031507+9.68493e-01]@[0.00000](149377), [0.0092403+9.90760e-01]@[0.00000](43305), [0.0013685+7.78709e-01]@[0.00000](6068), [0.0020501+7.56183e-01]@[0.00000](8304), [0.00060347+7.63921e-01]@[0.00000](2317), [0.0020501+7.56579e-01]@[0.00000](8346), [0.0013685+7.80018e-01]@[0.00000](6208), [0.00067788+7.81193e-01]@[0.00000](3049) ... (1137)
Sep 13, 2024 10:50:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4857009 loops (24589/sec), 315204875 sampling steps, 69085 aborted
loop condition 0.15562, exit probability 0.032426 in initial state
276698 explored states, 1137 states in BSSCs (1137 absorbing)
4777380 component updates, 309944952 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](973517), [0.10250+8.97496e-01]@[0.00000](611147), [0.031507+9.68493e-01]@[0.00000](153204), [0.0092403+9.90760e-01]@[0.00000](44472), [0.0013685+7.78709e-01]@[0.00000](6223), [0.0020501+7.56183e-01]@[0.00000](8524), [0.00060410+7.63914e-01]@[0.00000](2399), [0.0020501+7.56579e-01]@[0.00000](8561), [0.0013685+7.80018e-01]@[0.00000](6358), [0.00067788+7.81193e-01]@[0.00000](3125) ... (1137)
Sep 13, 2024 10:50:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4981653 loops (24928/sec), 323301607 sampling steps, 70684 aborted
loop condition 0.15510, exit probability 0.032276 in initial state
278368 explored states, 1137 states in BSSCs (1137 absorbing)
4900391 component updates, 317931944 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](998448), [0.10250+8.97496e-01]@[0.00000](626780), [0.031507+9.68493e-01]@[0.00000](157075), [0.0092403+9.90760e-01]@[0.00000](45613), [0.0013685+7.78709e-01]@[0.00000](6392), [0.0020501+7.56183e-01]@[0.00000](8745), [0.00060450+7.63908e-01]@[0.00000](2472), [0.0020501+7.56579e-01]@[0.00000](8773), [0.0013685+7.80018e-01]@[0.00000](6539), [0.00067788+7.81193e-01]@[0.00000](3212) ... (1137)
Sep 13, 2024 10:50:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5104168 loops (24503/sec), 331258891 sampling steps, 72320 aborted
loop condition 0.15460, exit probability 0.032141 in initial state
280229 explored states, 1137 states in BSSCs (1137 absorbing)
5021215 component updates, 325774065 transient state updates
Bounds: [0.13145+8.68554e-01]@[0.00000](1022954), [0.10250+8.97496e-01]@[0.00000](642224), [0.031507+9.68493e-01]@[0.00000](160840), [0.0092403+9.90760e-01]@[0.00000](46739), [0.0013685+7.78709e-01]@[0.00000](6555), [0.0020501+7.56183e-01]@[0.00000](8951), [0.00060469+7.63902e-01]@[0.00000](2526), [0.0020501+7.56579e-01]@[0.00000](8969), [0.0013685+7.80018e-01]@[0.00000](6706), [0.00067788+7.81193e-01]@[0.00000](3290) ... (1137)
Sep 13, 2024 10:50:57 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 4972, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max